Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "timed finite"
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
Search alternatives
:
"timed finite" »
"time finite"
,
"mixed finite"
,
"fitted finite"
Showing
1
-
20
of
29
Search:
'"timed finite"'
,
query time: 0.26s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Real-time Biomechanical Modeling for Intraoperative Soft Tissue Registration
by
Suwelack, Stefan
Published 2015
KIT Scientific Publishing
Subjects:
“
...real-
time
finite
elements...
”
Read Now
2
State Machines using VHDL : FPGA Implementation of Serial Communication and Display Protocols
by
Gazi, Orhan
,
Arlı, A.Çağrı
Published 2021
Springer International Publishing
Table of Contents:
“
... Implementation of Finite State Machines and Practical Applications --
Timed
Finite
State Machines in VHDL...
”
Read Now
3
Numerical Analysis of Vibrations of Structures under Moving Inertial Load
by
Bajer, Czesław I.
,
Dyniewicz, Bartłomiej
Published 2012
Springer Berlin Heidelberg
Table of Contents:
“
... of solution -- Classical numerical methods of time integration -- Space–
time
finite
element method -- Space...
”
Read Now
4
Testing of Software and Communication Systems : 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, Nove...
Published 2009
Springer Berlin Heidelberg
Table of Contents:
“
... Tests with Quiescence Observation -- Testing
Timed
Finite
State Machines with Guaranteed Fault Coverage...
”
Read Now
5
Formal Techniques for Distributed Systems : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal,...
Published 2009
Springer Berlin Heidelberg
Table of Contents:
“
..., and Verification of PCEP Using the IF Language -- Distinguing Non-deterministic
Timed
Finite
State Machines...
”
Read Now
6
Testing Software and Systems : 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings
Published 2019
Springer International Publishing
Table of Contents:
“
... -- Multiple Mutation Testing for
Timed
Finite
State Machine With Timed Guards and Timeouts -- Empirical...
”
Read Now
7
Advanced Finite Element Methods with Applications : Selected Papers from the 30th Chemnitz Finite Element Symposium 2017
Published 2019
Springer International Publishing
Table of Contents:
“
... -- 13 Space-
Time
Finite
Element Methods for Parabolic Evolution Problems with Variable Coefficients...
”
Read Now
8
Man as a Place of God : Levinas' Hermeneutics of Kenosis
by
Riessen, Renée D.N. van
Published 2007
Springer Netherlands
Table of Contents:
“
...Explorations In Hermeneutics --
Time
,
Finiteness
and Infinity: The Real Theme of Levinas...
”
Read Now
9
Random Processes with Applications to Circuits and Communications
by
Levy, Bernard C.
Published 2020
Springer International Publishing
Table of Contents:
“
... of Random Processes -- Discrete-
Time
Finite
Markov Chains -- Wiener Process and White Gaussian Noise...
”
Read Now
10
Model Elements and Network Solutions of Heat, Mass and Momentum Transport Processes
by
Danko, George L.
Published 2017
Springer Berlin Heidelberg
Table of Contents:
“
... -- Conservation of a scalar extensive in a state-flux, space-
time
,
finite
-volume cell -- Conservation of energy...
”
Read Now
11
Optimization, Control, and Applications of Stochastic Systems : In Honor of Onésimo Hernández-Lerma
Published 2012
Birkhäuser
Table of Contents:
“
... of Continuous
Time
Finite
Horizon -- 17 A Direct Approach to the Solution of Optimal Multiple-Stopping -- 18...
”
Read Now
12
Advances in Optimization and Numerical Analysis
Published 1994
Springer Netherlands
Table of Contents:
“
...-
time
Finite
Element Methods for Time-dependent Convection Diffusion Problems -- 12. Eulerian-Lagrangian...
”
Read Now
13
Computational Biomechanics for Medicine : Models, Algorithms and Implementation
Published 2013
Springer New York
Table of Contents:
“
... -- Intraoperative damage monitoring of endoclamp balloon expansion using real-
time
finite
element modeling -- 3D...
”
Read Now
14
Logical Foundations of Computer Science : Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings
Published 1994
Springer Berlin Heidelberg
Table of Contents:
“
... Linear Logic with MIX -- An approach to effective model-checking of real-
time
Finite
-State Machines in mu...
”
Read Now
15
Foundations of Software Technology and Theoretical Computer Science : 14th Conference, Madras, India, December 15 - 17, 1994. Proceedings
Published 1994
Springer Berlin Heidelberg
Table of Contents:
“
... in polynomial expected
time
--
Finite
-state strategies in regular infinite games -- Location of the largest...
”
Read Now
16
Logical Foundations of Computer Science : 4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings
Published 1997
Springer Berlin Heidelberg
Table of Contents:
“
... recursion scheme for exponential
time
--
Finite
model theory, universal algebra and graph grammars...
”
Read Now
17
VLSI Algorithms and Architectures : 3rd Aegean Workshop on Computing, AWOC 88. Corfu, Greece, June 28 - July 1, 1988. Proceedings
Published 1988
Springer New York
Table of Contents:
“
...(log(n)) parallel
time
finite
field inversion -- Deterministic parallel list ranking -- Optimal...
”
Read Now
18
Discrete Mathematics and Mathematical Modelling in the Digital Era : ICDM3DE-2023, Gandhigram, India, March 23–25
Published 2024
Springer Nature Singapore
Table of Contents:
“
... Service
Time
Finite
Population Interdependent Queueing Model Having Parallel Servers with Breakdown...
”
Read Now
19
Dynamics, Games and Science I : DYNA 2008, in Honor of Maurício Peixoto and David Rand, University of Minho, Braga, Portugal, September 8-12, 2008
Published 2011
Springer Berlin Heidelberg
Table of Contents:
“
... Learning and Central Bank Inattentiveness in Optimal Monetary Policy -- 26 Discrete
Time
,
Finite
State...
”
Read Now
20
Automata, Languages and Programming : 26th International Colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999 Proceedings
Published 1999
Springer Berlin Heidelberg
Table of Contents:
“
... Matrices) ? -- Low Redundancy in Static Dictionaries with O(1) Worst Case Lookup
Time
--
Finite
Automata...
”
1
2
Back
Narrow Search
Year of Publication
From:
To:
Classification
004 - Data processing & computer science
7
519 - Probabilities & applied mathematics
4
621 - Applied physics
4
005 - Computer programming, programs & data
3
003 - Systems
2
518 - Numerical analysis
2
more ...
190 - Modern western philosophy
1
511 - General principles of mathematics
1
515 - Analysis
1
610 - Medicine & health
1
620 - Engineering & allied operations
1
624 - Civil engineering
1
see all ...
less ...
Language
English
29
Collection
Springer eBooks 2005-
20
Springer Book Archives -2004
7
Cambridge Books Online
1
Directory of Open Access Books
1
Author
Lirkov, Ivan
2
Margenov, Svetozar
2
Nerode, Anil
2
Adian, Sergei
1
Apel, Thomas
1
Arlı, A.Çağrı
1
more ...
Artalejo, J. R.
1
Bajer, Czesław I.
1
Baker, Paul
1
Balasubramaniam, P.
1
Cao, Jinde
1
Danko, George L.
1
Dyniewicz, Bartłomiej
1
Ehlers, Wolfgang
1
Elliott, Robert J.
1
Emde Boas, Peter van
1
Gaston, Christophe
1
Gazi, Orhan
1
Gomez, S.
1
Gómez-Corral, Antonio
1
Hennart, J.P.
1
Hernández-Hernández, Daniel
1
Ho, Daniel W.C.
1
Hou, Ling
1
Koch-Medina, Pablo
1
Kosmatov, Nikolai
1
Kozyrev, Dmitry V.
1
Langer, Ulrich
1
Le Gall, Pascale
1
Lee, David
1
Levy, Bernard C.
1
Li, Lulu
1
Liu, Derong
1
Lopes, Antonia
1
Lu, Jianquan
1
Mahadevan, G.
1
Matiyasevich, Yu.V.
1
Merayo, Mercedes G.
1
Meyer, Arnd
1
Michel, Anthony N.
1
Miller, Karol
1
Minjárez-Sosa, J. Adolfo
1
Munari, Cosimo
1
Nielsen, Mogens
1
Nielsen, Poul M.F.
1
Nunez, Manuel
1
Peixoto, Mauricio Matos
1
Pinto, Alberto Adrego
1
Poetzsch-Heffter, Arnd
1
Rand, David A.
1
Ratnavelu, K.
1
Raveendran, P.
1
Reif, John H.
1
Riessen, Renée D.N. van
1
Samouylov, Konstantin E.
1
Steinbach, Olaf
1
Suwelack, Stefan
1
Thiagarajan, P.S.
1
Van der Hoek, John
1
Vishnevskiy, Vladimir M.
1
Wiedermann, Jiri
1
Wittek, Adam
1
see all ...
less ...
Recently Uploaded
Last Month
1
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?lookfor=%22timed+finite%22&type=AllFields
Send by Email
×
Loading...