top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
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.)
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
Opac: Controlla la disponibilità qui
La complessita di Gödel / Cristian Calude ... [et al.] ; a cura di Gabriele Lolli e Ugo Pagallo
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
Opac: Controlla la disponibilità qui
Multiset processing : mathematical, computer science, and molecular computing points of view / Cristian S. Calude...<et al.> [eds]
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
Opac: Controlla la disponibilità qui
People & ideas in theoretical computer science / edited by C. S. Calude
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
Opac: Controlla la disponibilità qui
The human face of computing / editor Cristian S. Calude
The human face of computing / editor Cristian S. Calude
Pubbl/distr/stampa London : Imperial College Press, copyr. 2016
Descrizione fisica XVI, 432 p. : ill. ; 24 cm
Disciplina 303.4834
Collana Advanced in Computer Science and Engineering, Texts
Soggetto topico Informatica - Diffusione - Effetti sociali
ISBN 978-1-78326-643-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996229346403316
London : Imperial College Press, copyr. 2016
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Theories of computational complexity / Cristian Calude
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
Opac: Controlla la disponibilità qui
Theories of computational complexity / Cristian Calude
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
Opac: Controlla la disponibilità qui
Unconventional Computation : 4th International Conference, UC 2005 : Sevilla, Spain, October 3-7, 2005 : proceedings / Cristian S. Calude...[et al.](Eds.)
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
Opac: Controlla la disponibilità qui
Unconventional Computation : 5th International Conference, UC 2006 : York, UK, September 4-8, 2006 : proceedings / Cristian S. Calude...[et al.](Eds.)
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
Opac: Controlla la disponibilità qui
Unconventional Computation : 7th International Conference, UC 2008 : Vienna, Austria, August 25-28, 2008 : proceedings / Cristian S. Calude...[et al.](Eds.)
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
Opac: Controlla la disponibilità qui