Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty

Books > Computing & IT > Applications of computing > Artificial intelligence

Buy Now

Model Checking and Artificial Intelligence - 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers (Paperback, 2007 ed.) Loot Price: R1,441
Discovery Miles 14 410
Repayment Terms: R135 pm x 12*
Add to cart
Model Checking and Artificial Intelligence - 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected...

Model Checking and Artificial Intelligence - 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers (Paperback, 2007 ed.)

Stefan Edelkamp, Alessio Lomuscio

Series: Lecture Notes in Computer Science, 4428

 (sign in to rate)
Loot Price R1,441 Discovery Miles 14 410 | Repayment Terms: R135 pm x 12*

Bookmark and Share

Expected to ship within 18 - 22 working days

The refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligence are presented in this volume. Eight full workshop papers are presented along with three post-proceedings papers. Papers are organized into topical sections covering planning and model checking, heuristics for real-time model checking, verification of multi-agent systems, and logics for model checking and artificial intelligence.

General

Imprint: Springer-Verlag
Country of origin: Germany
Series: Lecture Notes in Computer Science, 4428
Release date: August 2007
First published: 2007
Editors: Stefan Edelkamp • Alessio Lomuscio
Dimensions: 235 x 155 x 10mm (L x W x T)
Format: Paperback
Pages: 185
Edition: 2007 ed.
ISBN-13: 978-3-540-74127-5
Categories: Books > Computing & IT > Applications of computing > Artificial intelligence > General
Promotions
LSN: 3-540-74127-5
Barcode: 9783540741275

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

The Hitchhiker's Guide To AI - The African Edge (Paperback): Arthur Goldstuck
The Hitchhiker's Guide To AI - The…
Arthur Goldstuck Paperback R330 R299 Discovery Miles 2 990
African Artificial Intelligence - Discovering Africa's AI Identity (Paperback): Mark Nasila
African Artificial Intelligence…
Mark Nasila Paperback R350 R312 Discovery Miles 3 120
Digital Dharma - How AI Can Elevate Spiritual Intelligence And Personal Wellbeing (Paperback): Deepak Chopra
Digital Dharma - How AI Can Elevate…
Deepak Chopra Paperback R440 R393 Discovery Miles 3 930
Artificial Intelligence for Neurological Disorders (Paperback): Ajith Abraham, Sujata Dash, Subhendu Kumar Pani, Laura...
Artificial Intelligence for Neurological…
Ajith Abraham, Sujata Dash, … Paperback R3,925 Discovery Miles 39 250
Hardware Accelerator Systems for Artificial Intelligence and Machine Learning, Volume 122 (Hardcover): Shiho Kim, Ganesh...
Hardware Accelerator Systems for…
Shiho Kim, Ganesh Chandra Deka Hardcover R3,950 Discovery Miles 39 500
Artificial Intelligence & Me (Special Edition) - The 5 Big Ideas That Every Kid Should Know (Hardcover): Readyai
Artificial Intelligence & Me (Special…
Readyai Hardcover R1,136 Discovery Miles 11 360
Creativity in Computing and DataFlow SuperComputing, Volume 104 (Hardcover): Suyel Namasudra, Veljko Milutinovic
Creativity in Computing and DataFlow…
Suyel Namasudra, Veljko Milutinovic Hardcover R4,204 Discovery Miles 42 040
Temporal Data Mining via Unsupervised Ensemble Learning (Paperback, UK ed.): Yun Yang
Temporal Data Mining via Unsupervised…
Yun Yang Paperback R1,173 Discovery Miles 11 730
Learning-Based Adaptive Control - An Extremum Seeking Approach - Theory and Applications (Paperback): Mouhacine Benosman
Learning-Based Adaptive Control - An…
Mouhacine Benosman Paperback R2,569 Discovery Miles 25 690
Machine Learning and Data Mining (Paperback): I Kononenko, M Kukar
Machine Learning and Data Mining
I Kononenko, M Kukar Paperback R1,903 Discovery Miles 19 030
Thermodynamics of Complex Systems - Principles and applications (Paperback): Vladimir N. Pokrovskii
Thermodynamics of Complex Systems…
Vladimir N. Pokrovskii Paperback R761 Discovery Miles 7 610
Deceitful Media - Artificial Intelligence and Social Life after the Turing Test (Hardcover): Simone Natale
Deceitful Media - Artificial…
Simone Natale Hardcover R2,435 Discovery Miles 24 350

See more
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners