Bibliografia per Anno di Pubblicazione
(ordinato per Autore)
Argomento: 2002 (6 di 6)
| Pagina nr. 11 di 837 |
|
Verification, model checking and abstract interpretation - third international workshop, VMCAI 2002 - Venice, Italy, January 21-22, 2002 - revised papers / Agostino Cortesi (ed.) Berlin etc. - Springer, c2002 Testo Monografico International SPIN workshop (9. ; 2002 ; Grenoble) Model checking software - 9th international SPIN workshop, Grenoble, France, April 11-13, 2002 - proceedings / Dragan Bosnacki, Stefan Leue (eds.) Berlin etc. - Springer, c2002 Testo Monografico SOFT-WARE (1. ; 2002 ; Belfast) Soft-ware 2002- computing in an imperfect world - first international conference, Soft-ware 2002 - Belfast, Northern Ireland, April 8-10, 2002 - proceedings / David Bustard, Weiru Liu, Roy Sterritt (eds.) Berlin etc. - Springer, c2002 Testo Monografico International workshop on protocols for high-speed networks (7. ; 2002 ; Berlino) Protocols for high speed networks - 7th IFIP/IEEE international workshop, PfHSN 2002 - Berlin , Germany, April 22-24, 2002 - proceedings / Georg Carle, Martina Zitterbart (eds.) Berlin etc. - Springer, c2002 Testo Monografico Zhang, Chengqi Association rule mining - models and algorithms / Chengqi Zhang, Shichao Zhang Berlin etc. - Springer, c2002 Testo Monografico Developments in language theory - 5th international conference, DLT 2001 - Wien, Austria, July 16-21, 2001 - revised papers / Werner Kuich, Grzegorz Rozenberg, Arto Salomaa (eds.) Berlin etc. - Springer, c2002 Testo Monografico Theoretical aspects of computer science - advanced lectures / Gholamreza B. Khosrovshahi, Ali Shokoufandeh, Amin Shokrollahi (eds.) Berlin etc. - Springer, c2002 Testo Monografico Advanced course on artificial intelligence (2001 ; Praga) Multi-agent systems and applications 2. - 9th ECCAI-ACAI/EASSS 2001, AEMAS 2001, HoloMAS 2001 - selected papers / Vladimir Marik ... ed altri (eds.) Berlin etc. - Springer, c2002 Testo Monografico Coordination (5. ; 2002 ; York) Coordination models and languages - 5th international conference, COORDINATION 2002 - York, UK, April 8-11, 2002 - proceedings / Farhad Arbab, Carolyn Talcott (eds.) Berlin etc. - Springer, c2002 Testo Monografico VISUAL (5. ; 2002 ; Hsin Chu) Recent advances in visual information systems - 5th international conference, VISUAL 2002 - Hsin Chu, Taiwan, March 11-13, 2002 - proceedings / Shi-Kuo Chang, Zen Chen, Suh-Yin Lee (eds.) Berlin etc. - Springer, c2002 Testo Monografico International conference on tools and algorithms for construction and analysis of systems (8. ; 2002 ; Grenoble) Tools and algorithms for the construction and analysis of systems - 8th international conference, TACAS 2002, held as part of the joint European conferences on theory and practice of software, ETAPS 2002 - Grenoble, France, April 8-12, 2002 - proceedings / Joost-Pieter Katoen, Perdita Stevens (eds.) Berlin etc. - Springer, c2002 Testo Monografico International conference on discrete geometry for computer imagery (10. ; 2002 ; Bordeaux) Discrete geometry for computer imagery - 10th international conference, DGCI 2002 - Bordeaux, France, April 3-5, 2002 - proceedings / Achille Braquelaire, Jacques-Olivier Lachaud, Anne Vialard (eds.) berlin etc. - Springer, c2002 Testo Monografico International workshop on frontiers of combining systems (4. ; 2002 ; Santa Margherita Ligure) Frontiers in combining systems - 4th international workshop, FroCoS 2002 - Santa Margherita Ligure, Italy, April 8-10, 2002 - proceedings / Alessandro Armando (ed.) Berlin etc. -Springer, c2002 Testo Monografico International workshop of Central and Eastern Europe on multi-agent systems (2. ; 2001 ; Cracovia) From theory to practice in multi-agent systems - Second international workshop of Central and Eastern Europe on multi-agent systems, CEEMAS 2001 - Cracow, Poland, September 26-29, 2001 - proceedings / Barbara Dunin-Keplicz, Edward Nawarecki (eds.) Berlin etc. - Springer, c2002 Testo Monografico International conference Foundations of software science and computation structures (5. ; 2002 ; Grenoble) Foundations of software science and computation structures - 5th international conference, FOSSACS 2002, held as part of the joint European conferences on theory and practice of software, ETAPS 2002 - Grenoble, France, April 8-12, 2002 - proceedings / Mogens Nielsen, Uffe Engberg (eds.) Berlin etc. - Springer, c2002 Testo Monografico |
