OPAC

＜図書＞
Cambridge tracts in theoretical computer science

データ種別	図書
出版情報	Cambridge [Cambridgeshire] ; New York, N.Y., U.S.A. : Cambridge University Press
本文言語	und

子書誌情報を非表示

表示件数件

検索:


1	1 Algorithmic information theory / Gregory J. Chaitin Reprinted with revisions. - Cambridge : Cambridge University Press , 1992, c1987
2	2 Logic and computation : interactive proof with Cambridge LCF / Lawrence C. Paulson Cambridge ; New York : Cambridge University Press , c1987
3	v. 3 Understanding Z : a specification language and its formal semantics / J.M. Spivey Cambridge [Cambridgeshire] ; New York : Cambridge University Press , 1988
4	5 Topology via logic / Steven Vickers pbk.. - Cambridge [England] ; New York : Cambridge University Press , 1989
5	8 Formal semantics and pragmatics for natural language querying / James Clifford Cambridge ; New York : Cambridge University Press , 1990
6	9 Updating logical databases / Marianne Winslett Cambridge ; New York : Cambridge University Press , 1990
7	10 Theoretical foundations of VLSI design / edited by K. McEvoy and J.V. Tucker : hard. - Cambridge ; New York : Cambridge University Press , 1990
8	11 A unifying framework for structured analysis and design models : an approach using initial algebra semantics and category theory / T.H. Tse Cambridge ; New York : Cambridge University Press , 1991
9	12 Nonmonotonic reasoning : logical foundations of commonsense / Gerhard Brewka Cambridge ; New York : Cambridge University Press , 1991
10	14 Mathematics for computer graphics / S.G. Hoggar Cambridge : Cambridge University Press , 1992
11	15 Design theory and computer science : processes and methodology of computer systems design / Subrata Dasgupta Cambridge ; New York : Cambridge University Press , 1991
12	17 Applications of process algebra / edited by J.C.M. Baeten Cambridge ; New York : Cambridge University Press , 1990
13	18 Process algebra / J.C.M. Baeten, W.P. Weijland Cambridge ; New York : Cambridge University Press , 1990
14	19 Extensions of first order logic / [by] María Manzano Cambridge, England ; New York, NY : Cambridge University Press , 1996
15	21 The clausal theory of types / D.A. Wolfram Cambridge : Cambridge University Press , 1993
16	22 Mathematical theory of domains / Viggo Stoltenberg-Hansen, Ingrid Lindström and Edward R. Griffor Cambridge : Cambridge University Press , 1994
17	22 Mathematical theory of domains / [edited by] Viggo Stoltenberg-Hansen, Ingrid Lindström, and Edward R. Griffor : pbk.. - digitally printed version. - Cambridge : Cambridge University Press , 2008
18	23 Nets, terms and formulas : three views of concurrent processes and their relationship / E.-R. Olderog Cambridge ; New York : Cambridge University Press , 1991
19	26 Action semantics / Peter D. Mosses Cambridge : Cambridge University Press , c1992
20	27 Programs, recursion and unbounded choice : predicate-transformation semantics and transformation rules / Wim H. Hesselink Cambridge ; New York : Cambridge University Press , 1992
21	28 Deduction and declarative programming / Peter Padawitz Cambridge ; New York : Cambridge University Press , c1992
22	29 Belief revision / edited by Peter Gärdenfors Cambridge ; New York : Cambridge University Press , 1992
23	30 Computational learning theory : an introduction / Martin Anthony & Norman Biggs Cambridge ; New York : Cambridge University Press , 1992
24	31 Higher order logic and hardware verification / T. Melham Cambridge : Cambridge University Press , 1993
25	32 The logic of typed feature structures : with applications to unification grammars, logic programs, and constraint resolution / Bob Carpenter Cambridge ; New York : Cambridge University Press , c1992
26	33 Predicate transformer semantics / Ernest G. Manes Cambridge ; New York, NY, USA : Cambridge University Press , 1992
27	34 Two-level functional languages / Flemming Nielson and Hanne Riis Nielson Cambridge : Cambridge University Press , 1992
28	35 Formal specification and design / L. M. G. Feijs & H. B. M. Jonkers Cambridge ; New York : Cambridge University Press , 1992
29	36 Algebraic specification of communication protocols / edited by S. Mauw and G.J. Veltink Cambridge : Cambridge University Press , 1993
30	37 Formal methods in circuit design / V. Stavridou Cambridge : Cambridge University Press , 1993
31	38 Metamathematics, machines, and Gödel's proof / N. Shankar Cambridge : Cambridge University Press , 1994
32	39 The uncertain reasoner's companion : a mathematical perspective / J. B. Paris Cambridge : Cambridge University Press , 1994
33	40 Free choice Petri nets / Jörg Desel, Javier Esparza New York, N.Y. : Cambridge University Press , 1995
34	41 Epistemic logic for AI and computer science / J.-J. Ch. Meyer and W. van der Hoek hardback. - Cambridge ; New York : Cambridge University Press , c1995
35	42 Basic simple type theory / J. Roger Hindley : hbk. - Cambridge : Cambridge University Press , 1997
36	43 Basic proof theory / A.S. Troelstra, H. Schwichtenberg : hardback. - Cambridge ; New York : Cambridge University Press , 1996
37	43 Basic proof theory / A.S. Troelstra, H. Schwichtenberg : pbk. - 2nd ed. - Cambridge ; New York : Cambridge University Press , 2000
38	44 Information flow : the logic of distributed systems / Jon Barwise, Jerry Seligman : hbk. - Cambridge ; New York : Cambridge University Press , 1997
39	45 The optimal implementation of functional programming languages / Andrea Asperti, Stefano Guerrini Cambridge [Cambridgeshire] : Cambridge University Press , 1998
40	46 Domains and lambda-calculi / Roberto M. Amadio, Pierre-Louis Curien Cambridge : Cambridge University Press , 1998
41	47 Data refinement : model-oriented proof methods and their comparison / Willem-Paul de Roever, Kai Engelhardt ; with the assistance of Karl-Heinz Buth ... [et al.] Cambridge ; New York : Cambridge University Press , 1998
42	48 Propositional logic : deduction and algorithms / Hans Kleine Büning, Theodor Lettman Cambridge : Cambridge University Press , 1999
43	49 Hybrid graph theory and network analysis / Ladislav Novak, Alan Gibbons Cambridge ; New York : Cambridge University Press , c1999
44	51 Derivation and computation : taking the Curry-Howard correspondence seriously / Harold Simmons Cambridge ; New York : Cambridge University Press , 2000
45	53 Modal logic / Patrick Blackburn, Maarten de Rijke, Yde Venema Cambridge : Cambridge University Press , 2001
46	54 Concurrency verification : introduction to compositional and noncompositional methods / Willem-Paul de Roever ... [et al.] Cambridge ; New York : Cambridge University Press , 2001
47	55 Term rewriting systems / Terese : hard. - Cambridge : Cambridge University Press , 2003

表示情報 1 - 47 (47件中)

書誌詳細を非表示

書誌ID	1010890402
NCID	BA01121831

この情報を出力する

このページのリンク

他の検索サイト

＜図書＞ Cambridge tracts in theoretical computer science

子書誌情報を非表示

書誌詳細を非表示

この資料の利用統計

＜図書＞
Cambridge tracts in theoretical computer science