Malý šejdíř, čtvrté vydání - The Little Schemer, Fourth Edition
Myšlenka, že "přemýšlení o počítačích je jednou z nejzajímavějších věcí, které lidská mysl dokáže...
The Reasoned Schemer, druhé vydání - The Reasoned Schemer, Second Edition
Nové vydání knihy psané vtipným stylem otázek a odpovědí, která ukazuje, jak...
Základy programovacích jazyků - Essentials of Programming Languages
Nové vydání učebnice, která studentům poskytuje hluboké a praktické pochopení základních...
Malý typer - The Little Typer
Úvod do závislých typů, který postupně ukazuje nejkrásnější aspekty. Typ programu popisuje jeho chování. Závislé typy jsou prvotřídní součástí jazyka...
Malý prover - The Little Prover
Úvod do psaní důkazů o počítačových programech, napsaný přístupným stylem otázek a odpovědí, doplněný příklady krok za krokem a jednoduchým...
The Seasoned Schemer, druhé vydání - The Seasoned Schemer, Second Edition
Myšlenka, že „přemýšlení o počítačích je jednou z nejzajímavějších věcí, které lidská...
