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


Pagina nr. 13 di 837       
%



International conference on integrated formal methods (3. ; 2002 ; Turku)
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