Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
Formal Methods in Computer-Aided Design
Lieferzeit: Lieferbar innerhalb 14 Tagen
53,49 €
inkl. 7 % MwSt. zzgl. Versandkosten
Second International Conference, FMCAD ’98, Palo Alto, CA, USA, November 4-6,1998, Proceedings, Lecture Notes in Computer Science 1522
| ISBN: | 3540651918 |
|---|---|
| ISBN 13: | 9783540651918 |
| Herausgeber: | Ganesh Gopalakrishnan/Phillip Windley |
| Verlag: | Springer Verlag GmbH |
| Umfang: | x, 538 S. |
| Erscheinungsdatum: | 21.10.1998 |
| Produktform: | Kartoniert |
| Einband: | Kartoniert |
Das könnte Ihnen auch gefallen …
-
![Produktbild: Formal Matrices]()
Formal Matrices
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Food Properties and Computer-Aided Engineering of Food Processing Systems]()
Food Properties and Computer-Aided Engineering of Food Processing Systems
320,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer-Aided Antibody Design]()
Computer-Aided Antibody Design
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Aided Verification]()
Computer Aided Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Analyzing Privacy Policies]()
Formal Methods for Analyzing Privacy Policies
79,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer-Aided Cooperative Product Development]()
Computer-Aided Cooperative Product Development
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Analysis]()
Formal Analysis
149,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer-Aided CMM Inspection Planning and Verification]()
Computer-Aided CMM Inspection Planning and Verification
68,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Aided Verification]()
Computer Aided Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Aided Learning and Instruction in Science and Engineering]()
Computer Aided Learning and Instruction in Science and Engineering
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Boundary Element Techniques in Computer-Aided Engineering]()
Boundary Element Techniques in Computer-Aided Engineering
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Aided Mechanical Assembly Planning]()
Computer Aided Mechanical Assembly Planning
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Industrial Applications]()
Formal Methods for Industrial Applications
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer-aided Nonlinear Control System Design]()
Computer-aided Nonlinear Control System Design
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Aided Systems Theory - EUROCAST '89]()
Computer Aided Systems Theory – EUROCAST ’89
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer-Aided Tool for Conceptual Designs with DFMA and Modularization]()
Computer-Aided Tool for Conceptual Designs with DFMA and Modularization
79,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer-Aided Design and VLSI Device Development]()
Computer-Aided Design and VLSI Device Development
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods: Foundations and Applications]()
Formal Methods: Foundations and Applications
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods and Software Engineering]()
Formal Methods and Software Engineering
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer-Aided Design of User Interfaces IV]()
Computer-Aided Design of User Interfaces IV
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Aided Engineering Design]()
Computer Aided Engineering Design
267,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods - Fun for Everybody]()
Formal Methods – Fun for Everybody
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Methods for Circuit Analysis and Design]()
Computer Methods for Circuit Analysis and Design
267,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Building Innovation Pipelines through Computer-Aided Innovation]()
Building Innovation Pipelines through Computer-Aided Innovation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Aided Verification]()
Computer Aided Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Aided Systems Theory - EUROCAST 2001]()
Computer Aided Systems Theory – EUROCAST 2001
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: A Computer-Aided Design and Synthesis Environment for Analog Integrated Circuits]()
A Computer-Aided Design and Synthesis Environment for Analog Integrated Circuits
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Components and Objects]()
Formal Methods for Components and Objects
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer-Aided Eye Monitoring]()
Computer-Aided Eye Monitoring
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: A Natural Language Interface for Computer-Aided Design]()
A Natural Language Interface for Computer-Aided Design
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Theories of Programming and Formal Methods]()
Theories of Programming and Formal Methods
74,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer-Aided Tissue Engineering]()
Computer-Aided Tissue Engineering
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formale Logik]()
Formale Logik
12,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Distributed System Development]()
Formal Methods for Distributed System Development
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: FME '93: Industrial-Strength Formal Methods]()
FME ’93: Industrial-Strength Formal Methods
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Methods for Circuit Analysis and Design]()
Computer Methods for Circuit Analysis and Design
267,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Aided Systems Theory - CAST '94]()
Computer Aided Systems Theory – CAST ’94
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Industrial Critical Systems]()
Formal Methods for Industrial Critical Systems
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: An Introduction to Computer Aided Production Management]()
An Introduction to Computer Aided Production Management
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer-Aided Design of Analog Circuits and Systems]()
Computer-Aided Design of Analog Circuits and Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Aided Verification]()
Computer Aided Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Aided Verification]()
Computer Aided Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Equivalence Checking and Design Debugging]()
Formal Equivalence Checking and Design Debugging
192,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Handbook of Formal Methods in Human-Computer Interaction]()
The Handbook of Formal Methods in Human-Computer Interaction
353,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Aided Modelling & Analysis Laborlösung]()
Computer Aided Modelling & Analysis Laborlösung
43,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer-Aided Design and Computer Graphics]()
Computer-Aided Design and Computer Graphics
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Industrial-Strength Formal Methods in Practice]()
Industrial-Strength Formal Methods in Practice
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Magnetometer Aided Inertial Navigation System]()
Magnetometer Aided Inertial Navigation System
68,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formale Methoden und kleine Systeme]()
Formale Methoden und kleine Systeme
74,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods and Models for System Design]()
Formal Methods and Models for System Design
171,15 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Modern Formal Methods and Applications]()
Modern Formal Methods and Applications
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Aided Verification]()
Computer Aided Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Aided Verification]()
Computer Aided Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Aided Verification]()
Computer Aided Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Aided Verification]()
Computer Aided Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Components and Objects]()
Formal Methods for Components and Objects
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods in Software and Systems Modeling]()
Formal Methods in Software and Systems Modeling
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer-Aided Assembly Planning]()
Computer-Aided Assembly Planning
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods in Computer-Aided Design]()
Formal Methods in Computer-Aided Design
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for the Design of Real-Time Systems]()
Formal Methods for the Design of Real-Time Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Aided Systems Theory - EUROCAST '91]()
Computer Aided Systems Theory – EUROCAST ’91
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Models for Computer Aided Tolerancing in Design and Manufacturing]()
Models for Computer Aided Tolerancing in Design and Manufacturing
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Aided Verification]()
Computer Aided Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer-Aided Verification]()
Computer-Aided Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods and Testing]()
Formal Methods and Testing
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Web Services and Formal Methods]()
Web Services and Formal Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Methods for Circuit Analysis and Design]()
Computer Methods for Circuit Analysis and Design
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer-Aided Design of User Interfaces VI]()
Computer-Aided Design of User Interfaces VI
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Aided Systems Theory - EUROCAST '93]()
Computer Aided Systems Theory – EUROCAST ’93
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Integrated Formal Methods]()
Integrated Formal Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer-Aided Scheduling of Public Transport]()
Computer-Aided Scheduling of Public Transport
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer-Aided Reasoning]()
Computer-Aided Reasoning
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Trends in Computer Aided Innovation]()
Trends in Computer Aided Innovation
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Aided Design for Room Acoustics]()
Computer Aided Design for Room Acoustics
64,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Embedded Distributed Systems]()
Formal Methods for Embedded Distributed Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer-Aided Design of User Interfaces VI]()
Computer-Aided Design of User Interfaces VI
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer aided designing and computer aided Machining versus manual]()
Computer aided designing and computer aided Machining versus manual
35,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer-Aided Geometric Design]()
Computer-Aided Geometric Design
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Shape Interrogation for Computer Aided Design and Manufacturing]()
Shape Interrogation for Computer Aided Design and Manufacturing
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer-aided Systems in Public Transport]()
Computer-aided Systems in Public Transport
181,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Aided Systems Theory - EUROCAST '97]()
Computer Aided Systems Theory – EUROCAST ’97
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods in Computer-Aided Design]()
Formal Methods in Computer-Aided Design
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for an Informal World]()
Formal Methods for an Informal World
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Aided Verification]()
Computer Aided Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Methods in Mechanics]()
Computer Methods in Mechanics
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Software Engineering and Formal Methods]()
Software Engineering and Formal Methods
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Aided Architectural Design Futures 2005]()
Computer Aided Architectural Design Futures 2005
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Aided Systems Theory - EUROCAST '95]()
Computer Aided Systems Theory – EUROCAST ’95
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods]()
Formal Methods
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: From Object Orientation to Formal Methods]()
From Object Orientation to Formal Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods: Foundations and Applications]()
Formal Methods: Foundations and Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer-Aided Reasoning]()
Computer-Aided Reasoning
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Aided Engineering Design]()
Computer Aided Engineering Design
267,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer-aided design of molecules, experiments, and processes for a sustainable chemical industry]()
Computer-aided design of molecules, experiments, and processes for a sustainable chemical industry
39,50 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Integrated Formal Methods]()
Integrated Formal Methods
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer-Aided Innovation (CAI)]()
Computer-Aided Innovation (CAI)
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer-Aided Reasoning]()
Computer-Aided Reasoning
266,43 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods in Programming and Their Applications]()
Formal Methods in Programming and Their Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Aided Facility Management und Contracting]()
Computer Aided Facility Management und Contracting
47,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Growth and Development of Computer Aided Innovation]()
Growth and Development of Computer Aided Innovation
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
