Search Results for - Narrowed by: Artificial Intelligence (incl. Robotics). - Software engineering.

Decision Procedures An Algorithmic Point of View

2024-06-07T19:44:57Z

by Kroening, Daniel. author.
http://dx.doi.org/10.1007/978-3-540-74105-3
Format: Electronic Resources

Agent-Oriented Software Engineering VIII 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers

2024-06-07T19:44:57Z

by Luck, Michael. editor.
http://dx.doi.org/10.1007/978-3-540-79488-2
Format: Electronic Resources

Relations and Kleene Algebra in Computer Science 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings

2024-06-07T19:44:57Z

by Berghammer, Rudolf. editor.
http://dx.doi.org/10.1007/978-3-540-78913-0
Format: Electronic Resources

Issues in Multi-Agent Systems The AgentCities.ES Experience

2024-06-07T19:44:57Z

by Moreno, Antonio. editor.
http://dx.doi.org/10.1007/978-3-7643-8543-9
Format: Electronic Resources

Defence Industry Applications of Autonomous Agents and Multi-Agent Systems

2024-06-07T19:44:57Z

by Pěchouček, Michal. editor.
http://dx.doi.org/10.1007/978-3-7643-8571-2
Format: Electronic Resources

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing

2024-06-07T19:44:57Z

by Lee, Roger. editor.
http://dx.doi.org/10.1007/978-3-540-70560-4
Format: Electronic Resources

Software Engineering Research, Management and Applications

2024-06-07T19:44:57Z

by Lee, Roger. editor.
http://dx.doi.org/10.1007/978-3-540-70561-1
Format: Electronic Resources

Embedded Robotics Mobile Robot Design and Applications with Embedded Systems

2024-06-07T19:44:57Z

by Bräunl, Thomas. author.
http://dx.doi.org/10.1007/978-3-540-70534-5
Format: Electronic Resources

Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings

2024-06-07T19:44:57Z

by Mohamed, Otmane Ait. editor.
http://dx.doi.org/10.1007/978-3-540-71067-7
Format: Electronic Resources

Automated Reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings

2024-06-07T19:44:57Z

by Armando, Alessandro. editor.
http://dx.doi.org/10.1007/978-3-540-71070-7
Format: Electronic Resources

Modeling Semantic Web Services The Web Service Modeling Language

2024-06-07T19:44:57Z

by Bruijn, Jos. author.
http://dx.doi.org/10.1007/978-3-540-68172-4
Format: Electronic Resources

Coordination, Organizations, Institutions, and Norms in Agent Systems III COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 Revised Selected Papers

2024-06-07T19:44:57Z

by Sichman, Jaime Simão. editor.
http://dx.doi.org/10.1007/978-3-540-79003-7
Format: Electronic Resources

Advanced Data Mining and Applications 4th International Conference, ADMA 2008, Chengdu, China, October 8-10, 2008. Proceedings

2024-06-07T19:44:57Z

by Tang, Changjie. editor.
http://dx.doi.org/10.1007/978-3-540-88192-6
Format: Electronic Resources

Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

2024-06-07T19:44:57Z

by Meyer, Bertrand. editor.
http://dx.doi.org/10.1007/978-3-540-69149-5
Format: Electronic Resources

Compiler Construction 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings

2024-06-07T19:44:57Z

by Hendren, Laurie. editor.
http://dx.doi.org/10.1007/978-3-540-78791-4
Format: Electronic Resources

The Semantic Web: Research and Applications 5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain, June 1-5, 2008 Proceedings

2024-06-07T19:44:57Z

by Bechhofer, Sean. editor.
http://dx.doi.org/10.1007/978-3-540-68234-9
Format: Electronic Resources

Interactive Storytelling First Joint International Conference on Interactive Digital Storytelling, ICIDS 2008 Erfurt, Germany, November 26-29, 2008 Proceedings

2024-06-07T19:44:57Z

by Spierling, Ulrike. editor.
http://dx.doi.org/10.1007/978-3-540-89454-4
Format: Electronic Resources

Persuasive Technology Third International Conference, PERSUASIVE 2008, Oulu, Finland, June 4-6, 2008. Proceedings

2024-06-07T19:44:57Z

by Oinas-Kukkonen, Harri. editor.
http://dx.doi.org/10.1007/978-3-540-68504-3
Format: Electronic Resources

Engineering Environment-Mediated Multi-Agent Systems International Workshop, EEMMAS 2007, Dresden, Germany, October 5, 2007. Selected Revised and Invited Papers

2024-06-07T19:44:57Z

by Weyns, Danny. editor.
http://dx.doi.org/10.1007/978-3-540-85029-8
Format: Electronic Resources

Computer Music Modeling and Retrieval. Sense of Sounds 4th International Symposium, CMMR 2007, Copenhagen, Denmark, August 27-31, 2007. Revised Papers

2024-06-07T19:44:57Z

by Kronland-Martinet, Richard. editor.
http://dx.doi.org/10.1007/978-3-540-85035-9
Format: Electronic Resources

RoboCup 2007: Robot Soccer World Cup XI

2024-06-07T19:44:57Z

by Visser, Ubbo. editor.
http://dx.doi.org/10.1007/978-3-540-68847-1
Format: Electronic Resources

Engineering Societies in the Agents World VIII 8th International Workshop, ESAW 2007, Athens, Greece, October 22-24, 2007, Revised Selected Papers

2024-06-07T19:44:57Z

by Artikis, Alexander. editor.
http://dx.doi.org/10.1007/978-3-540-87654-0
Format: Electronic Resources

Declarative Agent Languages and Technologies V 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers

2024-06-07T19:44:57Z

by Baldoni, Matteo. editor.
http://dx.doi.org/10.1007/978-3-540-77564-5
Format: Electronic Resources

Enterprise Information Systems 8th International Conference, ICEIS 2006, Paphos, Cyprus, May 23-27, 2006 , Revised Selected Papers

2024-06-07T19:44:57Z

by Manolopoulos, Yannis. editor.
http://dx.doi.org/10.1007/978-3-540-77581-2
Format: Electronic Resources

Programming Multi-Agent Systems 5th International Workshop, ProMAS 2007 Honolulu, HI, USA, May 15, 2007 Revised and Invited Papers

2024-06-07T19:44:57Z

by Dastani, Mehdi. editor.
http://dx.doi.org/10.1007/978-3-540-79043-3
Format: Electronic Resources

Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings

2024-06-07T19:44:57Z

by Meseguer, José. editor.
http://dx.doi.org/10.1007/978-3-540-79980-1
Format: Electronic Resources

Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008. Proceedings

2024-06-07T19:44:57Z

by Darzentas, John. editor.
http://dx.doi.org/10.1007/978-3-540-87881-0
Format: Electronic Resources

Semantic Service Provisioning

2024-06-07T19:44:57Z

by Kuropka, Dominik. editor.
http://dx.doi.org/10.1007/978-3-540-78617-7
Format: Electronic Resources

New Frontiers in Applied Artificial Intelligence 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008 Wrocław, Poland, June 18-20, 2008 Proceedings

2024-06-07T19:44:57Z

by Nguyen, Ngoc Thanh. editor.
http://dx.doi.org/10.1007/978-3-540-69052-8
Format: Electronic Resources

Multiagent System Technologies 6th German Conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings

2024-06-07T19:44:57Z

by Bergmann, Ralph. editor.
http://dx.doi.org/10.1007/978-3-540-87805-6
Format: Electronic Resources

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings

2024-06-07T19:44:57Z

by Cervesato, Iliano. editor.
http://dx.doi.org/10.1007/978-3-540-89439-1
Format: Electronic Resources

Intelligent Agents and Multi-Agent Systems 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings

2024-06-07T19:44:57Z

by Bui, The Duy. editor.
http://dx.doi.org/10.1007/978-3-540-89674-6
Format: Electronic Resources

Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

2024-06-07T19:44:57Z

by Degano, Pierpaolo. editor.
http://dx.doi.org/10.1007/978-3-540-68679-8
Format: Electronic Resources

Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis AAMAS 2007 Workshop, AMEC 2007, Honolulu, Hawaii, May 14, 2007, and AAAI 2007 Workshop, TADA 2007, Vancouver, Canada, July 23, 2007, Selected and Revised Papers

2024-06-07T19:44:57Z

by Collins, John. editor.
http://dx.doi.org/10.1007/978-3-540-88713-3
Format: Electronic Resources

Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings

2024-06-07T19:44:57Z

by Gupta, Aarti. editor.
http://dx.doi.org/10.1007/978-3-540-70545-1
Format: Electronic Resources

Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers

2024-06-07T19:44:57Z

by Tuyls, Karl. editor.
http://dx.doi.org/10.1007/978-3-540-77949-0
Format: Electronic Resources

Formal Concept Analysis 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings

2024-06-07T19:44:57Z

by Medina, Raoul. editor.
http://dx.doi.org/10.1007/978-3-540-78137-0
Format: Electronic Resources

Coordination Models and Languages 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings

2024-06-07T19:44:57Z

by Lea, Doug. editor.
http://dx.doi.org/10.1007/978-3-540-68265-3
Format: Electronic Resources

All About Maude - A High-Performance Logical Framework How to Specify, Program and Verify Systems in Rewriting Logic

2024-06-07T19:44:57Z

by Clavel, Manuel. author.
http://dx.doi.org/10.1007/978-3-540-71999-1
Format: Electronic Resources

Engineering Self-Organising Systems 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers

2024-06-07T19:44:57Z

by Brueckner, Sven A. editor.
http://dx.doi.org/10.1007/978-3-540-69868-5
Format: Electronic Resources

Formal Concept Analysis 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007. Proceedings

2024-06-07T19:44:57Z

by Kuznetsov, Sergei O. editor.
http://dx.doi.org/10.1007/978-3-540-70901-5
Format: Electronic Resources

Agent-Oriented Software Engineering VII 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers

2024-06-07T19:44:57Z

by Padgham, Lin. editor.
http://dx.doi.org/10.1007/978-3-540-70945-9
Format: Electronic Resources

Adaptive and Natural Computing Algorithms 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part I

2024-06-07T19:44:57Z

by Beliczynski, Bartlomiej. editor.
http://dx.doi.org/10.1007/978-3-540-71618-1
Format: Electronic Resources

Adaptive and Natural Computing Algorithms 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part II

2024-06-07T19:44:57Z

by Beliczynski, Bartlomiej. editor.
http://dx.doi.org/10.1007/978-3-540-71629-7
Format: Electronic Resources

Frontiers of Combining Systems 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings

2024-06-07T19:44:57Z

by Konev, Boris. editor.
http://dx.doi.org/10.1007/978-3-540-74621-8
Format: Electronic Resources

50 Years of Artificial Intelligence Essays Dedicated to the 50th Anniversary of Artificial Intelligence

2024-06-07T19:44:57Z

by Lungarella, Max. editor.
http://dx.doi.org/10.1007/978-3-540-77296-5
Format: Electronic Resources

Active Conceptual Modeling of Learning Next Generation Learning-Base System Development

2024-06-07T19:44:57Z

by Chen, Peter P. editor.
http://dx.doi.org/10.1007/978-3-540-77503-4
Format: Electronic Resources

Persuasive Technology Second International Conference on Persuasive Technology, PERSUASIVE 2007, Palo Alto, CA, USA, April 26-27, 2007, Revised Selected Papers

2024-06-07T19:44:57Z

by Kort, Yvonne. editor.
http://dx.doi.org/10.1007/978-3-540-77006-0
Format: Electronic Resources

Coordination, Organizations, Institutions, and Norms in Agent Systems II AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. Revised Selected Papers

2024-06-07T19:44:57Z

by Noriega, Pablo. editor.
http://dx.doi.org/10.1007/978-3-540-74459-7
Format: Electronic Resources

Virtual Storytelling. Using Virtual Reality Technologies for Storytelling 4th International Conference, ICVS 2007, Saint-Malo, France, December 5-7, 2007. Proceedings

2024-06-07T19:44:57Z

by Cavazza, Marc. editor.
http://dx.doi.org/10.1007/978-3-540-77039-8
Format: Electronic Resources

Multi-Agent Systems and Applications V 5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, Leipzig, Germany, September 25-27, 2007. Proceedings

2024-06-07T19:44:57Z

by Burkhard, Hans-Dieter. editor.
http://dx.doi.org/10.1007/978-3-540-75254-7
Format: Electronic Resources

Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino

2024-06-07T19:44:57Z

by Beckert, Bernhard. editor.
http://dx.doi.org/10.1007/978-3-540-69061-0
Format: Electronic Resources

Advanced Data Mining and Applications Third International Conference, ADMA 2007 Harbin, China, August 6-8, 2007. Proceedings

2024-06-07T19:44:57Z

by Alhajj, Reda. editor.
http://dx.doi.org/10.1007/978-3-540-73871-8
Format: Electronic Resources

RoboCup 2006: Robot Soccer World Cup X

2024-06-07T19:44:57Z

by Lakemeyer, Gerhard. editor.
http://dx.doi.org/10.1007/978-3-540-74024-7
Format: Electronic Resources

Software Engineering for Multi-Agent Systems V Research Issues and Practical Applications

2024-06-07T19:44:57Z

by Choren, Ricardo. editor.
http://dx.doi.org/10.1007/978-3-540-73131-3
Format: Electronic Resources

New Trends in Applied Artificial Intelligence 20th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2007, Kyoto, Japan, June 26-29, 2007. Proceedings

2024-06-07T19:44:57Z

by Okuno, Hiroshi G. editor.
http://dx.doi.org/10.1007/978-3-540-73325-6
Format: Electronic Resources

Databases, Information Systems, and Peer-to-Peer Computing International Workshops, DBISP2P 2005/2006, Trondheim, Norway, August 28-29, 2005, Seoul, Korea, September 11, 2006, Revised Selected Papers

2024-06-07T19:44:57Z

by Moro, Gianluca. editor.
http://dx.doi.org/10.1007/978-3-540-71661-7
Format: Electronic Resources

Human-Computer Interaction – INTERACT 2007 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings, Part I

2024-06-07T19:44:57Z

by Baranauskas, Cécilia. editor.
http://dx.doi.org/10.1007/978-3-540-74796-3
Format: Electronic Resources

Human-Computer Interaction – INTERACT 2007 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings, Part II

2024-06-07T19:44:57Z

by Baranauskas, Cécilia. editor.
http://dx.doi.org/10.1007/978-3-540-74800-7
Format: Electronic Resources

Evolving Connectionist Systems The Knowledge Engineering Approach

2024-06-07T19:44:57Z

by Kasabov, Nikola. author.
http://dx.doi.org/10.1007/978-1-84628-347-5
Format: Electronic Resources

Enabling Semantic Web Services The Web Service Modeling Ontology

2024-06-07T19:44:57Z

by Fensel, Dieter. author.
http://dx.doi.org/10.1007/978-3-540-34520-6
Format: Electronic Resources

Automatic Quantum Computer Programming A Genetic Programming Approach

2024-06-07T19:44:57Z

by Spector, Lee. editor.
http://dx.doi.org/10.1007/978-0-387-36791-0
Format: Electronic Resources

Aggregation Functions: A Guide for Practitioners

2024-06-07T19:44:57Z

by Beliakov, Gleb. author.
http://dx.doi.org/10.1007/978-3-540-73721-6
Format: Electronic Resources

Coordination Models and Languages 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

2024-06-07T19:44:57Z

by Murphy, Amy L. editor.
http://dx.doi.org/10.1007/978-3-540-72794-1
Format: Electronic Resources

Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings

2024-06-07T19:44:57Z

by Schneider, Klaus. editor.
http://dx.doi.org/10.1007/978-3-540-74591-4
Format: Electronic Resources

Virtual Reality Second International Conference, ICVR 2007, Held as part of HCI International 2007, Beijing, China, July 22-27, 2007. Proceedings

2024-06-07T19:44:57Z

by Shumaker, Randall. editor.
http://dx.doi.org/10.1007/978-3-540-73335-5
Format: Electronic Resources

Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings

2024-06-07T19:44:57Z

by Dershowitz, Nachum. editor.
http://dx.doi.org/10.1007/978-3-540-75560-9
Format: Electronic Resources

Conceptual Modeling - ER 2007 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007. Proceedings

2024-06-07T19:44:57Z

by Parent, Christine. editor.
http://dx.doi.org/10.1007/978-3-540-75563-0
Format: Electronic Resources

Automated Reasoning with Analytic Tableaux and Related Methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings

2024-06-07T19:44:57Z

by Olivetti, Nicola. editor.
http://dx.doi.org/10.1007/978-3-540-73099-6
Format: Electronic Resources

Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings

2024-06-07T19:44:57Z

by Krishnamurthi, Shriram. editor.
http://dx.doi.org/10.1007/978-3-540-71229-9
Format: Electronic Resources

Multiagent System Technologies 5th German Conference, MATES 2007, Leipzig, Germany, September 24-26, 2007. Proceedings

2024-06-07T19:44:57Z

by Petta, Paolo. editor.
http://dx.doi.org/10.1007/978-3-540-74949-3
Format: Electronic Resources

Automated Deduction – CADE-21 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings

2024-06-07T19:44:57Z

by Pfenning, Frank. editor.
http://dx.doi.org/10.1007/978-3-540-73595-3
Format: Electronic Resources

Web Engineering 7th International Conference, ICWE 2007 Como, Italy, July 16-20, 2007 Proceedings

2024-06-07T19:44:57Z

by Baresi, Luciano. editor.
http://dx.doi.org/10.1007/978-3-540-73597-7
Format: Electronic Resources

Programming Multi-Agent Systems 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers

2024-06-07T19:44:57Z

by Bordini, Rafael H. editor.
http://dx.doi.org/10.1007/978-3-540-71956-4
Format: Electronic Resources

The Semantic Web: Research and Applications 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007. Proceedings

2024-06-07T19:44:57Z

by Franconi, Enrico. editor.
http://dx.doi.org/10.1007/978-3-540-72667-8
Format: Electronic Resources

Ergonomics and Health Aspects of Work with Computers International Conference, EHAWC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007. Proceedings

2024-06-07T19:44:57Z

by Dainoff, Marvin J. editor.
http://dx.doi.org/10.1007/978-3-540-73333-1
Format: Electronic Resources

Web Reasoning and Rule Systems First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007. Proceedings

2024-06-07T19:44:57Z

by Marchiori, Massimo. editor.
http://dx.doi.org/10.1007/978-3-540-72982-2
Format: Electronic Resources

Engineering Societies in the Agents World VII 7th International Workshop, ESAW 2006 Dublin, Ireland, September 6-8, 2006 Revised Selected and Invited Papers

2024-06-07T19:44:57Z

by O’Hare, Gregory M. P. editor.
http://dx.doi.org/10.1007/978-3-540-75524-1
Format: Electronic Resources

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings

2024-06-07T19:44:57Z

by Damm, Werner. editor.
http://dx.doi.org/10.1007/978-3-540-73368-3
Format: Electronic Resources

Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers

2024-06-07T19:44:57Z

by Edelkamp, Stefan. editor.
http://dx.doi.org/10.1007/978-3-540-74128-2
Format: Electronic Resources

Software Verification and Validation An Engineering and Scientific Approach

2024-06-07T19:44:57Z

by Fisher, Marcus S. author.
http://dx.doi.org/10.1007/978-0-387-47939-2
Format: Electronic Resources

Handbook of Nature-Inspired and Innovative Computing Integrating Classical Models with Emerging Technologies

2024-06-07T19:44:57Z

by Zomaya, Albert Y. editor.
http://dx.doi.org/10.1007/0-387-27705-6
Format: Electronic Resources

Algebraic Methodology and Software Technology 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings

2024-06-07T19:44:57Z

by Johnson, Michael. editor.
http://dx.doi.org/10.1007/11784180
Format: Electronic Resources

Advanced Topics in Exception Handling Techniques

2024-06-07T19:44:57Z

by Dony, Christophe. editor.
http://dx.doi.org/10.1007/11818502
Format: Electronic Resources

Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers

2024-06-07T19:44:57Z

by MacCaull, Wendy. editor.
http://dx.doi.org/10.1007/11734673
Format: Electronic Resources

Engineering Self-Organising Systems Third International Workshop, ESOA 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers

2024-06-07T19:44:57Z

by Brueckner, Sven A. editor.
http://dx.doi.org/10.1007/11734697
Format: Electronic Resources

Declarative Agent Languages and Technologies III Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers

2024-06-07T19:44:57Z

by Baldoni, Matteo. editor.
http://dx.doi.org/10.1007/11691792
Format: Electronic Resources

Engineering Societies in the Agents World VI 6th International Workshop, ESAW 2005, Kuşadasi, Turkey, October 26-28, 2005, Revised Selected and Invited Papers

2024-06-07T19:44:57Z

by Dikenelli, Oğuz. editor.
http://dx.doi.org/10.1007/11759683
Format: Electronic Resources

Computer Music Modeling and Retrieval Third International Symposium, CMMR 2005, Pisa, Italy, September 26-28, 2005. Revised Papers

2024-06-07T19:44:57Z

by Kronland-Martinet, Richard. editor.
http://dx.doi.org/10.1007/11751069
Format: Electronic Resources

Software Engineering for Multi-Agent Systems IV Research Issues and Practical Applications

2024-06-07T19:44:57Z

by Garcia, Alessandro. editor.
http://dx.doi.org/10.1007/11738817
Format: Electronic Resources

Model Driven Architecture and Ontology Development

2024-06-07T19:44:57Z

by Gašević, Dragan. author.
http://dx.doi.org/10.1007/3-540-32182-9
Format: Electronic Resources

Formal Concept Analysis 4th International Conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006. Proceedings

2024-06-07T19:44:57Z

by Missaoui, Rokia. editor.
http://dx.doi.org/10.1007/11671404
Format: Electronic Resources

Declarative Agent Languages and Technologies IV 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers

2024-06-07T19:44:57Z

by Baldoni, Matteo. editor.
http://dx.doi.org/10.1007/11961536
Format: Electronic Resources

Agent Communication II International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate, Japan, May 9, 2006, Selected and Revised Papers

2024-06-07T19:44:57Z

by Dignum, Frank P. M. editor.
http://dx.doi.org/10.1007/978-3-540-68143-4
Format: Electronic Resources

Rigorous Development of Complex Fault-Tolerant Systems

2024-06-07T19:44:57Z

by Butler, Michael. editor.
http://dx.doi.org/10.1007/11916246
Format: Electronic Resources

Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings

2024-06-07T19:44:57Z

by Hermann, Miki. editor.
http://dx.doi.org/10.1007/11916277
Format: Electronic Resources

Multiagent System Technologies 4th German Conference, MATES 2006 Erfurt, Germany, September 19-20, 2006 Proceedings

2024-06-07T19:44:57Z

by Fischer, Klaus. editor.
http://dx.doi.org/10.1007/11872283
Format: Electronic Resources

Programming Multi-Agent Systems Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers

2024-06-07T19:44:57Z

by Bordini, Rafael H. editor.
http://dx.doi.org/10.1007/11678823
Format: Electronic Resources

Ontologies for Software Engineering and Software Technology

2024-06-07T19:44:57Z

by Calero, Coral. editor.
http://dx.doi.org/10.1007/3-540-34518-3
Format: Electronic Resources

Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers

2024-06-07T19:44:57Z

by Boissier, Olivier. editor.
http://dx.doi.org/10.1007/11775331
Format: Electronic Resources

Ambient Intelligence in Everyday Life Foreword by Emile Aarts

2024-06-07T19:44:57Z

by Cai, Yang. editor.
http://dx.doi.org/10.1007/11825890
Format: Electronic Resources

Advances in Applied Artificial Intelligence 19th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2006, Annecy, France, June 27-30, 2006. Proceedings

2024-06-07T19:44:57Z

by Ali, Moonis. editor.
http://dx.doi.org/10.1007/11779568
Format: Electronic Resources

Software Engineering Research and Applications Second International Conference, SERA 2004, Los Angeles, CA, USA, MAY 5-7, 2004, Revised Selected Papers

2024-06-07T19:44:57Z

by Dosch, Walter. editor.
http://dx.doi.org/10.1007/11668855
Format: Electronic Resources

Agent-Oriented Software Engineering VI 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers

2024-06-07T19:44:57Z

by Müller, Jörg P. editor.
http://dx.doi.org/10.1007/11752660
Format: Electronic Resources

Agent Computing and Multi-Agent Systems 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, Guilin, China, August 7-8, 2006. Proceedings

2024-06-07T19:44:57Z

by Shi, Zhong-Zhi. editor.
http://dx.doi.org/10.1007/11802372
Format: Electronic Resources

Computer Aided Verification 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

2024-06-07T19:44:57Z

by Ball, Thomas. editor.
http://dx.doi.org/10.1007/11817963
Format: Electronic Resources

Conceptual Modeling - ER 2006 25th International Conference on Conceptual Modeling, Tucson, AZ, USA, November 6-9, 2006. Proceedings

2024-06-07T19:44:57Z

by Embley, David W. editor.
http://dx.doi.org/10.1007/11901181
Format: Electronic Resources

Self-Managed Networks, Systems, and Services Second IEEE International Workshop, SelfMan 2006, Dublin, Ireland, June 16, 2006. Proceedings

2024-06-07T19:44:57Z

by Keller, Alexander. editor.
http://dx.doi.org/10.1007/11767886
Format: Electronic Resources

Relations and Kleene Algebra in Computer Science 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29–September 2, 2006. Proceedings

2024-06-07T19:44:57Z

by Schmidt, Renate A. editor.
http://dx.doi.org/10.1007/11828563
Format: Electronic Resources

Embedded Robotics Mobile Robot Design and Applications with Embedded Systems

2024-06-07T19:44:57Z

by Bräunl, Thomas. author.
http://dx.doi.org/10.1007/3-540-34319-9
Format: Electronic Resources

Developing Ambient Intelligence Proceedings of the First International Conference on Ambient Intelligence Developments (AmID’06)

2024-06-07T19:44:57Z

by Maña, Antonio. author.
http://dx.doi.org/10.1007/978-2-287-47610-5
Format: Electronic Resources

The Semantic Web: Research and Applications 3rd European Semantic Web Conference, ESWC 2006 Budva, Montenegro, June 11-14, 2006 Proceedings

2024-06-07T19:44:57Z

by Sure, York. editor.
http://dx.doi.org/10.1007/11762256
Format: Electronic Resources

Advanced Data Mining and Applications Second International Conference, ADMA 2006, Xi’an, China, August 14-16, 2006 Proceedings

2024-06-07T19:44:57Z

by Li, Xue. editor.
http://dx.doi.org/10.1007/11811305
Format: Electronic Resources

Parallel Problem Solving from Nature - PPSN IX 9th International Conference, Reykjavik, Iceland, September 9-13, 2006, Proceedings

2024-06-07T19:44:57Z

by Runarsson, Thomas Philip. editor.
http://dx.doi.org/10.1007/11844297
Format: Electronic Resources

Automated Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

2024-06-07T19:44:57Z

by Furbach, Ulrich. editor.
http://dx.doi.org/10.1007/11814771
Format: Electronic Resources

Coordination Models and Languages 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006. Proceedings

2024-06-07T19:44:57Z

by Ciancarini, Paolo. editor.
http://dx.doi.org/10.1007/11767954
Format: Electronic Resources

Persuasive Technology First International Conference on Persuasive Technology for Human Well-Being, PERSUASIVE 2006, Eindhoven, The Netherlands, May 18-19, 2006. Proceedings

2024-06-07T19:44:57Z

by IJsselsteijn, Wijnand A. editor.
http://dx.doi.org/10.1007/11755494
Format: Electronic Resources

RoboCup 2005: Robot Soccer World Cup IX

2024-06-07T19:44:57Z

by Bredenfeld, Ansgar. editor.
http://dx.doi.org/10.1007/11780519
Format: Electronic Resources

Principles and Practice of Semantic Web Reasoning 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers

2024-06-07T19:44:57Z

by Alferes, Jóse Júlio. editor.
http://dx.doi.org/10.1007/11853107
Format: Electronic Resources

Innovative Concepts for Autonomic and Agent-Based Systems Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005. Revised Papers

2024-06-07T19:44:57Z

by Hinchey, Michael G. editor.
http://dx.doi.org/10.1007/11964995
Format: Electronic Resources

Defence Applications of Multi-Agent Systems International Workshop, DAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers

2024-06-07T19:44:57Z

by Thompson, Simon G. editor.
http://dx.doi.org/10.1007/11683704
Format: Electronic Resources

The Seventeen Provers of the World Foreword by Dana S. Scott

2024-06-07T19:44:57Z

by Wiedijk, Freek. editor.
http://dx.doi.org/10.1007/11542384
Format: Electronic Resources

Field-Based Coordination for Pervasive Multiagent Systems

2024-06-07T19:44:57Z

by Mamei, Marco. author.
http://dx.doi.org/10.1007/3-540-27969-5
Format: Electronic Resources

Compiler Construction 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedings

2024-06-07T19:44:57Z

by Mycroft, Alan. editor.
http://dx.doi.org/10.1007/11688839
Format: Electronic Resources

Coordination of Large-Scale Multiagent Systems

2024-06-07T19:44:57Z

by Scerri, Paul. editor.
http://dx.doi.org/10.1007/0-387-27972-5
Format: Electronic Resources

From Specification to Embedded Systems Application

2024-06-07T19:44:57Z

by Rettberg, Achim. editor.
http://dx.doi.org/10.1007/11523277
Format: Electronic Resources

Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings

2024-06-07T19:44:57Z

by Hurd, Joe. editor.
http://dx.doi.org/10.1007/11541868
Format: Electronic Resources

Metainformatics International Symposium, MIS 2004, Salzburg, Austria, September 15-18, 2004, Revised Selected Papers

2024-06-07T19:44:57Z

by Wiil, Uffe Kock. editor.
http://dx.doi.org/10.1007/b138822
Format: Electronic Resources

Agent-Oriented Software Engineering V 5th International Workshop, AOSE 2004, New York, NY, USA, July 19, 2004. Revised Selected Papers

2024-06-07T19:44:57Z

by Odell, James. editor.
http://dx.doi.org/10.1007/b105022
Format: Electronic Resources

Advanced Distributed Systems 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers

2024-06-07T19:44:57Z

by Ramos, Félix F. editor.
http://dx.doi.org/10.1007/11533962
Format: Electronic Resources

Databases, Information Systems, and Peer-to-Peer Computing Second International Workshop, DBISP2P 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers

2024-06-07T19:44:57Z

by Ng, Wee Siong. editor.
http://dx.doi.org/10.1007/b106971
Format: Electronic Resources

Multi-Agent Systems and Applications IV 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15 – 17, 2005. Proceedings

2024-06-07T19:44:57Z

by Pěchouček, Michael. editor.
http://dx.doi.org/10.1007/11559221
Format: Electronic Resources

Automated Deduction – CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedings

2024-06-07T19:44:57Z

by Nieuwenhuis, Robert. editor.
http://dx.doi.org/10.1007/11532231
Format: Electronic Resources

Advances in Informatics 10th Panhellenic Conference on Informatics, PCI 2005, Volas, Greece, November 11-13, 2005. Proceedings

2024-06-07T19:44:57Z

by Bozanis, Panayiotis. editor.
http://dx.doi.org/10.1007/11573036
Format: Electronic Resources

Agent Communication International Workshop on Agent Communication, AC 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers

2024-06-07T19:44:57Z

by Eijk, Rogier M. editor.
http://dx.doi.org/10.1007/b106468
Format: Electronic Resources

Advanced Data Mining and Applications First International Conference, ADMA 2005, Wuhan, China, July 22-24, 2005. Proceedings

2024-06-07T19:44:57Z

by Li, Xue. editor.
http://dx.doi.org/10.1007/b11111
Format: Electronic Resources

Formal Concept Analysis Foundations and Applications

2024-06-07T19:44:57Z

by Ganter, Bernhard. editor.
http://dx.doi.org/10.1007/978-3-540-31881-1
Format: Electronic Resources

Software Agent-Based Applications, Platforms and Development Kits

2024-06-07T19:44:57Z

by Unland, Rainer. editor.
http://dx.doi.org/10.1007/b137512
Format: Electronic Resources

Ontologies for Agents: Theory and Experiences

2024-06-07T19:44:57Z

by Tamma, Valentina. editor.
http://dx.doi.org/10.1007/3-7643-7361-X
Format: Electronic Resources

Principles and Practice of Semantic Web Reasoning Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005 Proceedings

2024-06-07T19:44:57Z

by Fages, François. editor.
http://dx.doi.org/10.1007/11552222
Format: Electronic Resources

Compiler Construction 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

2024-06-07T19:44:57Z

by Bodik, Rastislav. editor.
http://dx.doi.org/10.1007/b107108
Format: Electronic Resources

Coordination Models and Languages 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005. Proceedings

2024-06-07T19:44:57Z

by Jacquet, Jean-Marie. editor.
http://dx.doi.org/10.1007/b135676
Format: Electronic Resources

Artificial Life Models in Software

2024-06-07T19:44:57Z

by Adamatzky, Andrew. editor.
http://dx.doi.org/10.1007/1-84628-214-4
Format: Electronic Resources

Autonomy Oriented Computing From Problem Solving to Complex Systems Modeling

2024-06-07T19:44:57Z

by Liu, Jiming. author.
http://dx.doi.org/10.1007/b101185
Format: Electronic Resources

Correct Hardware Design and Verification Methods 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings

2024-06-07T19:44:57Z

by Borrione, Dominique. editor.
http://dx.doi.org/10.1007/11560548
Format: Electronic Resources

Switching and Learning in Feedback Systems European Summer School on Multi-Agent Control, Maynooth, Ireland, September 8-10, 2003, Revised Lectures and Selected Papers

2024-06-07T19:44:57Z

by Murray-Smith, Roderick. editor.
http://dx.doi.org/10.1007/b105497
Format: Electronic Resources

Intelligent Information Technology 7th International Conference on Information Technology, CIT 2004, Hyderabad, India, December 20-23, 2004. Proceedings

2024-06-07T19:44:57Z

by Das, Gautam. editor.
http://dx.doi.org/10.1007/b104585
Format: Electronic Resources

Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings

2024-06-07T19:44:57Z

by Etessami, Kousha. editor.
http://dx.doi.org/10.1007/b138445
Format: Electronic Resources

Socionics Scalability of Complex Social Systems

2024-06-07T19:44:57Z

by Fischer, Klaus. editor.
http://dx.doi.org/10.1007/11594116
Format: Electronic Resources

RoboCup 2004: Robot Soccer World Cup VIII

2024-06-07T19:44:57Z

by Nardi, Daniele. editor.
http://dx.doi.org/10.1007/b106671
Format: Electronic Resources

Global Computing IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papers

2024-06-07T19:44:57Z

by Priami, Corrado. editor.
http://dx.doi.org/10.1007/b103251
Format: Electronic Resources

Programming Multi-Agent Systems Second International Workshop ProMAS 2004, New York, NY, USA, July 20, 2004, Selected Revised and Invited Papers

2024-06-07T19:44:57Z

by Bordini, Rafael H. editor.
http://dx.doi.org/10.1007/b105887
Format: Electronic Resources

Formal Concept Analysis Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005. Proceedings

2024-06-07T19:44:57Z

by Ganter, Bernhard. editor.
http://dx.doi.org/10.1007/b105806
Format: Electronic Resources

Nonlinear Speech Modeling and Applications Advanced Lectures and Revised Selected Papers

2024-06-07T19:44:57Z

by Chollet, Gérard. editor.
http://dx.doi.org/10.1007/b138975
Format: Electronic Resources

Engineering Societies in the Agents World V 5th International Workshop, ESAW 2004, Toulouse, France, October 20-22, 2004. Revised Selected and Invited Papers

2024-06-07T19:44:57Z

by Gleizes, Marie-Pierre. editor.
http://dx.doi.org/10.1007/b136158
Format: Electronic Resources

Adaptive Agents and Multi-Agent Systems II Adaptation and Multi-Agent Learning

2024-06-07T19:44:57Z

by Kudenko, Daniel. editor.
http://dx.doi.org/10.1007/b106974
Format: Electronic Resources

Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings

2024-06-07T19:44:57Z

by Baader, Franz. editor.
http://dx.doi.org/10.1007/b106931
Format: Electronic Resources

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings

2024-06-07T19:44:57Z

by Sutcliffe, Geoff. editor.
http://dx.doi.org/10.1007/11591191
Format: Electronic Resources

Formal Approaches to Agent-Based Systems Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers

2024-06-07T19:44:57Z

by Hinchey, Michael G. editor.
http://dx.doi.org/10.1007/b105317
Format: Electronic Resources

Intelligent Agents and Multi-Agent Systems 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers

2024-06-07T19:44:57Z

by Barley, Michael Wayne. editor.
http://dx.doi.org/10.1007/b107183
Format: Electronic Resources

Self-star Properties in Complex Information Systems Conceptual and Practical Foundations

2024-06-07T19:44:57Z

by Babaoglu, Ozalp. editor.
http://dx.doi.org/10.1007/b136551
Format: Electronic Resources

Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making 9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Birthday. Chiang Mai, Thailand, December 8-10, 2004. Proceedings

2024-06-07T19:44:57Z

by Maher, Michael J. editor.
http://dx.doi.org/10.1007/b103476
Format: Electronic Resources

The Semantic Web: Research and Applications Second European Semantic Web Conference, ESWC 2005, Heraklion, Crete, Greece, May 29–June 1, 2005. Proceedings

2024-06-07T19:44:57Z

by Gómez-Pérez, Asunción. editor.
http://dx.doi.org/10.1007/b136731
Format: Electronic Resources

Web Engineering 5th International Conference, ICWE 2005, Sydney, Australia, July 27-29, 2005. Proceedings

2024-06-07T19:44:57Z

by Lowe, David. editor.
http://dx.doi.org/10.1007/978-3-540-31484-4
Format: Electronic Resources

Biomimetic Neural Learning for Intelligent Robots Intelligent Systems, Cognitive Robotics, and Neuroscience

2024-06-07T19:44:57Z

by Wermter, Stefan. editor.
http://dx.doi.org/10.1007/b139051
Format: Electronic Resources

Multiagent System Technologies Third German Conference, MATES 2005, Koblenz, Germany, September 11-13, 2005. Proceedings

2024-06-07T19:44:57Z

by Eymann, Torsten. editor.
http://dx.doi.org/10.1007/11550648
Format: Electronic Resources

Conceptual Modeling – ER 2005 24th International Conference on Conceptual Modeling, Klagenfurt, Austria, October 24-28, 2005. Proceedings

2024-06-07T19:44:57Z

by Delcambre, Lois. editor.
http://dx.doi.org/10.1007/11568322
Format: Electronic Resources

Enterprise Information Systems V

2024-06-07T19:44:57Z

by Camp, Olivier. editor.
http://dx.doi.org/10.1007/1-4020-2673-0
Format: Electronic Resources

Virtual, Distributed and Flexible Organisations Studies in Organisational Semiotics

2024-06-07T19:44:57Z

by Liu, Kecheng. editor.
http://dx.doi.org/10.1007/1-4020-2162-3
Format: Electronic Resources

Software Engineering for Multi-Agent Systems III Research Issues and Practical Applications

2024-06-07T19:44:57Z

by Choren, Ricardo. editor.
http://dx.doi.org/10.1007/b106347
Format: Electronic Resources

Frontiers of Combining Systems 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005. Proceedings

2024-06-07T19:44:57Z

by Gramlich, Bernhard. editor.
http://dx.doi.org/10.1007/11559306
Format: Electronic Resources

Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday

2024-06-07T19:44:57Z

by Hutter, Dieter. editor.
http://dx.doi.org/10.1007/b106663
Format: Electronic Resources

Computer Music Modeling and Retrieval Second International Symposium, CMMR 2004, Esbjerg, Denmark, May 26-29, 2004. Revised Papers

2024-06-07T19:44:57Z

by Wiil, Uffe Kock. editor.
http://dx.doi.org/10.1007/b105507
Format: Electronic Resources

Innovations in Applied Artificial Intelligence 18th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2005, Bari, Italy, June 22-24, 2005. Proceedings

2024-06-07T19:44:57Z

by Ali, Moonis. editor.
http://dx.doi.org/10.1007/b137656
Format: Electronic Resources

Automated Reasoning with Analytic Tableaux and Related Methods 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings

2024-06-07T19:44:57Z

by Beckert, Bernhard. editor.
http://dx.doi.org/10.1007/11554554
Format: Electronic Resources

Virtual Storytelling. Using Virtual Reality Technologies for Storytelling Third International Conference, ICVS 2005, Strasbourg, France, November 30 - December 2, 2005. Proceedings

2024-06-07T19:44:57Z

by Subsol, Gérard. editor.
http://dx.doi.org/10.1007/11590361
Format: Electronic Resources

Engineering Self-Organising Systems Methodologies and Applications

2024-06-07T19:44:57Z

by Brueckner, Sven A. editor.
http://dx.doi.org/10.1007/b136984
Format: Electronic Resources

Declarative Agent Languages and Technologies II Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers

2024-06-07T19:44:57Z

by Leite, João. editor.
http://dx.doi.org/10.1007/b136890
Format: Electronic Resources

Multi-Agent Programming Languages, Platforms and Applications

2024-06-07T19:44:57Z

by Bordini, Rafael H. editor.
http://dx.doi.org/10.1007/b137449
Format: Electronic Resources

Agent Intelligence Through Data Mining

2024-06-07T19:44:57Z

by Symeonidis, Andreas L. author.
http://dx.doi.org/10.1007/b136000
Format: Electronic Resources