41
Published 1985
Springer Berlin Heidelberg
Table of Contents: ... programs (Preliminary version) -- On coordinated rewriting -- Elements of a general theory of combinatorial...

42
Published 1995
Springer Berlin Heidelberg
Table of Contents: ... regular inequalities -- A simple abstract semantics for equational theories -- Processes with multiple...

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

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

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

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

47
by Morita, Kenichi
Published 2017
Springer Japan
Subjects: ...Theory of Computation...

48
Published 2007
Springer Berlin Heidelberg
Subjects: ...Formal Languages and Automata Theory...

49
by Homer, Steven, Selman, Alan L.
Published 2011
Springer US
Table of Contents: ... Theory -- Basic Results of Complexity Theory -- Nondeterminism and NP-Completeness -- Relative...

50
by Alfa, Attahiru Sule
Published 2010
Springer US
Table of Contents: ... of queueing models to real life problems -- 1.3 Historical development of queueing theory -- 2.0 Discrete time...

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

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

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

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

55
Published 2017
Springer International Publishing
Subjects: ...Formal Languages and Automata Theory...

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

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

58
by Robič, Borut
Published 2015
Springer Berlin Heidelberg
Subjects: ...Theory of Computation...

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

60
Published 1998
Springer Vienna
Table of Contents: ...Abstract modelling complex systems -- Formal specification -- On mathematical systems theory...