Cover Image
Read Now

1
by Hiramatsu, T., Köhler, Günter
Published 2003
Springer Netherlands
Subjects: “...Coding and Information Theory...”
Cover Image
Read Now

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

4
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

5
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

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

9
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

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

11
Published 1994
Springer Berlin Heidelberg
Table of Contents: “...Constructive induction for recursive programs -- Training digraphs -- Towards realistic theories...”
Cover Image
Read Now

12
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... for constructing distributed detection programs -- Foundations of asymptotical theory of Determinate Compact...”
Cover Image
Read Now

13
Published 1998
Springer Berlin Heidelberg
Subjects: “...Number theory...”
Cover Image
Read Now

14
Published 1987
Springer Berlin Heidelberg
Table of Contents: “... theory -- On the synthesis of "Irredundant" automata from a finite set of experiments...”
Cover Image
Read Now

15
Published 1989
Springer Berlin Heidelberg
Table of Contents: “... complexity and Hausdorff dimension -- Tree language problems in pattern recognition theory...”
Cover Image
Read Now

16
by Wybraniec-Skardowska, U.
Published 1991
Springer Netherlands
Table of Contents: “...The Axiomatic Theory TLTk of Label Tokens -- The Axiomatic System TSCL of Simple Categorial...”
Cover Image
Read Now

17
Published 1985
Springer Berlin Heidelberg
Table of Contents: “... programs (Preliminary version) -- On coordinated rewriting -- Elements of a general theory of combinatorial...”
Cover Image
Read Now

18
Published 1986
Springer Berlin Heidelberg
Table of Contents: “... computation with threshold functions -- The topology of provability in complexity theory -- Optimal...”
Cover Image
Read Now

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

20
Published 1997
Springer Berlin Heidelberg
Subjects: “...Theory of Computation...”