John-Jules Meyer – författare
Visar alla böcker från författaren John-Jules Meyer. Handla med fri frakt och snabb leverans.
7 produkter
Specification and Verification of Multi-agent Systems
Av Mehdi Dastani, Koen V. Hindriks m. fl.
Inbunden, 2010
1688 kr
Lägg i varukorg
Specification and Verification of Multi-agent Systems presents a coherent treatment of the area of formal specification and verification of agent-based systems with a special focus on verification of multi-agent programs. This edited volume includes contributions from international leading …
Specification and Verification of Multi-agent Systems
Av John-Jules Meyer, Koen V. Hindriks m. fl.
E-bok, 2010
2105 kr
Lägg i varukorg
Specification and Verification of Multi-agent Systems presents a coherent treatment of the area of formal specification and verification of agent-based systems with a special focus on verification of multi-agent programs. This edited volume includes contributions from international leading …
Specification and Verification of Multi-agent Systems
Av Mehdi Dastani, Koen V. Hindriks m. fl.
Häftad, 2014
1688 kr
Lägg i varukorg
Specification and Verification of Multi-agent Systems presents a coherent treatment of the area of formal specification and verification of agent-based systems with a special focus on verification of multi-agent programs. This edited volume includes contributions from international leading …
Intelligent Technologies for Interactive Entertainment
8th International Conference, INTETAIN 2016, Utrecht, The Netherlands, June 28–30, 2016, Revised Selected Papers
Av Ronald Poppe, John-Jules Meyer m. fl.
Häftad, 2016
568 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 8th International Conference on Intelligent technologies for Interactive Entertainment, INTETAIN 2016, held in Utrecht, The Netherlands, in June 2016.The 19 full papers, 5 short and 6 workshop papers were selected from 49 submissions and present …
Intelligent Technologies for Interactive Entertainment
8th International Conference, INTETAIN 2016, Utrecht, The Netherlands, June 28–30, 2016, Revised Selected Papers
Av Mehdi Dastani, Remco Veltkamp m. fl.
E-bok, 2016
713 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 8th International Conference on Intelligent technologies for Interactive Entertainment, INTETAIN 2016, held in Utrecht, The Netherlands, in June 2016. The 19 full papers, 5 short and 6 workshop papers were selected from 49 submissions and …
Knowledge Representation for Agents and Multi-Agent Systems
First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, Revised Selected Papers
Av John-Jules Meyer, Jan M. Broersen
Häftad, 2009
568 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-workshop proceedings of the First International Workshop on Knowledge Representation for Agents and Multi-Agent Systems, KRAMAS 2008, held in Sydney, Australia, in September 2008 as a satellite event of KR 2008, the 11th International Conference on …
Knowledge Representation for Agents and Multi-Agent Systems
First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, Revised Selected Papers
Av Jan M. Broersen, John-Jules Meyer
E-bok, 2009
739 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-workshop proceedings of the First International Workshop on Knowledge Representation for Agents and Multi-Agent Systems, KRAMAS 2008, held in Sydney, Australia, in September 2008 as a satellite event of KR 2008, the 11th International Conference on …
