Expert & knowledge-based systems books

4929 books were found.

Active Media Technology: 8th International Conference, AMT 2012, Macau, China, December 4-7, 2012, Proceedings

Active Media Technology: 8th International Conference,...

Author: Runhe Huang ,  Ali A. Ghorbani
ISBN: 9783642352355
Format: Paperback
$145.17

 Read More >>

Compositional Verification of Concurrent and Real-Time Systems

Compositional Verification of Concurrent and Real-Time...

Author: Eric Y.T. Juan ,  Jeffrey J.P. Tsai
ISBN: 9781461353492
Format: Paperback
$290.37

Many of the software systems support or supplant human control of safety-critical systems such as flight control...  Read More >>

Challenges in Design and Implementation of Middlewares for Real-Time Systems

Challenges in Design and Implementation of Middlewares...

Author: Wei Zhao
ISBN: 9781461356820
Format: Paperback
$290.37

Challenges in Design and Implementation of Middlewares for Real-Time Systems brings together in one place important...  Read More >>

Problem Solving with Fortran 90: For Scientists and Engineers

Problem Solving with Fortran 90: For Scientists and...

Author: David R. Brooks
ISBN: 9781461273530
Format: Paperback
$145.17

 Read More >>

Modeling Decisions for Artificial Intelligence: 9th International Conference, MDAI 2012, Girona, Catalonia, Spain, November 21-23, 2012, Proceedings

Modeling Decisions for Artificial Intelligence: 9th...

Author: Vincenc Torra ,  Yasuo Narukawa
ISBN: 9783642346194
Format: Paperback
$145.17

 Read More >>

Graph Mining: Laws, Tools, and Case Studies

Graph Mining: Laws, Tools, and Case Studies

Author: Deepayan Chakrabarti ,  Christos Faloutsos
ISBN: 9783031007750
Format: Paperback
$77.60

 Read More >>

The Temporal Logic of Reactive and Concurrent Systems: Specification

The Temporal Logic of Reactive and Concurrent Systems:...

Author: Zohar Manna ,  Amir Pnueli
ISBN: 9781461269502
Format: Paperback
$145.17

Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent...  Read More >>

Avatare: Digitale Sprecher für Business und Marketing

Avatare: Digitale Sprecher für Business und Marketing...

Author: Christian Lindner
ISBN: 9783642623974
Format: Paperback
$158.37

""Avatare"", intelligente Software-Programme, werden mit den Usern in natürlicher Sprache kommunizieren, sie auf...  Read More >>

Data and Knowledge Engineering: Third International Conference, ICDKE 2012, Wuyishan, China, November 21-23, 2012, Proceedings

Data and Knowledge Engineering: Third International...

Author: Yang Xiang ,  Mukaddim Pathan
ISBN: 9783642346781
Format: Paperback
$190.08

 Read More >>

Scientific Data Analysis using Jython Scripting and Java

Scientific Data Analysis using Jython Scripting and...

Author: Sergei V. Chekanov
ISBN: 9781447125815
Format: Paperback
$145.17

Scientific Data Analysis using Jython Scripting and Java presents practical approaches for data analysis using Java...  Read More >>

Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems

Modeling, Verification and Exploration of Task-Level...

Author: Filip Thoen ,  Francky Catthoor
ISBN: 9781461369981
Format: Paperback
$448.77

system is a complex object containing a significant percentage of elec­ A tronics that interacts with the Real World...  Read More >>

Foundations of Intelligent Systems: 20th International Symposium, ISMIS 2012, Macau, China, December 4-7, 2012, Proceedings

Foundations of Intelligent Systems: 20th International...

Author: Li Chen ,  Alexander Felfernig
ISBN: 9783642346231
Format: Paperback
$145.17

 Read More >>

Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers

Leveraging Applications of Formal Methods, Verification,...

Author: Reiner Hähnle ,  Jens Knoop
ISBN: 9783642347801
Format: Paperback
$145.17

 Read More >>

Foundations of Real-Time Computing: Formal Specifications and Methods

Foundations of Real-Time Computing: Formal Specifications...

Author: André M. van Tilborg ,  Gary M. Koob
ISBN: 9781461367963
Format: Paperback
$448.77

This volume contains a selection of papers that focus on the state-of­ the-art in formal specification and verification...  Read More >>

Competition, Strategy, and Modern Enterprise Information Systems

Competition, Strategy, and Modern Enterprise Information...

Author: Madjid Tavana
ISBN: 9786613921314
Format: Electronic book text
$586.08

<p>Providing a central organization for shared information, large businesses continue to rely on enterprise information...  Read More >>

Computational Collective Intelligence. Technologies and Applications: 4th International Conference, ICCCI 2012, Ho Chi Minh City, Vietnam, November 28-30, 2012, Proceedings, Part II

Computational Collective Intelligence. Technologies...

Author: Ngoc Thanh Nguyen ,  Kiem Hoang
ISBN: 9783642347061
Format: Paperback
$145.17

 Read More >>

Computational Collective Intelligence. Technologies and Applications: 4th International Conference, ICCCI 2012, Ho Chi Minh City, Vietnam, November 28-30, 2012, Proceedings, Part I

Computational Collective Intelligence. Technologies...

Author: Ngoc Thanh Nguyen ,  Kiem Hoang
ISBN: 9783642346293
Format: Paperback
$145.17

 Read More >>

Web-Age Information Management: WAIM 2012 International Workshops: GDMM 2012, IWSN 2012, MDSP 2012, USDM 2012, and XMLDM 2012, Harbin, China, August 18-20, 2012. Proceedings

Web-Age Information Management: WAIM 2012 International...

Author: Bao Zhifeng ,  Yunjun Gao
ISBN: 9783642330490
Format: Paperback
$145.17

 Read More >>

Real-Time Database Systems: Issues and Applications

Real-Time Database Systems: Issues and Applications...

Author: Azer Bestavros ,  Kwei-Jay Lin
ISBN: 9781461378242
Format: Paperback
$580.77

Despite the growing interest in Real-Time Database Systems, there is no single book that acts as a reference to...  Read More >>

Constructing Predictable Real Time Systems

Constructing Predictable Real Time Systems

Author: Alexander D. Stoyenko
ISBN: 9781461368038
Format: Paperback
$448.77

Vorwort In der Natur entwickelten sich die Echtzeitsysteme seit einigen 100 Mil- Honen Jahren. Tierische Nervensysteme...  Read More >>

Rough Set Methods and Applications: New Developments in Knowledge Discovery in Information Systems

Rough Set Methods and Applications: New Developments...

Author: Lech Polkowski ,  Shusaku Tsumoto
ISBN: 9783662003763
Format: Paperback
$145.17

 Read More >>

Intelligent Systems: Safety, Reliability and Maintainability Issues

Intelligent Systems: Safety, Reliability and Maintainability...

Author: Okyay Kaynak ,  Ger Honderd
ISBN: 9783642634383
Format: Paperback
$290.37

This book is a collection of some of the papers that were presented during a NATO Advanced Research Workshop (ARW)...  Read More >>

Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List