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
61
-
80
of
143
Search:
'(("dynamical systems") or ("dynamic systems"))'
,
query time: 1.38s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
61
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
62
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
63
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
64
Theory and Formal Methods 1993 : Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood...
Published 1993
Springer London
Table of Contents:
“
...) -- Animating LU --
Dynamical
Systems
, Measures and Fractals via Domain Theory (Extended Abstract) -- Self...
”
Read Now
65
Rewriting Techniques and Applications : 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings
Published 2003
Springer Berlin Heidelberg
Table of Contents:
“
... Collections, Transformations and Their Application to the Modeling and the Simulation of
Dynamical
Systems
--...
”
Read Now
66
Recent Trends in Data Type Specification : 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings
Published 1991
Springer Berlin Heidelberg
Table of Contents:
“
...: An institution for
dynamic
systems
-- A 2-category approach to critical pair completion -- A kernel specification...
”
Read Now
67
Fundamental Approaches to Software Engineering : Second International Conference, FASE'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'...
Published 1999
Springer Berlin Heidelberg
Table of Contents:
“
.../Negative Conditional Term Rewriting with Applications to Software Renovation Factories --
Dynamic
Systems
...
”
Read Now
68
Modelling Database Dynamics : Selected Papers from the Fourth International Workshop on Foundations of Models and Languages for Data and Objects, Volkse, Germany 19–22 October 1992...
Published 1993
Springer London
Table of Contents:
“
... Partial Deduction -- Algebraic Semantics of Objects -- A Semantic Model for
Dynamic
Systems
-- An Order...
”
Read Now
69
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems : First International Conference, CPAIOR 2004, Nice, France, April 20-22, 2004...
Published 2004
Springer Berlin Heidelberg
Table of Contents:
“
... -- SAT-Based Branch & Bound and Optimal Control of Hybrid
Dynamical
Systems
-- Solving the Petri Nets...
”
Read Now
70
Evolution of Information Processing Systems : An Interdisciplinary Approach for a New Understanding of Nature and Society
Published 1992
Springer Berlin Heidelberg
Table of Contents:
“
....4
Dynamical
Systems
, Instability of Motion and Information Processing -- III.5 Pragmatic Information...
”
Read Now
71
Developments in Language Theory : 6th International Conference, DLT 2002, Kyoto, Japan, September 18-21, 2002, Revised Papers
Published 2003
Springer Berlin Heidelberg
Table of Contents:
“
... Representation of Linear Conjunctive Languages -- On-Line Odometers for Two-Sided Symbolic
Dynamical
Systems
...
”
Read Now
72
Principles and Practice of Constraint Programming : Second International Workshop, PPCP '94, Rosario, Orcas Island, WA, USA, May 2 - 4, 1994. Proceedings
Published 1994
Springer Berlin Heidelberg
Table of Contents:
“
... -- Specification and verification of constraint-based
dynamic
systems
-- GSAT and dynamic backtracking...
”
Read Now
73
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
74
Building software for simulation : theory and algorithms, with applications in C++
by
Nutaro, James
Published 2011
Wiley
“
... programs, and as a collection of specific algorithms for simulating
dynamic
systems
"--Provided by publisher...
”
Call Number:
QA76.9.C65
Read Now
75
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
76
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
77
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...
”
Read Now
78
Computer Algebra in Scientific Computing : 11th International Workshop, CASC 2009, Kobe, Japan, September 13-17, 2009, Proceedings
Published 2009
Springer Berlin Heidelberg
Table of Contents:
“
... of Comprehensive Boolean Gröbner Bases -- On Invariant Manifolds of
Dynamical
Systems
in Lie Algebras --...
”
Read Now
79
Logic, Rationality, and Interaction : 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings
Published 2015
Springer Berlin Heidelberg
Table of Contents:
“
... Logics of Verification -- An argument for Permissivism from safespots -- Model Transformers for
Dynamical
...
”
Read Now
80
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...
”
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=4&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...