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)
Computation and logic in the real world : Third conference on computability in Europe, CiE 2007 : Siena, Italy, June 18-23, 2007 : proceedings / S. Barry Cooper, Benedikt Lowe, Andrea Sorbi (Eds.)
Computation and logic in the real world : Third conference on computability in Europe, CiE 2007 : Siena, Italy, June 18-23, 2007 : proceedings / S. Barry Cooper, Benedikt Lowe, Andrea Sorbi (Eds.)
Autore Conference on Computability in Europe, CiE 2007 : <3.; : 2007
Pubbl/distr/stampa Berlin [etc.] : Springer, copyr. 2007
Descrizione fisica XVIII, 826 p. ; 24 cm
Disciplina 004.0151
Collana Lecture notes in computer science
Soggetto topico Principi matematici - Congressi - Siena - 2007
ISBN 3-540-73000-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003081540203316
Conference on Computability in Europe, CiE 2007 : <3.; : 2007  
Berlin [etc.] : Springer, copyr. 2007
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Logic and theory of algorithms : 4th conference on computability in europe, CiE 2008 : Athens, Greece, June 15-20, 2008 : Proceedings / Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe (Eds.)
Logic and theory of algorithms : 4th conference on computability in europe, CiE 2008 : Athens, Greece, June 15-20, 2008 : Proceedings / Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe (Eds.)
Autore Conference on computability in Europe, CiE 2008 <4.; : 2008
Pubbl/distr/stampa Berlin [etc.] : Springer, copyr. 2008
Descrizione fisica XIX, 596 p. : ill. ; 24 cm
Disciplina 004
Collana Lecture notes in computer science
Soggetto topico Informatica - Congressi - Athens - 2008
ISBN 978-3-540-69405-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003145500203316
Conference on computability in Europe, CiE 2008 <4.; : 2008  
Berlin [etc.] : Springer, copyr. 2008
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
New Computational paradigms : 1st conference on computability in europe, CiE 2005 : Amsterdam, The Netherlands, June 2005 : proceedings / S. Barry Cooper, Benedikt Lowe, Leen Torenvliet(Eds.)
New Computational paradigms : 1st conference on computability in europe, CiE 2005 : Amsterdam, The Netherlands, June 2005 : proceedings / S. Barry Cooper, Benedikt Lowe, Leen Torenvliet(Eds.)
Autore Conference on Computability in Europe, CiE 2005 : <1. ; : 2005
Pubbl/distr/stampa Berlin [etc.] : Springer, copyr. 2005
Descrizione fisica XVII, 574 p. : ill. ; 24 cm.
Disciplina 005.11
Collana Lecture notes in computer science
Soggetto topico Informatica - Programmazione - Congressi - Amsterdam - 2005
ISBN 3-540-26179-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990002963690203316
Conference on Computability in Europe, CiE 2005 : <1. ; : 2005  
Berlin [etc.] : Springer, copyr. 2005
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui