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"
product_txtF_mv:"Springer eBooks 2005-"
Search alternatives
:
"dynamic systems" »
"economic systems"
"dynamical systems" »
"dynamics systems"
Showing
1
-
20
of
61
Search:
'(("dynamical systems") or ("dynamic systems"))'
,
query time: 1.17s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Formal Methods for
Dynamical
Systems
...
Published 2013
Springer Berlin Heidelberg
“
..., held in Bertinoro, Italy, in June 2013. SFM 2013 was devoted to
dynamical
systems
and covered several...
”
Read Now
2
Software Reuse for
Dynamic
Systems
in the Cloud and Beyond...
Published 2014
Springer International Publishing
“
... Reuse for
Dynamic
Systems
in the Cloud and Beyond, ICSR 2015, held in Miami, FL, USA, in January 2015...
”
Read Now
3
Agile Software Development : Best Practices for Large Software Development Projects
by
Stober, Thomas
,
Hansmann, Uwe
Published 2010
Springer Berlin Heidelberg
Subjects:
“
...Applied
Dynamical
Systems
...
”
Read Now
4
A Practical Guide to Brain–Computer Interfacing with BCI2000 : General-Purpose Software for Brain-Computer Interface Research, Data Acquisition, Stimulus Presentation, and Brain Mo...
by
Schalk, Gerwin
,
Mellinger, Jürgen
Published 2010
Springer London
Subjects:
“
...Applied
Dynamical
Systems
...
”
Read Now
5
Encyclopedia of Cryptography and Security
Published 2005
Springer US
Subjects:
“
...Applied
Dynamical
Systems
...
”
Read Now
6
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I
Published 2020
Springer International Publishing
Table of Contents:
“
... -- Hybrid and
Dynamic
Systems
...
”
Read Now
7
Behavioural Models : From Modelling Finite Automata to Analysing Business Processes
by
Kunze, Matthias
,
Weske, Mathias
Published 2016
Springer International Publishing
Table of Contents:
“
...1 Introduction -- 2 Discrete
Dynamic
Systems
-- 3 Sequential Systems -- 4 Concurrent Systems -- 5...
”
Read Now
8
Logical Foundations of Cyber-Physical Systems
by
Platzer, André
Published 2018
Springer International Publishing
Table of Contents:
“
... -- Safety and Contracts --
Dynamical
Systems
and Dynamic Axioms -- Truth and Proof -- Control Loops...
”
Read Now
9
Coalgebraic Methods in Computer Science : 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers
Published 2014
Springer Berlin Heidelberg
Table of Contents:
“
... -- Towards Systematic Construction of Temporal Logics for
Dynamical
Systems
via Coalgebra -- Algebraic...
”
Read Now
10
Answer Set Programming
by
Lifschitz, Vladimir
Published 2019
Springer International Publishing
Table of Contents:
“
... of CLINGO --
Dynamic
Systems
-- Conclusion....
”
Read Now
11
Declarative Agent Languages and Technologies V : 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers
Published 2008
Springer Berlin Heidelberg
Table of Contents:
“
...: Modeling -- Integrating Agent Models and
Dynamical
Systems
-- Contributed Papers: Goals -- Composing High...
”
Read Now
12
Post-Quantum Cryptography : 15th International Workshop, PQCrypto 2024, Oxford, UK, June 12–14, 2024, Proceedings, Part I
Published 2024
Springer Nature Switzerland
Table of Contents:
“
... Encryption based on Module NTRU problems -- Analyzing Pump and jump BKZ algorithm using
dynamical
systems
...
”
Read Now
13
Model-Based Systems Engineering with OPM and SysML
by
Dori, Dov
Published 2016
Springer New York
Table of Contents:
“
...: Foundations and Diagrams -- The
Dynamic
System
Aspect -- The Structural System Aspect -- Participation...
”
Read Now
14
Intelligent Computing for Sustainable Energy and Environment : Second International Conference, ICSEE 2012, Shanghai, China, September 12-13, 2012. Revised Selected Papers
Published 2013
Springer Berlin Heidelberg
Table of Contents:
“
... -- Recursive Model Predictive Control for Fast Varying
Dynamic
Systems
-- Distributed Optimization and State...
”
Read Now
15
Algorithms for Computational Biology : 8th International Conference, AlCoB 2021, Missoula, MT, USA, June 7–11, 2021, Proceedings
Published 2021
Springer International Publishing
Table of Contents:
“
... for Machine Learning -- Exploiting Variable Sparsity in Computing Equilibria of Biological
Dynamical
Systems
...
”
Read Now
16
Developments in Language Theory : 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings
Published 2005
Springer Berlin Heidelberg
Table of Contents:
“
... and Cells -- The Mortality Threshold for Partially Monotonic Automata -- Sturmian Words:
Dynamical
Systems
...
”
Read Now
17
NASA Formal Methods : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings
Published 2023
Springer Nature Switzerland
Table of Contents:
“
... Systems Models in Reinforcement Learning -- Conservative Safety Monitors of Stochastic
Dynamical
Systems
...
”
Read Now
18
Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
Published 2019
Springer International Publishing
Table of Contents:
“
... Inductive Proof Rules for Continuous
Dynamical
Systems
-- Icing: Supporting Fast-math Style Optimizations...
”
Read Now
19
Automated Technology for Verification and Analysis : 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings
Published 2019
Springer International Publishing
Table of Contents:
“
... in Equivariant
Dynamical
Systems
for their Safety Verification -- Parametric Timed Model Checking...
”
Read Now
20
Reliable Systems on Unreliable Networked Platforms : 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers
Published 2007
Springer Berlin Heidelberg
Table of Contents:
“
...-Time Coordination Model for Mobile Computing --
Dynamic
System
Reconfiguration Via Service Composition...
”
1
2
3
4
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 005 - Computer programming, programs & data
Clear Filter
Collection: Springer eBooks 2005-
Year of Publication
From:
To:
Classification
005 - Computer programming, programs & data
003 - Systems
3
004 - Data processing & computer science
2
Language
English
61
Collection
Springer eBooks 2005-
Author
Tucker, Allan
3
Dillig, Isil
2
Faber, Wolfgang
2
Figueroa-García, Juan Carlos
2
Gerdt, Vladimir P.
2
Hollmen, Jaakko
2
more ...
Lahiri, Shuvendu K.
2
Lembo, Domenico
2
Mayr, Ernst W.
2
Pejas, Jerzy
2
Siebes, Arno
2
Tasiran, Serdar
2
Vorozhtsov, Evgenii V.
2
Wang, Chao
2
Adams, Niall
1
Amagasa, Toshiyuki
1
Baldoni, Matteo
1
Banda, Maria Garcia
1
Beckmann, Arnold
1
Bernardo, Marco
1
Bertossi, Leopoldo
1
Biere, Armin
1
Blockeel, Hendrik
1
Bonsangue, Marcello M.
1
Borrett, Don
1
Bouajjani, Ahmed
1
Bradley, Elizabeth
1
Briand, Lionel
1
Brito, Paula
1
Cavoukian, Ann
1
Chaudhuri, Swarat
1
Chen, Yu-Fang
1
Cheng, Chih-Hong
1
Cobb, Jorge
1
De Felice, Clelia
1
Di Pierro, Alessandra
1
Dias, José G.
1
Dimitracopoulos, Costas
1
Dolev, Shlomi
1
Dori, Dov
1
Duivesteijn, Wouter
1
Díaz-Gutierrez, Yesid
1
Esparza, Javier
1
Fischer, Michael
1
Franco, Carlos
1
Gama, João
1
Gaona García, Elvis Eduardo
1
Goel, Ashok K.
1
Hansmann, Uwe
1
Harvey, Inman
1
Hernández, German
1
Hernández-Pérez, Germán
1
Hlineny, Petr
1
Holliday, Wesley H.
1
Hunold, Sascha
1
Hölzl, Matthias
1
Höppner, Frank
1
Ianni, Giovambattista
1
Jamnik, Mateja
1
Klawonn, Frank
1
Koch, Nora
1
Koepf, Wolfram
1
Kordon, Fabrice
1
Kotsis, Gabriele
1
Kucera, Antonin
1
Kunze, Matthias
1
Lausen, Berthold
1
Leino, K. Rustan M.
1
Li, Dewei
1
Li, Kang
1
Li, Shaoyuan
1
Lifschitz, Vladimir
1
Liu, Chengfei
1
Lohmann, Niels
1
Ludwig, Heiko
1
Löwe, Benedikt
1
Maler, Oded
1
Manolopoulos, Yannis
1
Margaria, Tiziana
1
Martín-Vide, Carlos
1
Mayer, Philip
1
Mellinger, Jürgen
1
Montanari, Angela
1
Nagl, Manfred
1
Narayanan, N Hari
1
Niu, Qun
1
Ogawa, Mizuhito
1
Oquendo, Flavio
1
Parker, David
1
Piegat, Andrzej
1
Platzer, André
1
Pokorný, Jaroslav
1
Pontelli, Enrico
1
Ravi, Sekharipuram S.
1
Restivo, Antonio
1
Rozier, Kristin Yvonne
1
Saarinen, Markku-Juhani
1
Saeed, Khalid
1
Schaefer, Ina
1
Schalk, Gerwin
1
see all ...
less ...
Recently Uploaded
Last Month
1
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=dewey-ones%3A%22005+-+Computer+programming%2C+programs+%26+data%22&filter%5B%5D=product_txtF_mv%3A%22Springer+eBooks+2005-%22&lookfor=%28%28%22dynamical+systems%22%29+or+%28%22dynamic+systems%22%29%29&type=AllFields
Send by Email
×
Loading...