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.

Biblioteca

MARC Lista (tabellare)
Abstract state machines : theory and applications : International workshop, ASM 2000 : Monte Verità, Switzerland, March 19-20, 2000 : proceedings / Yuri Gurevich... <et al.> (eds.)
Abstract state machines : theory and applications : International workshop, ASM 2000 : Monte Verità, Switzerland, March 19-20, 2000 : proceedings / Yuri Gurevich... <et al.> (eds.)
Autore International workshop ASM <2000; Monte Verità, Svizzera>
Pubbl/distr/stampa Berlino : Springer-Verlag, c2000
Descrizione fisica X, 379 p. : ill. ; 20 cm
Disciplina 511.321
Collana Lecture notes in computer science
Soggetto non controllato Teoria della macchina
Congressi
ISBN 3-540-67959-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000338440203316
International workshop ASM <2000; Monte Verità, Svizzera>  
Berlino : Springer-Verlag, c2000
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Abstract state machines, B and Z : first international conference, ABZ 2008 : London, UK, September 16-18, 2008 : proceedings / Egon Börger... [et al.] (Eds.)
Abstract state machines, B and Z : first international conference, ABZ 2008 : London, UK, September 16-18, 2008 : proceedings / Egon Börger... [et al.] (Eds.)
Autore International conference, ABZ 2008 : <1.; : 2008
Pubbl/distr/stampa Berlin : Springer-Verlag, copyr. 2008
Descrizione fisica XII, 382 p. : ill. ; 24 cm
Disciplina 511.321
Collana Lecture notes in computer science
Soggetto non controllato Teoria della macchina
ISBN 978-3-540-87602-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003161580203316
International conference, ABZ 2008 : <1.; : 2008  
Berlin : Springer-Verlag, copyr. 2008
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui