> Detailanzeige

Cambridge tracts in theoretical computer science

Literatur-
verwaltung

Direktlink

Zur
Merkliste

Lösche von
Merkliste

Per Email teilen

Auf Twitter teilen

Auf Facebook teilen

Per Whatsapp teilen

Als RIS exportieren Als BibTeX exportieren Als EndNote exportieren

Schließen

Merkliste

Medientyp: Schriftenreihe; Monographische Schriftenreihe
Titel: Cambridge tracts in theoretical computer science
Erschienen: Cambridge [u.a.]: Cambridge Univ. Pr., 1987-
Erscheinungsverlauf: 1.1987 -
Sprache: Englisch
ISSN: 0956-9103
Schlagwörter: Monografische Reihe
Entstehung:
Anmerkungen:

> Verlagsreihe

Demri, Stéphane [VerfasserIn]; Goranko, Valentin [VerfasserIn]; Lange, Martin [VerfasserIn]
58: Temporal logics in computer science Finite-state systems Stéphane Demri (Centre National de la Recherche Scientifique (CNRS), France), Valentin Goranko (Stockholms Universitet), Martin Lange (Universität Kassel, Germany)
Cambridge: Cambridge University Press, 2016

Blackburn, Patrick [VerfasserIn]; Rijke, Maarten de [VerfasserIn]; Venema, Yde [VerfasserIn]
53: Modal logic Patrick Blackburn; Maarten de Rijke; Yde Venema
Cambridge [u.a.]: Cambridge Univ. Press, 2010

Paris, J. B. [VerfasserIn]
39: The uncertain reasoner's companion a mathematical perspective J. B. Paris
Cambridge [u.a.]: Cambridge University Press, 2006

Winslett, Marianne Southall [VerfasserIn] ; Winslett, Marianne [Sonstige Person, Familie und Körperschaft]
9: Updating logical databases Marianne Winslett
Cambridge [u.a.]: Cambridge University Press, 2005

Feijs, Loe M. [VerfasserIn]; Jonkers, Hans B. [VerfasserIn] ; Feijs, L. M. G. [Sonstige Person, Familie und Körperschaft]; Jonkers, H. B. M. [Sonstige Person, Familie und Körperschaft]
35: Formal specification and design L. M. G. Feijs & H. B. M. Jonkers
Cambridge [u.a.]: Cambridge Univ. Press, 2005

Bundy, Alan [Sonstige Person, Familie und Körperschaft]
56: Rippling meta-level guidance for mathematical reasoning Alan Bundy
Cambridge [u.a.]: Cambridge Univ. Press, 2005

Blackburn, Patrick [VerfasserIn]; Rijke, Maarten de [VerfasserIn]; Venema, Yde [VerfasserIn]
53: Modal logic Patrick Blackburn ; Maarten de Rijke ; Yde Venema
Cambridge [u.a.]: Cambridge Univ. Press, 2004

Meyer, John-Jules Ch [VerfasserIn]; Hoek, Wiebe van der [VerfasserIn]
41: Epistemic logic for AI and computer science J.-J. Ch. Meyer; W. van der Hoek
Cambridge [u.a.]: Cambridge Univ. Press, 2004

Bezem, Marc [HerausgeberIn]; Klop, Jan Willem [Sonstige Person, Familie und Körperschaft]; Vrijer, Roel de [Sonstige Person, Familie und Körperschaft]
55: Term rewriting systems Terese [ed. and authors Marc Bezem; Jan Willem Klop; Roel de Vrijer. Authors Erik Barendsen ...]
Cambridge [u.a.]: Cambridge Univ. Press, 2003

Gärdenfors, Peter [HerausgeberIn]
29: Belief revision ed. by Peter Gärdenfors
Cambridge [u.a.]: Cambridge Univ. Press, 2003

Blackburn, Patrick [VerfasserIn]; Rijke, Maarten de [VerfasserIn]; Venema, Yde [VerfasserIn]
53: Modal logic Patrick Blackburn; Maarten de Rijke; Yde Venema
Cambridge [u.a.]: Cambridge University Press, 2002

Blackburn, Patrick [VerfasserIn]; Rijke, Maarten de [VerfasserIn]; Venema, Yde [VerfasserIn]
53: Modal logic Patrick Blackburn; Maarten de Rijke; Yde Venema
Cambridge [u.a.]: Cambridge University Press, 2001

Roever, Willem-Paul de [Sonstige Person, Familie und Körperschaft]
54: Concurrency verification introduction to compositional and noncompositional methods Willem-Paul de Roever
Cambridge, UK; New York, NY, USA: Cambridge University Press, 2001

Troelstra, Anne S. [VerfasserIn]; Schwichtenberg, Helmut [VerfasserIn]
43: Basic proof theory A. S. Troelstra; H. Schwichtenberg
Cambridge [u.a.]: Cambridge University Press, 2000

Kleine Büning, Hans [VerfasserIn]; Lettmann, Theodor [VerfasserIn]
48: Propositional logic deduction and algorithms Hans Kleine Büning; Theodor Lettman
Cambridge [u.a.]: Cambridge Univ. Press, 1999

Amadio, Roberto M. [VerfasserIn]; Curien, Pierre-Louis [VerfasserIn]
46: Domains and lambda-calculi Roberto M. Amadio; Pierre-Louis Curien
Cambridge [u.a.]: Cambridge University Press, 1998

Hindley, James Roger [VerfasserIn]
42: Basic simple type theory J. Roger Hindley
Cambridge [u.a.]: Cambridge University Press, 1997

Barwise, Jon [VerfasserIn]; Seligman, Jerry [VerfasserIn]
44: Information flow the logic of distributed systems Jon Barwise; Jerry Seligman
Cambridge [u.a.]: Cambridge Univ. Press, 1997

Vickers, Steven [VerfasserIn]
5: Topology via logic Steven Vickers
Cambridge [u.a.]: Cambridge Univ. Press, 1996

Manzano, María [VerfasserIn]
19: Extensions of first order logic by María Manzano
Cambridge [u.a.]: Cambridge Univ. Press, 1996

Troelstra, Anne S. [VerfasserIn]; Schwichtenberg, Helmut [VerfasserIn]
43: Basic proof theory A. S. Troelstra; H. Schwichtenberg
Cambridge [u.a.]: Cambridge Univ. Press, 1996

Desel, Jörg [VerfasserIn]; Esparza, Javier [VerfasserIn]
40: Free choice Petri nets Jörg Desel; Javier Esparza
Cambridge: Cambridge Univ. Press, 1995

Hoggar, Stuart G. [VerfasserIn]
14: Mathematics for computer graphics S. G. Hoggar
Cambridge [u.a.]: Cambridge Univ. Press, 1994

Stoltenberg-Hansen, Viggo [VerfasserIn]; Lindström, Ingrid [VerfasserIn]; Griffor, Edward R. [VerfasserIn]
22: Mathematical theory of domains Viggo Stoltenberg-Hansen, Ingrid Lindström and Edward R. Griffor
Cambridge [u.a.]: Cambridge Univ. Press, 1994

Girard, Jean-Yves [VerfasserIn]
7: Proofs and types Jean-Yves Girard
Cambridge [u.a.]: Cambridge Univ. Press, 1993

Anthony, Martin [VerfasserIn]; Biggs, Norman [VerfasserIn]
30: Computational learning theory an introduction Martin Anthony & Norman Biggs
Cambridge [u.a.]: Cambridge Univ. Press, 1992

Hoggar, Stuart G. [VerfasserIn]
14: Mathematics for computer graphics S. G. Hoggar
Cambridge: Cambridge Univ. Press, 1992

Mosses, Peter D. [VerfasserIn]
26: Action semantics Peter D. Mosses
Cambridge [u.a.]: Cambridge Univ. Press, 1992

Brewka, Gerhard [VerfasserIn]
12: Nonmonotonic reasoning logical foundations of commonsense Gerhard Brewka
Cambridge [u.a.]: Cambridge Univ. Press, 1991

Dasgupta, Subrata [VerfasserIn]
15: Design theory and computer science processes and methodology of computer systems design Subrata Dasgupta
Cambridge [u.a.]: Cambridge Univ. Press, 1991

Olderog, Ernst-Rüdiger [VerfasserIn]
23: Nets, terms and formulas three views of concurrent processes and their relationship E.-R. Olderog
Cambridge [u.a.]: Cambridge Univ. Press, 1991

Baeten, Josephus C. M. [HerausgeberIn]; Baeten, Jos C. M. [HerausgeberIn]
17: f ed. by J. C. M. Baeten
Cambridge [u.a.]: Cambridge Univ. Press, 1990

Vickers, Steven [VerfasserIn]
5: Topology via logic Steven Vickers
Cambridge [u.a.]: Cambridge University Press, 1990

Paulson, Lawrence C. [VerfasserIn]
2: Logic and computation interactive proof with Cambridge LCF Lawrence C. Paulson
Cambridge [u.a.]: Cambridge Univ. Press, 1990

MacEvoy, K. [HerausgeberIn]; Tucker, J. V. [Sonstige Person, Familie und Körperschaft]
10: Theoretical foundations of VLSI design edited by K. McEvoy and J. V. Tucker
Cambridge [u.a.]: Cambridge Univ. Press, 1990

Baeten, Josephus C. M. [VerfasserIn]; Weijland, W. P. [VerfasserIn]
18: Process algebra J.C.M. Baeten and W.P. Weijland, Centre for Mathematics and Computer Science, Amsterdam
Cambridge; New York$Port Chester; Melbourne; Sydney: Cambridge University Press, 1990

Winslett, Marianne Southall [VerfasserIn] ; Winslett, Marianne [Sonstige Person, Familie und Körperschaft]
9: Updating logical databases Marianne Winslett
Cambridge [u.a.]: Cambridge Univ. Press, 1990

Spivey, J. M. [VerfasserIn]
3: Understanding Z a specification language and its formal semantics J. M. Spivey
Cambridge [u.a.]: Cambridge Univ. Pr., 1988