| title | media type | | ISBN-13 | year of publica-
tion | other author(s) |
|---|
| Ces préjugés qui nous encombrent | Broché | | 978-2-7465-0448-6 | 2009 |
| Computation, Proof, Machine | Paperback | | 978-0-521-13377-7 | 2015 |
| Computation, Proof, Machine: Mathematics Enters a New Age | Hardcover | | 978-0-521-11801-9 | 2015 |
| Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, Hoa '95, Paderborn, Germany, September 21-22, 1995: Selected Papers | Paperback | | 978-0-387-61254-6 | 1996 |
| Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers | " | | 978-3-662-20186-2 | 2014 | Jan Heering · Karl Meinke |
| Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers | Taschenbuch | | 978-3-540-61254-4 | 2008 | Jan Heering · Bernhard M??ller · Karl Meinke |
| Informatique et sciences du numérique: Édition spéciale Python ! Manuel de spécialité ISN en terminale, Avec des exercices corrigés et des idées de projets | Broché | | 978-2-212-13676-0 | 2013 | Jean-Pierre Archambault · Emmanuel Baccelli · Claudio Cimelli · Albert Cohen · Christine Eisenbeis · Thierry Viéville · Benjamin Wack |
| Informatique et sciences du numérique - Spécialité ISN en terminale S, avec des exercices corrigés et des idées de projets | Relié | | 978-2-212-13543-5 | 2012 | Jean-Pierre Archambault · Emmanuel Baccelli · Claudio Cimelli · Albert Cohen · Christine Eisenbeis · Thierry Viéville · Benjamin Wack |
| Informatique pour tous en classes préparatoires aux grandes écoles: Manuel d'algorithmique et programmation structurée avec Python, Nouveaux programmes 2013, Voies MP, PC, PSI, PT, TPC et TSI | Broché | | 978-2-212-13700-2 | 2013 | Benjamin Wack · Sylvain Conchon · Judicaël Courant · Marc de Falco · Jean-Christophe Filliâtre · Stéphane Gonnord |
| Introduction à la théorie des langages de programmation | " | | 978-2-7302-1333-2 | 2006 | Jean-Jacques Lévy |
| Jeux mathématiques et vice versa | Poche | | 978-2-7465-0243-7 | 2005 | Jean-Pierre Bourguignon · Jean-Christophe Novelli · Benoît Rittaud |
| Les démonstrations et les algorithmes - Introduction à la logique et à la calculabilité | Broché | | 978-2-7302-1569-5 | 2010 |
| Les métamorphoses du calcul | " | | 978-2-7465-0561-2 | 2011 |
| Les Métamorphoses du calcul: Une étonnante histoire des mathématiques | " | | 978-2-7465-0324-3 | 2007 |
| Les principes de langages de programmation | Paperback | | 978-2-7302-1526-8 | 2008 |
| Peut-on croire les sondages ? | Poche | | 978-2-7465-0025-9 | 2002 |
| Principles of Programming Languages | Paperback | | 978-1-84882-031-9 | 2009 |
| Quand la science a dit... c'est bizarre ! | Poche | | 978-2-7465-0333-5 | 2008 | Étienne Klein · Marc Lachièze-Rey · Hervé This · Georges Bram |
| Quand la science a dit... c'est impossible ! | " | | 978-2-7465-0332-8 | 2008 | Nayla Farouki · Jean-Michel Alimi · Laurence Rolland |
| Rewriting and Typed Lambda Calculi: Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, ... Notes in Computer Science, Band 8560) | Taschenbuch | | 978-3-319-08917-1 | 2014 |
| Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings | Paperback | | 978-3-662-18341-0 | 2014 | Yves Bertot · Andre Hirschowitz |
| Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings | Taschenbuch | | 978-3-540-66463-5 | 2008 | Laurent Thery · Yves Bertot · Andre Hirschowitz · Christine Paulin |
| Thesaurus der exakten Wissenschaften: Astrophysik, Biologie, Biochemie, Chemie, Genetik, Geowissenschaften, Mathematik, Physik | Broschiert | | 978-3-86150-620-1 | 2004 | Michel Serres · Nayla Farouki · Charles Auffray · Jean G Ganscia · Christian Houzel · Albert Jacquard · Étienne Klein |
| Volete Giocare Con La Matematica? | Rilegatura sconosciuta | | 978-88-7899-020-3 | |
| Voulez-vous jouer avec les maths ? | Broché | | 978-2-7465-0052-5 | 2002 |