The Little Schemer, štvrté vydanie - The Little Schemer, Fourth Edition
Predstava, že "premýšľanie o počítačoch je jednou z najvzrušujúcejších vecí, ktoré môže...
The Reasoned Schemer, druhé vydanie - The Reasoned Schemer, Second Edition
Nové vydanie knihy napísanej vtipným štýlom otázok a odpovedí, ktorá ukazuje, ako...
Základy programovacích jazykov - Essentials of Programming Languages
Nové vydanie učebnice, ktorá poskytuje študentom hlboké a praktické pochopenie základných...
Malý typovač - The Little Typer
Úvod do závislých typov, ktorý ukazuje najkrajšie aspekty, krok za krokom. Typ programu opisuje jeho správanie. Závislé typy sú prvotriednou...
The Little Prover
Úvod do písania dôkazov o počítačových programoch, napísaný prístupným štýlom otázok a odpovedí, doplnený o príklady krok za krokom a jednoduchého pomocníka pri...
The Seasoned Schemer, druhé vydanie - The Seasoned Schemer, Second Edition
Názor, že „premýšľanie o počítačoch je jednou z najvzrušujúcejších vecí, ktoré ľudská...
