Ergebnisse filtern
-
- 115
-
- 27
- 84
- 1
- 1
- 2
-
- 1
- 78
- 36
-
- 115
-
- 115
-
- 115
- 4
-
Ganzinger Automated Deduction - CADE-16
16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, ProceedingsErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66222-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lind Iterative Software Engineering for Multiagent Systems
The MASSIVE MethodErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42166-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Yao / Peters Rough Sets and Knowledge Technology
First International Conference, RSKT 2006, Chongquing, China, July 24-26, 2006, Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-36297-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wrobel / Lavrac / Lavrac Machine Learning: ECML-95
8th European Conference on Machine Learning, Heraclion, Crete, Greece, April 25 - 27, 1995. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-59286-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Furukawa / Fujisaki / Tanaka Logic Programming '89
Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 19891991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-53919-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Barker-Plummer / Swoboda / Cox Diagrammatic Representation and Inference
4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006, Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-35623-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Matsumoto / Zhang / Sproat Computer Processing of Oriental Languages. Beyond the Orient: The Research Challenges Ahead
21st International Conference, ICCPOL 2006, Singapore, December 17-19, 2006, Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-49667-0Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Egly / Fermüller / Fernmüller Automated Reasoning with Analytic Tableaux and Related Methods
International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 - August 1, 2002 Proceedings2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-43929-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Niemelä / Lifschitz Logic Programming and Nonmonotonic Reasoning
7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20721-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gramlich Frontiers of Combining Systems
5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-29051-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Morreau / Fuhrmann The Logic of Theory Change
Workshop, Konstanz, FRG, October 13-15, 1989, Proceedings1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-53567-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ghose / Sadananda / Governatori Agent Computing and Multi-Agent Systems
10th Pacific Rim International Conference on Multi-Agent Systems, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007, Revised Papers2009Verlag: SpringerISBN: 978-3-642-01638-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Helmert Understanding Planning Tasks
Domain Complexity and Heuristic Decomposition2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-77722-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Eriksson / Schroeder-Heister / Hallnäs Extensions of Logic Programming
Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55498-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Frintrop VOCUS: A Visual Attention System for Object Detection and Goal-Directed Search
2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-32759-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Di Gesù / Masulli / Petrosino Fuzzy Logic and Applications
5th International Workshop, WILF 2003, Naples, Italy, October 9-11, 2003, Revised Selected Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-31019-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Leite / Yolum / Omicini Declarative Agent Languages and Technologies II
Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-26172-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fürnkranz / Scheffer / Spiliopoulou Machine Learning: ECML 2006
17th European Conference on Machine Learning, Berlin, Germany, September 18-22, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-45375-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Widmer / Someren Machine Learning: ECML'97
9th European Conference on Machine Learning, Prague, Czech Republic, April 23 - 25, 1997, Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-62858-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Anderson / Haarslev / Cheng Theory and Application of Diagrams
First International Conference, Diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67915-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Balcázar / Stephan / Long Algorithmic Learning Theory
17th International Conference, ALT 2006, Barcelona, Spain, October 7-10, 2006, Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-46649-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Beckert / Schmitt / Hähnle Verification of Object-Oriented Software. The KeY Approach
Foreword by K. Rustan M. Leino2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-68977-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hinchey / Rash / Gordon-Spears Formal Approaches to Agent-Based Systems
Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-40665-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Richter / Zeugmann / Smith Algorithmic Learning Theory
9th International Conference, ALT'98, Otzenhausen, Germany, October 8-10, 1998 ProceedingsSoftcover Nachdruck of the original 1. Auflage 1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-65013-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kovacs / Llorà / Wilson Learning Classifier Systems
International Workshops, IWLCS 2003-2005, Revised Selected Papers2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-71230-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort