Patrick CÉGIELSKI
Books

Publications d'actes de conférences internationales

Patrick CÉGIELSKI, Leszek PACHOLSKI, Denis RICHARD, Jerzy TOMASIK, & Alex WILKIE, Logic Colloquium '94 21-30 July 1994 - Clermont-Ferrand, France, Annals of Pure and Applied Logic, Volume 89, Issue 1, Pages 1-99 (15 December 1997)
Maurice MARGENSTERN, Patrick CÉGIELSKI, Jean-Pierre RESSAYRE, & Denis RICHARD, Theoretical Computer Science, vol. 257, issues 1-2, April 2001, pp. 1-254.
Patrick CÉGIELSKI & Malika MORE, Weak Arithmetics, Theoretical Computer Science - B, vol. 322, Issue 1, August 2004, 230 p.
Patrick CÉGIELSKI, ed., Studies in Weak Arithmetics, CSLI Publications, Stanford, Lecture Notes 196, 2010, vii + 213 p.
Patrick CÉGIELSKI & Arnaud DURAND, Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL, ISBN 978-3-939897-42-2, LIPICS Vol. 16.
Patrick CÉGIELSKI, Charalampos CORNAROS, & Costas DIMITRACOPOULOS, ed., New Studies in Weak Arithmetics, CSLI Publications, Stanford, Lecture Notes 211, 2013, xiv + 448 p.
Patrick CÉGIELSKI, Ali ENAYAT, & Roman KOSSAK, ed., Studies in Weak Arithmetics - Volume 3, CSLI Publications, Stanford, Lecture Notes 217, 2016, x + 241 p.
Andreas BLASS, Patrick CÉGIELSKI, Nachum DERSHOWITZ, Manfred DROSTE, and Bernd FINKBEINER, Fields of Logic and Computation III Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday, Springer, Lecture Notes in Computer Science 12 180, 2020, IX + 343 p.

Patrick CÉGIELSKI, Jean-Pierre RAOULT, & Denis RICHARD, Colloque National sur les Recherches en IUT, numéro spécial de la revue Quadrature, nº 24, avril 1996, Argenteuil, Éditions du choix, ISSN 1142-2785
Patrick CÉGIELSKI (coordonnateur), Modélisation et simulation : actes du CNRIUT'98, L'Harmattan, 1998, 592 p.
Patrick CÉGIELSKI, coordinateur, Des algorithmes administratifs aux algorithmes publics : le cas de Admission Post Bac, avril 2018

Youri MATIIASSEVICH, Le dixième problème de Hilbert, Masson, 1995, XV+307 p., traduit par Patrick CÉGIELSKI et Denis RICHARD, revu par l'auteur (paru en russe chez Nauka en 1993 et en anglais chez M.I.T. Press également en 1993)
Serge ABITEBOUL, Richard HULL & Victor VIANU, Fondements des bases de données, Vuibert informatique, 685 p., 1999, traduction par Patrick CÉGIELSKI de Foundations of Databases, Addison-Wesley, 1995, xviii + 685 p.
Donald E. KNUTH, Éléments pour une histoire de l'informatique, articles choisis et traduits par Patrick CÉGIELSKI, CSLI Publications, Stanford, Lecture Notes 190 et Société Mathématique de France, 2011, xvi + 371 p.
Donald E. KNUTH, Algorithmiques, articles choisis et traduits par Patrick CÉGIELSKI, CSLI Publications, Stanford, Lecture Notes 194 et Société Mathématique de France, 2011, xiv + 510 p.
Knuth par Knuth : conversations avec Dikran Karagueuzian, traduction de Patrick CÉGIELSKI, CSLI Publications, Stanford, 2020, xvi + 210 p.
Dikran KARAGUEUZIAN, Quitter Damas, roman, 2020

Patrick CÉGIELSKI, Conception des systèmes d'exploitation : Le cas linux, Eyrolles, 650 p., octobre 2003.
Patrick CÉGIELSKI, Conception des systèmes d'exploitation : Le cas linux. Deuxième édition., Eyrolles, XIII + 680 p., septembre 2004.
Patrick CÉGIELSKI, Conception du sous-système réseau : le cas Linux, 2005, uniquement en ligne
Gilles DOWEK, direction, Introduction à la science informatique, pour les enseignants de la discipline en lycée, Centre régional de documentation pédagogique de l'académie de Paris, 2011, 375 p. [18 auteurs dont Patrick CÉGIELSKI]

Patrick Cégielski