Expert & knowledge-based systems books

5569 books were found.

JDF: Prozessintegration, Technologie, Produktdarstellung

JDF: Prozessintegration, Technologie, Produktdarstellung...

Author: Wolfgang Kühn ,  Martin Grell
ISBN: 9783642622397
Format: Paperback
$158.37

Die Autoren beschreiben aus Herstellersicht betriebswirtschaftliche, technische und technologische Aspekte der Prozessintegration...  Read More >>

Grids, Clouds and Virtualization

Grids, Clouds and Virtualization

Author: Massimo Cafaro ,  Giovanni Aloisio
ISBN: 9781447125921
Format: Paperback
$290.37

This timely overview presents the fundamental principles and techniques involved with grids, clouds and virtualization...  Read More >>

Distributed Systems for System Architects

Distributed Systems for System Architects

Author: Paulo Veríssimo ,  Luís Rodrigues
ISBN: 9781461356660
Format: Paperback
$290.37

The distributed systems architect assembles pieces of hardware that are at least as large as a computer or a network...  Read More >>

Specification and Design Methodology for Real-Time Embedded Systems

Specification and Design Methodology for Real-Time Embedded...

Author: Randall S. Janka
ISBN: 9781461352631
Format: Paperback
$290.37

Specification and design methodology has seen significant growth as a research area over the last decade, tracking...  Read More >>

High Integrity Software

High Integrity Software

Author: Victor L. Winter ,  Sourav Bhattacharya
ISBN: 9781461355304
Format: Paperback
$448.77

Presently, software controls many critical functions in (1) airplanes, (2) electronic commerce, (3) space-bound...  Read More >>

Software Architectures and Component Technology

Software Architectures and Component Technology

Author: Mehmed Aksit
ISBN: 9781461352860
Format: Paperback
$580.77

Software Architectures and Component Technology collects excellent chapters on software architectures and component...  Read More >>

The Semantic Web -- ISWC 2012: 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part I

The Semantic Web -- ISWC 2012: 11th International Semantic...

Author: Philippe Cudré-Mauroux ,  Jeff Heflin
ISBN: 9783642351754
Format: Paperback
$145.17

The two-volume set LNCS 7649 + 7650 constitutes the refereed proceedings of the 11th International Semantic Web...  Read More >>

The Semantic Web -- ISWC 2012: 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part II

The Semantic Web -- ISWC 2012: 11th International Semantic...

Author: Philippe Cudré-Mauroux ,  Jeff Heflin
ISBN: 9783642351723
Format: Paperback
$145.17

The two-volume set LNCS 7649 + 7650 constitutes the refereed proceedings of the 11th International Semantic Web...  Read More >>

Service-Oriented Crowdsourcing: Architecture, Protocols and Algorithms

Service-Oriented Crowdsourcing: Architecture, Protocols...

Author: Daniel Schall
ISBN: 9781461459552
Format: Paperback
$145.17

At a fundamental level, service-oriented crowdsourcing applies the principles of service-oriented architecture (SOA)...  Read More >>

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
$116.41

This book constitutes the refereed proceedings of the 8th International Conference on Active Media Technology, AMT...  Read More >>

Economics of Grids, Clouds, Systems, and Services: 9th International Conference, GECON 2012, Berlin, Germany, November 27-28, 2012, Proceedings

Economics of Grids, Clouds, Systems, and Services: 9th...

Author: Kurt Vanmechelen ,  Jörn Altmann
ISBN: 9783642351938
Format: Paperback
$190.08

This book constitutes the refereed proceedings of the 9th International Workshop on Economics of Grids, Clouds,...  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

Fortran has long been favored as an introductory programming language for engineering and science students because...  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

What does the Web look like? How can we find patterns, communities, outliers, in a social network? Which are the...  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

This book constitutes the refereed proceedings of the 9th International Conference on Modeling Decisions for Artificial...  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 >>

Anonymization of Electronic Medical Records to Support Clinical Analysis

Anonymization of Electronic Medical Records to Support...

Author: Aris Gkoulalas-Divanis ,  Grigorios Loukides
ISBN: 9781461456674
Format: Paperback
$145.17

Anonymization of Electronic Medical Records to Support Clinical Analysis closely examines the privacy threats that...  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 >>

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

This book constitutes the refereed proceedings of the International Conference on Data and Knowledge Engineering,...  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 >>

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

Contains a selection of revised papers that were presented at the Software Aspects of Robotic Systems, SARS 2011...  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 >>

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

This book constitutes the proceedings of the 20th International Symposium on Methodologies for Intelligent Systems,...  Read More >>

Latest Reading Guide

NOV RG 20252

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List