Les démonstrations et les algorithmes / Gilles Dowek

Public ISBD Title : Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité Material Type: printed text Authors: Gilles Dowek, Author Publisher: Palaiseau : les Éd. de l'École polytechnique Publication Date: impr. 2010 Other publisher: 91-Palaiseau : Impr. Centre Poly-média Pagination: 1 vol. (193 p.) Layout: ill., couv. ill. en coul. Size: 25 cm ISBN (or other code): 978-2-7302-1569-5 Price: 18 EUR General note: La 4ème de couv. porte : "Informatique" Bibliogr., 1 p. Index Languages : French (fre) Descriptors: Algorithmes Logique symbolique et mathématique Class number: 511.3 Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité [printed text] / Gilles Dowek, Author . - Palaiseau : les Éd. de l'École polytechnique : 91-Palaiseau : Impr. Centre Poly-média, impr. 2010 . - 1 vol. (193 p.) : ill., couv. ill. en coul. ; 25 cm. ISBN : 978-2-7302-1569-5 : 18 EUR La 4ème de couv. porte : "Informatique" Bibliogr., 1 p. Index Languages : French (fre) Descriptors: Algorithmes Logique symbolique et mathématique Class number: 511.3

Hold

Place a hold on this item

Copies (1)

Barcode	Call number	Media type	Location	Section	Status
9782730215695	511.3 DOW	Livre	RE2SD Library	CS	Available

Machines de Turing et automates cellulaires / Charles Corge

Public ISBD Title : Machines de Turing et automates cellulaires : du trait gravé au très animé Material Type: printed text Authors: Charles Corge, Author Publisher: Paris : Ellipses Publication Date: impr. 2008 Other publisher: 61-Lonrai : Normandie roto impr. Pagination: 1 vol. (XIV-492 p.) Layout: ill., couv. ill. en coul. Size: 24 cm ISBN (or other code): 978-2-7298-3772-3 Price: 49 EUR General note: La couv. porte comme nom d'auteur : "Corges" Bibliogr. p. 479-486 Languages : French (fre) Descriptors: Automates cellulaires Turing, Machines de Class number: 511.3 Machines de Turing et automates cellulaires : du trait gravé au très animé [printed text] / Charles Corge, Author . - Paris : Ellipses : 61-Lonrai : Normandie roto impr., impr. 2008 . - 1 vol. (XIV-492 p.) : ill., couv. ill. en coul. ; 24 cm. ISBN : 978-2-7298-3772-3 : 49 EUR La couv. porte comme nom d'auteur : "Corges" Bibliogr. p. 479-486 Languages : French (fre) Descriptors: Automates cellulaires Turing, Machines de Class number: 511.3

Hold

Place a hold on this item

Copies (1)

Barcode	Call number	Media type	Location	Section	Status
9782729837723	511.3 COR	Livre	RE2SD Library	Math	Available

Théorie des automates / Patrice Séébold

Public ISBD Title : Théorie des automates : méthodes et exercices corrigés Material Type: printed text Authors: Patrice Séébold, Author Publisher: Paris : Vuibert informatique Publication Date: 1999 Other publisher: 46-Cahors : Impr. France Quercy Series: Passeport pour l'informatique Pagination: X-198 p. Layout: ill., couv. ill. en coul. Size: 24 cm ISBN (or other code): 978-2-7117-8630-5 Price: 159 F General note: La couv. porte en plus : "classes préparatoires, 1er et 2e cycles universitaires" Index Languages : French (fre) Descriptors: Automates mathématiques , Théorie des Class number: 511.3 Théorie des automates : méthodes et exercices corrigés [printed text] / Patrice Séébold, Author . - Paris : Vuibert informatique : 46-Cahors : Impr. France Quercy, 1999 . - X-198 p. : ill., couv. ill. en coul. ; 24 cm. - (Passeport pour l'informatique) . ISBN : 978-2-7117-8630-5 : 159 F La couv. porte en plus : "classes préparatoires, 1er et 2e cycles universitaires" Index Languages : French (fre) Descriptors: Automates mathématiques , Théorie des Class number: 511.3

Hold

Place a hold on this item

Copies (1)

Barcode	Call number	Media type	Location	Section	Status
9782711786305	511.3 SEE	Livre	RE2SD Library	Electrical engineering	Available

---

1 (1 - 3 / 3) Per page : 25 50 100 200