Ergebnisse filtern
Fachgebiet
Medium
  • 75
  • 6
Erscheinungsjahr
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 5
  • 1
  • 1
  • 2
  • 1
  • 8
  • 6
  • 6
  • 5
  • 4
  • 2
  • 8
  • 7
  • 5
  • 4
  • 1
  • 1
  • 3
  • 2
  • 1
Autoren
  • 1
  • 2
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 4
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
Verlag
  • 1
  • 80
Preis
  • 5
  • 51
  • 25
Sprachen
  • 81
Verfügbarkeit
  • 72
  • 9
Katalog
  • 81
81  Treffer  für „Cambridge Tracts in Theoretical Computer Science“
    Baeten | Applications of Process Algebra | Buch | Sack Fachmedien

    Baeten Applications of Process Algebra

    Erscheinungsjahr 2004
    Verlag: Cambridge University Press
    ISBN: 978-0-521-60750-6
    Medium: Buch
    122,20 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    van Ditmarsch | Reasoning about Gossip | Buch | Sack Fachmedien

    van Ditmarsch Reasoning about Gossip

    Erscheinungsjahr 2027
    Verlag: Cambridge University Press
    ISBN: 978-1-009-55705-4
    Medium: Buch
    99,50 € (inkl. MwSt.)
    vorbestellbar
    Bereits im Warenkorb
    Mosses | Action Semantics | Buch | Sack Fachmedien

    Mosses Action Semantics

    Erscheinungsjahr 1992
    Verlag: Cambridge University Press
    ISBN: 978-0-521-40347-4
    Medium: Buch
    89,00 € (inkl. MwSt.)
    Kurzfristig nicht lieferbar
    Bereits im Warenkorb
    Hesselink | Programs, Recursion and Unbounded Choice | Buch | Sack Fachmedien

    Hesselink Programs, Recursion and Unbounded Choice

    Erscheinungsjahr 2005
    Verlag: Cambridge University Press
    ISBN: 978-0-521-01829-6
    Medium: Buch
    60,30 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Anthony / Biggs | Computational Learning Theory | Buch | Sack Fachmedien

    Anthony / Biggs Computational Learning Theory

    Erscheinungsjahr 2011
    Verlag: Cambridge University Press
    ISBN: 978-0-521-59922-1
    Medium: Buch
    61,60 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Adámek / Milius / Moss | Initial Algebras and Terminal Coalgebras | Buch | Sack Fachmedien

    Adámek / Milius / Moss Initial Algebras and Terminal Coalgebras

    Erscheinungsjahr 2025
    Verlag: Cambridge University Press
    ISBN: 978-1-108-83546-6
    Medium: Buch
    199,60 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gärdenfors | Belief Revision | Buch | Sack Fachmedien

    Gärdenfors Belief Revision

    Erscheinungsjahr 2003
    Verlag: Cambridge University Press
    ISBN: 978-0-521-54564-8
    Medium: Buch
    88,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mosses | Action Semantics | Buch | Sack Fachmedien

    Mosses Action Semantics

    Erscheinungsjahr 2004
    Verlag: Cambridge University Press
    ISBN: 978-0-521-61933-2
    Medium: Buch
    72,60 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pitts | Nominal Sets | Buch | Sack Fachmedien

    Pitts Nominal Sets

    Erscheinungsjahr 2013
    Verlag: Cambridge University Press
    ISBN: 978-1-107-01778-8
    Medium: Buch
    73,60 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Amadio / Curien | Domains and Lambda-Calculi | Buch | Sack Fachmedien

    Amadio / Curien Domains and Lambda-Calculi

    Erscheinungsjahr 2003
    Verlag: Cambridge University Press
    ISBN: 978-0-521-62277-6
    Medium: Buch
    195,20 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Amadio / Curien | Domains and Lambda-Calculi | Buch | Sack Fachmedien

    Amadio / Curien Domains and Lambda-Calculi

    Erscheinungsjahr 2008
    Verlag: Cambridge University Press
    ISBN: 978-0-521-06292-3
    Medium: Buch
    79,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Manzano | Extensions of First-Order Logic | Buch | Sack Fachmedien

    Manzano Extensions of First-Order Logic

    Erscheinungsjahr 2005
    Verlag: Cambridge University Press
    ISBN: 978-0-521-01902-6
    Medium: Buch
    96,20 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paris | The Uncertain Reasoner's Companion | Buch | Sack Fachmedien

    Paris The Uncertain Reasoner's Companion

    A Mathematical Perspective
    Erscheinungsjahr 1995
    Verlag: Cambridge University Press
    ISBN: 978-0-521-46089-7
    Medium: Buch
    56,50 € (inkl. MwSt.)
    Kurzfristig nicht lieferbar
    Bereits im Warenkorb
    Paris | The Uncertain Reasoner's Companion | Buch | Sack Fachmedien

    Paris The Uncertain Reasoner's Companion

    A Mathematical Perspective
    Erscheinungsjahr 2006
    Verlag: Cambridge University Press
    ISBN: 978-0-521-03272-8
    Medium: Buch
    66,70 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brewka | Nonmonotonic Reasoning | Buch | Sack Fachmedien

    Brewka Nonmonotonic Reasoning

    Logical Foundations of Commonsense
    Erscheinungsjahr 2011
    Verlag: Cambridge University Press
    ISBN: 978-0-521-18130-3
    Medium: Buch
    55,10 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baeten / Basten / Reniers | Process Algebra | Buch | Sack Fachmedien

    Baeten / Basten / Reniers Process Algebra

    Equational Theories of Communicating Processes
    Erscheinungsjahr 2010
    Verlag: Cambridge University Press
    ISBN: 978-0-521-82049-3
    Medium: Buch
    124,20 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Clifford | Formal Semantics and Pragmatics for Natural Language Querying | Buch | Sack Fachmedien

    Clifford Formal Semantics and Pragmatics for Natural Language Querying

    Erscheinungsjahr 2004
    Verlag: Cambridge University Press
    ISBN: 978-0-521-60274-7
    Medium: Buch
    62,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baeten | Applications of Process Algebra | Buch | Sack Fachmedien

    Baeten Applications of Process Algebra

    Erscheinungsjahr 1990
    Verlag: Cambridge University Press
    ISBN: 978-0-521-40028-2
    Medium: Buch
    77,50 € (inkl. MwSt.)
    Kurzfristig nicht lieferbar
    Bereits im Warenkorb
    Tse | A Unifying Framework for Structured Analysis and Design Models | Buch | Sack Fachmedien

    Tse A Unifying Framework for Structured Analysis and Design Models

    An Approach Using Initial Algebra Semantics and Category Theory
    Erscheinungsjahr 2009
    Verlag: Cambridge University Press
    ISBN: 978-0-521-11787-6
    Medium: Buch
    54,10 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tse | A Unifying Framework for Structured Analysis and Design Models | Buch | Sack Fachmedien

    Tse A Unifying Framework for Structured Analysis and Design Models

    Erscheinungsjahr 2011
    Verlag: Cambridge University Press
    ISBN: 978-0-521-39196-2
    Medium: Buch
    141,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Troelstra / Schwichtenberg | Basic Proof Theory | Buch | Sack Fachmedien

    Troelstra / Schwichtenberg Basic Proof Theory

    2. Auflage 2002
    Verlag: Cambridge University Press
    ISBN: 978-0-521-77911-1
    Medium: Buch
    67,90 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mihov / Schulz | Finite-State Techniques | Buch | Sack Fachmedien

    Mihov / Schulz Finite-State Techniques

    Erscheinungsjahr 2019
    Verlag: Cambridge University Press
    ISBN: 978-1-108-48541-8
    Medium: Buch
    97,60 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mauw / Veltink | Algebraic Specification of Communication Protocols | Buch | Sack Fachmedien

    Mauw / Veltink Algebraic Specification of Communication Protocols

    Erscheinungsjahr 2008
    Verlag: Cambridge University Press
    ISBN: 978-0-521-08812-1
    Medium: Buch
    59,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brewka | Nonmonotonic Reasoning | Buch | Sack Fachmedien

    Brewka Nonmonotonic Reasoning

    Erscheinungsjahr 2010
    Verlag: Cambridge University Press
    ISBN: 978-0-521-38394-3
    Medium: Buch
    88,10 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hindley | Basic Simple Type Theory | Buch | Sack Fachmedien

    Hindley Basic Simple Type Theory

    Erscheinungsjahr 2007
    Verlag: Cambridge University Press
    ISBN: 978-0-521-05422-5
    Medium: Buch
    53,20 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular