1
by Hiramatsu, T., Köhler, Günter
Published 2003
Springer Netherlands
Subjects: ...Coding and Information Theory...

2
by Sippu, Seppo, Soisalon-Soininen, Eljas
Published 1990
Springer Berlin Heidelberg
Subjects: ...Formal Languages and Automata Theory...

6
Published 2019
Springer Nature Singapore
Table of Contents: ...A Game Theory Approach for Security Forces Deployment against Multiple Firearms Assaults...

9
by Bloom, Stephen L., Esik, Zoltan
Published 1993
Springer Berlin Heidelberg
Table of Contents: ...-Hoare Calculus for Iteration Theories -- 8 The Standard Example, Again -- 9 Completeness -- 10 Examples...

10
Published 2013
Springer New York
Subjects: ...Game Theory...

11
by Bowman, Howard, Gomez, Rodolfo
Published 2006
Springer London
Table of Contents: ...Background on Concurrency Theory -- Concurrency Theory — Untimed Models -- Process Calculi: LOTOS...

12
by Kozen, Dexter C.
Published 2006
Springer London
Table of Contents: ... of Decidable Theories -- Complexity of the Theory of Real Addition -- Lower Bound for the Theory of Real...

13
by Chambert-Loir, Antoine
Published 2022
Springer International Publishing
Table of Contents: ...Elements of Theory of Probability -- Entropy and Mutual Information -- Coding -- Sampling...

14
Published 2004
Springer Berlin Heidelberg
Subjects: ...Formal Languages and Automata Theory...

16
by Yan, Song Y.
Published 2002
Springer Berlin Heidelberg
Table of Contents: .... Elementary Number Theory -- 2. Computational/Algorithmic Number Theory -- 3. Applied Number Theory...

17
Published 2012
Springer Japan
Subjects: ...Theory of Computation...

18
Published 2013
Springer Berlin Heidelberg
Table of Contents: ...Unifying Theories of Undefinedness in UTP -- Unifying Theories of Programming with Monads -- Circus...