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)
Discovery science : third International conference, DS 2000 : Kyoto, Japan, December 4-6, 2000 : procedings / Setuo Arikawa ... [et al.] (eds.)
Discovery science : third International conference, DS 2000 : Kyoto, Japan, December 4-6, 2000 : procedings / Setuo Arikawa ... [et al.] (eds.)
Autore International conference, DS <3.; 2000; Kyoto, Japan>
Pubbl/distr/stampa Berlin : Springer-Verlag, copyr. 2000
Descrizione fisica VII, 332 p. : ill. ; 20 cm.
Disciplina 501.21
Collana Lecture notes in artificial intelligence
Soggetto non controllato Elaboratori elettronici - Congressi - 2000
Congressi - Kyoto - 2000
Scienza e filosofia - Congressi - 2000
ISBN 3-540-41352-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000370340203316
International conference, DS <3.; 2000; Kyoto, Japan>  
Berlin : Springer-Verlag, copyr. 2000
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Integrated formal methods : second International conference, IFM 2000 : Dagstuhl Castle, Germany, November 1-3, 2000 : procedings / Wolfgang Grieskamp ... <et al.> (eds.)
Integrated formal methods : second International conference, IFM 2000 : Dagstuhl Castle, Germany, November 1-3, 2000 : procedings / Wolfgang Grieskamp ... <et al.> (eds.)
Autore International conference, IFM <2.; 2000 ; Dagstuhl Castle, Germany>
Pubbl/distr/stampa Berlin : Springer-Verlag, copyr. 2000
Descrizione fisica X, 439 p. : ill. ; 20 cm.
Disciplina 004
Collana Lecture notes in computer science
Soggetto non controllato Elaboratori elettronici - Congressi - 2000
Software - Congressi - 2000
Congressi - Dagstuhl Castle (Germania)
ISBN 3-540-41196-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000372490203316
International conference, IFM <2.; 2000 ; Dagstuhl Castle, Germany>  
Berlin : Springer-Verlag, copyr. 2000
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Power-aware computer systems : first International workshop, PACS 2000 : Cambridge, MA, USA, November 12, 2000 : revised papers / B. Falsafi ... <et al.> (eds.)
Power-aware computer systems : first International workshop, PACS 2000 : Cambridge, MA, USA, November 12, 2000 : revised papers / B. Falsafi ... <et al.> (eds.)
Autore International workshop PACS 2000 <1. ; 2000 ; Cambridge, USA>
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 2001
Descrizione fisica X, 151 p. : ill. ; 20 cm
Disciplina 004
Collana Lecture notes in computer science
Soggetto non controllato Elaboratori elettronici - Congressi - 2000
Congressi - 2000
ISBN 3-540.42329-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000970550203316
International workshop PACS 2000 <1. ; 2000 ; Cambridge, USA>  
Berlin [etc.] : Springer-Verlag, copyr. 2001
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui