Bibliografia per Anno di Pubblicazione
(ordinato per Autore)
Argomento: 2002 (6 di 6)
| Pagina nr. 14 di 837 |
|
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 Kyoto workshop on digital cities (2. ; 2001 ; Kyoto) Digital cities 2. - computational and sociological approaches - second Kyoto workshop on digital cities, Kyoto, Japan, October 18-20, 2001 - revised papers / Makoto Tanabe, Peter van den Besselaar, Toru Ishida (eds.) Berlin etc. - Springer, c2002 Testo Monografico International symposium of formal methods Europe (2002 ; Copenaghen) FME 2002 - formal methods - getting IT right - international symposium on formal methods Europe, Copenhagen, Denmark, July 22-24, 2002 - proceedings / Lars-Henrik Eriksson, Peter Alexander Lindsay (eds.) Berlin etc. - Springer, c2002 Testo Monografico Foundations and applications of multi-agent systems - UKMAS workshops 1996-2000 - selected papers / Mark d'Inverno ... ed altri (eds.) Berlin etc. - Springer, c2002 Testo Monografico Process algebra and probabilistic methods - performance modeling and verification - second joint international workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 - proceedings / Holger Hermanns, Roberto Segala (eds.) Berlin etc. - Springer, c2002 Testo Monografico International conference on image and video retrieval (2002 ; Londra) Image and video retrieval - international conference, CIVR 2002 - London, UK, July 18-19, 2002 - proceedings / Michael S. Lew, Nicu Sebe, John P. Eakins (eds.) Berlin etc. - Springer, c2002 Testo Monografico International conference on computers helping people with special needs (8. ; 2002 ; Linz) Computers helping people with special needs - 8th international conference, ICCHP 2002 - Linz, Austria, July 15-20, 2002 - proceedings / Klaus Miesenberger, Joachim Klaus, Wolfgang Zagler (eds.) Berlin etc. - Springer, c2002 Testo Monografico Robocup (5. ; 2001 ; Seattle) RoboCup 2001 - robot soccer world cup V / Andreas Birk, Silvia Coradeschi, Satoshi Tadokoro (eds.) Berlin etc. - Springer, c2002 Testo Monografico International conference on logic programming (18. ; 2002 ; Copenaghen) Logic programming - 18th international conference, ICLP 2002 - Copenhagen, Denmark, July 29 - August 1, 2002 - proceedings / Peter J. Stuckey (ed.) Berlin etc. - Springer, c2002 Testo Monografico Advances in data mining - applications in e-commerce, medicine and knowledge management / Petra Perner (ed.) Berlin etc. - Springer, c2002 Testo Monografico International symposium on abstraction, reformulation and approximation (5. ; 2002 ; Kananaskis) Abstraction, reformulation and approximation - 5th international symposium, SARA 2002 - Kananaskis, Alberta, Canada, August 2-4, 2002 - proceedings / Sven Koenig, Robert C. Holte (eds.) Berlin etc. - Springer, c2002 Testo Monografico Computer aided verification - 14th international conference, CAV 2002 - Copenhagen, Denmark, July 27-31, 2002 - proceedings / Ed Brinksma, Kim Guldstrand Larsen (eds.) Berlin etc. - Springer, c2002 Testo Monografico Artificial intelligence- methodology, systems and applications - 10th international conference, AIMSA 2002 - Varna, Bulgaria, September 4-6, 2002 - proceedings / Donia Scott (ed.) Berlin etc. - Springer, c2002 Testo Monografico International conference on automated reasoning with analytic tableaux and related methods (2002 ; Copenaghen) Automated reasoning with analytic tableaux and related methods - international conference, TABLEAUX 2002 - Copenhagen, Denmark, July 30 - August 1, 2002 - proceedings / Uwe Egly, Christian G. Fermuller (eds.) Berlin etc. - Springer, c2002 Testo Monografico International conference on automated deduction (18. ; 2002 ; Copenaghen) Automated deduction - CADE-18 - 18th international conference on automated deduction - Copenhagen, Denmark, July 27-30, 2002 - proceedings / Andrei Voronkov (ed.) Berlin etc. - Springer, c2002 Testo Monografico |
