Pubblicazioni
-
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]