Principles of Programming Languages المزيد من كتب Gilles Dowek

Proofs and Algorithms Proofs and Algorithms
٢٠١١
Computation, Proof, Machine Computation, Proof, Machine
٢٠١٥
L'IA est-elle une chance ? L'IA est-elle une chance ?
٢٠٢٤
Voulez-vous jouer avec les maths ? Voulez-vous jouer avec les maths ?
٢٠٠٢
Peut-on croire les sondages ? Peut-on croire les sondages ?
٢٠٠٢
The Age of Algorithms The Age of Algorithms
٢٠٢٠
Le temps des algorithmes Le temps des algorithmes
٢٠١٧
Les Métamorphoses du calcul Les Métamorphoses du calcul
٢٠١٥
Ces préjugés qui nous encombrent Ces préjugés qui nous encombrent
٢٠١٥
Complexité-Simplexité Complexité-Simplexité
٢٠١٤
Automated Reasoning Automated Reasoning
٢٠٠٨
Introduction to the Theory of Programming Languages Introduction to the Theory of Programming Languages
٢٠١٠