Kategorien
Handverlesen
Japanische Literatur
Bücher über Grönland
Pinguin-Bücher
Archiv
Viel besprochen
Bücherschau des Tages
Literaturbeilagen
Bücherbrief
Bücher der Saison
Bestenlisten
Ausgezeichnet
Selbst gelesen
von
von Marie-Luise Knott
von Thekla Dannenberg
von Peter Truschner
Wer wir sind
Datenschutz
Impressum
Gutschein
Kostenloser Newsletter
Der
Perlentaucher unter den Buchläden
Eichendorff21
Warenkorb
Einloggen oder registrieren
Genauer suchen (4 Treffer)
Filter schließen (4 Treffer)
Stichwort
Alle Stichworte
Dynamical Systems (4)
Abstraction (1)
Architecture (1)
Automata Theory (1)
Bifurcation (1)
Configuration (1)
Control (1)
Data-Flow Analysis (1)
Design (1)
Discrete Event System (1)
Discrete Event Systems (1)
Fixed Point Theory (1)
Hardware Verification (1)
Interpolation (1)
Kripke Structures (1)
Lagrangian Mechanics (1)
Lie Group (1)
Manifold (1)
Mathematical Logic (1)
Mathematics (1)
Mechanics (1)
Model Checking (1)
Nonlinear System (1)
Parameterized Systems (1)
Partial-Order Reduction (1)
Program Verification (1)
Quantitative Methods (1)
Reactive Synthesis (1)
Real-Time Systems (1)
Rigid Body (1)
Safety (1)
Sat Solving (1)
Software Testing (1)
Stability (1)
State-Transition Systems (1)
System (1)
Temporal Logic (1)
Topology (1)
Transversality (1)
Sachbuch
Schlagwort Sachbuch
Analytische Geometrie (1)
Mathematik: Logik (1)
Politikwissenschaft und Politische Theorie (1)
Regelungstechnik (1)
Sprache
Sprachen
Englisch (3)
Buchform
Formate
Gebunden (2)
Taschenbuch (1)
Pappbilderbuch (1)
Nur mit
-Notizen
Auf Lager
ähnliche Begriffe
Standardsortierung
Neueste
Preis absteigend
Preis aufsteigend
Seitenzahl aufsteigend
Seitenzahl absteigend
Suchergebnis
Gefundene Buchautor*innen:
Mogens Blanke
oder
Michel Kinnaert
oder
Jan Lunze
oder
Jerrold E. Marsden
oder
Tudor S. Ratiu
eng
Handbook of Model Checking
Springer-Verlag GmbH
2018
Gebunden
1212 Seiten
149,79
€
Auf Lager
Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from rese…
eng
Mogens Blanke / Michel Kinnaert …
Diagnosis and Fault-Tolerant Control
Springer Berlin Heidelberg
2010
Taschenbuch
692 Seiten
149,98
€
in Kürze
This book presents model-based analysis and design methods for fault diagnosis and fault-tolerant control. Architectural and structural models are us…
eng
Norman Schofield
Mathematical Methods in Economics and Social Choice
Springer Berlin Heidelberg
2003
Gebunden
316 Seiten
53,49
€
in Kürze
Jerrold E. Marsden / Tudor S. Ratiu
Introduction to Mechanics and Symmetry
A Basic Exposition of Classical Mechanical Systems
Springer-Verlag GmbH
1999
Pappbilderbuch
586 Seiten
89,99
€
Auf Lager
A development of the basic theory and applications of mechanics with an emphasis on the role of symmetry. The book includes numerous specific applica…