Discrete mathematics and theoretical computer science : 4th international conference, DMTCS 2003 : Dijon, France, July 7-12, 2003 : proceedings / Cristian S. Calude, Michael J. Dinneen, Vincent Vajnovszki (Eds.) |
Autore | Discrete mathematics and theoretical computer science conference <4. ; 2003 ; Dijon> |
Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2003 |
Descrizione fisica | VIII, 300 p. : ill. ; 24 cm. |
Collana | Lecture notes in computer science |
ISBN | 3-540-40505-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990001773730203316 |
Discrete mathematics and theoretical computer science conference <4. ; 2003 ; Dijon> | ||
Berlin [etc.] : Springer, copyr. 2003 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
La complessita di Gödel / Cristian Calude ... [et al.] ; a cura di Gabriele Lolli e Ugo Pagallo |
Pubbl/distr/stampa | Torino : G. Giappichelli, copyr. 2008 |
Descrizione fisica | VI, 169 p. ; 21 cm |
Disciplina | 511.3092 |
Collana | Digitalica |
Soggetto (Persona) | Gödel, Kurt |
ISBN | 978-88-348-8271-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISA-990003232740203316 |
Torino : G. Giappichelli, copyr. 2008 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Multiset processing : mathematical, computer science, and molecular computing points of view / Cristian S. Calude...<et al.> [eds] |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 2001 |
Descrizione fisica | VIII, 358 p. : ill. ; 20 cm |
Disciplina | 004 |
Collana | Lecture notes in computer science |
Soggetto non controllato | Sistemi di elaborazione |
ISBN | 3-540-43063-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990001026140203316 |
Berlin [etc.] : Springer-Verlag, copyr. 2001 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
People & ideas in theoretical computer science / edited by C. S. Calude |
Pubbl/distr/stampa | Singapore [etc.] : Springer-Verlag, copyr. 1999 |
Descrizione fisica | VI, 341 p. : ill. ; 24 cm |
Disciplina | 004 |
Soggetto non controllato | informatica |
ISBN | 981-4021-13-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000263170203316 |
Singapore [etc.] : Springer-Verlag, copyr. 1999 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Theories of computational complexity / Cristian Calude |
Autore | CALUDE, Cristian S. |
Pubbl/distr/stampa | Amsterdam [etc.] : North-Holland, 1988 |
Descrizione fisica | XII, 487 p. : ill. ; 24 cm |
Disciplina | 511 |
Collana | Annals of discrete mathematics |
Soggetto non controllato | complessita' computazionale |
ISBN | 0-444-70356-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000180960203316 |
CALUDE, Cristian S. | ||
Amsterdam [etc.] : North-Holland, 1988 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Theories of computational complexity / Cristian Calude |
Autore | CALUDE, Cristian S. |
Pubbl/distr/stampa | Amsterdam [etc.] : North-Holland, 1988 |
Descrizione fisica | XII, 487 p. : ill. ; 24 cm |
Disciplina | 511 |
Collana | Annals of discrete mathematics |
Soggetto non controllato | complessita' computazionale |
ISBN | 0-444-70356-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000101770203316 |
CALUDE, Cristian S. | ||
Amsterdam [etc.] : North-Holland, 1988 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Unconventional Computation : 4th International Conference, UC 2005 : Sevilla, Spain, October 3-7, 2005 : proceedings / Cristian S. Calude...[et al.](Eds.) |
Autore | International Conference, UC 2005 : <4. ; : 2005 |
Pubbl/distr/stampa | Berlin[etc.] : Springer, copyr. 2005 |
Descrizione fisica | XI, 266 p. : ill. ; 24 cm |
Disciplina | 006.3 |
Collana | Lecture Notes in Computer Science |
Soggetto topico | Informatica - Congressi - Sevilla - 2005 |
ISBN | 3-540-29100-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990002964710203316 |
International Conference, UC 2005 : <4. ; : 2005 | ||
Berlin[etc.] : Springer, copyr. 2005 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Unconventional Computation : 5th International Conference, UC 2006 : York, UK, September 4-8, 2006 : proceedings / Cristian S. Calude...[et al.](Eds.) |
Autore | International Conference, UC 2006 : <5. ; : 2006 |
Pubbl/distr/stampa | Berlin[etc.] : Springer, copyr. 2006 |
Descrizione fisica | X, 266 p. : ill. ; 24 cm |
Disciplina | 006.3 |
Collana | Lecture Notes in Computer Science |
Soggetto topico | Informatica - Congressi - York - 2006 |
ISBN | 3-540-38593-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990002972330203316 |
International Conference, UC 2006 : <5. ; : 2006 | ||
Berlin[etc.] : Springer, copyr. 2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Unconventional Computation : 7th International Conference, UC 2008 : Vienna, Austria, August 25-28, 2008 : proceedings / Cristian S. Calude...[et al.](Eds.) |
Autore | International Conference, UC 2008 : <7. ; : 2008 |
Pubbl/distr/stampa | Berlin[etc.] : Springer, copyr. 2008 |
Descrizione fisica | X, 257 p. : ill. ; 24 cm |
Disciplina | 006.3 |
Collana | Lecture Notes in Computer Science |
Soggetto topico | Informatica - Congressi - Vienna - 2008 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990003159700203316 |
International Conference, UC 2008 : <7. ; : 2008 | ||
Berlin[etc.] : Springer, copyr. 2008 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Unconventional computation : 8th International Conference, UC 2009 : Ponta Delgada, Portugal, september 7-11, 2009 : proceedings / Cristian S. Calude...[et al.] (eds.) |
Autore | International Conference, UC 2009 : <8.; : 2009 |
Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2009 |
Descrizione fisica | XV, 286 p. : ill. ; 24 cm |
Disciplina | 006.3 |
Collana | Lecture notes in computer science |
Soggetto topico | Informatica - Congressi - Ponta Delgada - 2009 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990003325840203316 |
International Conference, UC 2009 : <8.; : 2009 | ||
Berlin [etc.] : Springer, copyr. 2009 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|