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)
Hyper-lattice Algebraic Model for Data Warehousing / Soumya Sen, Agostino Cortesi, Nabendu Chaki
Hyper-lattice Algebraic Model for Data Warehousing / Soumya Sen, Agostino Cortesi, Nabendu Chaki
Autore Sen, Soumya
Pubbl/distr/stampa Cham, : Springer, 2016
Descrizione fisica x, 63 p. ; 24 cm
Altri autori (Persone) Cortesi, Agostino
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0119951
Sen, Soumya  
Cham, : Springer, 2016
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Hyper-lattice Algebraic Model for Data Warehousing / Soumya Sen, Agostino Cortesi, Nabendu Chaki
Hyper-lattice Algebraic Model for Data Warehousing / Soumya Sen, Agostino Cortesi, Nabendu Chaki
Autore Sen, Soumya
Edizione [Cham : Springer, 2016]
Descrizione fisica Pubblicazione in formato elettronico
Altri autori (Persone) Cortesi, Agostino
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0119951
Sen, Soumya  
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Static analysis : 6th International symposium, SAS '99 : Venice, Italy, September 22-24, 1999 : proceedings / Agostino Cortesi ...[et al.] (eds.)
Static analysis : 6th International symposium, SAS '99 : Venice, Italy, September 22-24, 1999 : proceedings / Agostino Cortesi ...[et al.] (eds.)
Autore International symposium SAS '99 : 6th. : 1999
Pubbl/distr/stampa Berlin : Springer-Verlag, copyr. 1999
Descrizione fisica VIII, 356 p. : ill. ; 22 cm
Disciplina 005.1
Collana Lecture notes in computer science
Soggetto non controllato Algoritmi - Congressi - 1999
Elaboratori elettronici - Programmazione - Congressi - 1999
Linguaggi di programmazione - Congressi - 1999
Congressi - Venezia - 1999
ISBN 3-540-66459-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000209090203316
International symposium SAS '99 : 6th. : 1999  
Berlin : Springer-Verlag, copyr. 1999
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Verification, Model checking, and abstract interpretation : Third International Workshop,VMCAI 2002 : Venice,Italy,January 21-22 2002 : Revised papers / Agostino Cortesi(ed.)
Verification, Model checking, and abstract interpretation : Third International Workshop,VMCAI 2002 : Venice,Italy,January 21-22 2002 : Revised papers / Agostino Cortesi(ed.)
Pubbl/distr/stampa Berlin : Springer-Verlag, copyr.2002
Descrizione fisica VIII,330 p. : ill. ; 20 cm
Disciplina 005.1
Collana Lecture notes in computer science
Soggetto topico Programmazione Congressi 2002
ISBN 3-540-44121-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990001154810203316
Berlin : Springer-Verlag, copyr.2002
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Verification, Model Checking, and Abstract Interpretation [Risorsa elettronica] : Third International Workshop, VMCAI 2002 Venice, Italy, January 21–22, 2002 Revised Papers / edited by Agostino Cortesi
Verification, Model Checking, and Abstract Interpretation [Risorsa elettronica] : Third International Workshop, VMCAI 2002 Venice, Italy, January 21–22, 2002 Revised Papers / edited by Agostino Cortesi
Pubbl/distr/stampa Berlin ; Heidelberg : Springer, 2006
Collana Lecture Notes in Computer Science
ISBN 9783540478133
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990009236470403321
Berlin ; Heidelberg : Springer, 2006
Risorse elettroniche
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui