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.
Coding and complexity / edited by G. Longo, J. L. Massey
| Coding and complexity / edited by G. Longo, J. L. Massey |
| Pubbl/distr/stampa | Wein - New York, : Springer-Verlag, copyr. 1975 |
| Descrizione fisica | VII, 334 p. : ill. ; 20 cm |
| Disciplina | 003.54 |
| Collana | International centre for mechanical sciences |
| Soggetto non controllato |
Teoria dell'informazione
Teoria della codificazione Complessità computazionale |
| ISBN | 3-211-81341-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000581380203316 |
| Wein - New York, : Springer-Verlag, copyr. 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computability and complexity : from a programming perspective / Neil D. Jones
| Computability and complexity : from a programming perspective / Neil D. Jones |
| Autore | Jones, Neil D. |
| Pubbl/distr/stampa | Cambridge [etc.] : The MIT Press, copyr. 1997 |
| Descrizione fisica | XVI, 466 p. : ill. ; 20 cm |
| Disciplina | 005.131 |
| Soggetto non controllato |
Linguaggi formali
Complessità computazionale |
| ISBN | 0-262-10064-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000491230203316 |
Jones, Neil D.
|
||
| Cambridge [etc.] : The MIT Press, copyr. 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computability complexity logic / E. Börger
| Computability complexity logic / E. Börger |
| Autore | BÖRGER, Egon |
| Pubbl/distr/stampa | Amsterdam [etc.] : Noth-Holland, 1989 |
| Descrizione fisica | XX, 592 p. : ill. ; 22 cm |
| Disciplina | 511.3 |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto non controllato |
Algoritmi
Complessità computazionale |
| ISBN | 0-444-87406-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000235600203316 |
|
BÖRGER, Egon
|
||
| Amsterdam [etc.] : Noth-Holland, 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computational complexity / Christos H. Papadimitriou
| Computational complexity / Christos H. Papadimitriou |
| Autore | Papadimitriou, Christos H. |
| Pubbl/distr/stampa | Reading, (Mass.) : Addison Wesley, c1994 |
| Descrizione fisica | xv, 523 p. : ill. ; 24 cm |
| Disciplina | 511.3 |
| Soggetto non controllato |
Teoria della computazione
Teoria dei dati Complessità computazionale |
| ISBN | 0-201-53082-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990008285170403321 |
|
Papadimitriou, Christos H.
|
||
| Reading, (Mass.) : Addison Wesley, c1994 | ||
| 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, 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] |
| Pubbl/distr/stampa | Boston [etc.] : Addison Wesley, copyr.2001 |
| Descrizione fisica | XIV, 521 p. : ill. ; 20 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) |
Motwani, Rajeev
Ullman, Jeffrey D. |
| Soggetto non controllato |
Teorie delle macchine
Linguaggi formali Complessità computazionale |
| ISBN | 0-201-44124-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990001075330203316 |
|
Hopcroft, John E.
|
||
| Boston [etc.] : Addison Wesley, copyr.2001 | ||
| 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 | ||
| ||
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 | ||
| ||
Knots, colourings andcouting / D.J.A. Welsh (Complexity)
| Knots, colourings andcouting / D.J.A. Welsh (Complexity) |
| Autore | WELSH, Dominic J.A. |
| Pubbl/distr/stampa | Cambridge : University press, copyr. 1993 |
| Descrizione fisica | VII, 163 p. : ill. ; 23 cm |
| Disciplina | 511.3 |
| Collana | London mathematical society lecture note series |
| Soggetto non controllato |
Complessità computazionale
Logica simbolica (Logica matematica) |
| ISBN | 0-521-45740-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000221660203316 |
|
WELSH, Dominic J.A.
|
||
| Cambridge : University press, copyr. 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Kolmogorov complexity and computational complexity / Osamu Watanabe (Ed.)
| Kolmogorov complexity and computational complexity / Osamu Watanabe (Ed.) |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1992 |
| Descrizione fisica | 105 p. : ill. ; 24 cm |
| Disciplina | 511.3 |
| Collana | EATCS : monographs on theoretical computer science |
| Soggetto non controllato | Complessità computazionale |
| ISBN | 3-540-55840-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000189020203316 |
| Berlin [etc.] : Springer-Verlag, copyr. 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
