Cover Image
Read Now

1
by Bowman, Howard, Gomez, Rodolfo
Published 2006
Springer London
Table of Contents: “...Background on Concurrency Theory -- Concurrency Theory — Untimed Models -- Process Calculi: LOTOS...”
Cover Image
Read Now

5
by Mordeson, John N., Bhutani, Kiran R., Rosenfeld, A.
Published 2005
Springer Berlin Heidelberg
Subjects: “...Group Theory and Generalizations...”
Cover Image
Read Now

6
by Flum, J., Grohe, M.
Published 2006
Springer Berlin Heidelberg
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

7
by Rosenberg, Arnold L.
Published 2010
Springer New York
Table of Contents: “...; -- Enrichment Topic: #x201C;Efficient#x201D; Pairing Functions, with Applications -- Computability Theory...”
Cover Image
Read Now

8
by Cantone, Domenico, Omodeo, Eugenio, Policriti, Alberto
Published 2001
Springer New York
Table of Contents: “...1 What Is Computable Set Theory? -- 2 Logical Background -- 3 Axiomatic Views of Aggregates -- 4...”
Cover Image
Read Now

9
Published 2017
Springer International Publishing
“... Theory for Networks, GameNets 2017, held in Knoxville, Tennessee, USA, in May 2017. The 10 conference...”
Cover Image
Read Now

10
Published 2017
Springer International Publishing
Table of Contents: “... and Power Optimization for Device-to-Device Networks Game Theory in Wireless Networks -- Distributed Sharing...”
Cover Image
Read Now

11
Published 2019
Springer International Publishing
Table of Contents: “...Game Theory for Wireless Networks -- Games for Economy and Resource Allocation -- Game Theory...”
Cover Image
Read Now

12
Published 1998
Springer New York
Table of Contents: “... Theory: Towards a Human Computer Interaction Perspective -- 4 The CCMG Visual Language Hierarchy -- 5...”
Cover Image
Read Now

13
by Abadi, Martin, Cardelli, Luca
Published 1996
Springer New York
Subjects: “...Theory of Computation...”
Cover Image
Read Now

15
Published 1998
Springer Vienna
Table of Contents: “...Abstract modelling complex systems -- Formal specification -- On mathematical systems theory...”
Cover Image
Read Now

16
Published 1993
Springer Berlin Heidelberg
Table of Contents: “... -- The equational theory of a Boolean monad.-Non erasing Taring machines: a frontier between a decidable halting...”
Cover Image
Read Now

17
by Yan, Song Y.
Published 2002
Springer Berlin Heidelberg
Table of Contents: “.... Elementary Number Theory -- 2. Computational/Algorithmic Number Theory -- 3. Applied Number Theory...”
Cover Image
Read Now

19
Published 2012
Springer Berlin Heidelberg
“... International Conference on Game Theory for Networks (GameNets 2011) held in Shanghai, China, April 16-18, 2011...”
Cover Image
Read Now

20
Published 2012
Springer Japan
Subjects: “...Theory of Computation...”