Advances in computers. Vol. 14 / Rubinoff, Morris Ed.

Public ISBD Titre : Advances in computers. Vol. 14 Type de document : texte imprimé Auteurs : Rubinoff, Morris Ed. ; Yovits, Marshall C. Ed. Editeur : Academic Press, Inc. Année de publication : 1976 Importance : xii - 287 p. ISBN/ISSN/EAN : 012012114x Langues : Anglais (eng) Catégories : 00-XX General:00BXX Conference proceedings and collections of papers 68-XX Computer science :68-06 Proceedings, conferences, collections, etc. 68-XX Computer science :68NXX Software:68N01 General 68-XX Computer science :68QXX Theory of computing:68Q25 Analysis of algorithms and problem complexity 68-XX Computer science :68QXX Theory of computing:68Q45 Formal languages and automata Mots-clés : adoances  formal languages  computer science Index. décimale : 68B Publication collective Advances in computers. Vol. 14 [texte imprimé] / Rubinoff, Morris Ed. ; Yovits, Marshall C. Ed. . - [S.l.] : Academic Press, Inc., 1976 . - xii - 287 p. ISSN : 012012114x Langues : Anglais (eng) Catégories : 00-XX General:00BXX Conference proceedings and collections of papers 68-XX Computer science :68-06 Proceedings, conferences, collections, etc. 68-XX Computer science :68NXX Software:68N01 General 68-XX Computer science :68QXX Theory of computing:68Q25 Analysis of algorithms and problem complexity 68-XX Computer science :68QXX Theory of computing:68Q45 Formal languages and automata Mots-clés : adoances  formal languages  computer science Index. décimale : 68B Publication collective

Réservation

Réserver ce document

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
14723	68B15	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

Advances in computers. Vol. 15 / Yovits, Marshall C. Eds. ; Rubinoff, Morris

Public ISBD Titre : Advances in computers. Vol. 15 Type de document : texte imprimé Auteurs : Yovits, Marshall C. Eds. ; Rubinoff, Morris Editeur : Academic Press, Inc. Année de publication : 1976 Importance : xiii - 301 p. ISBN/ISSN/EAN : 012021158 Langues : Anglais (eng) Catégories : 00-XX General:00BXX Conference proceedings and collections of papers 68-XX Computer science :68-06 Proceedings, conferences, collections, etc. 68-XX Computer science :68NXX Software:68N01 General 68-XX Computer science :68QXX Theory of computing:68Q45 Formal languages and automata Mots-clés : formal languages  computer science Index. décimale : 68B Publication collective Advances in computers. Vol. 15 [texte imprimé] / Yovits, Marshall C. Eds. ; Rubinoff, Morris . - [S.l.] : Academic Press, Inc., 1976 . - xiii - 301 p. ISSN : 012021158 Langues : Anglais (eng) Catégories : 00-XX General:00BXX Conference proceedings and collections of papers 68-XX Computer science :68-06 Proceedings, conferences, collections, etc. 68-XX Computer science :68NXX Software:68N01 General 68-XX Computer science :68QXX Theory of computing:68Q45 Formal languages and automata Mots-clés : formal languages  computer science Index. décimale : 68B Publication collective

Réservation

Réserver ce document

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
14724	68B16	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

Automata, languages, and machines. Vol. A / Eilenberg, S.

Public ISBD Titre : Automata, languages, and machines. Vol. A Type de document : texte imprimé Auteurs : Eilenberg, S. Editeur : Academic Press, Inc. Année de publication : 1974 Collection : PURE AND APPLIED MATHEMATICS num. 59 Importance : xvi - 451 p. Langues : Anglais (eng) Catégories : 68-XX Computer science :68QXX Theory of computing:68Q45 Formal languages and automata 94-XX Information and communication, circuits:94-02 Research exposition (monographs, survey articles) Mots-clés : computer science  information and communication  formal languages Index. décimale : 68C Monographie Automata, languages, and machines. Vol. A [texte imprimé] / Eilenberg, S. . - Academic Press, Inc., 1974 . - xvi - 451 p.. - (PURE AND APPLIED MATHEMATICS; 59) . Langues : Anglais (eng) Catégories : 68-XX Computer science :68QXX Theory of computing:68Q45 Formal languages and automata 94-XX Information and communication, circuits:94-02 Research exposition (monographs, survey articles) Mots-clés : computer science  information and communication  formal languages Index. décimale : 68C Monographie

Réservation

Réserver ce document

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
546	68C167	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible
547	68C167	imprimé / autre	CRDM	68/INFORMATIQUE	Sorti jusqu'au 31/07/2009

Automata on infinite objects and church's problem / Rabin, Michael O.

Public ISBD Titre : Automata on infinite objects and church's problem Type de document : texte imprimé Auteurs : Rabin, Michael O. Editeur : Providence, R.I. : American Mathematical Society Année de publication : 1972 Collection : Conference Board of the Mathematical Sciences - 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 : 03-XX Mathematical logic and foundations:03BXX General logic:03B25 Decidability of theories and sets of sentences 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D05 Automata and formal grammars in connection with logical questions 68-XX Computer science :68QXX Theory of computing:68Q45 Formal languages and automata Mots-clés : formal languages  automata theory in connection with logical questions  church's problem Index. décimale : 03B Publication collective Automata on infinite objects and church's problem [texte imprimé] / Rabin, Michael O. . - American Mathematical Society, 1972 . - 22 p.. - (Conference Board of the Mathematical Sciences - Regional Conference Series in Mathematics, ISSN 0160-7642; 13) . ISBN : 978-0-8218-1663-9 Langues : Anglais (eng) Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B25 Decidability of theories and sets of sentences 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D05 Automata and formal grammars in connection with logical questions 68-XX Computer science :68QXX Theory of computing:68Q45 Formal languages and automata Mots-clés : formal languages  automata theory in connection with logical questions  church's problem Index. décimale : 03B Publication collective

Réservation

Réserver ce document

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
9236	03B09	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

Codes and automata / Jean Berstel

Public ISBD Titre : Codes and automata Type de document : texte imprimé Auteurs : Jean Berstel ; Dominique Perrin ; Christophe Reutenauer Editeur : Cambridge : Cambridge University Press Année de publication : 2010 Collection : Encyclopedia of Mathematics and Its Applications num. 129 Importance : xiii, 619 p. Présentation : ill ISBN/ISSN/EAN : 978-0-521-88831-8 Langues : Anglais (eng) Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68QXX Theory of computing:68Q45 Formal languages and automata 94-XX Information and communication, circuits:94-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : Formal languages  algebraic theory of automata  computer science  codes in connection with formal languages Index. décimale : 68C Monographie Codes and automata [texte imprimé] / Jean Berstel ; Dominique Perrin ; Christophe Reutenauer . - Cambridge University Press, 2010 . - xiii, 619 p. : ill. - (Encyclopedia of Mathematics and Its Applications; 129) . ISBN : 978-0-521-88831-8 Langues : Anglais (eng) Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68QXX Theory of computing:68Q45 Formal languages and automata 94-XX Information and communication, circuits:94-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : Formal languages  algebraic theory of automata  computer science  codes in connection with formal languages Index. décimale : 68C Monographie

Réservation

Réserver ce document

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
18429	68C353	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

Computational semantics / Charniak, Eugene Ed.

Permalink

Computer-Graphics / Encarnacao, Jose Luis

Permalink

Incertitude et information / Guiasu, Silviu

Permalink

Introduction à la théorie des sous-ensembles flous / Kaufmann, A.

Permalink

Introduction à la théorie des sous-ensembles flous / Kaufmann, A.

Permalink

Introduction to automata theory, languages, and computation / Hopcroft, John E.

Permalink

Introduction to computer and data structures : PDP-11edition / Stone, Harold S.

Permalink

Introduction to the mathematics of language study / Brainerd, Barron

Permalink

Mathematical models in linguistics / Gross, Maurice

Permalink

Mathematical theory of computation / Manna, Zohar

Permalink