Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: (("dynamical systems") or ("dynamic systems"))
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Retain my current filters
dewey-ones:"005 - Computer programming, programs & data"
Search alternatives
:
"dynamic systems" »
"economic systems"
"dynamical systems" »
"dynamics systems"
Showing
81
-
100
of
143
Search:
'(("dynamical systems") or ("dynamic systems"))'
,
query time: 1.29s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
81
Computer Algebra in Scientific Computing : 12th International Workshop, CASC 2010, Tsakhadzor, Armenia, September 6-12, 2010, Proceedings
Published 2010
Springer Berlin Heidelberg
Table of Contents:
“
... Integrable
Dynamical
Systems
-- Generic, Type-Safe and Object Oriented Computer Algebra Software...
”
Read Now
82
Programming Methodology
Published 2003
Springer New York
Table of Contents:
“
... -- 7 Aspects of system description -- 8 Modelling architectures for
dynamic
systems
-- 9 “What is a...
”
Read Now
83
Verification, Model Checking, and Abstract Interpretation : 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings
Published 2003
Springer Berlin Heidelberg
Table of Contents:
“
... -- Optimized Live Heap Bound Analysis --
Dynamic
Systems
-- Complexity of Nesting Analysis in Mobile Ambients...
”
Read Now
84
STACS 2000 : 17th Annual Symposium on Theoretical Aspects of Computer Science Lille, France, February 17-19, 2000 Proceedings
Published 2000
Springer Berlin Heidelberg
Table of Contents:
“
... Problem -- Controlled Conspiracy-2 Search -- The Stability of Saturated Linear
Dynamical
Systems
...
”
Read Now
85
Scientific Computing, Validated Numerics, Interval Methods
Published 2001
Springer US
Table of Contents:
“
...
Dynamical
Systems
and its Applications -- Verified Determination of Singularities in Chemical Processes...
”
Read Now
86
Software Quality : State of the Art in Management, Testing, and Tools
Published 2001
Springer Berlin Heidelberg
Table of Contents:
“
... Management --
Dynamic
Systems
Development Method, The Standard for Rapid Application Development -- I.2...
”
Read Now
87
Leveraging Applications of Formal Methods, Verification and Validation : 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, Octo...
Published 2021
Springer International Publishing
Table of Contents:
“
... Languages -- Introducing
Dynamical
Systems
and Chaos Early in Computer Science and Software Engineering...
”
Read Now
88
Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice...
Published 2020
Springer International Publishing
“
...: Program verification; SAT and SMT; Timed and
Dynamical
Systems
; Verifying Concurrent Systems...
”
Read Now
89
Advances in Intelligent Data Analysis X : 10th International Symposium, IDA 2011, Porto, Portugal, October 29-31, 2011, Proceedings
Published 2011
Springer Berlin Heidelberg
“
... for modeling and analyzing complex,
dynamical
systems
. The papers offer intelligent support for understanding...
”
Read Now
90
Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Published 2019
Springer International Publishing
Table of Contents:
“
... Quantitative Games -- Taming Delays in
Dynamical
Systems
: Unbounded Verification of Delay Differential...
”
Read Now
91
Hybrid Systems: Computation and Control : 4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings
Published 2001
Springer Berlin Heidelberg
Table of Contents:
“
... Novel Class of Bifurcations in Hybrid
Dynamical
Systems
--...
”
Read Now
92
Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems
Published 2005
Springer US
Table of Contents:
“
...-Dimensional Space -- Adaptive simulation of separable
dynamical
systems
in the neural network basis --...
”
Read Now
93
Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I
Published 2021
Springer International Publishing
Table of Contents:
“
... Symbolically Using Transition Guided Reduction -- Implicit Semi-Algebraic Abstraction for Polynomial
Dynamical
...
”
Read Now
94
Automated Technology for Verification and Analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings
Published 2013
Springer International Publishing
Table of Contents:
“
... Computation of Nonlinear
Dynamical
Systems
-- CELL: A Compositional Verification Framework -- VCS: A Verifier...
”
Read Now
95
Fundamental Problems in Computing : Essays in Honor of Professor Daniel J. Rosenkrantz
Published 2009
Springer Netherlands
“
..., very large scale integrated systems, fault-tolerant computing and discrete
dynamical
systems
. For many...
”
Read Now
96
Database and Expert Systems Applications : 34th International Conference, DEXA 2023, Penang, Malaysia, August 28–30, 2023, Proceedings, Part I
Published 2023
Springer Nature Switzerland
Table of Contents:
“
... for Uncovering the Phase Space Dimensionality of
Dynamical
Systems
from State Observations - A Comparative...
”
Read Now
97
FME '97 Industrial Applications and Strengthened Foundations of Formal Methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceed...
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...
”
Read Now
98
Information Processing and Security Systems
Published 2005
Springer US
Table of Contents:
“
... for Computer Aided Medical Diagnosis (CAMD) -- The prediction of behaviours of chaotic
dynamical
systems
in 3D...
”
Read Now
99
Mathematical Foundations of Computer Science 2010 : 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010, Proceedings
Published 2010
Springer Berlin Heidelberg
Table of Contents:
“
... Computations with
Dynamical
Systems
-- On Factor Universality in Symbolic Spaces -- Toward a Deterministic...
”
Read Now
100
Logic and Theory of Algorithms : 4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedings
Published 2008
Springer Berlin Heidelberg
Table of Contents:
“
... Frequencies -- Reachability in Linear
Dynamical
Systems
-- Hybrid Functional Interpretations -- The Algorithm...
”
1
2
3
4
5
6
7
8
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 005 - Computer programming, programs & data
Year of Publication
From:
To:
Classification
005 - Computer programming, programs & data
003 - Systems
8
004 - Data processing & computer science
5
331 - Labor economics
4
500 - Natural sciences & mathematics
4
620 - Engineering & allied operations
4
more ...
330 - Economics
2
658 - General management
2
302 - Social interaction
1
338 - Production
1
381 - Commerce
1
384 - Communications; telecommunication
1
510 - Mathematics
1
519 - Probabilities & applied mathematics
1
745 - Decorative arts
1
see all ...
less ...
Language
English
128
German
15
Collection
Springer Book Archives -2004
66
Springer eBooks 2005-
61
O'Reilly
16
Author
Strobel, Stefan
3
Tucker, Allan
3
Uhl, Thomas
3
Blume, Christian
2
Dillig, Isil
2
Dori, Dov
2
more ...
Faber, Wolfgang
2
Figueroa-García, Juan Carlos
2
Gerdt, Vladimir P.
2
Hansmann, Uwe
2
Hollmen, Jaakko
2
Katzenbeisser, Stefan
2
Lahiri, Shuvendu K.
2
Lembo, Domenico
2
Mayr, Ernst W.
2
Michalewicz, Zbigniew
2
Pejas, Jerzy
2
Reichel, Horst
2
Rozenberg, Grzegorz
2
Siebes, Arno
2
Tasiran, Serdar
2
Vorozhtsov, Evgenii V.
2
Wang, Chao
2
Überhuber, Christoph
2
Abraham, Ajith
1
Adams, Niall
1
Adey, R.A.
1
Amagasa, Toshiyuki
1
Appelrath, Hans-Jürgen
1
Archer, Simon
1
Assemble You Limited
1
Astesiano, Egidio
1
Attie, Paul D.
1
Bahi, Jacques Mohcine
1
Baldoni, Matteo
1
Banda, Maria Garcia
1
Barth, Doug
1
Beckmann, Arnold
1
Beevis, David
1
Ben-Shaul, I.
1
Bernardo, Marco
1
Berthold, Michael R.
1
Bertossi, Leopoldo
1
Bhalla, Subhash
1
Biere, Armin
1
Blankenship, Jerrel
1
Blockeel, Hendrik
1
Bonsangue, Marcello M.
1
Borning, Alan
1
Borrett, Don
1
Bouajjani, Ahmed
1
Bradley, Elizabeth
1
Briand, Lionel
1
Brito, Paula
1
Bräunl, Thomas
1
Burn, Geoffrey
1
Bussa, Matthew
1
Börger, Egon
1
Calude, Christian S.
1
Caplinskas, Albertas
1
Capper, Derek
1
Cavoukian, Ann
1
Chappell, David A.
1
Chaudhuri, Swarat
1
Chen, Yu-Fang
1
Cheng, Chih-Hong
1
Chivers, Ian D.
1
Cobb, Jorge
1
Cohen, Paul
1
Cortesi, Agostino
1
Dasgupta, Dipankar
1
De Felice, Clelia
1
Di Benedetto, Maria D.
1
Di Pierro, Alessandra
1
Dias, José G.
1
Dimitracopoulos, Costas
1
Dolev, Shlomi
1
Duivesteijn, Wouter
1
Dyllong, Ulrich
1
Díaz-Gutierrez, Yesid
1
Eder, Johann
1
Ehrig, Hartmut
1
Esparza, Javier
1
Favaro, John
1
Finance, Jean-Pierre
1
Finn, Aidan
1
Fischer, Michael
1
Fitzgerald, John
1
Fogel, David B.
1
Fortner, Brand
1
Franco, Carlos
1
Furuhashi, Takeshi
1
Gama, João
1
Gaona García, Elvis Eduardo
1
Gay, Simon
1
Gaylord, Richard J.
1
Gilman, Evan
1
Goel, Ashok K.
1
Gutekunst, Jürgen
1
Guyeux, Christophe
1
see all ...
less ...
Recently Uploaded
Last Month
1
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?page=5&filter%5B%5D=dewey-ones%3A%22005+-+Computer+programming%2C+programs+%26+data%22&lookfor=%28%28%22dynamical+systems%22%29+or+%28%22dynamic+systems%22%29%29&type=AllFields
Send by Email
×
Loading...