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)
Computer aided verification : 13th International conference, CAV 2001 : Paris, France, July 18-22, 2001 : proceedings / Gérard Berry ... <et al.> (eds.)
Computer aided verification : 13th International conference, CAV 2001 : Paris, France, July 18-22, 2001 : proceedings / Gérard Berry ... <et al.> (eds.)
Autore International conference CAV 2001 <13. ; 2001 ; Paris, France>
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 2001
Descrizione fisica XIII, 520 p. : ill. ; 20 cm
Disciplina 003
Collana Lecture notes in computer science
Soggetto non controllato Sistemi distribuiti - Congressi - 2001
Sistemi - Modelli matematici - Congressi - 2001
Sistemi - Verifica - Congressi - 2001
ISBN 3-540-42345-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000947460203316
International conference CAV 2001 <13. ; 2001 ; Paris, France>  
Berlin [etc.] : Springer-Verlag, copyr. 2001
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Interactive distributed multimedia systems : 8th International workshop, IDMS 2001 : Lancaster, UK, September 4-7, 2001 : proceedings / Doug Shepherd ... [et al.] (eds.)
Interactive distributed multimedia systems : 8th International workshop, IDMS 2001 : Lancaster, UK, September 4-7, 2001 : proceedings / Doug Shepherd ... [et al.] (eds.)
Autore International workshop IDMS <8. ; 2001 ; Lancaster, UK>
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 2001
Descrizione fisica XIII,258 p. : ill. ; 20 cm
Disciplina 004.36
Collana Lecture notes in computer science
Soggetto non controllato Sistemi distribuiti - Congressi - 2001
Sistemi multimediali - Congressi - 2001
ISBN 3-540-42530-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000948540203316
International workshop IDMS <8. ; 2001 ; Lancaster, UK>  
Berlin [etc.] : Springer-Verlag, copyr. 2001
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Middleware 2001 : IFIP/ACN International conference on distributed systems platforms : Heidelberg, Germany, November 12-16, 2001 : proceedings / Rachid Guerraoui (ed.)
Middleware 2001 : IFIP/ACN International conference on distributed systems platforms : Heidelberg, Germany, November 12-16, 2001 : proceedings / Rachid Guerraoui (ed.)
Autore IFIP/ACN International conference on distributed systems platforms <2001 ; Heidelberg, Germany>
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 2001
Descrizione fisica XIII, 394 p. : ill. ; 20 cm
Disciplina 004.358
Collana Lecture notes in computer science
Soggetto non controllato Middleware - Congressi - 2001
Sistemi distribuiti - Congressi - 2001
ISBN 3-540-42800-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000962380203316
IFIP/ACN International conference on distributed systems platforms <2001 ; Heidelberg, Germany>  
Berlin [etc.] : Springer-Verlag, copyr. 2001
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Mobile agents : 5th International conference, MA 2001 : Atlanta, GA, USA, December 2-4, 2001 : proceedings / Gian Pietro Picco (ed.)
Mobile agents : 5th International conference, MA 2001 : Atlanta, GA, USA, December 2-4, 2001 : proceedings / Gian Pietro Picco (ed.)
Autore International conference MA 2001 <5. ; 2001 ; Atlanta, USA>
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 2001
Descrizione fisica XIII, 275 p. : ill. ; 20 cm
Disciplina 004.368
Collana Lecture notes in computer science
Soggetto non controllato Sistemi di comunicazione digitale - Congressi - 2001
Sistemi distribuiti - Congressi - 2001
Sistemi multimediali - Congressi - 2001
ISBN 3-540-42952-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000954130203316
International conference MA 2001 <5. ; 2001 ; Atlanta, USA>  
Berlin [etc.] : Springer-Verlag, copyr. 2001
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Policies for distributed systems and networks : International workshop, POLICY 2001 : Bristol, UK, January 29-31, 2001 : proceedings / Morris Sloman ... [et al.] (eds.)
Policies for distributed systems and networks : International workshop, POLICY 2001 : Bristol, UK, January 29-31, 2001 : proceedings / Morris Sloman ... [et al.] (eds.)
Autore International workshop, POLICY 2001 <2001 ; Bristol, UK>
Pubbl/distr/stampa Berlin : Springer-Verlag, copyr. 2001
Descrizione fisica X, 261 p. : ill. ; 20 cm.
Disciplina 004.678
Collana Lecture notes in computer science
Soggetto non controllato Sistemi distribuiti - Congressi - 2001
Internet (Reti di elaboratori) - Congressi - 2001
Congressi - Bristol - 2001
ISBN 3-540-41610-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000381950203316
International workshop, POLICY 2001 <2001 ; Bristol, UK>  
Berlin : Springer-Verlag, copyr. 2001
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui