Automata, Languages and Programming [Risorsa elettronica] : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I / 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, Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2008 |
Collana | Lecture Notes in Computer Science |
ISBN | 9783540705758 |
Formato | Risorse elettroniche ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009254230403321 |
Berlin ; Heidelberg : Springer, 2008 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Automata, Languages and Programming [Risorsa elettronica] : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II / 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, Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2008 |
Collana | Lecture Notes in Computer Science |
ISBN | 9783540705833 |
Formato | Risorse elettroniche ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009254240403321 |
Berlin ; Heidelberg : Springer, 2008 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Foundations of Software Science and Computation Structures [Risorsa elettronica] : 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, Marc |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2006 |
Collana | Lecture Notes in Computer Science |
ISBN | 9783540330462 |
Formato | Risorse elettroniche ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009250050403321 |
Berlin ; Heidelberg : Springer, 2006 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|