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.
Algoritmi : lo spirito dell'informatica / David Harel, Yishai Feldman
| Algoritmi : lo spirito dell'informatica / David Harel, Yishai Feldman |
| Autore | Harel, David |
| Pubbl/distr/stampa | Milano, : Springer, 2008 |
| Descrizione fisica | XXII, 616 p. ; 24 cm |
| Altri autori (Persone) | Feldman, Yishai |
| Soggetto topico | 68Wxx - Algorithms in computer science [MSC 2020] |
| Soggetto non controllato |
Algoritmi
Computabilità Computer Correttezza Efficienza Informatica Metodologia Parallelism Software |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0100390 |
Harel, David
|
||
| Milano, : Springer, 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Elements of Computability, Decidability, and Complexity / Alberto Pettorossi
| Elements of Computability, Decidability, and Complexity / Alberto Pettorossi |
| Autore | Pettorossi, Alberto |
| Pubbl/distr/stampa | Roma : Aracne, c2006 |
| Descrizione fisica | ii, 154 p. : ill. ; 24 cm |
| Disciplina | 511.3 |
| Collana | A01's |
| Soggetto non controllato |
Logica Matematica
Computabilità |
| ISBN | 88-548-0682-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990008600120403321 |
|
Pettorossi, Alberto
|
||
| Roma : Aracne, c2006 | ||
| 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 | [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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||