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

2
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...

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

4
by Rahman, Md. Saidur
Published 2017
Springer International Publishing
Subjects: ...Graph Theory...

5
Published 2017
Springer Berlin Heidelberg
Subjects: ...Theory of Computation...

6
Published 2017
Springer International Publishing
Table of Contents: ... and Power Optimization for Device-to-Device Networks Game Theory in Wireless Networks -- Distributed Sharing...

7
Published 2016
Springer Berlin Heidelberg
Table of Contents: ... -- Grammars, acceptors and transducers for strings, trees, graphs, arrays; algebraic theories for automata...

8
by Gorrieri, Roberto, Versari, Cristian
Published 2015
Springer International Publishing
Subjects: ...Theory of Computation...

9
Published 2014
Springer International Publishing
Table of Contents: ... Synchronizing Automata and the Wedderburn-Artin Theory -- On two Algorithmic Problems about Synchronizing...

10
Published 2018
Springer International Publishing
Table of Contents: ... Finite Automata -- Additive Number Theory via Approximation by Regular Languages -- Tree-to-graph...

11
Published 2017
Springer International Publishing
Table of Contents: ... for strings, trees, graphics, arrays -- Algebraic theories for automata and languages -- Codes -- Efficient...

12
Published 2017
Springer International Publishing
... Theory for Networks, GameNets 2017, held in Knoxville, Tennessee, USA, in May 2017. The 10 conference...

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

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

15
Published 2013
Springer Berlin Heidelberg
Subjects: ...Theory of Computation...

16
Published 2013
Springer Berlin Heidelberg
Subjects: ...Formal Languages and Automata Theory...

17
Published 2012
Springer Berlin Heidelberg
... International Conference on Game Theory for Networks (GameNets 2011) held in Shanghai, China, April 16-18, 2011...

18
Published 2013
Springer Japan
Subjects: ...Theory of Computation...

19
Published 2011
Springer Berlin Heidelberg
Subjects: ...Formal Languages and Automata Theory...

20
Published 2012
Springer Berlin Heidelberg
Subjects: ...Coding and Information Theory...