Automata, languages and programming : 24th international colloquium, ICALP'97 : Bologna, Italy, July 7-11, 1997 : proceedings / Pierpaolo Degano ... [et al.] (eds.) |
Autore | International colloquium ICALP'97 : 24. : 1997 |
Pubbl/distr/stampa | Berlin : Springer-Verlag, copyr. 1997 |
Descrizione fisica | XVI, 862 p. : ill. ; 23 cm |
Disciplina | 004 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
congressi - bologna - 1997
elaboratori elettronici - congressi - 1997 elaboratori elettronici - programmazione - congressi - 1997 linguaggi di programmazione - congressi - 1997 |
ISBN | 3-540-63165-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000206120203316 |
International colloquium ICALP'97 : 24. : 1997 | ||
Berlin : Springer-Verlag, copyr. 1997 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Computational Methods in Systems Biology [Risorsa elettronica] : 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings / edited by Pierpaolo Degano, Roberto Gorrieri |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2009 |
Collana | Lecture Notes in Computer Science |
ISBN | 9783642038457 |
Formato | Risorse elettroniche |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009261890403321 |
Berlin ; Heidelberg : Springer, 2009 | ||
Risorse elettroniche | ||
Lo trovi qui: Univ. Federico II | ||
|
Concurrency, Graphs and Models [Risorsa elettronica] : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday / edited by Pierpaolo Degano, Rocco Nicola, José Meseguer |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2008 |
Collana | Lecture Notes in Computer Science |
ISBN | 9783540686798 |
Formato | Risorse elettroniche |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009253340403321 |
Berlin ; Heidelberg : Springer, 2008 | ||
Risorse elettroniche | ||
Lo trovi qui: Univ. Federico II | ||
|
Formal Aspects in Security and Trust [Risorsa elettronica] : 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008 Revised Selected Papers / 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, Pierpaolo Degano, Joshua Guttman, Fabio Martinelli |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2009 |
Collana | Lecture Notes in Computer Science |
ISBN | 9783642014659 |
Formato | Risorse elettroniche |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009260060403321 |
Berlin ; Heidelberg : Springer, 2009 | ||
Risorse elettroniche | ||
Lo trovi qui: Univ. Federico II | ||
|
Formal Methods for Computational Systems Biology [Risorsa elettronica] : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures / edited by Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2008 |
Collana | Lecture Notes in Computer Science |
ISBN | 9783540688945 |
Formato | Risorse elettroniche |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009253440403321 |
Berlin ; Heidelberg : Springer, 2008 | ||
Risorse elettroniche | ||
Lo trovi qui: Univ. Federico II | ||
|
Foundations and Applications of Security Analysis [Risorsa elettronica] : Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers / edited by Pierpaolo Degano, Luca Viganò |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2009 |
Collana | Lecture Notes in Computer Science |
ISBN | 9783642034596 |
Formato | Risorse elettroniche |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009261500403321 |
Berlin ; Heidelberg : Springer, 2009 | ||
Risorse elettroniche | ||
Lo trovi qui: Univ. Federico II | ||
|
Sixth Italian conference on theoretical computer science : Prato, Italy, November 9-11, 1998 / Pierpaolo Degano, Ugo Vaccaro, Giuseppe Pirillo (eds.) |
Autore | Italian conference on theoretical computer science : 6. : 1998 |
Pubbl/distr/stampa | Singapore [etc.] : World Scientific, copyr. 1998 |
Descrizione fisica | IX, 384 p. : ill. ; 22 cm |
Disciplina | 004 |
Soggetto non controllato |
congressi - prato - 1998
informatica - congressi - 1998 |
ISBN | 981-02-3655-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000267340203316 |
Italian conference on theoretical computer science : 6. : 1998 | ||
Singapore [etc.] : World Scientific, copyr. 1998 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|