Product Type
Condition
Binding
Collectible Attributes
Free Shipping
Seller Location
Seller Rating
Published by Springer, 2007
ISBN 10: 3540751181ISBN 13: 9783540751182
Seller: mountain, GEORGETOWN, CO, U.S.A.
Book
Condition: Good. exlibrary book rebound to a hardcover, usual library markings and stickers, light wear to cover and pages.
More buying choices from other sellers on AbeBooks
New offers from £ 25.07
Used offers from £ 20.13
Also find Softcover
Published by Springer, 2009
ISBN 10: 364203277XISBN 13: 9783642032776
Seller: booksXpress, Bayonne, NJ, U.S.A.
Book
Soft Cover. Condition: new.
More buying choices from other sellers on AbeBooks
New offers from £ 44.70
Used offers from £ 36.56
Also find Softcover
Published by Springer, 2013
ISBN 10: 3642385761ISBN 13: 9783642385766
Seller: booksXpress, Bayonne, NJ, U.S.A.
Book Print on Demand
Soft Cover. Condition: new. This item is printed on demand.
More buying choices from other sellers on AbeBooks
New offers from £ 47.52
Used offers from £ 32.45
Also find Softcover
Published by Springer, 2013
ISBN 10: 3642364438ISBN 13: 9783642364433
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Book Print on Demand
Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
More buying choices from other sellers on AbeBooks
New offers from £ 44.66
Used offers from £ 31.91
Also find Softcover
Published by SPRINGER US, 2010
ISBN 10: 1441969837ISBN 13: 9781441969835
Seller: Buchpark, Trebbin, Germany
Book
Condition: Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand.2010. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. | Seiten: 405 | Sprache: Englisch.
More buying choices from other sellers on AbeBooks
New offers from £ 136.28
Used offers from £ 30.69
Also find Hardcover
Published by Springer International Publishing Jun 2015, 2015
ISBN 10: 3319032755ISBN 13: 9783319032757
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware - Since its origination in the mid-twentieth century, the area of Artificial Intelligence (AI) has undergone a number of developments. While the early interest in AI was mainly triggered by the desire to develop artifacts that show the same intelligent behavior as humans, nowadays scientists have realized that research in AI involves a multitude of separate challenges, besides the traditional goal to replicate human intelligence. In particular, recent history has pointed out that a variety of 'intelligent' computational techniques, part of which are inspired by human intelligence, may be successfully applied to solve all kinds of practical problems. This sub-area of AI, which has its main emphasis on applications of intelligent systems to solve real-life problems, is currently known under the term Applied Intelligence. The objective of the International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems (IEA/AIE) is to promote and disseminate recent research developments in Applied Intelligence. The current book contains 30 chapters authored by participants of the 26th edition of IEA/AIE, which was held in Amsterdam, the Netherlands. The material of each chapter is self-contained and was reviewed by at least two anonymous referees, to assure a high quality. Readers can select any individual chapter based on their research interests without the need of reading other chapters. We are confident that this book provides useful reference values to researchers and students in the field of Applied Intelligence, enabling them to find opportunities and recognize challenges in the field. 236 pp. Englisch.
More buying choices from other sellers on AbeBooks
New offers from £ 107.92
Used offers from £ 197
Also find Softcover
Published by Springer, 2018
ISBN 10: 331984024XISBN 13: 9783319840246
Seller: booksXpress, Bayonne, NJ, U.S.A.
Book
Soft Cover. Condition: new.
More buying choices from other sellers on AbeBooks
New offers from £ 130.94
Used offers from £ 168.50
Also find Softcover
Published by Springer, 2013
ISBN 10: 3319006509ISBN 13: 9783319006505
Seller: booksXpress, Bayonne, NJ, U.S.A.
Book Print on Demand
Hardcover. Condition: new. This item is printed on demand.
More buying choices from other sellers on AbeBooks
New offers from £ 135.12
Used offers from £ 104.79
Also find Hardcover
Published by Springer, 2016
ISBN 10: 3319488287ISBN 13: 9783319488288
Seller: booksXpress, Bayonne, NJ, U.S.A.
Book Print on Demand
Hardcover. Condition: new. This item is printed on demand.
More buying choices from other sellers on AbeBooks
New offers from £ 141.51
Used offers from £ 204
Also find Hardcover
Published by Springer US Okt 2014, 2014
ISBN 10: 1489990887ISBN 13: 9781489990884
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 researchers in the area, addressing logical formalisms and techniques, such as model checking, theorem proving, and axiomatisations for (semi) automatic verification of agent-based systems. Chapters include: - Using Theorem Proving to Verify Properties of Agent Programs - The Refinement of Multi-Agent Systems - Model Checking Agent Communication - Directions for Agent Model Checking - Model Checking Logics of Strategic Ability: Complexity - Correctness of Mult-Agent Programs: A Hybrid Approach - The Norm Implementation Problem in Normative Multi-Agent Systems - A Verification Logic for GOAL Agents - Using the Maude Term Rewriting Language for Agent Development with Formal Foundations - The Cognitive Agents Specification Language and Verification Environment - A Temporal Trace Language for Formal Modelling and Analysis of Agent Systemns - Assurance of Agent Systems: What Role Should Formal Verification Play Specification and Verification of Multi-agent Systems is a comprehensive guide that makes a useful tool for researchers, practitioners and students, and serves as a reference work summarizing the state of the art in an accessible manner. 424 pp. Englisch.
More buying choices from other sellers on AbeBooks
New offers from £ 122
Used offers from £ 199.12
Also find Softcover