Pubblicazioni
-
S. Balsamo; C. Chiasserini; L. Donatiello, Proceedings of the 7th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2004, Venice, Italy, October 4-6, 2004., NEW YORK, ACM press, 2004, pp. 322 . [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]
-
Marchesi M; Succi G, Extreme Programming and Agile Processes in Software Engineering -- 4th International Conference, XP 2003, Genova, Italy, May 25-29, 2003, Proceedings, Heidelberg, Springer, 2003, pp. 479 . [Curatela]
-
Knauber P; Succi G, Software Product Lines: Economics, Architectures, and Implications - Proceedings of Workshop #15 at 22nd International Conference on Software Engineering (ICSE), Limerick, Ireland, June 10th 2000, Kaiserslautern, Fraunhofer IESE Publisher, 2000, pp. 176 . [Curatela]
-
Tick E; Succi G, Implementations of Logic Programming Systems, Dordrecht, Kluwer Academic Publishers, 1994, pp. 260 . [Curatela]