Search alternatives:
system theory » systems theory
Cover Image
Read Now

101
Published 2021
Springer International Publishing
Table of Contents: “... -- Stochastic Models -- Accurate Approximate Diagnosis of (Controllable) Stochastic Systems --...”
Cover Image
Read Now

102
Published 1993
Springer Berlin Heidelberg
Table of Contents: “...Verifying hybrid systems -- An extended duration calculus for hybrid real-time systems -- Towards...”
Cover Image
Read Now

103
Published 2021
Springer International Publishing
Subjects: “...Computer systems...”
Cover Image
Read Now

104
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... Systems in Reactive Environments: Control and Synthesis -- Model Checking with Finite Complete Prefixes...”
Cover Image
Read Now

105
Published 2003
Springer Berlin Heidelberg
Table of Contents: “...Partial Orders and Asynchronous Systems -- Distributed Monitoring of Concurrent and Asynchronous...”
Cover Image
Read Now

106
Published 2006
Springer Berlin Heidelberg
Table of Contents: “...A New Type System for Deadlock-Free Processes -- Sortings for Reactive Systems -- Dynamic Access...”
Cover Image
Read Now

107
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... oriented language Fleng++ and its control system on the parallel machine PIE64 -- An operational semantics...”
Cover Image
Read Now

108
Published 1997
Springer Berlin Heidelberg
Table of Contents: “...Recent developments in the mathematics of reactive systems (extended abstract) -- Partial-order...”
Cover Image
Read Now

109
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... Theory of Reduction Congruence forTwo Timed Asynchronous ?-Calculi -- Characterizing EF and EX Tree...”
Cover Image
Read Now

110
by Montello, Daniel R
Published 2001
Springer-Verlag Berlin Heidelberg
Subjects: “...Geographical information systems...”
Cover Image
Read Now

111
Published 2005
Springer Berlin Heidelberg
Table of Contents: “...SDL and eODL -- Deployment and Configuration of Distributed Systems -- eODL and SDL in Combination...”
Cover Image
Read Now

112
by Bollig, Benedikt
Published 2006
Springer Berlin Heidelberg
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

113
Published 2017
Springer International Publishing
Table of Contents: “... -- Graph-Controlled Insertion-Deletion Systems Generating Language Classes Beyond Linearity...”
Cover Image
Read Now

114
Published 1992
Springer Berlin Heidelberg
Table of Contents: “...-time systems -- The theory of timed automata -- Logics and models of real time: A survey -- The state...”
Cover Image
Read Now

115
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... and Electronic Institutions -- Emotion Models for Situated Normative Systems? -- Contributed Papers -- Addressing...”
Cover Image
Read Now

116
Published 1995
Springer Berlin Heidelberg
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

117
by Fokkink, Wan
Published 2007
Springer Berlin Heidelberg
Subjects: “...Computer systems...”
Cover Image
Read Now

118
Published 1993
Springer London
Table of Contents: “... of Digital Systems? -- 9.5 What is Required to Validate that a Mathematical Model Describes a Digital System...”
Cover Image
Read Now

119
Published 2019
Springer International Publishing
Table of Contents: “...Analysis of Complex Biological Systems -- Program Analysis -- Synthesis of Models, Parameters...”
Cover Image
Read Now

120
by Luo, Zheng-Hua, Guo, Bao-Zhu, Morgül, Ömer
Published 1999
Springer London
Table of Contents: “...6.4 A vibration cable with a tip mass -- 6.5 Thermoelastic system with Dirichlet — Dirichlet...”