Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Computation : finite and infinite machines / Marvin L. Minsky
| Computation : finite and infinite machines / Marvin L. Minsky |
| Autore | Minsky, Marvin L. |
| Pubbl/distr/stampa | London : Prentice-Hall, ©1972 |
| Descrizione fisica | 317 p. : ill. ; 24 cm |
| Disciplina | 621.381'95 |
| Collana | Prentice-Hall series in automatic computation |
| Soggetto non controllato | Teoria delle macchine |
| ISBN | 0-13-165449-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000470300403321 |
| Minsky, Marvin L. | ||
| London : Prentice-Hall, ©1972 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Exploring RANDOMNESS / Gregory J. Chaitin
| Exploring RANDOMNESS / Gregory J. Chaitin |
| Autore | Chaitin, Gregory J. |
| Pubbl/distr/stampa | London : Springer-Verlag, copyr. 2001 |
| Descrizione fisica | X, 164 p. : ill. ; 20 cm |
| Disciplina | 511.321 |
| Collana | Discrete Mathematics and Theoretical Computer Science |
| Soggetto non controllato |
Teoria delle macchine
Complessità computazionale Linguaggio LISP |
| ISBN | 1-85233-417-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000490800203316 |
Chaitin, Gregory J.
|
||
| London : Springer-Verlag, copyr. 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Introduction to automata theory, languages and computation / John E. Hopcroft, Jeffrey D. Ullman
| Introduction to automata theory, languages and computation / John E. Hopcroft, Jeffrey D. Ullman |
| Autore | Hopcroft, John E. |
| Edizione | [2nd ed] |
| Pubbl/distr/stampa | Reading ( Mass.) [etc.] : Addison-Wesley, copyr. 2001 |
| Descrizione fisica | XIV, 521 p. : ill. ; 25 cm |
| Disciplina | 511.3 |
| Soggetto non controllato |
Linguaggi formali
Teoria delle macchine |
| ISBN | 0-201-44124-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000178930203316 |
| Hopcroft, John E. | ||
| Reading ( Mass.) [etc.] : Addison-Wesley, copyr. 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Introduction to automata theory, languages and computation / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman
| Introduction to automata theory, languages and computation / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman |
| Autore | Hopcroft, John E. |
| Edizione | [2nd ed.] |
| Pubbl/distr/stampa | Boston : Addison-Wesley, c2001 |
| Descrizione fisica | xiv, 521 p. : ill. ; 25 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) |
Motwani, Rajeev
Ullman, Jeffrey D. <1942- > |
| Soggetto non controllato |
Teoria delle macchine
Linguaggi formali Teorema di completezza |
| ISBN | 0-201-44124-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001480240403321 |
|
Hopcroft, John E.
|
||
| Boston : Addison-Wesley, c2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Introduction to automata theory, languages and computation / John E. Hopcroft, Jeffrey D. Ullman
| Introduction to automata theory, languages and computation / John E. Hopcroft, Jeffrey D. Ullman |
| Autore | Hopcroft, John E. |
| Pubbl/distr/stampa | Reading ( Mass.) [etc.] : Addison-Wesley, copyr. 1979 |
| Descrizione fisica | X, 418 p. : ill. ; 25 cm |
| Disciplina | 511.3 |
| Collana | Addison-Wesley series in computer science |
| Soggetto non controllato |
Linguaggi formali
Teoria delle macchine |
| ISBN | 0-201-02988-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000100260203316 |
| Hopcroft, John E. | ||
| Reading ( Mass.) [etc.] : Addison-Wesley, copyr. 1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Introduction to automata theory, languages, and computation / John E. Hopcroft, Jeffrey D. Ullman
| Introduction to automata theory, languages, and computation / John E. Hopcroft, Jeffrey D. Ullman |
| Autore | Hopcroft, John E. |
| Pubbl/distr/stampa | Reading, Massachusetts : Addison-Wesley, ©1979 |
| Descrizione fisica | 418 p. : ill. ; 24 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) | Ullman, Jeffrey D. <1942- > |
| Collana | Addison-Wesley series in computer science |
| Soggetto non controllato |
Teoria delle macchine
Linguaggi formali |
| ISBN | 0-201-02988-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000468820403321 |
|
Hopcroft, John E.
|
||
| Reading, Massachusetts : Addison-Wesley, ©1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Introduction to discrete structures for computer science and engineering / Franco P. Preparata, Raymond T. Yeh
| Introduction to discrete structures for computer science and engineering / Franco P. Preparata, Raymond T. Yeh |
| Autore | Preparata, Franco P. |
| Pubbl/distr/stampa | Reading, Massachusetts [etc.] : Addison-Wesley, ©1973 |
| Descrizione fisica | 354 p. : ill. ; 25 cm |
| Disciplina | 511 |
| Collana | Addison-Wesley series in computer science and information processing |
| Soggetto non controllato |
Algebra
Teoria delle macchine |
| ISBN | 0-201-05968-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000479970403321 |
| Preparata, Franco P. | ||
| Reading, Massachusetts [etc.] : Addison-Wesley, ©1973 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Introduction to the theory of computation / Michael Sipser
| Introduction to the theory of computation / Michael Sipser |
| Autore | Sipser, Michael |
| Pubbl/distr/stampa | Boston [etc.] : PWS Publishing Company, copyr. 1997 |
| Descrizione fisica | XV, 396 p. : ill. ; 20 cm |
| Disciplina | 511.3 |
| Soggetto non controllato |
Teoria delle macchine
Complessità computazionale |
| ISBN | 0-534-94728-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000577820203316 |
|
Sipser, Michael
|
||
| Boston [etc.] : PWS Publishing Company, copyr. 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Introduction to the theory of computation / Michael Sipser
| Introduction to the theory of computation / Michael Sipser |
| Autore | Sipser, Michael |
| Pubbl/distr/stampa | Boston (Mass.) : PWS, c1997 |
| Descrizione fisica | xv, 396 p. : ill. ; 24 cm |
| Disciplina | 511.3 |
| Soggetto non controllato |
Teoria computazionale
Teoria delle macchine Complessità computazionale Logica matematica |
| ISBN | 0-534-94728-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001491800403321 |
|
Sipser, Michael
|
||
| Boston (Mass.) : PWS, c1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Prediction and discovery : AMS-IMS-SIAM Joint Summer Research Conference, Machine and Statistical Learning : Prediction and Discovery, June 25-29, 2006, Snowbird, Utah / Joseph Stephen Verducci, Xiaotong Shen, John Lafferty, editors
| Prediction and discovery : AMS-IMS-SIAM Joint Summer Research Conference, Machine and Statistical Learning : Prediction and Discovery, June 25-29, 2006, Snowbird, Utah / Joseph Stephen Verducci, Xiaotong Shen, John Lafferty, editors |
| Pubbl/distr/stampa | Providence : American Mathematical society, c2007 |
| Descrizione fisica | vi, 226 p. ; 24 cm |
| Disciplina | 006.3 |
| Collana | Contemporary mathematics |
| Soggetto non controllato |
Teoria delle macchine
Statistica |
| ISBN | 0-8218-4195-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990008669630403321 |
| Providence : American Mathematical society, c2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
