Runtime Verification [Risorsa elettronica] : 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. 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, Martin Leucker

• Record Nr.: UNINA990009258180403321
• Pubbl/distr/stampa: Berlin ; Heidelberg : Springer, 2008
• ISBN: 9783540892472
• Collana: Lecture Notes in Computer Science , 0302-9743 ; 5289
• Lingua di pubblicazione: Inglese
• Formato: Risorsa elettronica
• Livello bibliografico: Monografia

ASEAN-Japan relations : investment : proceedings of a workshop and a conference organized by the Japan Center for International Exchange and the ASEAN Economic Research Unit of the Institute of Southeast Asian Studies, held on 5-6 December 1981 and 20-23 MaY 1982 at Singapore and Oiso, Japan, respectively / edited by Sueo Sekiguchi

• Record Nr.: UNISA990002038980203316
• Pubbl/distr/stampa: Singapore : Institute of Southeast Asian Studies, copyr. 1983
• Descrizione fisica: VIII, 274 p. : ill. ; 24 cm
• Disciplina: 332.67352059
• Soggetti: Giappone - Relazioni con l'Assoiation of South East Asian nations - Congressi - 1981-1982
• Collocazione: 332.673 ASE 1 (IG VIII 10 544)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia