Cover Image
Read Now

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

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

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

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

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

146
Published 2012
Springer Berlin Heidelberg
Subjects: “...Data Structures and Information Theory...”
Cover Image
Read Now

147
Published 2012
Springer Berlin Heidelberg
Subjects: “...Theory of Computation...”
Cover Image
Read Now

148
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... for Automata Theory --...”
Cover Image
Read Now

149
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... Theory of Reduction Congruence forTwo Timed Asynchronous ?-Calculi -- Characterizing EF and EX Tree...”
Cover Image
Read Now

150
by Sasao, Tsutomu
Published 1999
Springer US
Table of Contents: “... Complexity of Multi-Level Logic Networks -- A History of Switching Theory -- References...”
Cover Image
Read Now

151
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... and Timing in Process Algebras -- A Compositional Semantic Theory for Synchronous Component-Based Design...”
Cover Image
Read Now

152
Published 1991
Springer Berlin Heidelberg
Subjects: “...Theory of Computation...”
Cover Image
Read Now

153
Published 1995
Springer Berlin Heidelberg
“...This volume presents the proceedings of the First International Workshop on Theory and Practice...”
Cover Image
Read Now

154
Published 1995
Springer Berlin Heidelberg
Subjects: “...Theory of Computation...”
Cover Image
Read Now

155
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... to model-checking -- Synthesis of nets with inhibitor arcs -- An algebraic theory of multiple clocks...”
Cover Image
Read Now

156
Published 1983
Springer Berlin Heidelberg
Table of Contents: “... -- Generalized Brownian functionals -- Towards a theory of noncommutative semimartingales adapted to Brownian...”
Cover Image
Read Now

157
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... data -- A factorisation theorem in rewriting theory -- Monads and modular term rewriting -- A 2...”
Cover Image
Read Now

158
by Ko, K.
Published 1991
Birkhäuser
Table of Contents: “... functions -- 4.8 Open questions -- 5 Measure and Integration -- 5.1 Recursive measure theory -- 5.2...”
Cover Image
Read Now

159
by Pillay, Nelishia, Qu, Rong
Published 2018
Springer International Publishing
Subjects: “...Theory of Computation...”
Cover Image
Read Now

160
Published 2018
Springer International Publishing
“...; algorithms for concurrent and distributed systems; networks; and proof theory and applications of logic...”