Cover Image
Read Now

221
Published 1995
Springer Berlin Heidelberg
Table of Contents: “...Symbolic controller synthesis for discrete and timed systems -- A Calculus of Stochastic Systems...”
Cover Image
Read Now

222
Published 2014
Springer International Publishing
Table of Contents: “... of Stateful Protocols: Set-Based Abstractions in the Applied π–Calculus -- Improvement Proposal...”
Cover Image
Read Now

223
Published 2021
Springer International Publishing
Table of Contents: “... Infinite Abstract Domains -- Types for Complexity of Parallel Computation in Pi-Calculus -- Checking...”
Cover Image
Read Now

224
by Ben-Ari, Mordechai, Mondada, Francesco
Published 2018
Springer International Publishing
“... known by high-school and first-year college students, such as calculus, matrices and probability...”
Cover Image
Read Now

225
Published 2018
Springer International Publishing
Table of Contents: “... Higher-Order Logic -- Automated Reasoning about Key Sets -- A Tableaux Calculus for Reducing Proof Size...”
Cover Image
Read Now

226
Published 1979
Springer Berlin Heidelberg
Table of Contents: “... — eine Anwendung der klassischen Theorie der Funktionen und Differentiale auf kompakten Riemannschen...”
Cover Image
Read Now

227
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... and Discretisation in Bio-PEPA -- Improved Parameter Estimation for Completely Observed Ordinary Differential...”
Cover Image
Read Now

228
by Jost, Jürgen
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... Spaces -- 9. Differential Calculus in ?d -- 10. The Implicit Function Theorem. Applications -- 11. Curves...”
Cover Image
Read Now

229
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... Attractors in Parity Games -- On Unique Decomposition of Processes in the Applied π-Calculus -- Bounded...”
Cover Image
Read Now

230
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... Verification Via Rigid/Flexible Resolution -- Preferential Description Logics -- On Two Extensions of Abstract...”
Cover Image
Read Now

231
by Kress, Rainer
Published 2014
Springer New York
“... and in the proper modernframework without being too abstract."  (ZbMath, 1999)  ...”
Cover Image
Read Now

232
Published 2001
Springer London
Table of Contents: “... to nonlinear and back -- Semi-linear diffusive representations for nonlinear fractional differential systems...”
Cover Image
Read Now

233
by Petersen, Peter
Published 2012
Springer New York
“... at the end of the book. In addition, there is material throughout the text on linear differential equations...”
Cover Image
Read Now

234
Published 1985
Springer Berlin Heidelberg
Table of Contents: “... -- Elementary and Liouvillian solutions of linear differential equations --...”
Cover Image
Read Now

235
by Holmgren, Richard A.
Published 1994
Springer New York
Table of Contents: “... Differentiability and Its Implications -- Exercise Set 6 -- 7 Parametrized Families of Functions and Bifurcations...”
Cover Image
Read Now

236
by Kinsey, L.Christine
Published 1993
Springer New York
Table of Contents: “.... Applications -- 10.2. The Jordan Curve Theorem -- 10.3. 3-manifolds -- 11. Topology and calculus -- 11.1...”
Cover Image
Read Now

237
Published 2001
Springer London
Table of Contents: “... -- Control design of a crane for offshore lifting operations -- New theories of set-valued differentials...”
Cover Image
Read Now

238
by Johnson, D.L.
Published 2001
Springer London
“... the simple and direct ideas that guided them, subordinating their elegant results to abstract general...”
Cover Image
Read Now

239 Table of Contents: “...0 Introduction and preview -- 0.1 An example of a retarded functional differential equation -- 0.2...”
Cover Image
Read Now

240
Published 1975
Springer Berlin Heidelberg
Table of Contents: “... and scattering theory in Japan -- On the Born-Oppenheimer approximation -- Abstract approaches to spectral...”