Autoren-Bilder

Gilles Dowek

Autor von Les Métamorphoses du calcul : Une étonnante histoire des mathématiques

20 Werke 81 Mitglieder 0 Rezensionen

Werke von Gilles Dowek

Les Métamorphoses du calcul : Une étonnante histoire des mathématiques (2007) 15 Exemplare
Principles of Programming Languages (2009) 15 Exemplare
Proofs and Algorithms: An Introduction to Logic and Computability (Undergraduate Topics in Computer Science) (2011) 9 Exemplare
La Logique (1998) 7 Exemplare
Introduction to the Theory of Programming Languages (Undergraduate Topics in Computer Science) (2010) 6 Exemplare
Informatique et sciences du numérique : spécialité ISN en terminale S, avec des exercices corrigés et idées de… (2012) 5 Exemplare
Computation, Proof, Machine: Mathematics Enters a New Age (2015) 5 Exemplare
Peut-on croire les sondages? (2002) 3 Exemplare
Ces préjugés qui nous encombrent (2009) 3 Exemplare
Introduction à  la théorie des langages de programmation (2006) 2 Exemplare
Introduction à la science informatique : Pour les enseignants de la discipline en lycée (2011) 2 Exemplare
Rewriting and typed Lambda Calculi : joint international conference, RTA-TLCA 2014, held as part of the Vienna Summer… (2014) 1 Exemplar
Vivre, aimer, voter en ligne et autres chroniques numériques (2017) 1 Exemplar
Les métamorphoses du calcul - nouvelle édition (2018) 1 Exemplar
Logik (1998) 1 Exemplar
Informationen zu Werken

Getagged

Wissenswertes

Geschlecht
male

Mitglieder

Statistikseite

Werke
20
Mitglieder
81
Beliebtheit
#222,754
Bewertung
2.8
ISBNs
28
Sprachen
3

Diagramme & Grafiken

Weitere Diagramme und Grafiken anzeigen