14 résultat(s) recherche sur le mot-clé 'formal languages'

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

Public ISBD Titre : Automata, languages, and machines. Vol. A Type de document : texte imprimé Auteurs : S. Eilenberg Editeur : Academic Press, Inc. Année de publication : 1974 Collection : PURE AND APPLIED MATHEMATICS num. 59 Importance : xvi - 451 p. Langues : Anglais 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é] / S. Eilenberg . - [S.l.] : Academic Press, Inc., 1974 . - xvi - 451 p.. - (PURE AND APPLIED MATHEMATICS; 59) . Langues : Anglais 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

Exemplaires

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

Symposium on semantics of algorithmic languages / Engeler, E. Ed.

Public ISBD Titre : Symposium on semantics of algorithmic languages Type de document : texte imprimé Auteurs : Engeler, E. Ed. Editeur : Springer-Verlag Année de publication : 1971 Collection : Lecture Notes in Mathematics, ISSN 0075-8434 num. 188 Importance : VI - 372 p. Langues : Anglais Catégories : 68-XX Computer science :68-06 Proceedings, conferences, collections, etc. 68-XX Computer science :68NXX Software:68N01 General 68-XX Computer science :68NXX Software:68N17 Logic programming 68-XX Computer science :68PXX Theory of data:68P20 Information storage and retrieval 68-XX Computer science :68QXX Theory of computing:68Q45 Formal languages and automata 68-XX Computer science :68QXX Theory of computing:68Q55 Semantics Mots-clés : information storage and retrieval  logic programming  formal languages Index. décimale : LNM Symposium on semantics of algorithmic languages [texte imprimé] / Engeler, E. Ed. . - [S.l.] : Springer-Verlag, 1971 . - VI - 372 p. . - (Lecture Notes in Mathematics, ISSN 0075-8434; 188) . Langues : Anglais Catégories : 68-XX Computer science :68-06 Proceedings, conferences, collections, etc. 68-XX Computer science :68NXX Software:68N01 General 68-XX Computer science :68NXX Software:68N17 Logic programming 68-XX Computer science :68PXX Theory of data:68P20 Information storage and retrieval 68-XX Computer science :68QXX Theory of computing:68Q45 Formal languages and automata 68-XX Computer science :68QXX Theory of computing:68Q55 Semantics Mots-clés : information storage and retrieval  logic programming  formal languages Index. décimale : LNM

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
13935	LNM/188	imprimé / autre	CRDM	LNM/LECTURES NOTES IN MATHEMATICS	Disponible

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

Public ISBD Titre : Advances in computers. Vol. 14 Type de document : texte imprimé Auteurs : Marshall C. Yovits, Editeur scientifique ; Rubinoff, Morris, Editeur scientifique Editeur : Academic Press, Inc. Année de publication : 1976 Importance : xii - 287 p. ISBN/ISSN/EAN : 012012114x Langues : Anglais 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é] / Marshall C. Yovits, Editeur scientifique ; Rubinoff, Morris, Editeur scientifique . - [S.l.] : Academic Press, Inc., 1976 . - xii - 287 p. ISSN : 012012114x Langues : Anglais 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

Exemplaires

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

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

Public ISBD Titre : Advances in computers. Vol. 15 Type de document : texte imprimé Auteurs : Marshall C. Yovits, Editeur scientifique ; Rubinoff, Morris, Editeur scientifique Editeur : Academic Press, Inc. Année de publication : 1976 Importance : xiii - 301 p. ISBN/ISSN/EAN : 978-0-12-012115-1 Langues : Anglais 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é] / Marshall C. Yovits, Editeur scientifique ; Rubinoff, Morris, Editeur scientifique . - [S.l.] : Academic Press, Inc., 1976 . - xiii - 301 p. ISBN : 978-0-12-012115-1 Langues : Anglais 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

Exemplaires

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

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

Public ISBD Titre : Automata on infinite objects and church's problem Type de document : texte imprimé Auteurs : Michael O. Rabin 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 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é] / Michael O. Rabin . - Providence, R.I. : 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 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

Exemplaires

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

Codes and automata / Jean Berstel

Permalink

Computer-Graphics / Encarnacao, Jose Luis

Permalink

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

Permalink

Introduction to the mathematics of language study / Brainerd, Barron

Permalink

Mathematical models in linguistics / Gross, Maurice

Permalink

the Dynamical system generated by the 3n+1 function / Wirsching, Günther J.

Permalink

Automatic sequences / J.-P. Allouche

Permalink

Intelligence artificielle et informatique théorique / J. M. Alliot

Permalink

Mathématiques de base pour les linguistes / Goujon, P.

Permalink