Search alternatives:
special theories » social theories, spatial theories, specific theories
social theorist » social theories, social theory
formal theories » formal theory, social theories
Cover Image
Read Now

1
by Günther, Helmut, Müller, Volker
Published 2019
Springer Nature Singapore
Table of Contents: “... -- Mathematical Formalism of Special Relativity -- Representations of the Lorentz Group Weyl Equation and Dirac...”
Cover Image
Read Now

2
by Das, Anadijiban
Published 1993
Springer New York
Table of Contents: “... Relativistic Classical Field Theory -- 6.1. Variational Formalism for Relativistic Classical Fields -- 6.2...”
Cover Image
Read Now

3
Published 2021
Springer International Publishing
Table of Contents: “... & Theory -- Program Verification I -- Hybrid Systems -- Program Verification II -- Automata -- Analysis...”
Cover Image
Read Now

4
Published 2009
Springer New York
Table of Contents: “...Basic Equations -- Green’s Functions -- Two-Dimensional Static Problems: Stroh Formalism...”
Cover Image
Read Now

5
Published 2013
Springer Berlin Heidelberg
Table of Contents: “...Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-linear and Linear...”
Cover Image
Read Now

6
by Dershowitz, Nachum
Published 2004
Springer Berlin Heidelberg
Subjects: “...Mathematical Logic and Formal Languages...”
Cover Image
Read Now

7
by Doberkat, Ernst-Erich
Published 2015
Springer International Publishing
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

8
Published 2019
Springer International Publishing
Table of Contents: “... Automata Theory....”
Cover Image
Read Now

9
Published 1996
Springer Netherlands
Table of Contents: “... The Geometrical Theory of a Special Majority Geometry -- 18 The Theory of an International Committee Requiring a...”
Cover Image
Read Now

10
by Gergely, Tamas, Ury, Laszlo
Published 1991
Springer Berlin Heidelberg
Table of Contents: “...Mathematical Background -- 1. Logic and Model Theory -- 2. Inductive Definability -- I...”
Cover Image
Read Now

11
Published 2014
Springer Berlin Heidelberg
Table of Contents: “... and Human Expertise in Healthcare Delivery -- Semantic Heterogeneity in the Formal Development of Complex...”
Cover Image
Read Now

12
Published 2019
Springer International Publishing
Table of Contents: “...Special Session on Data-driven and Stochastic Approaches to Real-time, including Monitoring and Big...”
Cover Image
Read Now

13
Published 2015
Springer International Publishing
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

14
Published 2018
Springer International Publishing
Table of Contents: “...Formal methods -- Verification -- Network systems -- Type theory -- Theorem proving -- Logic...”
Cover Image
Read Now

15
by Krylov, Piotr, Tuganbaev, Askar
Published 2017
Springer International Publishing
Table of Contents: “...Introduction -- Construction of Formal Matrix Rings of Order 2 -- Modules over Formal Matrix Rings...”
Cover Image
Read Now

16
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... and Logic -- A Set Theory Prover Within Theorema -- Functional Programming and ? Calculus -- The Tertiary...”
Cover Image
Read Now

17
Published 2007
Springer Berlin Heidelberg
Table of Contents: “...Invited Contributions -- Challenges for Formal Verification in Industrial Setting -- Distributed...”
Cover Image
Read Now

18
Published 1999
Springer Berlin Heidelberg
Table of Contents: “...Lessons from the application of formal methods to the design of a storm surge barrier control...”
Cover Image
Read Now

19
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... and the Formalization of Anonymity -- Object-Orientation -- Developing BON as an Industrial-Strength Formal Method...”
Cover Image
Read Now

20
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... as Any -- A Method of Similarity-Driven Knowledge Revision for Type Specializations -- PAC Learning...”