Tools and algorithms for the construction and analysis of systems 12th international conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice o...

بواسطة TACAS 2006, Hermanns, Holger., Palsberg, Jens.
منشور في 2006.

Visual information systems web-based visual information search and management : 10th International Conference, VISUAL 2008, Salerno, Italy, September 11-12, 2008 : proceedings /

بواسطة International Conference on Visual Information Systems, Sebillo, Monica., Vitiello, Giuliana., Schaefer, Gerald.
منشور في c2008

Principles of practice in multi-agent systems 12th International Conference, PRIMA 2009, Nagoya, Japan, December 14-16, 2009 : proceedings /

بواسطة International Conference on Principles of Practice in Multi-Agent Systems, Yang, Jung-Jin.
منشور في 2009.

Hardware and software verification and testing : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30 : proceedings /

بواسطة International Haifa Verification Conference, Chockler, Hana., Hu, Alan J.
منشور في 2009.

Construction and analysis of safe, secure, and interoperable smart devices International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004 : revised selected papers /

بواسطة CASSIS, Barthe, Gilles.
منشور في 2005.

Digital watermarking 8th International Workshop, IWDW 2009, Guildford, UK, August 24-26, 2009 : proceedings /

بواسطة IWDW 2009, Ho, Anthony Tung-Shuen.
منشور في 2009.

Security protocols 14th International Workshop, Cambridge, UK, March 27-29, 2006, revised selected papers /

بواسطة International Workshop on Security Protocols, Christianson, Bruce.
منشور في 2009.

Secure data management Third VLDB Workshop, SDM 2006, Seoul, Korea, September 10-11, 2006, proceedings /

بواسطة SDM (Workshop), Jonker, Willem., Petkovic, Milan.
منشور في 2006.

Neural information processing 13th international conference, ICONIP 2006, Hong Kong, China, October 3-6, 2006, proceedings, Part III /

بواسطة ICONIP (Conference), King, Irwin.
منشور في 2006.

Advances in knowledge acquisition and management Pacific Rim Knowledge Acquisition Workshop, PKAW 2006, Guilin, China, August 7-8, 2006, revised selected papers /

بواسطة Pacific Rim Knowledge Acquisition Workshop, Hoffmann, Achim.
منشور في 2006.

Embedded software and systems third international conference, ICESS 2007, Daegu, Korea, May 14-16, 2007 : proceedings /

بواسطة ICESS 2007, Lee, Yann-Hang.
منشور في 2007.

Artificial neural networks - ICANN 2007 17th international conference, Porto, Portugal, September 9-13, 2007 : proceedings /

بواسطة International Conference on Artificial Neural Networks (European Neural Network Society), Marques de Sá, Joaquim.
منشور في 2007.

Combinatorial pattern matching 17th Annual Symposium, CPM 2006, Barcelona, Spain, July 5-7, 2006, proceedings /

منشور في 2006.

Traffic monitoring and analysis First International Workshop, TMA 2009, Aachen, Germany, May 11, 2009 : proceedings /

بواسطة TMA 2009, Papadopouli, Maria., Owezarski, Philippe., Pras, Aiko.
منشور في 2009.

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems 6th International Conference, CPAIOR 2009 Pittsburgh, PA, USA, May 27-31, 2009...

بواسطة International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems, van Hoeve, Willem-Jan, Hooker, John N.
منشور في 2009.

Advances in neural networks - ISNN 2007 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007 : proceedings /

بواسطة International Symposium on Neural Networks, Liu, Derong.

Mobile response first international workshop on mobile information technology for emergency response 2007, Sankt Augustin, Germany, February 22-23, 2007: revised selected papers /

بواسطة International Workshop on Mobile Information Technology for Emergency Response, Löffler, Jobst., Klann, Markus.
منشور في 2007.

Advances in web-age information management 7th international conference, WAIM 2006, Hong Kong, China, June 17-19, 2006, proceedings /

بواسطة WAIM 2006, Yu, Jeffrey Xu., Kitsuregawa, Masaru., Leong, Hong Va.
منشور في 2006.

Discrete geometry, combinatorics and graph theory 7th China-Japan conference, CJCDGCGT 2005, Tianjin, China, November 18-20, 2005 [and] Xi'an, China, November 22-24, 2005 : revised...

بواسطة CJCDGCGT 2005, Akiyama, Jin.
منشور في 2007.

Cryptology and network security 5th international conference, CANS 2006, Suzhou, China, December 8-10, 2006, proceedings /

بواسطة International Conference on Cryptology and Network Security, Pointcheval, David., Mu, Yi., Chen, Kefei.
منشور في 2006.