Výsledky vyhledávání - "Cambridge Tracts in Theoretical Computer Science ;"

1

Basic proof theory /

Autor Troelstra, A. S., 1939-, Schwichtenberg, Helmut, 1942-
Vydáno 2000

“...Cambridge Tracts in Theoretical Computer Science ;...”

Kniha

2

The clausal theory of types /

Autor Wolfram, D. A.
Vydáno 1993

“...Cambridge Tracts in Theoretical Computer Science ;...”

Kniha

3

Computational learning theory : an introduction /

Autor Anthony, Martin, 1967-, Biggs, Norman L. 1941-
Vydáno 1992

“...Cambridge Tracts in Theoretical Computer Science ;...”

Kniha

4

Concurrency verification : introduction to compositional and noncompositional methods /

Autor Roever, W.-P. de, 1943-
Vydáno 2001

“...Cambridge Tracts in Theoretical Computer Science ;...”

Kniha

5

Data refinement : model-oriented proof methods and their comparison /

Autor Roever, W.-P. de, 1943-, Engelhardt, Kai
Vydáno 1998

“...Cambridge Tracts in Theoretical Computer Science...”

Kniha

6

Deduction and declarative programming /

Autor Padawitz, Peter, 1953-
Vydáno 1992

“...Cambridge Tracts in Theoretical Computer Science ;...”

Kniha

7

Epistemic logic for AI and computer science /

Autor Meyer, J.-J. Ch., 1954-
Vydáno 1995

“...Cambridge Tracts in Theoretical Computer Science ;...”

Kniha

8

Formal methods in circuit design /

Autor Stavridou, V.
Vydáno 1993

“...Cambridge Tracts in Theoretical Computer Science ;...”

Kniha

9

Formal semantics and pragmatics for natural language querying /

Autor Clifford, James, 1950-
Vydáno 1990

“...Cambridge Tracts in Theoretical Computer Science ;...”

Kniha

10

Formal specification and design /

Autor Feijs, L. M. G. 1954-, Jonkers, H. B. M.
Vydáno 1992

“...Cambridge Tracts in Theoretical Computer Science ;...”

Kniha

11

Free choice petri nets /

Autor Desel, Jörg, 1959-, Esparza, Javier, 1964-
Vydáno 1995

“...Cambridge Tracts in Theoretical Computer Science ;...”

Kniha

12

Higher order logic and hardware verification /

Autor Melham, T. F. 1960-
Vydáno 1993

“...Cambridge Tracts in Theoretical Computer Science ;...”

Kniha

13

Hybrid graph theory and network analysis /

Autor Novak, Ladislav, 1950-, Gibbons, Alan, 1941-
Vydáno 1999

“...Cambridge Tracts in Theoretical Computer Science ;...”

Kniha

14

Information flow : the logic of distributed systems /

Autor Barwise, Jon, 1942-2000, Seligman, Jerry
Vydáno 1997

“...Cambridge Tracts in Theoretical Computer Science ;...”

Kniha

15

Lambda-Calculus, Combinators and Functional Programming /

Autor Revesz, G. E.
Vydáno 1988

“...Cambridge Tracts in Theoretical Computer Science ;...”

Kniha

16

Logic and computation : Interactive proof with Cambridge LCF /

Autor Paulson, Lawrence C., 1955-
Vydáno 1987

“...Cambridge Tracts in Theoretical Computer Science ;...”

Kniha

17

The logic of typed feature structures : with applications to unification grammars, logic programs and constraint resolution /

Autor Carpenter, Bob.
Vydáno 1992

“...Cambridge Tracts in Theoretical Computer Science ;...”

Kniha

18

Mathematical theory of domains /

Autor Stoltenberg-Hansen, Viggo, Lindström, Ingrid, Griffor, Edward R.
Vydáno 1994

“...Cambridge Tracts in Theoretical Computer Science ;...”

Kniha

19

Metamathematics, machines, and Gödel's proof /

Autor Shankar, N.
Vydáno 1994

“...Cambridge Tracts in Theoretical Computer Science ;...”

Kniha

20

Nets, terms and formulas : three views of concurrent processes and their relationship /

Autor Olderog, Ernst-Rüdiger, 1955-
Vydáno 1991

“...Cambridge Tracts in Theoretical Computer Science ;...”

Kniha

Upřesnit hledání