The Little Schemer, Vierte Auflage - The Little Schemer, Fourth Edition
Der Gedanke, dass "das Nachdenken über Computer eines der aufregendsten Dinge ist, die...
The Reasoned Schemer, Zweite Auflage - The Reasoned Schemer, Second Edition
Eine neue Ausgabe eines Buches, das in einem humorvollen Frage-und-Antwort-Stil...
Grundlagen der Programmiersprachen - Essentials of Programming Languages
Eine neue Ausgabe eines Lehrbuchs, das Studenten ein tiefes, praktisches Verständnis...
Der kleine Typer - The Little Typer
Eine Einführung in abhängige Typen, die Schritt für Schritt die schönsten Aspekte aufzeigt. Der Typ eines Programms beschreibt sein...
Der kleine Beweiser - The Little Prover
Eine Einführung in das Schreiben von Beweisen über Computerprogramme, geschrieben in einem zugänglichen Frage-und-Antwort-Stil, komplett...
The Seasoned Schemer, Zweite Auflage - The Seasoned Schemer, Second Edition
Der Gedanke, dass „das Nachdenken über Computer eines der aufregendsten Dinge ist,...
