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 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
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
![]() |
||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Verification, Model Checking, and Abstract Interpretation [Risorsa elettronica] : Third International Workshop, VMCAI 2002 Venice, Italy, January 2122, 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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|