Cover Image
Read Now

1
Published 2017
Springer International Publishing
Table of Contents: “...Verification and validation -- Software engineering -- Formal specification and modeling -- Software...”
Cover Image
Read Now

2
Published 2012
Springer Berlin Heidelberg
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

3
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... Languages -- A Semantic Foundation for Hidden State -- Linearly-Used Continuations in the Enriched Effect...”
Cover Image
Read Now

4
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... -- On the Theory of Composition in Physics -- On the Functor 2 -- Quantum Speedup and Categorical Distributivity...”
Cover Image
Read Now

5
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... of Deterministic Tree Languages --...”
Cover Image
Read Now

6
Published 2011
Springer Berlin Heidelberg
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

7
Published 2008
Springer US
Table of Contents: “...Track A -- Ambiguity and Complementation in Recognizable Two-dimensional Languages -- Algorithmic...”