Micul șarlatan, ediția a patra - The Little Schemer, Fourth Edition
Ideea că "a gândi despre informatică este unul dintre cele mai interesante lucruri pe care le...
The Reasoned Schemer, ediția a doua - The Reasoned Schemer, Second Edition
O nouă ediție a unei cărți, scrisă într-un stil umoristic de întrebări și...
Bazele limbajelor de programare - Essentials of Programming Languages
O nouă ediție a unui manual care oferă studenților o înțelegere profundă și practică a...
The Little Typer
O introducere în tipurile dependente, demonstrând cele mai frumoase aspecte, pas cu pas .Tipul unui program descrie comportamentul acestuia. Tipurile dependente sunt o...
The Little Prover
O introducere în scrierea dovezilor despre programele de calculator, scrisă într-un stil accesibil de întrebări și răspunsuri, completată cu exemple pas cu pas și un...
The Seasoned Schemer, ediția a doua - The Seasoned Schemer, Second Edition
Ideea că „a te gândi la informatică este unul dintre cele mai interesante lucruri pe...
