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.
Automi, linguaggi e calcolabilità / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman ; edizione italiana a cura di Giovanni Pighizzini
| Automi, linguaggi e calcolabilità / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman ; edizione italiana a cura di Giovanni Pighizzini |
| Autore | Hopcroft, John E. |
| Edizione | [3. ed.] |
| Pubbl/distr/stampa | Milano : Pearson, c2009 |
| Descrizione fisica | xix, 499 p. : ill. ; 24 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) |
Motwani, Rajeev
Ullman, Jeffrey D. <1942- > |
| Soggetto non controllato |
Teoria delle macchine
Linguaggi formali Teorema di completezza Stati finiti Linguaggi regolari Macchine di Turing |
| ISBN | 978-88-7192-552-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990009426960403321 |
Hopcroft, John E.
|
||
| Milano : Pearson, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automi, linguaggi e calcolabilità / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman
| Automi, linguaggi e calcolabilità / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman |
| Autore | Hopcroft, John E. |
| Pubbl/distr/stampa | Milano : Pearson, c2003 |
| Descrizione fisica | xvii, 548 p. : ill. ; 24 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) |
Motwani, Rajeev
Ullman, Jeffrey D. <1942- > |
| Soggetto non controllato |
Teoria delle macchine
Linguaggi formali Teorema di completezza Stati finiti Linguaggi regolari Macchine di Turing |
| ISBN | 88-7192-154-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990008357160403321 |
|
Hopcroft, John E.
|
||
| Milano : Pearson, c2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 | ||
| ||
Uncountably Categorical Theories / Boris Zilber
| Uncountably Categorical Theories / Boris Zilber |
| Autore | Zilber, Boris |
| Pubbl/distr/stampa | Providence (RI) : American Mathematical Society, c1993 |
| Descrizione fisica | VI, 122 p. ; 24 cm |
| Disciplina | 511.3 |
| Collana | Translations of mathematical monographs |
| Soggetto non controllato |
Categorie - Matematica
Teorema di completezza Teoria dei modelli |
| ISBN | 0-8218-4586-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001327200403321 |
|
Zilber, Boris
|
||
| Providence (RI) : American Mathematical Society, c1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||