Catalogue Des Ouvrages
Détail de l'auteur
Auteur Gilles Dowek |
Documents disponibles écrits par cet auteur (3)
Affiner la recherche
Titre : Les Démonstrations et les algorithmes : introduction à la logique et à la calculabilité Type de document : texte imprimé Auteurs : Gilles Dowek Editeur : Paris : Les éditions de l'école polytechnique Année de publication : 2010 Importance : 193 p. Format : 22 cm ISBN/ISSN/EAN : 978-2-7302-1569-5 Note générale : Bibliogr. Langues : Français (fre) Catégories : Mathématiques Tags : Calculabilité Algorithme Index. décimale : 509 Mathématiques Permalink : https://bu.umc.edu.dz/catalogue/index.php?lvl=notice_display&id=48315 Les Démonstrations et les algorithmes : introduction à la logique et à la calculabilité [texte imprimé] / Gilles Dowek . - Paris : Les éditions de l'école polytechnique, 2010 . - 193 p. ; 22 cm.
ISBN : 978-2-7302-1569-5
Bibliogr.
Langues : Français (fre)
Catégories : Mathématiques Tags : Calculabilité Algorithme Index. décimale : 509 Mathématiques Permalink : https://bu.umc.edu.dz/catalogue/index.php?lvl=notice_display&id=48315 Réservation
Réserver ce document
Exemplaires (5)
Code-barres Cote Support Localisation Section Disponibilité S8/91735 S8/91735 Livre Bibliothèque principale indéterminé Disponible S8/91736 S8/91736 Livre Bibliothèque principale indéterminé Disponible S8/91737 S8/91737 Livre Bibliothèque principale indéterminé Disponible S8/91738 S8/91738 Livre Bibliothèque principale indéterminé Disponible S8/91739 S8/91739 Livre Bibliothèque principale indéterminé Disponible
Titre : Introduction à la théorie des langages de programmation Type de document : texte imprimé Auteurs : Gilles Dowek ; Jean-Jacques Lévy Editeur : Paris : Les éditions de l'école polytechnique Année de publication : 2008 Collection : Informatique Importance : 109p. Format : 24cm ISBN/ISSN/EAN : 978-2-7302-1333-2 Note générale : Index. Bibliogr. Langues : Français (fre) Catégories : Infomatique Tags : Programmation langage Index. décimale : 004 Traitement de données. Informatique Permalink : https://bu.umc.edu.dz/catalogue/index.php?lvl=notice_display&id=3049 Introduction à la théorie des langages de programmation [texte imprimé] / Gilles Dowek ; Jean-Jacques Lévy . - Paris : Les éditions de l'école polytechnique, 2008 . - 109p. ; 24cm. - (Informatique) .
ISBN : 978-2-7302-1333-2
Index. Bibliogr.
Langues : Français (fre)
Catégories : Infomatique Tags : Programmation langage Index. décimale : 004 Traitement de données. Informatique Permalink : https://bu.umc.edu.dz/catalogue/index.php?lvl=notice_display&id=3049 Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité S8/85582 S8/85582 Livre Bibliothèque principale indéterminé Disponible S8/85583 S8/85583 Livre Bibliothèque principale indéterminé Disponible
Titre : Les Principes des langages de programmation Type de document : texte imprimé Auteurs : Gilles Dowek Editeur : Paris : Les éditions de l'école polytechnique Année de publication : 2008 Importance : 171 p. Format : 22 cm ISBN/ISSN/EAN : 978-2-7302-1526-8 Note générale : Index. Langues : Français (fre) Catégories : Infomatique Tags : Langage Programmation Index. décimale : 004 Traitement de données. Informatique Permalink : https://bu.umc.edu.dz/catalogue/index.php?lvl=notice_display&id=4796 Les Principes des langages de programmation [texte imprimé] / Gilles Dowek . - Paris : Les éditions de l'école polytechnique, 2008 . - 171 p. ; 22 cm.
ISBN : 978-2-7302-1526-8
Index.
Langues : Français (fre)
Catégories : Infomatique Tags : Langage Programmation Index. décimale : 004 Traitement de données. Informatique Permalink : https://bu.umc.edu.dz/catalogue/index.php?lvl=notice_display&id=4796 Réservation
Réserver ce document
Exemplaires (5)
Code-barres Cote Support Localisation Section Disponibilité S8/91730 S8/91730 Livre Bibliothèque principale indéterminé Disponible S8/91731 S8/91731 Livre Bibliothèque principale indéterminé Disponible S8/91732 S8/91732 Livre Bibliothèque principale indéterminé Disponible S8/91733 S8/91733 Livre Bibliothèque principale indéterminé Disponible S8/91734 S8/91734 Livre Bibliothèque principale indéterminé Disponible
