Computation and automata / Arto Salomaa

Public ISBD Titre : Computation and automata Type de document : texte imprimé Auteurs : Arto Salomaa (1934-....) Editeur : Cambridge : Cambridge University Press Année de publication : 1985 Collection : Encyclopedia of Mathematics and Its Applications num. 25 Importance : xiii, 284 p. Format : 24 cm. ISBN/ISSN/EAN : 978-0-521-30245-6 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D10 Turing machines and related notions 68-XX Computer science :68-02 Research exposition (monographs, survey articles) 68-XX Computer science :68QXX Theory of computing:68Q05 Models of computation (Turing machines, etc.) Mots-clés : semi-Thue systems  computability theory  recursively enumerable sets  phrase structure grammars  rewriting systems  Post canonical systems  Markov algorithms  Turing machines  recursive function theory  degrees of undecidability  computational complexity  halting problem  Hilbert's tenth problem  cryptography Index. décimale : 68C Monographie Computation and automata [texte imprimé] / Arto Salomaa (1934-....) . - Cambridge : Cambridge University Press, 1985 . - xiii, 284 p. ; 24 cm.. - (Encyclopedia of Mathematics and Its Applications; 25) . ISBN : 978-0-521-30245-6 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D10 Turing machines and related notions 68-XX Computer science :68-02 Research exposition (monographs, survey articles) 68-XX Computer science :68QXX Theory of computing:68Q05 Models of computation (Turing machines, etc.) Mots-clés : semi-Thue systems  computability theory  recursively enumerable sets  phrase structure grammars  rewriting systems  Post canonical systems  Markov algorithms  Turing machines  recursive function theory  degrees of undecidability  computational complexity  halting problem  Hilbert's tenth problem  cryptography Index. décimale : 68C Monographie

Exemplaires

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

Computational approaches to language acquisition / Michael R. Brent

Public ISBD Titre : Computational approaches to language acquisition Type de document : texte imprimé Auteurs : Michael R. Brent, Editeur scientifique Editeur : Cambridge, Mass. : MIT Press Année de publication : 1997 Collection : Cognition special issues Importance : 199 p. Format : 26 cm ISBN/ISSN/EAN : 978-0-262-52229-8 Note générale : "A Bradford book." "Reprinted from Cognition: international journal of cognitive science, volume 61, numbers 1-2, 1996"--T.P. verso. Langues : Anglais Catégories : 68-XX Computer science :68-02 Research exposition (monographs, survey articles) 68-XX Computer science :68TXX Artificial intelligence:68T50 Natural language processing Mots-clés : TALN Index. décimale : 68D Traitement automatique de la langue naturelle (TALN) Computational approaches to language acquisition [texte imprimé] / Michael R. Brent, Editeur scientifique . - Cambridge, Mass. : MIT Press, 1997 . - 199 p. ; 26 cm. - (Cognition special issues) . ISBN : 978-0-262-52229-8 "A Bradford book." "Reprinted from Cognition: international journal of cognitive science, volume 61, numbers 1-2, 1996"--T.P. verso. Langues : Anglais Catégories : 68-XX Computer science :68-02 Research exposition (monographs, survey articles) 68-XX Computer science :68TXX Artificial intelligence:68T50 Natural language processing Mots-clés : TALN Index. décimale : 68D Traitement automatique de la langue naturelle (TALN)

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
21708	LINA/68D11	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

Computational semantics / Charniak, Eugene Ed.

Public ISBD Titre : Computational semantics : an introduction to artificial intelligence and natural language comprehension Type de document : texte imprimé Auteurs : Charniak, Eugene Ed. ; Wilks, Yorick Ed. Editeur : Amsterdam : North-holland publishing company Année de publication : 1976 Collection : Fundamental Studies in Computer Science num. 04 Importance : vii - 294 p. ISBN/ISSN/EAN : 978-0-7204-0469-2 Langues : Anglais Catégories : 68-XX Computer science :68-02 Research exposition (monographs, survey articles) 68-XX Computer science :68QXX Theory of computing:68Q45 Formal languages and automata 68-XX Computer science :68TXX Artificial intelligence:68T10 Pattern recognition, speech recognition Mots-clés : computer science Index. décimale : 68C Monographie Computational semantics : an introduction to artificial intelligence and natural language comprehension [texte imprimé] / Charniak, Eugene Ed. ; Wilks, Yorick Ed. . - Amsterdam : North-holland publishing company, 1976 . - vii - 294 p.. - (Fundamental Studies in Computer Science; 04) . ISBN : 978-0-7204-0469-2 Langues : Anglais Catégories : 68-XX Computer science :68-02 Research exposition (monographs, survey articles) 68-XX Computer science :68QXX Theory of computing:68Q45 Formal languages and automata 68-XX Computer science :68TXX Artificial intelligence:68T10 Pattern recognition, speech recognition Mots-clés : computer science Index. décimale : 68C Monographie

Exemplaires

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

Computer architecture and parallel processing / Hwang, Kai

Public ISBD Titre : Computer architecture and parallel processing Type de document : texte imprimé Auteurs : Hwang, Kai ; Briggs, Fayé A. Editeur : New York, : McGraw-Hill Book Company Année de publication : 1984 Collection : McGraw-Hill Series in Computer Organization and Architecture Importance : xviii - 846 p. Langues : Anglais Catégories : 68-XX Computer science :68-02 Research exposition (monographs, survey articles) 68-XX Computer science :68NXX Software:68N25 Operating systems 68-XX Computer science :68NXX Software:68N99 None of the above, but in this section Mots-clés : fast algorithms  parallel languages  vlsi computing structure  data flow computer  muliprocessor system  array processors  piplined computers  parallel algorithm  parallel computer Index. décimale : 68C Monographie Computer architecture and parallel processing [texte imprimé] / Hwang, Kai ; Briggs, Fayé A. . - New York, : McGraw-Hill Book Company, 1984 . - xviii - 846 p. . - (McGraw-Hill Series in Computer Organization and Architecture) . Langues : Anglais Catégories : 68-XX Computer science :68-02 Research exposition (monographs, survey articles) 68-XX Computer science :68NXX Software:68N25 Operating systems 68-XX Computer science :68NXX Software:68N99 None of the above, but in this section Mots-clés : fast algorithms  parallel languages  vlsi computing structure  data flow computer  muliprocessor system  array processors  piplined computers  parallel algorithm  parallel computer Index. décimale : 68C Monographie

Exemplaires

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

Computer-Graphics / Encarnacao, Jose Luis

Public ISBD Titre : Computer-Graphics : programmierung und Anwendung von graphischen Systemen Type de document : texte imprimé Auteurs : Encarnacao, Jose Luis Editeur : München : R. Oldenbourg Verlag Année de publication : 1975 Collection : Verfahren der Datenverarbeitung Importance : 286 p. ISBN/ISSN/EAN : 978-3-486-34651-0 Langues : Allemand Catégories : 68-XX Computer science :68-02 Research exposition (monographs, survey articles) 68-XX Computer science :68NXX Software:68N01 General 68-XX Computer science :68QXX Theory of computing:68Q45 Formal languages and automata 68-XX Computer science :68TXX Artificial intelligence:68T10 Pattern recognition, speech recognition Mots-clés : computer science  formal languages  pattern recognition Index. décimale : 68C Monographie Computer-Graphics : programmierung und Anwendung von graphischen Systemen [texte imprimé] / Encarnacao, Jose Luis . - München : R. Oldenbourg Verlag, 1975 . - 286 p.. - (Verfahren der Datenverarbeitung) . ISBN : 978-3-486-34651-0 Langues : Allemand Catégories : 68-XX Computer science :68-02 Research exposition (monographs, survey articles) 68-XX Computer science :68NXX Software:68N01 General 68-XX Computer science :68QXX Theory of computing:68Q45 Formal languages and automata 68-XX Computer science :68TXX Artificial intelligence:68T10 Pattern recognition, speech recognition Mots-clés : computer science  formal languages  pattern recognition Index. décimale : 68C Monographie

Exemplaires

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

Computer modern typefaces / Donald E. Knuth

Permalink

Computing Fundamentals / J. Stanley Warford

Permalink

Constraint-based grammar formalisms / Stuart M Shieber

Permalink

Constraint reasoning for differential models / Cruz, Jorge

Permalink

Crafts of Simulation Programming / E. Jack Chen

Permalink

Data mining for design and marketing / Y. Ohsawa ; Katsutoshi Yada

Permalink

Data mining with R / Luis Torgo

Permalink

Debugging techniques in large systems / Rustin, Randall Ed.

Permalink

Deep Learning / Ian Goodfellow

Permalink

Design theory / Charles C. Lindner

Permalink

---

page /6