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.
Correct hardware design and verification methods : 11th IFIP WG 10.5 advanced research working conference, CHARME 2001 : Livingston, Scotland, UK, September 4-7, 2001 : proceedings / Tiziana Margaria ... [et al.] (eds.)
| Correct hardware design and verification methods : 11th IFIP WG 10.5 advanced research working conference, CHARME 2001 : Livingston, Scotland, UK, September 4-7, 2001 : proceedings / Tiziana Margaria ... [et al.] (eds.) |
| Autore | IFIP WG 10.5 advanced research working conferenc CHARME <1. ; 2001 ; Livingston, Scotland, UK> |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 2001 |
| Descrizione fisica | XII, 482 p. : ill. ; 20 cm |
| Disciplina | 62.139 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
Hardware - Architettura - Congressi - 2001
Hardware - Verifica - Congressi - 2001 |
| ISBN | 3-540-42541-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000948630203316 |
IFIP WG 10.5 advanced research working conferenc CHARME <1. ; 2001 ; Livingston, Scotland, UK>
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Leveraging Applications of Formal Methods [Risorsa elettronica] : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers / edited by Tiziana Margaria, Bernhard Steffen
| Leveraging Applications of Formal Methods [Risorsa elettronica] : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers / edited by Tiziana Margaria, Bernhard Steffen |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2006 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540489290 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009236190403321 |
| Berlin ; Heidelberg : Springer, 2006 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Service-Oriented Computing – ICSOC 2008 [Risorsa elettronica] : 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Athman Bouguettaya, Ingolf Krueger, Tiziana Margaria
| Service-Oriented Computing – ICSOC 2008 [Risorsa elettronica] : 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Athman Bouguettaya, Ingolf Krueger, Tiziana Margaria |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2008 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540896524 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009258440403321 |
| Berlin ; Heidelberg : Springer, 2008 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Services and visualization : towards user-friendly design : ACoS'98, VISUAL'98, AIN'97 : selected papers / Tiziana Margaria ... [et al.] (eds.)
| Services and visualization : towards user-friendly design : ACoS'98, VISUAL'98, AIN'97 : selected papers / Tiziana Margaria ... [et al.] (eds.) |
| Pubbl/distr/stampa | Berlino : Springer-Verlag, copyr.1998 |
| Descrizione fisica | XII, 322 p. : ill. ; 23 cm |
| Disciplina | 0042 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - lisbona - 1998
elaboratori elettronici - interfacciamento - congressi - 1998 interazione uomo-elaboratore - congressi - 1998 |
| ISBN | 3-540-64367-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000208930203316 |
| Berlino : Springer-Verlag, copyr.1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Process Improvement [Risorsa elettronica] : 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007. Proceedings / edited by Pekka Abrahamsson, Nathan Baddoo, Tiziana Margaria, Richard Messnarz
| Software Process Improvement [Risorsa elettronica] : 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007. Proceedings / edited by Pekka Abrahamsson, Nathan Baddoo, Tiziana Margaria, Richard Messnarz |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2007 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540753810 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009252340403321 |
| Berlin ; Heidelberg : Springer, 2007 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Tools and algorithms for the construction and analysis of systems : 7th Internationa conference, TACAS 2001 : European conferences on theory and practice of software, ETAPS 2001 : Genova, italy, April 2-6, 2001 : proceedings / Tiziana Magaria ... [et al.] (eds.)
| Tools and algorithms for the construction and analysis of systems : 7th Internationa conference, TACAS 2001 : European conferences on theory and practice of software, ETAPS 2001 : Genova, italy, April 2-6, 2001 : proceedings / Tiziana Magaria ... [et al.] (eds.) |
| Autore | International Conference, TACAS <7. ; 2001 ; Genova ; Italy> |
| Descrizione fisica | XIV, 588 p. : ill. ; 20 cm |
| Disciplina | 004.2 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
Sistemi - Progettazione - Congressi 2001
Congressi - Genova - 2001 |
| ISBN | 3-540-41865-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000463190203316 |
|
International Conference, TACAS <7. ; 2001 ; Genova ; Italy>
|
||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Tools and algorithms for the construction and analysis of systems : second International workshop, TACAS'96 : Passau, Germany, March 27-29, 1996 : proceedings / Tiziana Margaria ...[et al.] (eds.)
| Tools and algorithms for the construction and analysis of systems : second International workshop, TACAS'96 : Passau, Germany, March 27-29, 1996 : proceedings / Tiziana Margaria ...[et al.] (eds.) |
| Autore | International Workshop TACAS'96 : 2. : 1996 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1996 |
| Descrizione fisica | XI, 434 p. : ill. ; 24 cm |
| Disciplina | 00512 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
algoritmi - congressi - 1996
congressi - passau - 1995 elaboratori elettronici - programmazione - congressi - 1996 |
| ISBN | 3-540-61042-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000206730203316 |
|
International Workshop TACAS'96 : 2. : 1996
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||