Livres、Books、Libros、β-βλα、Libri、Cțr \539]i、Bücher、书籍、서적
Thé–tre公司
avec Serge Abiteboul和Laurence Devillers,给我来一杯加洛齐亚?,C&F Editions,2023年。
科学哲学
信息的目的是什么?在里面克劳德·基什内尔(Claude Kirchner)、埃里克·杰尔曼(Eric Germain)和凯瑟琳·特西尔(Catherine Tessier),努梅里克:倒酒?,PUF,2022年。
Sommes-nous加上libres parce que le monde va au hasard?在里面Jean-Paul Delahaye,Pourquoi moi?:机遇之歌dans tous sesétats舞蹈贝林,2021年。
Les réseaux,condition nécessaire du construction et nouvel outil de santépublique,在里面Emmanuel Hirsch,Pandémie 2020-埃西克,社会、政治《法国国家科学院学报》,2020年。
不要在谈判中,我会哭的, Le Pommier,2019年。
Vivre、aimer、选民en ligne和autres chroniques numériques,Le Pommier,2017年。
avec Serge Abiteboul,Le temps des算法Le Pommier,2017年。
在中国 : 算法小时代:从数学到生活的历变 平装, 2017
英语:Serge Abiteboul,算法的时代,剑桥大学出版社,2020。
∑ταελλη¦Αικα:με∑ερζΑμπιτεμπιυλ,Η Εποχη Των Αλγοριθμων,Πανεπιστημιακες Εκδοσεις Κρητης, 2022.
塞斯·普雷朱盖的轻松拥抱Le Pommier,《宣言》,2009年。播客法国国际米兰2号的国际比赛2009年11月6日7时等第页法国国际米兰南站。
计算中的变形金刚:une数学史, 勒·波米耶(Le Pommier),埃塞斯(Essais),2007年。恩波切,2011年。法国巴黎哲学大奖赛。Le deux premires chapiteres sont en ligne surle网站Futura科学. 总工程师播客南2500万运河学院勒利夫尔公关。
Στην ελληνική γλώσσα :Οι μεταμορφώσεις του λογισμού, Εκκρεμές, 2012.
英语:计算、证明、机器《剑桥大学出版社》,2015年。
在中国 : 计算进化史:改变数学的命运 平装, 2017
Recherche公司
Henk Barendregt、Wil Dekkers、Richard Statman和11位撰稿人,兰姆达带类型的微积分,剑桥大学出版社,2013年。
高阶统一与匹配,在里面阿兰·罗宾逊和安德烈·沃伦科夫,自动推理手册,爱思唯尔,2001,第1009-1062页。
倾注l’université
Les démonstrations et Les算法。引言a la逻辑与计算法国理工学院,2010年。
英语:证明与算法:逻辑与可计算性导论,Springer-Verlag,2011年。
编程语言原则,法国理工学院,2008年。
英语:程序设计语言原理Springer-Verlag,2009年。
Avec Jean-Jacques Lévy,语言介绍程序设计,法国理工学院,2006年,2008年。
英语:程序设计语言理论导论, Springer-Verlag,2010年。
În limba rom \206 ; n:引入teoria linbajelor de programare,MatrixRom,2013年。
本杰明·瓦克方向,准备工作信息倾注格兰德斯·科尔斯,Eyrolles,2013年。
Avec Bertrand Fauchet,信息之路,Dunod,1988年。
倒入lécole和le lyceée
合作,国家信息与科学-专业ISN终端S, 2012,Edition Spéciale Python,2013年。双人舞节目对齐.
合作,科学信息导论,全国保卫人民大会,2011年。奎尔克香肠.
克洛德·德尚的Sous la direction de Claude Deschamps,Symbole(符号),Seconde,2010年,2011年首映,2012年终端。
Claire Calmet、Mathieu Hirtzig和David Wilgenbus的Sous la方向,1、2、3…Codez!Le Pommier,2016年。
Au coeur d'une计算,在里面大卫·威尔根布斯(David Wilgenbus)、贝特里斯·萨尔维亚特(Béatrice Salviat)、马克·朱莉娅(Marc Julia)、,谷物科学5, Le Pommier,2003年。
婚姻
Pourquoi是一个很好的选择数学,还是人类的发明?在里面诺埃尔·布雷厄姆和马乔丽·德沃科,Les p'tits小船, 2013年1月。
问一个发明者?,在里面 30个科学问题, Le Pommier,2012年。
数学世界与居民,在里面克劳迪·海格纳,科学与环境协调委员会文化, Le Pommier,2010年。
Pourquoi n'y a-t-il qu'un modèle d'ordeur?,在里面
100个科学问题, Le Pommier,2007年。
avec Jean-Pierre Bourguignon、Jean-Christophe Novelli et Benoît Rittaud、,Jeux mathématiques,反之亦然, Le collège de la cité,Le Pommier-la cite des sciences et de工业,2005年。
avec Gabriel Chardin、Marc Lachièze-Rey、HervéThis、sous-la埃蒂安·克莱因方向,Quand la科学编辑。。。真奇怪!Le Pommier,2003年。恩波切,2008年。
Voulez vous jouer有数学吗?Le Pommier,2002年。
在意大利:Volete giocare在matematica?, 巴贝拉编辑,2005年。
英语专业:Quieres jugar con las matemáticas公司?,阿克尔·爱迪西翁,2006
Peut-on-croire les sondages?, Le Pommier,2002年。
한국의 :Ş도 될 까 ?, Goldenbough,2006年。
英语专业:Podemos creer en los sondeos公司?Akal Ediciones,2006年。
Στην ελληνική γλώσσα :Μπορούμενα πιστεύουμε τις δημοσκοπήσεις ;, Εκκρεμές, 2017.
avec Jean-Michel Alimi、Laurence Rolland、Pierre Avocat、sous-laNayla Farouki方向,Quand la Science编辑。。。c'est不可能Le Pommier,1999年。恩波切,2008年。
在Michel Serres和Nayla Farouki的方向上,科学报酬, Le Pommier,1999年。
Michel Serres和Nayla Farouki方向,Le Trésor-科学词典,弗拉马利翁,1997年。
La logique公司弗拉马利翁·多明诺斯,1995年。再版,Le Pommier,2015年。
Auf Deutsch(德国):Logik公司,BLT,1998年。
英语专业:拉洛吉卡《Siglo Veintiuno编辑》,2001年。
返回主页