Communicating sequential processes the first 25 years : Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004 : revised invited papers /

द्वारा Symposium on the Occasion of 25 years of CSP, Abdallah, Ali E., Jones, Cliff B., Sanders, Jeff W.
प्रकाशित 2005.

Principles and practice of constraint programming - CP 2005 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005 : proceedings /

द्वारा CP 2005, van Beek, Peter.
प्रकाशित 2005.

KI 2005 advances in artificial intelligence : 28th Annual German Conference on AI, KI 2005, Koblenz, Germany, September 11-14, 2005 : proceedings /

द्वारा German Conference on Artificial Intelligence, Furbach, Ulrich.
प्रकाशित 2005.

Information security and cryptology First SKLOIS Conference, CISC 2005, Beijing, China, December 15-17, 2005 : proceedings /

द्वारा CISC 2005, Feng, Dengguo., Lin, Dongdai., Yung, Moti.
प्रकाशित 2005.

FM 2005: Formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings /

द्वारा International Symposium of Formal Methods Europe, Fitzgerald, John, Hayes, Ian J., Tarlecki, Andrzej.
प्रकाशित 2005.

Foundations and tools for neural modeling : proceedings /

द्वारा International Work-Conference on Artificial and Natural Neural Networks, Mira, José, Sánchez-Andrés, Juan V.
प्रकाशित 1999.

Advances in biometric person authentication : International Workshop on Biometric Recognition Systems, IWBRS 2005, Beijing, China, October 22-23, 2005 : proceedings /

द्वारा International Workshop on Biometric Recognition Systems, Li, S. Z.
प्रकाशित 2005.

Parallel problem solving from nature-PPSN III /

द्वारा International Conference on Evolutionary Computation-IECC, Davidor, Yuval., Schwefel, Hans-Paul., Männer, Reinhard.
प्रकाशित 1994.

Artificial intelligence in medicine 12th Conference on Artificial Intelligence in Medicine in Europe, AIME 2009, Verona, Italy, July 18-22, 2009 : proceedings /

द्वारा Conference on Artificial Intelligence in Medicine, Combi, Carlo., Shahar, Yuval., Abu-Hanna, Ameen.
प्रकाशित 2009.

Typed lambda calculi and applications 9th international conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009 : proceedings /

द्वारा International Conference on Typed Lambda Calculi and Applications, Curien, P. L.
प्रकाशित 2009.

Constraint solving and language processing First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004 : revised selected and invited papers /

द्वारा CSLP 2004, Christiansen, Henning., Skadhauge, Peter Rossen., Villadsen, Jørgen.
प्रकाशित 2005.

Artificial intelligence in medicine 10th Conference on Artificial Intelligence in Medicine, AIME 2005, Aberdeen, UK, July 23-27, 2005 : proceedings /

द्वारा Conference on Artificial Intelligence in Medicine, Miksch, Silvia., Hunter, Jim., Keravnou, E. T.
प्रकाशित 2005.

Intelligent techniques for web personalization IJCAI 2003 Workshop, ITWP 2003, Acapulco, Mexico, August 11, 2003 : revised selected papers /

द्वारा ITWP 2003, Mobasher, Bamshad., Anand, Sarabjot S.
प्रकाशित 2005.

Typed lambda calculi and applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings /

द्वारा International Conference on Typed Lambda Calculi and Applications, Urzyczyn, Pawel.
प्रकाशित 2005.

Automated technology for verification and analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings /

द्वारा ATVA 2005, Peled, Doron A., Tsay, Yih-Kuen.
प्रकाशित 2005.

Agent communication International Workshop on Agent Communication, AC 2004, New York, NY, July 19, 2004 : revised, selected and invited papers /

द्वारा International Workshop on Agent Communication, Eijk, Rogier M. van., Huget, Marc-Philippe., Dignum, Frank
प्रकाशित 2005.

Web and wireless geographical information systems 4th International Workshop, W2GIS 2004, Goyang, Korea, November 26-27, 2004 : revised selected papers /

द्वारा W2GIS 2004, Claramunt, Christophe., Kwon, Yong-Jin., Bouju, Alain.
प्रकाशित 2005.

Journal on data semantics IV

द्वारा Spaccapietra, Stefano.
प्रकाशित 2005.

Self-stabilizing systems 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005 : proceedings /

द्वारा SSS 2005, Tixeuil, Sébastien., Herman, Ted
प्रकाशित 2005.

Theorem proving in higher order logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005 : proceedings /

द्वारा TPHOLs 2005, Hurd, Joe., Melham, T. F.
प्रकाशित 2005.