Ergebnisse filtern
-
- 143
-
- 143
-
- 8
- 109
- 26
-
- 143
-
- 143
-
- 143
- 10
-
Lan / Mei / Jiang Intelligent Robotics and Applications
17th International Conference, ICIRA 2024, Xi'an, China, July 31-August 2, 2024, Proceedings, Part XErscheinungsjahr 2025Verlag: SpringerISBN: 978-981-960785-3Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pozzato / Uustalu Automated Reasoning with Analytic Tableaux and Related Methods
34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27-29, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-06084-6Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Baldoni / Müller / Nunes Engineering Multi-Agent Systems
4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers1. Auflage 2016Verlag: SpringerISBN: 978-3-319-50982-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dastani / El Fallah Seghrouchni / Hübner Languages, Methodologies, and Development Tools for Multi-Agent Systems
Third International Workshop, LADS 2010, Lyon, France, August 30-September 1, 2010, Revised Selected Papers1. Auflage 2011Verlag: SpringerISBN: 978-3-642-22722-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dastani / Hübner / Logan Programming Multi-Agent Systems
10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers1. Auflage 2013Verlag: SpringerISBN: 978-3-642-38699-2Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gottlob / Inclezan / Maratea Logic Programming and Nonmonotonic Reasoning
16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings1. Auflage 2022Verlag: SpringerISBN: 978-3-031-15706-6Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Puppis Automata for Branching and Layered Temporal Structures
An Investigation into Regularities of Infinite Transition Systems1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-11880-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Noda / Ando / Brugali Simulation, Modeling, and Programming for Autonomous Robots
Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-34326-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schmid Inductive Synthesis of Functional Programs
Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40174-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Singh / Rao / Wooldridge Intelligent Agents IV: Agent Theories, Architectures, and Languages
4th International Workshop, ATAL'97, Providence, Rhode Island, USA, July 24-26, 1997, ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64162-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Müller The Design of Intelligent Agents
A Layered ApproachErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-62003-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Baldoni / Baresi / Dastani Engineering Multi-Agent Systems
Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers1. Auflage 2015Verlag: SpringerISBN: 978-3-319-26183-6Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dalpiaz / Dix / van Riemsdijk Engineering Multi-Agent Systems
Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers2014Verlag: SpringerISBN: 978-3-319-14483-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Möller / Partsch / Schuman Formal Program Development
IFIP TC2/WG 2.1 State-of-the-Art Report1. Auflage 1993Verlag: SpringerISBN: 978-3-540-57499-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schmidt Automated Deduction - CADE-22
22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02958-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rash / Rouff / Truszkowski Formal Approaches to Agent-Based Systems
First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42716-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Baldoni / Endriss Declarative Agent Languages and Technologies IV
4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-68959-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Benzmüller / Heule / Schmidt Automated Reasoning
12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II2024Verlag: SpringerISBN: 978-3-031-63500-7Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort