Model Checking and Artificial Intelligence : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers

Model Checking and Artificial Intelligence : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers

Model Checking and Artificial Intelligence : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers

Barcode: 09783642206740
Brand: Springer Berlin Heidelberg
Best Priced
sold by Hive Books
Hive Books
£38.24
Visit Store
Hive Books
Hive Books
£38.24
Free
Amazon UK
Amazon UK
Search
eBay UK
eBay UK
Search
Our site contains affiliate links, and we may earn a commission for purchases made through these links at no extra cost to you.This helps support our work in bringing you the best price comparisons.

More From Springer Berlin Heidelberg

Computer Networks : 18th Conference, CN 2011, Ustron, Poland, June 14-18, 2011. Proceedings
Computer Networks : 18th Conference, CN 2011, Ustron, Poland, June 14-18, 2011. Proceedings
from £76.08
Integrated Computing Technology : First International Conference, INTECH 2011, Sao Carlos, Brazil, May 31-June 2, 2011,Proceedings
Integrated Computing Technology : First International Conference, INTECH 2011, Sao Carlos, Brazil, May 31-June 2, 2011,Proceedings
from £38.24
Advanced Information Systems Engineering : 23rd International Conference, CAiSE 2011, London, UK, June 20-24, 2011, Proceedings
Advanced Information Systems Engineering : 23rd International Conference, CAiSE 2011, London, UK, June 20-24, 2011, Proceedings
from £76.08
Critical Information Infrastructure Security : 5th International Workshop, CRITIS 2010, Athens, Greece, September 2010, Revised Papers
Critical Information Infrastructure Security : 5th International Workshop, CRITIS 2010, Athens, Greece, September 2010, Revised Papers
from £38.24
Enabling Responsible Living
Enabling Responsible Living
from £76.08
Computer Aided Verification : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings
Computer Aided Verification : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings
from £38.24
Software Business : Second International Conference, ICSOB 2011, Brussels, Belgium, June 8-10, 2011, Proceedings
Software Business : Second International Conference, ICSOB 2011, Brussels, Belgium, June 8-10, 2011, Proceedings
from £38.24
Trust Management V : 5th IFIP WG 11.11 International Conference, IFIPTM 2011, Copenhagen, Denmark, June 29 - July 1, 2011, Proceedings
Trust Management V : 5th IFIP WG 11.11 International Conference, IFIPTM 2011, Copenhagen, Denmark, June 29 - July 1, 2011, Proceedings
from £38.24
Fast Software Encryption : 18th International Workshop, FSE 2011, Lyngby, Denmark, February 13-16, 2011, Revised Selected Papers
Fast Software Encryption : 18th International Workshop, FSE 2011, Lyngby, Denmark, February 13-16, 2011, Revised Selected Papers
from £38.24
Smart Power Grids 2011
Smart Power Grids 2011
from £152.58
Measuring Roots : An Updated Approach
Measuring Roots : An Updated Approach
from £152.58
Strongly Correlated Systems : Theoretical Methods
Strongly Correlated Systems : Theoretical Methods
from £169.58
Cusped Shell-Like Structures
Cusped Shell-Like Structures
from £38.24
Product-Focused Software Process Improvement : 12th International Conference, PROFES 2011, Torre Canne, Italy, June 20-22, 2011. Proceedings
Product-Focused Software Process Improvement : 12th International Conference, PROFES 2011, Torre Canne, Italy, June 20-22, 2011. Proceedings
from £38.24
Security Protocols XVI : 16th International Workshop, Cambridge, UK, April 16-18, 2008. Revised Selected Papers
Security Protocols XVI : 16th International Workshop, Cambridge, UK, April 16-18, 2008. Revised Selected Papers
from £38.24
Algebraic Informatics : 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011, Proceedings
Algebraic Informatics : 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011, Proceedings
from £38.24
Multiple Classifier Systems : 10th International Workshop, MCS 2011, Naples, Italy, June 15-17, 2011. Proceedings
Multiple Classifier Systems : 10th International Workshop, MCS 2011, Naples, Italy, June 15-17, 2011. Proceedings
from £38.24
Modeling Fragile X Syndrome
Modeling Fragile X Syndrome
from £152.58
Pattern Recognition : Third Mexican Conference, MCPR 2011, Cancun, Mexico, June 29 - July 2, 2011. Proceedings
Pattern Recognition : Third Mexican Conference, MCPR 2011, Cancun, Mexico, June 29 - July 2, 2011. Proceedings
from £38.24
Financial Derivatives Modeling
Financial Derivatives Modeling
from £38.24

Price History

Excluding delivery costs, shows the lowest price over time.

Other Products You Might Like

Model Checking and Artificial Intelligence : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers
Model Checking and Artificial Intelligence : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers
from £38.24
Job Scheduling Strategies for Parallel Processing : 15th International Workshop, JSSPP 2010, Atlanta, GA, USA, April 23, 2010, Revised Selected Papers
Job Scheduling Strategies for Parallel Processing : 15th International Workshop, JSSPP 2010, Atlanta, GA, USA, April 23, 2010, Revised Selected Papers
from £38.24
Model Checking and Artificial Intelligence : 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers
Model Checking and Artificial Intelligence : 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers
from £38.24
Membrane Computing : 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers
Membrane Computing : 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers
from £38.24
Embodied Artificial Intelligence : International Seminar, Dagstuhl Castle, Germany, July 7-11, 2003, Revised Selected Papers
Embodied Artificial Intelligence : International Seminar, Dagstuhl Castle, Germany, July 7-11, 2003, Revised Selected Papers
from £38.24
Combinatorial Algorithms : 21st International Workshop, IWOCA 2010, London, UK, July 26-28, 2010, Revised Selected Papers
Combinatorial Algorithms : 21st International Workshop, IWOCA 2010, London, UK, July 26-28, 2010, Revised Selected Papers
from £38.24
Membrane Computing : 7th International Workshop, WMC 2006, Leiden, Netherlands, July 17-21, 2006, Revised, Selected, and Invited Papers
Membrane Computing : 7th International Workshop, WMC 2006, Leiden, Netherlands, July 17-21, 2006, Revised, Selected, and Invited Papers
from £38.24
Membrane Computing : 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, Revised Selected and Invited Papers
Membrane Computing : 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, Revised Selected and Invited Papers
from £38.24
Argumentation in Multi-Agent Systems : First International Workshop, ArgMAS 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers
Argumentation in Multi-Agent Systems : First International Workshop, ArgMAS 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers
from £38.24
Security and Trust Management : 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers
Security and Trust Management : 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers
from £38.24
Argumentation in Multi-Agent Systems : 7th International Workshop, ArgMAS 2010, Toronto, Canada, May 10, 2010, Revised Selected and Invited Papers
Argumentation in Multi-Agent Systems : 7th International Workshop, ArgMAS 2010, Toronto, Canada, May 10, 2010, Revised Selected and Invited Papers
from £38.24
Semantics in Data and Knowledge Bases : 4th International Workshop, SDKB 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers
Semantics in Data and Knowledge Bases : 4th International Workshop, SDKB 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers
from £38.24
Programming Multi-Agent Systems : First International Workshop, PROMAS 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited Papers
Programming Multi-Agent Systems : First International Workshop, PROMAS 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited Papers
from £38.24
Programming Multi-Agent Systems : 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers
Programming Multi-Agent Systems : 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers
from £38.24
Declarative Agent Languages and Technologies : First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers
Declarative Agent Languages and Technologies : First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers
from £38.24
Agent-Oriented Software Engineering VI : 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers
Agent-Oriented Software Engineering VI : 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers
from £38.24
Agents and Artificial Intelligence : Second International Conference, ICAART 2010, Valencia, Spain, January 22-24, 2010. Revised Selected Papers
Agents and Artificial Intelligence : Second International Conference, ICAART 2010, Valencia, Spain, January 22-24, 2010. Revised Selected Papers
from £38.24
System Analysis and Modeling: About Models : 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers
System Analysis and Modeling: About Models : 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers
from £38.24
Programming Multi-Agent Systems : Second International Workshop ProMAS 2004, New York, NY, July 20, 2004, Selected Revised and Invited Papers
Programming Multi-Agent Systems : Second International Workshop ProMAS 2004, New York, NY, July 20, 2004, Selected Revised and Invited Papers
from £38.24
Argumentation in Multi-Agent Systems : Second International Workshop, ArgMAS 2005, Utrecht, Netherlands, July 26, 2005, Revised Selected and Invited Papers
Argumentation in Multi-Agent Systems : Second International Workshop, ArgMAS 2005, Utrecht, Netherlands, July 26, 2005, Revised Selected and Invited Papers
from £38.24