Pubblicazioni
-
LEITE JOAO; OMICINI ANDREA; STERLING LEON; TORRONI PAOLO, Declarative Agent Languages and Technologies, HEIDELBERG, Springer, 2004, pp. 281 (LECTURE NOTES IN COMPUTER SCIENCE). [Curatela]
-
Milano, Michela, Constraint and Integer Programming - Toward a Unified Methodology, DORDRECHT, Kluwer Academic Publisher, 2004, pp. 370 (OR/CS Series). [Curatela]
-
LEITE J.; TORRONI P. (a cura di): AA.VV., Computational Logic in Multi-Agent Systems. Fifth International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004. Pre-Proceedings, LISBON, New University of Lisbon, 2004, pp. X,260 . [Curatela]
-
D. Maltoni; A.K Jain (a cura di): D. MALTONI, A.K JAIN (EDS.), Biometric Authentication: ECCV 2004 International Workshop, BioAW 2004, Prague, Czech Republic, May 15th, 2004. Proceedings, PRAGUE, Springer, 2004, pp. 341 (Lecture Notes in Computer Science). [Curatela]
-
S. Wang; D. Yang; K. Tanaka; F. Grandi; S. Zhou; E.E. Mangina; T.W. Ling; I.-Y. Song; J. Guan; H.C. Mayr, Conceptual Modeling for Advanced Application Domains: ER 2004 Workshops CoMoGIS, CoMWIM, ECDM, CoMoA, DGOV, and eCOMO, Shanghai, China, November 8-12, 2004. Proceedings (LNCS 3289), HEIDELBERG, Springer-Verlag, 2004, pp. XXII+692 (Lecture Notes in Computer Science). [Curatela]
-
Haddad Hisham M.; Omicini Andrea; Wainwright Roger L.; Liebrock Lorie M., Proceedings of the 2004 ACM Symposium on Applied Computing (SAC 2004), NEW YORK, ACM, 2004, pp. 1733 . [Curatela]
-
Baldoni Matteo; De Paoli Flavio; Martelli Alberto; Omicini Andrea, WOA 2004 – Dagli oggetti agli agenti: sistemi complessi e agenti razionali, BOLOGNA, Pitagora Editrice, 2004, pp. IV-156 . [Curatela]
-
Merelli Emanuela; Gonzalez Pablo; Omicini Andrea, Models and Metaphors from Biology to Bioinformatics Tools, CAMERINO, MC, s.n., 2004, pp. X-228 . [Curatela]
-
Leite Joao; Omicini Andrea; Torroni Paolo; Yolum Pinar, Proceedings of the 2nd International Workshop "Declarative Agent Languages and Technologies" (DALT 2004), NEW YORK, s.n., 2004, pp. VII-312 . [Curatela]
-
Gleizes Marie-Pierre; Omicini Andrea; Zambonelli Franco, Proceedings of the 5th International Workshop "Engineering Societies in the Agents World" (ESAW 2004), TOULOUSE, s.n., 2004, pp. VI-164 . [Curatela]
-
A.Asperti; G.Bancerek; A.Trybulec, Mathematical Knowledge Management, BERLIN, Springer, 2004, pp. 1-393 (Lecture Notes in Computer Science). [Curatela]
-
MORO G.; SARTORI C.; SINGH M., Agents and Peer to Peer Computing, 2nd international workshop, AAMAS 2003, Melbourne, Australia, 2003, BERLIN, Springer, 2004, pp. 1-204 (Lecture notes in artificial intelligence). [Curatela]
-
G. Moro; M. Koubarakis, Agents and Peer-to-Peer Computing, First International Workshop, AP2PC 2002, Bologna, Italy, July, 2002, Revised and Invited Papers, BERLIN, Springer, 2004, pp. 1-170 (Lecture notes in artificial intelligence). [Curatela]
-
R. Focardi; R. Gorrieri, Foundations of Security Analysis and design II, HEIDELBERG, Springer, 2004, pp. 267 (Lecture Notes in Computer Science 2946). [Curatela]
-
C.Blum; A.Roli; M.Sampels, Proceedings of the First International Workshop on Hybrid Metaheuristics - HM2004, BRUXELLES, s.n., 2004, pp. 1-140 . [Curatela]
-
W. Harvey; Z. Kiziltan, Proceedings of SymCon'04 : THE 4TH INTERNATIONAL WORKSHOP ON SYMMETRY AND CONSTRAINT SATISFACTION PROBLEMS. A Satellite Workshop of CP'2004 (Tenth International Conference on Principles and Practice of Constraint Programming). 27 September 2004 , Toronto, Canada., S.L., S.N., 2004, pp. 104 . [Curatela]
-
M. Bravetti; R. Gorrieri, Proceedings of the MEFISTO Project 2003, Formal Methods for Security and Time, AMSTERDAM, Elsevier, 2004 (Electronic Notes in Theoretical Computer Science). [Curatela]
-
M. Bravetti; G. Zavattaro, Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004), AMSTERDAM, Elsevier, 2004 (Electronic Notes in Theoretical Computer Science). [Curatela]