A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Catégories
> 02F10
Affiner la recherche Interroger des sources externes
Automata, languages, and machines. Volume A (Cop. 1974) / Samuel EILENBERG
Titre : Automata, languages, and machines. Volume A Type de document : texte imprimé Auteurs : Samuel EILENBERG, Auteur Editeur : New York [U.S.A.] : Academic Press Année de publication : Cop. 1974 Collection : Pure and applied mathematics, ISSN 1439-7358 num. 59-A Importance : XVI-451 p. ISBN/ISSN/EAN : 978-0-12-234001-7 Langues : Anglais (eng) Catégories : 02F10
94A25
94A30Mots-clés : automate langage machine Note de contenu : index Automata, languages, and machines. Volume A [texte imprimé] / Samuel EILENBERG, Auteur . - Academic Press, Cop. 1974 . - XVI-451 p.. - (Pure and applied mathematics, ISSN 1439-7358; 59-A) .
ISBN : 978-0-12-234001-7
Langues : Anglais (eng)
Catégories : 02F10
94A25
94A30Mots-clés : automate langage machine Note de contenu : index Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9125 EIL/94/4573-I Livre Recherche Salle Disponible Automata, languages, and machines. Volume B (Cop. 1976) / Samuel EILENBERG
Titre : Automata, languages, and machines. Volume B Type de document : texte imprimé Auteurs : Samuel EILENBERG, Auteur ; Bret TILSON, Auteur Editeur : New York [U.S.A.] : Academic Press Année de publication : Cop. 1976 Collection : Pure and applied mathematics, ISSN 1439-7358 num. 59-B Importance : XIII-387 p. ISBN/ISSN/EAN : 978-0-12-234002-4 Langues : Anglais (eng) Catégories : 02F10
94A25
94A30Mots-clés : théorie de l'information automate langage machine Note de contenu : index Automata, languages, and machines. Volume B [texte imprimé] / Samuel EILENBERG, Auteur ; Bret TILSON, Auteur . - Academic Press, Cop. 1976 . - XIII-387 p.. - (Pure and applied mathematics, ISSN 1439-7358; 59-B) .
ISBN : 978-0-12-234002-4
Langues : Anglais (eng)
Catégories : 02F10
94A25
94A30Mots-clés : théorie de l'information automate langage machine Note de contenu : index Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 10499 EIL/94/4573-II Livre Recherche Salle Disponible Automata on infinite objects and Church's problem (Cop. 1972) / Michael O. RABIN
Titre : Automata on infinite objects and Church's problem Type de document : texte imprimé Auteurs : Michael O. RABIN, Auteur Editeur : Providence, R. I. [Etats Unis] : American Mathematical Society Année de publication : Cop. 1972 Collection : CBMS. Regional conference series in mathematics, ISSN 0160-7642 num. 13 Importance : 22 p. ISBN/ISSN/EAN : 978-0-8218-1663-9 Langues : Anglais (eng) Catégories : 02F10
94A30Mots-clés : théorie des machines automate analyse combinatoire Note de contenu : références Automata on infinite objects and Church's problem [texte imprimé] / Michael O. RABIN, Auteur . - American Mathematical Society, Cop. 1972 . - 22 p.. - (CBMS. Regional conference series in mathematics, ISSN 0160-7642; 13) .
ISBN : 978-0-8218-1663-9
Langues : Anglais (eng)
Catégories : 02F10
94A30Mots-clés : théorie des machines automate analyse combinatoire Note de contenu : références Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 3349 RAB/02/CBMS-13 Livre Recherche Salle Disponible The computational complexity of logical theories (1979) / Jeanne FERRANTE
Titre : The computational complexity of logical theories Type de document : texte imprimé Auteurs : Jeanne FERRANTE, Auteur ; Charles W. RACKOFF, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1979 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 718 Importance : V-243 p. ISBN/ISSN/EAN : 978-3-540-09501-9 Langues : Anglais (eng) Catégories : 02B10
02F10
02G05
68A40
69A20Mots-clés : complexité algorithmique théorie logique Note de contenu : index, références The computational complexity of logical theories [texte imprimé] / Jeanne FERRANTE, Auteur ; Charles W. RACKOFF, Auteur . - Springer-Verlag, 1979 . - V-243 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 718) .
ISBN : 978-3-540-09501-9
Langues : Anglais (eng)
Catégories : 02B10
02F10
02G05
68A40
69A20Mots-clés : complexité algorithmique théorie logique Note de contenu : index, références Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5260 LN 718 Livre Recherche Salle Disponible