Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
Validation and Verification of Knowledge Based Systems
Lieferzeit: Lieferbar innerhalb 14 Tagen
213,99 €
inkl. 7 % MwSt. zzgl. Versandkosten
Theory, Tools and Practice
| ISBN: | 1441951075 |
|---|---|
| ISBN 13: | 9781441951076 |
| Herausgeber: | Anca Vermesan/Frans Coenen |
| Verlag: | Springer Verlag GmbH |
| Umfang: | xiv, 366 S. |
| Erscheinungsdatum: | 03.12.2010 |
| Auflage: | 1/2010 |
| Produktform: | Kartoniert |
| Einband: | Kartoniert |
Das könnte Ihnen auch gefallen …
-
![Produktbild: Uncertainty in Knowledge-Based Systems]()
Uncertainty in Knowledge-Based Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification, and Validation]()
Leveraging Applications of Formal Methods, Verification, and Validation
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Electroencephalogram Based User Identification and Verification]()
Electroencephalogram Based User Identification and Verification
61,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Universal Verification Methodology Based Verification Environment]()
Universal Verification Methodology Based Verification Environment
36,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Global Specification and Validation of Embedded Systems]()
Global Specification and Validation of Embedded Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Demenz und Validation]()
Demenz und Validation
7,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Knowledge Acquisition for Knowledge-Based Systems]()
Knowledge Acquisition for Knowledge-Based Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
74,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems]()
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification and Validation. Modeling]()
Leveraging Applications of Formal Methods, Verification and Validation. Modeling
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Knowledge-Based Information Systems in Practice]()
Knowledge-Based Information Systems in Practice
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering]()
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
74,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Societal Verification]()
Societal Verification
9,80 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Validation and Verification of Automated Systems]()
Validation and Verification of Automated Systems
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Software Quality Approaches: Testing, Verification and Validation]()
Software Quality Approaches: Testing, Verification and Validation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Specification and Verification of Concurrent Systems]()
Specification and Verification of Concurrent Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles]()
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Uncertainty and Vagueness in Knowledge Based Systems]()
Uncertainty and Vagueness in Knowledge Based Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
70,61 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Knowledge-Based Image Processing Systems]()
Knowledge-Based Image Processing Systems
26,70 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification and Validation]()
Leveraging Applications of Formal Methods, Verification and Validation
74,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification and Validation of Real-Time Software]()
Verification and Validation of Real-Time Software
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification and Validation]()
Leveraging Applications of Formal Methods, Verification and Validation
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification and Validation. Verification]()
Leveraging Applications of Formal Methods, Verification and Validation. Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification and Control of Hybrid Systems]()
Verification and Control of Hybrid Systems
139,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Framework Validation]()
Framework Validation
59,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Systems and Software Verification]()
Systems and Software Verification
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Validation]()
Validation
26,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Evidence Based Validation of Traditional Medicines]()
Evidence Based Validation of Traditional Medicines
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Constraint-Based Verification]()
Constraint-Based Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification of Reactive Systems]()
Verification of Reactive Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Knowledge-Based Systems in Astronomy]()
Knowledge-Based Systems in Astronomy
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification and Validation in Systems Engineering]()
Verification and Validation in Systems Engineering
139,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Validation]()
Validation
26,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computational Methods in Transport: Verification and Validation]()
Computational Methods in Transport: Verification and Validation
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Validation als Lebensphilosophie]()
Validation als Lebensphilosophie
17,40 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification Plans]()
Verification Plans
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Expert Knowledge-based Inspection Systems]()
Expert Knowledge-based Inspection Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification and Validation: Applications]()
Leveraging Applications of Formal Methods, Verification and Validation: Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems]()
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification and Validation]()
Leveraging Applications of Formal Methods, Verification and Validation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Expert Knowledge-based Inspection Systems]()
Expert Knowledge-based Inspection Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
70,61 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Validation Numerics]()
Validation Numerics
93,08 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification and Validation in Systems Engineering]()
Verification and Validation in Systems Engineering
139,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Was ist Validation?]()
Was ist Validation?
29,90 €inkl. 19 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies]()
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies
70,61 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Software Verification and Validation]()
Software Verification and Validation
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles]()
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Methods and Procedures for the Verification and Validation of Artificial Neural Networks]()
Methods and Procedures for the Verification and Validation of Artificial Neural Networks
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Verification of Reactive Systems]()
Temporal Verification of Reactive Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification and Validation of Logic Control Safety Applications]()
Verification and Validation of Logic Control Safety Applications
45,80 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: AI Verification]()
AI Verification
62,05 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification and Validation]()
Leveraging Applications of Formal Methods, Verification and Validation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification, and Validation]()
Leveraging Applications of Formal Methods, Verification, and Validation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Systems and Software Verification]()
Systems and Software Verification
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification, and Validation]()
Leveraging Applications of Formal Methods, Verification, and Validation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Digital Computer Forensic: Validation and Verification for Disk Imaging]()
Digital Computer Forensic: Validation and Verification for Disk Imaging
59,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Trainingsprogramm Validation]()
Trainingsprogramm Validation
29,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification, and Validation]()
Leveraging Applications of Formal Methods, Verification, and Validation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Knowledge Based Computer Systems]()
Knowledge Based Computer Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification and Validation of Complex Systems: Human Factors Issues]()
Verification and Validation of Complex Systems: Human Factors Issues
320,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification]()
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification
85,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification and Control of Hybrid Systems]()
Verification and Control of Hybrid Systems
139,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification and Validation. Application Areas]()
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning]()
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
74,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques]()
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Contraint-Based Verification]()
Contraint-Based Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications]()
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Software Fault Prevention, Verification, and Validation]()
Software Fault Prevention, Verification, and Validation
70,61 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Knowledge-Based Information Systems in Practice]()
Knowledge-Based Information Systems in Practice
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers]()
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers]()
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification of Reactive Systems]()
Verification of Reactive Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Validation and Verification of Automated Systems]()
Validation and Verification of Automated Systems
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification-based software-fault detection]()
Verification-based software-fault detection
40,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification of Digital and Hybrid Systems]()
Verification of Digital and Hybrid Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Fingerprint Verification]()
Fingerprint Verification
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Software Fault Prevention, Verification, and Validation]()
Software Fault Prevention, Verification, and Validation
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice]()
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Functional Verification of Dynamically Reconfigurable FPGA-based Systems]()
Functional Verification of Dynamically Reconfigurable FPGA-based Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Verification]()
Formal Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Knowledge-Based Performance Measurement Systems]()
Knowledge-Based Performance Measurement Systems
48,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Software Verification and Validation]()
Software Verification and Validation
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Functional Verification of Dynamically Reconfigurable FPGA-based Systems]()
Functional Verification of Dynamically Reconfigurable FPGA-based Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Validation of Stochastic Systems]()
Validation of Stochastic Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends]()
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Knowledge-Based Driver Assistance Systems]()
Knowledge-Based Driver Assistance Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles]()
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Program Verification]()
Program Verification
320,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Intelligent Knowledge-Based Systems]()
Intelligent Knowledge-Based Systems
534,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Global Specification and Validation of Embedded Systems]()
Global Specification and Validation of Embedded Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification and Validation. Practice]()
Leveraging Applications of Formal Methods, Verification and Validation. Practice
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Methods and Procedures for the Verification and Validation of Artificial Neural Networks]()
Methods and Procedures for the Verification and Validation of Artificial Neural Networks
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Verification of Reactive Systems]()
Temporal Verification of Reactive Systems
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Validation für Einsatzkräfte]()
Validation für Einsatzkräfte
29,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Evidence Based Validation of Traditional Medicines]()
Evidence Based Validation of Traditional Medicines
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
