Des services pour PMB
Indexation 511.3
511.8 Ouvrages de la bibliothèque en indexation 511.3 (4)
Affiner la recherche Interroger des sources externesEléments de théorie des automates
Titre : Eléments de théorie des automates Type de document : texte imprimé Editeur : Année de publication : 2003 Collection : Les classiques de l'informatique Importance : XIV-816 p. Présentation : ill., couv. ill. en coul. Format : 25 cm ISBN/ISSN/EAN : 978-2-7117-4807-5 Note générale : Bibliogr. p. 791-799. Index Catégories : Sciences Exactes 2026:Informatique Mots-clés : Machines séquentielles , Théorie des Langages formels Index. décimale : 511.3 Eléments de théorie des automates [texte imprimé] . - , 2003 . - XIV-816 p. : ill., couv. ill. en coul. ; 25 cm. - (Les classiques de l'informatique) .
ISBN : 978-2-7117-4807-5
Bibliogr. p. 791-799. Index
Catégories : Sciences Exactes 2026:Informatique Mots-clés : Machines séquentielles , Théorie des Langages formels Index. décimale : 511.3 Réservation
Réserver ce document
Exemplaires(5)
Code-barres Cote Support Localisation Section Disponibilité FIN 5755 21-10-E-23/01 Livre Bibliothèque Universitaire Centrale MI Exclu du prêt FIN 5756 21-10-E-23/02 Livre Bibliothèque Universitaire Centrale MI Disponible FIN 5757 21-10-E-23/03 Livre Bibliothèque Universitaire Centrale MI Disponible FIN 5758 21-10-E-23/04 Livre Bibliothèque Universitaire Centrale MI Disponible FIN 5759 21-10-E-23/05 Livre Bibliothèque Universitaire Centrale MI Disponible
Titre : Lambda-calcul : types et modèles Type de document : texte imprimé Editeur : Année de publication : 1990 Collection : Etudes et recherches en informatique Importance : VIII-176 p. Présentation : couv. ill. en coul. Format : 25 cm ISBN/ISSN/EAN : 978-2-225-82091-5 Note générale : Bibliogr. p. 167-170. Index Catégories : Sciences Exactes 2026:Informatique Mots-clés : Lambda-calcul Index. décimale : 511.3 Lambda-calcul : types et modèles [texte imprimé] . - , 1990 . - VIII-176 p. : couv. ill. en coul. ; 25 cm. - (Etudes et recherches en informatique) .
ISBN : 978-2-225-82091-5
Bibliogr. p. 167-170. Index
Catégories : Sciences Exactes 2026:Informatique Mots-clés : Lambda-calcul Index. décimale : 511.3 Réservation
Réserver ce document
Exemplaires(3)
Code-barres Cote Support Localisation Section Disponibilité FIN 5889 21-12-E-11/01 Livre Bibliothèque Universitaire Centrale MI Exclu du prêt FIN 5890 21-12-E-11/02 Livre Bibliothèque Universitaire Centrale MI Disponible FIN 5891 21-12-E-11/03 Livre Bibliothèque Universitaire Centrale MI Disponible
Titre : Langages formels, calculabilité et complexité : licence et master de mathématiques ou d'informatique, option informatique de l'agrégation de mathématiques Type de document : texte imprimé Editeur : Année de publication : impr. 2008 Importance : 1 vol. (237 p.) Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-7117-2077-4 Note générale : Bibliogr. p. 233-234. Index Catégories : Sciences Exactes 2026:Informatique Mots-clés : Langages formels Fonctions calculables Complexité de calcul (informatique) Index. décimale : 511.3 Langages formels, calculabilité et complexité : licence et master de mathématiques ou d'informatique, option informatique de l'agrégation de mathématiques [texte imprimé] . - , impr. 2008 . - 1 vol. (237 p.) : ill., couv. ill. en coul. ; 24 cm.
ISBN : 978-2-7117-2077-4
Bibliogr. p. 233-234. Index
Catégories : Sciences Exactes 2026:Informatique Mots-clés : Langages formels Fonctions calculables Complexité de calcul (informatique) Index. décimale : 511.3 Réservation
Réserver ce document
Exemplaires(10)
Code-barres Cote Support Localisation Section Disponibilité FIN 8747 21-02-E-116/01 Livre Bibliothèque Universitaire Centrale MI Exclu du prêt FIN 8748 21-02-E-116/02 Livre Bibliothèque Universitaire Centrale MI Disponible FIN 8749 21-02-E-116/03 Livre Bibliothèque Universitaire Centrale MI Disponible FIN 8750 21-02-E-116/04 Livre Bibliothèque Universitaire Centrale MI Disponible FIN 8751 21-02-E-116/05 Livre Bibliothèque Universitaire Centrale MI Disponible FIN 8752 21-02-E-116/06 Livre Bibliothèque Universitaire Centrale MI Disponible FIN 8753 21-02-E-116/07 Livre Bibliothèque Universitaire Centrale MI Disponible FIN 8754 21-02-E-116/08 Livre Bibliothèque Universitaire Centrale MI Disponible FIN 8755 21-02-E-116/09 Livre Bibliothèque Universitaire Centrale MI Disponible FIN 8756 21-02-E-116/10 Livre Bibliothèque Universitaire Centrale MI Disponible
Titre : Theories of computability Type de document : texte imprimé Mention d'édition : 1st ed. Editeur : Année de publication : cop. 1997 Importance : 1 vol. (IX-251 p.) Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-0-521-55380-3 Note générale : Bibliogr. p. 234-242 Catégories : Sciences Exactes 2026:Informatique Mots-clés : Automates mathématiques, Théorie des Index. décimale : 511.3 Theories of computability [texte imprimé] . - 1st ed. . - , cop. 1997 . - 1 vol. (IX-251 p.) : ill. ; 24 cm.
ISBN : 978-0-521-55380-3
Bibliogr. p. 234-242
Catégories : Sciences Exactes 2026:Informatique Mots-clés : Automates mathématiques, Théorie des Index. décimale : 511.3 Réservation
Réserver ce document
Exemplaires(3)
Code-barres Cote Support Localisation Section Disponibilité FIN 4787 21-04-E-52/1 Livre Bibliothèque Universitaire Centrale MI Exclu du prêt FIN 4788 21-04-E-52/2 Livre Bibliothèque Universitaire Centrale MI Disponible FIN 4789 21-04-E-52/3 Livre Bibliothèque Universitaire Centrale MI Disponible
