Pagina nr. 13 di 837 |
Integrated formal methods - third international conference, IFM 2002 - Turku, Finland, May 15-18, 2002 - proceedings / Michael Butler, Luigia Petre, Kaisa Sere (eds.) Berlin etc. - Springer, c2002 Testo Monografico International conference on advanced information systems engineering (14. ; 2002 ; Toronto) Advanced information systems engineering - 14th international conference, CAiSE 2002 - Toronto, Canada, May 27-31, 2002 - proceedings / Anne Banks Pibbuck ed altri (eds.) Berlin etc. - Springer, c2002 Testo Monografico Canadian society for computational studies of intelligence Advances in artificial intelligence - 15th conference of the Canadian Society for computational studies of intelligence, AI 2002 - Calgary, Canada, May 27-29, 2002 - proceedings / Robin Cohen, Bruce Spencer (eds.) Berlin °etc. - Springer, c2002 Testo Monografico International conference on adaptive hypermedia and adaptive Web-based systems (2. ; 2002 ; Malaga) Adaptive hypermedia and adaptive Web-based systems - second international conference, AH 2002 - Malaga, Spain, May 29-31, 2002 - proceedings / Paul De Bra, Peter Brusilovsky, Ricardo Conejo (eds.) Berlin etc. - Springer, c2002 Testo Monografico Advanced environments, tools and applications for cluster computing - NATO advanced research workshop, IWCC 2001 - Mangalia, Romania, September 1-6, 2001 - revised papers / Dan Grigoras et. al. (eds.) Berlin etc. - Springer, c2002 Testo Monografico International federation for information processing - Technical committee (6) Networking 2002 - networking technologies, services and protocols; performance of computer and communication networks; mobile and wireless communications - second international IFIP-TC6 networking conference, Pisa, Italy, May 19-24, 2002 - proceedings / Enrico Gregori ed altri (eds.) Berlin etc. - Springer, c2002 Testo Monografico International conference on integer programming and combinatorial optimization (9. ; 2002 ; Cambridge, MA) Integer programming and combinatorial optimization - 9th international IPCO conference, Cambridge, MA, USA, MAy 27-29, 2002 - proceedings / William J. Cook, Andreas S. Schulz (eds.) Berlin etc. - Springer, c2002 Testo Monografico Biometric authentication - International ECCV 2002 workshop, Copenhagen, Denmark, June 1, 2002 - proceedings / Massimo Tistarelli, Josef Bigun, Anil K. Jain (eds.) Berlin etc. - Springer, c2002 Testo Monografico Intelligent agents 8. - agent theories, architectures and languages - 8th international workshop, ATAL 2001 - Seattle, WA, USA, August 1-3, 2001 - revised papers / John-Jules Ch. Meyer, Milind Tambe (eds.) Berlin etc. - Springer, c2002 Testo Monografico International colloquium on automata, languages and programming (29. ; 2002 ; Malaga) Automata, languages and programming - 29. international colloquium, ICALP 2002 - Malaga, Spain, July 8-13, 2002 - proceedings / Peter Widmayer ... (ed altri) (eds.) Berlin (etc.) - Springer, c2002 Testo Monografico International conference on rewriting techniques and applications (13. ; 2002 ; Copenaghen) Rewriting techniques and applications - 13th international conference, RTA 2002 - Copenhagen, Denmark, July 22-24, 2002 - proceedings / Sophie Tison (ed.) Berlin etc. - Springer, c2002 Testo Monografico British national conference on databases (19. ; 2002 ; Sheffield) Advances in databases - 19th British national conference on databases, BNCOD 19 - Sheffield, UK, July 17-19, 2002 - proceedings / Barry Eaglestone, Siobhan North, Alexandra Poulovassilis (eds.) Berlin etc. - Springer, c2002 Testo Monografico International workshop on logic-based program synthesis and transformation (11. ; 2001 ; Paphos) Logic based program synthesis and transformation - 11th international workshop, LOPSTR 2001 - Paphos, Cyprus, November 28-30, 2001 - selected papers / Alberto Pettorossi (ed.) Berlin etc. - Springer, c2002 Testo Monografico International conference on conceptual structures (10. ; 2002 ; Borovets) Conceptual structures - integration and interfaces - 10. international conference on conceptual structures, ICCS 2002 - Borovets, Bulgaria, July 15-19, 2002 - proceedings / Uta Priss, Dan Corbett, Galia Angelova (eds.) Berlin etc. - Springer, c2002 Testo Monografico Part 1 Berlin etc. - Springer, c2002 Incluso in > Computational logic- logic programming and beyond - essays in honour of Robert A. Kowalski / Antonis C. Kakas, Fariba Sadri (eds.) Testo Monografico |