Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers (Lecture Notes in Computer Science, 5348) - Softcover
Synopsis
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th Workshop on Model Checking and Artificial Intelligence, MOCHART 2008, held in Patras, Greece, in July 2008 as a satellite event of ECAI 2008, the 18th biannual European conference on Artificial Intelligence. The 9 revised full workshop papers presented together with 2 invited lectures have gone through two rounds of reviewing and improvement and were carefully selected for inclusion in the book. The workshop covers all ideas, research, experiments and tools that relate to both MC and AI fields.
"synopsis" may belong to another edition of this title.
From the Back Cover
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th Workshop on Model Checking and Artificial Intelligence, MOCHART 2008, held in Patras, Greece, in July 2008 as a satellite event of ECAI 2008, the 18th biannual European conference on Artificial Intelligence.
The 9 revised full workshop papers presented together with 2 invited lectures have gone through two rounds of reviewing and improvement and were carefully selected for inclusion in the book. The workshop covers all ideas, research, experiments and tools that relate to both MC and AI fields.
"About this title" may belong to another edition of this title.
Search results for Model Checking and Artificial Intelligence: 5th Internationa...
Seller Image
Model Checking and Artificial Intelligence : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 6164836-n
Seller Image
Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Pape (Paperback or Softback)
Published by
Springer 2/27/2009, 2009
ISBN 10: 364200430X
ISBN 13: 9783642004308
New
Paperback or Softback
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.
Seller rating 5 out of 5 stars
Paperback or Softback. Condition: New. Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Pape. Book. Seller Inventory # BBS-9783642004308
Stock Image
Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers (Lecture Notes in Computer Science, 5348)
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9783642004308
Stock Image
Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers (Lecture Notes in Computer Science, 5348)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In English. Seller Inventory # ria9783642004308_new
Buy New
US$ 67.56
US$ 15.94 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Model Checking and Artificial Intelligence : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Pap
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783642004308
Buy New
US$ 65.39
US$ 20.61 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 10 available
Seller Image
Model Checking and Artificial Intelligence : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 6164836-n
Buy New
US$ 67.55
US$ 19.96 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Model Checking and Artificial Intelligence
Published by
Berlin Springer Berlin Heidelberg Springer Feb 2009, 2009
ISBN 10: 364200430X
ISBN 13: 9783642004308
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-workshop proceedings of the 5th Workshop on Model Checking and Artificial Intelligence, MOCHART 2008, held in Patras, Greece, in July 2008 as a satellite event of ECAI 2008, the 18th biannual European conference on Artificial Intelligence. The 9 revised full workshop papers presented together with 2 invited lectures have gone through two rounds of reviewing and improvement and were carefully selected for inclusion in the book. The workshop covers all ideas, research, experiments and tools that relate to both MC and AI fields. 189 pp. Englisch. Seller Inventory # 9783642004308
Buy New
US$ 63.49
US$ 26.51 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available
Seller Image
Model Checking and Artificial Intelligence
Published by
Springer Berlin Heidelberg, 2009
ISBN 10: 364200430X
ISBN 13: 9783642004308
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the thoroughly refereed post-workshop proceedings of the 5th Workshop on Model Checking and Artificial Intelligence, MOCHART 2008, held in Patras, Greece, in July 2008 as a satellite event of ECAI 2008, the 18th biannual European confe. Seller Inventory # 5043097
Buy New
US$ 63.29
US$ 56.46 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Seller Image
Model Checking and Artificial Intelligence : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers
Published by
Springer, Berlin, Springer, 2009
ISBN 10: 364200430X
ISBN 13: 9783642004308
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed post-workshop proceedings of the 5th Workshop on Model Checking and Artificial Intelligence, MOCHART 2008, held in Patras, Greece, in July 2008 as a satellite event of ECAI 2008, the 18th biannual European conference on Artificial Intelligence. The 9 revised full workshop papers presented together with 2 invited lectures have gone through two rounds of reviewing and improvement and were carefully selected for inclusion in the book. The workshop covers all ideas, research, experiments and tools that relate to both MC and AI fields. Seller Inventory # 9783642004308
Buy New
US$ 68.46
US$ 70.94 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available
Seller Image
Model Checking and Artificial Intelligence | 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers
Seller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Model Checking and Artificial Intelligence | 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers | Doron A. Peled (u. a.) | Taschenbuch | vii | Englisch | 2009 | Springer | EAN 9783642004308 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Seller Inventory # 101634210
Buy New
US$ 59.05
US$ 80.67 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 5 available