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.
Mechanizing Mathematical Reasoning : essays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday / Dieter Hutter, Werner Stephan (Eds.)
Mechanizing Mathematical Reasoning : essays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday / Dieter Hutter, Werner Stephan (Eds.)
Pubbl/distr/stampa Berlin [etc.] : Springer, copyr. 2005
Descrizione fisica IX, 563 p. : ill. ; 24 cm
Disciplina 006.33
Collana Lecture notes in artificial intelligence
Soggetto topico Intelligenza artificiale
Sistemi esperti
ISBN 3-540-25051-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990002837210203316
Berlin [etc.] : Springer, copyr. 2005
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Security in Pervasive Computing : 6. international conference : Boppard, Germany, March 12-14, 2003 : Proceedings / Dieter Hutter... [et al.] (Eds.)
Security in Pervasive Computing : 6. international conference : Boppard, Germany, March 12-14, 2003 : Proceedings / Dieter Hutter... [et al.] (Eds.)
Autore International conference : <1. ; : 2003
Pubbl/distr/stampa Berlin [etc.] : Springer, copyr. 2004
Descrizione fisica XI, 289 p. : ill. ; 24 cm
Disciplina 005.821
Collana Lecture notes in computer science
Soggetto topico Archivi di dati - Sicurezza - Congressi - 2004
Informatica - Sicurezza - Congressi - 2004
ISBN 3-540-20887-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990002959800203316
International conference : <1. ; : 2003  
Berlin [etc.] : Springer, copyr. 2004
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Security in Pervasive Computing : 2. international conference : Boppard, Germany, April 6-8, 2005 : Proceedings / Dieter Hutter... [et al.] (Eds.)
Security in Pervasive Computing : 2. international conference : Boppard, Germany, April 6-8, 2005 : Proceedings / Dieter Hutter... [et al.] (Eds.)
Autore International conference Security in Pervasive Computing : <2. ; : 2005
Pubbl/distr/stampa Berlin [etc.] : Springer, [c2005]
Descrizione fisica XI, 238 p. : ill. ; 24 cm
Disciplina 005.821
Collana Lecture notes in computer science
Soggetto topico Archivi di dati - Sicurezza - Congressi - 2005
Informatica - Sicurezza - Congressi - 2005
ISBN 3-540-25521-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003001830203316
International conference Security in Pervasive Computing : <2. ; : 2005  
Berlin [etc.] : Springer, [c2005]
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui