A basis for theoretical computer science / Michael A. Arbib, A. J. Kfoury, Robert N. Moll
| A basis for theoretical computer science / Michael A. Arbib, A. J. Kfoury, Robert N. Moll |
| Autore | Arbib, Michael A. <1940- > |
| Pubbl/distr/stampa | New York [etc.] : Springer-Verlag, 1981 |
| Descrizione fisica | VIII, 220 p. ; 25 cm |
| Altri autori (Persone) |
Moll, Robert N.
Kfoury, A. J. |
| Collana | Texts and monographs in computer science |
| Soggetto non controllato | Computer science - Manuali |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001124570403321 |
Arbib, Michael A. <1940- >
|
||
| New York [etc.] : Springer-Verlag, 1981 | ||
| 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 | [2. ed.] |
| Pubbl/distr/stampa | Boston [etc.] : Addison Wesley, c2001 |
| Descrizione fisica | xiv, 521 p. ; 24 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) |
Motowani, Rajeev
Ullman, Jeffrey D. <1942- > |
| Soggetto non controllato |
Computer science - Manuali
Computabilità Teoria della ricorsione Linguaggi formali |
| ISBN | 0-201-44124-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001491320403321 |
Hopcroft, John E.
|
||
| Boston [etc.] : Addison Wesley, c2001 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
La struttura degli algoritmi / Fabrizio Luccio
| La struttura degli algoritmi / Fabrizio Luccio |
| Autore | Luccio, Fabrizio |
| Pubbl/distr/stampa | Torino : Boringhieri, stampa1982 |
| Descrizione fisica | 192 p. ; 21 cm |
| Disciplina | 005.12 |
| Collana | Testi e manuali della scienza contemporanea, Serie di informatica |
| Soggetto non controllato |
Computer science - Manuali
Algoritmi |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990001306740403321 |
Luccio, Fabrizio
|
||
| Torino : Boringhieri, stampa1982 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Teoria delle macchine calcolatrici / F. Lerda
| Teoria delle macchine calcolatrici / F. Lerda |
| Autore | Lerda, Francesco |
| Pubbl/distr/stampa | Torino : Editrice Tirrenia, 1966 |
| Disciplina | 005 |
| Soggetto non controllato |
Linguaggi di programmazione - Algol
Computer science - Manuali |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990001231900403321 |
Lerda, Francesco
|
||
| Torino : Editrice Tirrenia, 1966 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||