Bibliografia per Anno di Pubblicazione
(ordinato per Autore)
Argomento: 2002 (6 di 6)

Pagina nr. 18 di 837

%

International conference on graph transformation (1. ; 2002 ; Barcellona) Graph transformation - first international conference, ICGT 2002 - Barcelona, Spain, October 7-12, 2002 - proceedings / Andrea Corradini ... ed altri (eds.) Berlin etc. - Springer, c2002 Testo Monografico Embedded software - second international conference, EMSOFT 2002 - Grenoble, France, October 7-9, 2002 - proceedings / Alberto Sangiovanni-Vincentelli, Joseph Sifakis (eds.) Berlin etc. - Springer, c2002 Testo Monografico International conference on formal engineering methods (4. ; 2002 ; Shanghai) Formal methods and software engineering - 4th international conference on formal engineering methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 - proceedings / Chris George, Huaikou Miao (eds.) Berlin etc. - Springer, c2002 Testo Monografico International conference on advances in information systems (2. ; 2002 ; Izmir) Advances in information systems - second international conference, ADVIS 2002 - Izmir, Turkey, October 23-25, 2002 - proceedings / Tatyana Yakhno (ed.) Berlin etc. - Springer, c2002 Testo Monografico International symposium on distributed computing (16. ; 2002 ; Tolosa) Distributed computing - 16th international conference, DISC 2002 - Toulouse, France, October 28-30, 2002 - proceedings / Dahlia Malkhi (ed.) Berlin etc. - Springer, c2002 Testo Monografico Catalonian conference on artificial intelligence (5. ; 2002 ; Castellon) Topics in artificial intelligence - 5th Catalonian conference on AI, CCIA 2002 - Castellon, Spain, October 24-25, 2002 - proceedings / M. Teresa Escrig, Francisco Toledo, Elisabet Golobardes (eds.) Berlin etc. - Springer, c2002 Testo Monografico European association for computer science logic Computer science logic - 16. international workshop, CSL 2002, 11th annual conference of the EACSL - Edinburgh, Scotland, UK, September 22-25, 2002 - proceedings / Julian Bradfield (ed.) Berlin etc. - Springer, c2002 Testo Monografico International static analysis symposium (9. ; 2002 ; Madrid) Static analysis - 9th international symposium, SAS 2002 - Madrid, Spain, September 17-20, 2002 - proceedings / Manuel V. Hermenegildo, German Puebla (eds.) Berlin etc. - Springer, c2002 Testo Monografico Mobile HCI (4.; 2002 ; Pisa) Human computer interaction with mobile devices - 4th international symposium, Mobile HCI 2002 - Pisa, Italy, September 18-20, 2002 - proceedings / Fabio Paterno (ed.) Berlin etc. - Springer, c2002 Testo Monografico NETWORKING (2002 ; Pisa) Web engineering and peer-to-peer computing - NETWORKING 2002 workshops, Pisa, Italy, MAy 19-24, 2002 - proceedings / Enrico Gregori ... ed altri (eds.) Berlin etc. - Springer, c2002 Testo Monografico International colloquium on grammatical inference (6. ; 2002 ; Amsterdam) Grammatical inference - algorithms and applications - 6th international colloquium, ICGI 2002 - Amsterdam, The Netherlands, September 23-25, 2002 - proceedings / Pieter Adriaans, Henning Fernau, Menno van Zaanen (eds.) Berlin etc. - Springer, c2002 Testo Monografico Infrastructure security conference (2002 ; Bristol) Infrastructure security - international conference, InfraSec 2002 - Bristol, UK, October 1-3, 2002 - proceedings / George Davida, Yair Frankel, Owen Rees (eds.) Berlin etc. - Springer, c2002 Testo Monografico Workshop on algorithms in bioinformatics (2. ; 2002 ; Roma) Algorithms in bioinformatics - second international workshop, WABI 2002 - Rome, Italy, September 17-21, 2002 - proceeedings / Roderic Guigo, Dan Gusfield (eds.) Berlin etc. - Springer, c2002 Testo Monografico International workshop on cooperative information agents (6. ; 2002 ; Madrid) Cooperative information agents 6. - 6th international workshop, CIA 2002 - Madrid, Spain, September 18-20, 2002 - proceedings / Matthias Klusch, Sascha Ossowski, Onn Shehory (eds.) Berlin etc. - Springer, c2002 Testo Monografico International conference on theorem proving in higher order logics (15. ; 2002 ; Hampton, Virginia) Theorem proving in higher order logics - 15th international conference, TPHOLs 2002 - Hampton, VA, USA, August 20-23, 2002 - proceedings / Victor A. Carreno, Cesar A. Munoz, Sofiene Tahar (eds.) Berlin etc. - Springer, c2002 Testo Monografico