Algebraic methodology and softwaretechnology : 5th International conference, AMAST '96 : Munich, Germany, July 1-5, 1996 : proceedings / Martin Wirsing ... [et al.] (eds.) |
Autore | International conference AMAST'96 : 5. : 1996 |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1996 |
Descrizione fisica | XII, 640 p. : ill. ; 23 cm |
Disciplina | 0051 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
congressi - monaco di baviera - 1996
elaboratori elettronici - programmazione - congressi - 1996 software - progettazione - congressi - 1996 |
ISBN | 3-540-61463-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000207410203316 |
International conference AMAST'96 : 5. : 1996 | ||
Berlin [etc.] : Springer-Verlag, copyr. 1996 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Fundamental Approaches to Software Engineering [Risorsa elettronica] : 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. 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, Marsha Chechik, Martin Wirsing |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2009 |
Collana | Lecture Notes in Computer Science |
ISBN | 9783642005930 |
Formato | Risorse elettroniche |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009259520403321 |
Berlin ; Heidelberg : Springer, 2009 | ||
Risorse elettroniche | ||
Lo trovi qui: Univ. Federico II | ||
|
Programming language implementation and logic programming : 4th international symposium, PLILP'92 : Leuven, Belgium, August 26-28, 1992 : proceedings / M. Bruynooghe, M. Wirsing (ed.) |
Autore | International symposium PLILP'92 : 4. : 1992 |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1992 |
Descrizione fisica | XI, 492 p. : ill. ; 25 cm |
Disciplina | 00513 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
congressi - leuven - 1992
linguaggi di programmazione - congressi - 1992 programmazione (informatica ) - congressi - 1992 |
ISBN | 3-540-55844-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000203390203316 |
International symposium PLILP'92 : 4. : 1992 | ||
Berlin [etc.] : Springer-Verlag, copyr. 1992 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Programming language implementation and logic programming : 4. international symposium, PLILP '92 : Leuven, Belgium, August 26-28, 1992 : proceedings / M. Bruynooghe, M. Wirsing (eds.) |
Autore | PLILP : <4. : ; 1992 |
Pubbl/distr/stampa | Berlin [etc.], : Springer, c1992 |
Descrizione fisica | XI, 492 p. ; 25 cm. |
Disciplina | 005.13 |
Collana | Lecture notes in computer science |
Soggetto topico |
Elaboratori elettronici - Linguaggi - Congressi - 1992
Programmazione logica - Congressi - 1992 |
ISBN |
0387558446
3540558446 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISANNIO-AQ10013453 |
PLILP : <4. : ; 1992 | ||
Berlin [etc.], : Springer, c1992 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Sannio | ||
|
Software-Intensive Systems and New Computing Paradigms [Risorsa elettronica] : Challenges and Visions / 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, Martin Wirsing, Jean-Pierre Banâtre, Matthias Hölzl, Axel Rauschmayer |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2008 |
Collana | Lecture Notes in Computer Science |
ISBN | 9783540894377 |
Formato | Risorse elettroniche |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009258320403321 |
Berlin ; Heidelberg : Springer, 2008 | ||
Risorse elettroniche | ||
Lo trovi qui: Univ. Federico II | ||
|
Theoretical Aspects of Computing ICTAC 2005 [Risorsa elettronica] : Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings / edited by Dang Hung, Martin Wirsing |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2005 |
Collana | Lecture Notes in Computer Science |
ISBN | 9783540320722 |
Formato | Risorse elettroniche |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009235550403321 |
Berlin ; Heidelberg : Springer, 2005 | ||
Risorse elettroniche | ||
Lo trovi qui: Univ. Federico II | ||
|