Ihre Suche ergab 17 Treffer.
Knowledge Representation for Agents and Multi-Agent Systems
First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, Revised Selected Papers
Produktform: E-Buch Text Elektronisches Buch in proprietärem
53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Knowledge Representation for Agents and Multi-Agent Systems
First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, Revised Selected Papers
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Specification and Verification of Multi-agent Systems
Produktform: E-Buch Text Elektronisches Buch in proprietärem
Written by leading experts in the field, this volume presents a coherent treatment of the area of formal specification and verification of agent-based systems. Topics include theorem proving to verify agent programs, model checking logistics, refining multi-agent systems, and more.
149,79 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Specification and Verification of Multi-agent Systems
Produktform: Buch / Einband - flex.(Paperback)
Written by leading experts in the field, this volume presents a coherent treatment of the area of formal specification and verification of agent-based systems. Topics include theorem proving to verify agent programs, model checking logistics, refining multi-agent systems, and more.
160,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Specification and Verification of Multi-agent Systems
Produktform: Buch / Einband - fest (Hardcover)
Written by leading experts in the field, this volume presents a coherent treatment of the area of formal specification and verification of agent-based systems. Topics include theorem proving to verify agent programs, model checking logistics, refining multi-agent systems, and more.
160,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Deontic Logic and Artificial Normative Systems
8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings
Produktform: E-Buch Text Elektronisches Buch in proprietärem
80,24 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Agent-Based Defeasible Control in Dynamic Environments
Produktform: E-Buch Text Elektronisches Buch in proprietärem
213,99 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Dynamics and Management of Reasoning Processes
Produktform: E-Buch Text Elektronisches Buch in proprietärem
96,29 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Deontic Logic and Artificial Normative Systems
8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
80,24 € inkl. MwSt.
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Dynamics and Management of Reasoning Processes
Produktform: Buch / Einband - flex.(Paperback)
106,99 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage