Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems
Lieferzeit: Lieferbar innerhalb 14 Tagen
87,73 €
inkl. 7 % MwSt. zzgl. Versandkosten
Third International Joint Conference, QEST+FORMATS 2026, Liverpool, UK, September 2-4,2026, Proceedings, Lecture Notes in Computer Science 16913
| ISBN: | 3032352975 |
|---|---|
| ISBN 13: | 9783032352972 |
| Herausgeber: | Mingshuai Chen/Max Tschaikowski |
| Verlag: | Springer Verlag GmbH |
| Umfang: | xiii, 446 S., 37 s/w Illustr., 105 farbige Illustr., 446 p. 142 illus., 105 illus. in color. |
| Erscheinungsdatum: | 30.08.2026 |
| Auflage: | 1/2026 |
| Produktform: | Kartoniert |
| Einband: | Kartoniert |
Das könnte Ihnen auch gefallen …
-
![Produktbild: Formale Beschreibungstechniken für verteilte Systeme]()
Formale Beschreibungstechniken für verteilte Systeme
59,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Analysis and Evaluation of Fuzzy Systems]()
Analysis and Evaluation of Fuzzy Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Principles of Formal Quantitative Analysis]()
Principles of Formal Quantitative Analysis
79,17 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Qualitative and Quantitative Analysis of Nonlinear Systems]()
Qualitative and Quantitative Analysis of Nonlinear Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Development of Reactive Systems]()
Formal Development of Reactive Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Descriptional Complexity of Formal Systems]()
Descriptional Complexity of Formal Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Cyber Physical Systems. Design, Modeling, and Evaluation]()
Cyber Physical Systems. Design, Modeling, and Evaluation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Systems Specification]()
Formal Systems Specification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Modeling: Actors; Open Systems, Biological Systems]()
Formal Modeling: Actors; Open Systems, Biological Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Modeling and Analysis of Timed Systems]()
Formal Modeling and Analysis of Timed Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Descriptional Complexity of Formal Systems]()
Descriptional Complexity of Formal Systems
62,05 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Quantitative Evaluation of Systems]()
Quantitative Evaluation of Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Information Systems Analysis and Modeling]()
Information Systems Analysis and Modeling
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Designing, modeling and evaluation of intercropping systems in China]()
Designing, modeling and evaluation of intercropping systems in China
89,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Quantitative Evaluation of Systems]()
Quantitative Evaluation of Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Analysis and Modeling of Neural Systems]()
Analysis and Modeling of Neural Systems
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems]()
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Models of Communicating Systems]()
Formal Models of Communicating Systems
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: Formal Modeling and Analysis of Timed Systems]()
Formal Modeling and Analysis of Timed Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Modeling, Specification and Evaluation of Multi-server Queuing Systems]()
Modeling, Specification and Evaluation of Multi-server Queuing Systems
68,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Modeling and Analysis of Timed Systems]()
Formal Modeling and Analysis of Timed Systems
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Modeling and Analysis of Timed Systems]()
Formal Modeling and Analysis of Timed Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems]()
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems
70,61 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Analysis and Modeling of Manufacturing Systems]()
Analysis and Modeling of Manufacturing Systems
246,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Information Systems Analysis and Modeling]()
Information Systems Analysis and Modeling
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Quantitative Evaluation of Systems]()
Quantitative Evaluation of Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Quantitative Evaluation of Systems]()
Quantitative Evaluation of Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Quantitative Systems Pharmacology]()
Quantitative Systems Pharmacology
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Neural Systems: Analysis and Modeling]()
Neural Systems: Analysis and Modeling
235,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Systems Analysis and Modeling in Defense]()
Systems Analysis and Modeling in Defense
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Descriptions of Developing Systems]()
Formal Descriptions of Developing Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Modeling and Analysis of Timed Systems]()
Formal Modeling and Analysis of Timed Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods in Systems Biology]()
Formal Methods in Systems Biology
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Descriptional Complexity of Formal Systems]()
Descriptional Complexity of Formal Systems
64,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Modeling and Analysis of Timed Systems]()
Formal Modeling and Analysis of Timed Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Quantitative Evaluation of Systems]()
Quantitative Evaluation of Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Quantitative Evaluation of Systems]()
Quantitative Evaluation of Systems
96,29 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Evaluation and Modeling of Sugarcane Harvesting and Handling Systems]()
Evaluation and Modeling of Sugarcane Harvesting and Handling Systems
38,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Systems of Formal Logic]()
Systems of Formal Logic
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: GeoComputational Analysis and Modeling of Regional Systems]()
GeoComputational Analysis and Modeling of Regional Systems
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Modeling and Analysis of Queuing Systems in Banks]()
Modeling and Analysis of Queuing Systems in Banks
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Modeling and Verification of Cyber-Physical Systems]()
Formal Modeling and Verification of Cyber-Physical Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Manufacturing Systems Modeling and Analysis]()
Manufacturing Systems Modeling and Analysis
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Descriptional Complexity of Formal Systems]()
Descriptional Complexity of Formal Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Face Analysis, Modeling and Recognition Systems]()
Face Analysis, Modeling and Recognition Systems
129,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Timed Boolean Functions]()
Timed Boolean Functions
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Modeling and Analysis of Timed Systems]()
Formal Modeling and Analysis of Timed Systems
49,22 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Descriptional Complexity of Formal Systems]()
Descriptional Complexity of Formal Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Timed Petri Nets]()
Timed Petri Nets
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods in Systems Engineering]()
Formal Methods in Systems Engineering
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Modeling and Analysis of Timed Systems]()
Formal Modeling and Analysis of Timed Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Quantitative Evaluation of Systems]()
Quantitative Evaluation of Systems
53,49 €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: Descriptional Complexity of Formal Systems]()
Descriptional Complexity of Formal Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Modeling and analysis of ecological and epidemiological systems]()
Modeling and analysis of ecological and epidemiological systems
89,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Modeling and Analysis of Timed Systems]()
Formal Modeling and Analysis of Timed Systems
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems]()
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Descriptional Complexity of Formal Systems]()
Descriptional Complexity of Formal Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems]()
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Modeling and Analysis of Enterprise and Information Systems]()
Modeling and Analysis of Enterprise and Information Systems
106,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Systems Modeling]()
Systems Modeling
181,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Modeling and Analysis of Timed Systems]()
Formal Modeling and Analysis of Timed Systems
49,22 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Quantitative Evaluation of Systems]()
Quantitative Evaluation of Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Timed Petri Nets]()
Timed Petri Nets
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Quantitative Evaluation of Systems]()
Quantitative Evaluation of Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Descriptional Complexity of Formal Systems]()
Descriptional Complexity of Formal Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Evaluation and Retiming of a Pre-Timed Traffic Signal in Edo State]()
Evaluation and Retiming of a Pre-Timed Traffic Signal in Edo State
49,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Descriptional Complexity of Formal Systems]()
Descriptional Complexity of Formal Systems
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Descriptions of Developing Systems]()
Formal Descriptions of Developing Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: GeoComputational Analysis and Modeling of Regional Systems]()
GeoComputational Analysis and Modeling of Regional Systems
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Modeling and Analysis of Timed Systems]()
Formal Modeling and Analysis of Timed Systems
51,36 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Model-based Test Generation for Timed Systems]()
Automated Model-based Test Generation for Timed Systems
68,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Descriptional Complexity of Formal Systems]()
Descriptional Complexity of Formal Systems
139,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Qualitative and Quantitative Analysis of Nonlinear Systems]()
Qualitative and Quantitative Analysis of Nonlinear Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Modeling and Analysis of Timed Systems]()
Formal Modeling and Analysis of Timed Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Operational Semantics for Timed Systems]()
Operational Semantics for Timed Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Precipitation Modeling and Quantitative Analysis]()
Precipitation Modeling and Quantitative Analysis
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Stochastic Modeling and Analysis of Manufacturing Systems]()
Stochastic Modeling and Analysis of Manufacturing Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Modeling and Analysis of Timed Systems]()
Formal Modeling and Analysis of Timed Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Modeling and Analysis of Timed Systems]()
Formal Modeling and Analysis of Timed Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Descriptional Complexity of Formal Systems]()
Descriptional Complexity of Formal Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Models of Communicating Systems]()
Formal Models of Communicating Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Quantitative Evaluation of Systems]()
Quantitative Evaluation of Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Modeling and Analysis of Information Technology Systems]()
Modeling and Analysis of Information Technology Systems
131,60 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Modeling and Analysis of Enterprise and Information Systems]()
Modeling and Analysis of Enterprise and Information Systems
106,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Manufacturing Systems Modeling and Analysis]()
Manufacturing Systems Modeling and Analysis
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Systems Modeling]()
Systems Modeling
181,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Analysis and Modeling of Manufacturing Systems]()
Analysis and Modeling of Manufacturing Systems
246,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Quantitative Evaluation of Systems]()
Quantitative Evaluation of Systems
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Descriptional Complexity of Formal Systems]()
Descriptional Complexity of Formal Systems
64,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Descriptional Complexity of Formal Systems]()
Descriptional Complexity of Formal Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Descriptional Complexity of Formal Systems]()
Descriptional Complexity of Formal Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Analysis]()
Formal Analysis
159,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Descriptional Complexity of Formal Systems]()
Descriptional Complexity of Formal Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Modeling and Analysis of Timed Systems]()
Formal Modeling and Analysis of Timed Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Precipitation Modeling and Quantitative Analysis]()
Precipitation Modeling and Quantitative Analysis
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Cyber Physical Systems. Design, Modeling, and Evaluation]()
Cyber Physical Systems. Design, Modeling, and Evaluation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Quantitative Evaluation of Energy Systems]()
Quantitative Evaluation of Energy Systems
89,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Probabilistic Timed Automata for Security Analysis and Design]()
Probabilistic Timed Automata for Security Analysis and Design
44,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
