Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "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" »
"dynamical systems"
,
"economic systems"
Showing
1
-
20
of
62
Search:
'"dynamic systems"'
,
query time: 0.14s
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
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
7
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
8
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
9
Answer Set Programming
by
Lifschitz, Vladimir
Published 2019
Springer International Publishing
Table of Contents:
“
... of CLINGO --
Dynamic
Systems
-- Conclusion....
”
Read Now
10
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
Published 2020
Springer International Publishing
“
... procedures; and hybrid and
dynamic
systems
. Part II: model checking; software verification; stochastic...
”
Read Now
11
Reasoning Web. Semantic Interoperability on the Web : 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures
Published 2017
Springer International Publishing
“
..., and ontology-based
dynamic
systems
. The papers of this volume focus on these topics and also address...
”
Read Now
12
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
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
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
15
Metamodeling: Applications and Trajectories to the Future : Essays in Honor of Dimitris Karagiannis
Published 2024
Springer Nature Switzerland
Table of Contents:
“
... -- From Static Models to
Dynamic
Systems
: The Evolution of Business Process Simulation to Digital Twins...
”
Read Now
16
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
17
Software Engineering for Collective Autonomic Systems : The ASCENS Approach
Published 2015
Springer International Publishing
“
.... These highly
dynamic
systems
are also known as ensembles. To ensure correct behavior of ensembles...
”
Read Now
18
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
19
Web Reasoning and Rule Systems : 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013, Proceedings
Published 2013
Springer Berlin Heidelberg
Table of Contents:
“
... in Description Logic Based
Dynamic
Systems
-- Towards an Efficient Algorithm to Reason over Description Logics...
”
Read Now
20
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
...
”
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
62
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
Fill, Hans-Georg
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
Kühn, Harald
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
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=%22dynamic+systems%22&type=AllFields
Send by Email
×
Loading...