Search alternatives:
"dynamic systems" » "economic systems"
"dynamical systems" » "dynamics systems"

81
Published 2010
Springer Berlin Heidelberg
Table of Contents: ... Integrable Dynamical Systems -- Generic, Type-Safe and Object Oriented Computer Algebra Software...

82
Published 2003
Springer New York
Table of Contents: ... -- 7 Aspects of system description -- 8 Modelling architectures for dynamic systems -- 9 “What is a...

83
Published 2003
Springer Berlin Heidelberg
Table of Contents: ... -- Optimized Live Heap Bound Analysis -- Dynamic Systems -- Complexity of Nesting Analysis in Mobile Ambients...

84
Published 2000
Springer Berlin Heidelberg
Table of Contents: ... Problem -- Controlled Conspiracy-2 Search -- The Stability of Saturated Linear Dynamical Systems...

85
Published 2001
Springer US
Table of Contents: ... Dynamical Systems and its Applications -- Verified Determination of Singularities in Chemical Processes...

86
Published 2001
Springer Berlin Heidelberg
Table of Contents: ... Management -- Dynamic Systems Development Method, The Standard for Rapid Application Development -- I.2...

87
Published 2021
Springer International Publishing
Table of Contents: ... Languages -- Introducing Dynamical Systems and Chaos Early in Computer Science and Software Engineering...

88
Published 2020
Springer International Publishing
...: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems...

89
Published 2011
Springer Berlin Heidelberg
... for modeling and analyzing complex, dynamical systems. The papers offer intelligent support for understanding...

90
Published 2019
Springer International Publishing
Table of Contents: ... Quantitative Games -- Taming Delays in Dynamical Systems: Unbounded Verification of Delay Differential...

91
Published 2001
Springer Berlin Heidelberg
Table of Contents: ... Novel Class of Bifurcations in Hybrid Dynamical Systems --...

92
Published 2005
Springer US
Table of Contents: ...-Dimensional Space -- Adaptive simulation of separable dynamical systems in the neural network basis --...

93
Published 2021
Springer International Publishing
Table of Contents: ... Symbolically Using Transition Guided Reduction -- Implicit Semi-Algebraic Abstraction for Polynomial Dynamical...

94
Published 2013
Springer International Publishing
Table of Contents: ... Computation of Nonlinear Dynamical Systems -- CELL: A Compositional Verification Framework -- VCS: A Verifier...

95
Published 2009
Springer Netherlands
..., very large scale integrated systems, fault-tolerant computing and discrete dynamical systems. For many...

96
Published 2023
Springer Nature Switzerland
Table of Contents: ... for Uncovering the Phase Space Dimensionality of Dynamical Systems from State Observations - A Comparative...

97
Published 1997
Springer Berlin Heidelberg
Table of Contents: ... of dynamic systems -- A semantic integration of object-Z and CSP for the specification of concurrent systems...

98
Published 2005
Springer US
Table of Contents: ... for Computer Aided Medical Diagnosis (CAMD) -- The prediction of behaviours of chaotic dynamical systems in 3D...

99
Published 2010
Springer Berlin Heidelberg
Table of Contents: ... Computations with Dynamical Systems -- On Factor Universality in Symbolic Spaces -- Toward a Deterministic...

100
Published 2008
Springer Berlin Heidelberg
Table of Contents: ... Frequencies -- Reachability in Linear Dynamical Systems -- Hybrid Functional Interpretations -- The Algorithm...