Fotografía de autor

Gilles Dowek

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

20 Obras 84 Miembros 0 Reseñas

Obras de Gilles Dowek

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

Etiquetado

Conocimiento común

Género
male

Miembros

Estadísticas

Obras
20
Miembros
84
Popularidad
#216,911
Valoración
2.8
ISBNs
28
Idiomas
3

Tablas y Gráficos

Ver más tablas y gráficos