Ergebnisse filtern
Fachgebiet
Medium
  • 27
  • 6
Erscheinungsjahr
  • 2
  • 1
  • 1
  • 2
  • 4
  • 2
  • 1
  • 5
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 2
  • 1
Autoren
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 1
  • 32
Preis
  • 3
  • 18
  • 12
Sprachen
  • 33
Verfügbarkeit
  • 25
  • 8
Katalog
  • 33
33  Treffer  für „Cambridge Tracts in Theoretical Computer Science“
    Demri / Goranko / Lange | Temporal Logics in Computer Science | Buch | Sack Fachmedien

    Demri / Goranko / Lange Temporal Logics in Computer Science

    Finite-State Systems
    Erscheinungsjahr 2016
    Verlag: Cambridge University Press
    ISBN: 978-1-107-02836-4
    Medium: Buch
    135,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Demri | Temporal Logics in Computer Science | eBook | Sack Fachmedien
    E-Book

    Demri Temporal Logics in Computer Science

    Finite-State Systems
    Erscheinungsjahr 2016
    Verlag: Cambridge University Press
    ISBN: 978-1-316-72716-4
    Medium: eBook
    Format: EPUB
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    89,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Pitts | Nominal Sets | eBook | Sack Fachmedien
    E-Book

    Pitts Nominal Sets

    Names and Symmetry in Computer Science
    Erscheinungsjahr 2013
    Verlag: Cambridge University Press
    ISBN: 978-1-107-24131-2
    Medium: eBook
    Format: EPUB
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    48,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Paulson / Rijsbergen / Abramsky | Logic and Computation | Buch | Sack Fachmedien

    Paulson / Rijsbergen / Abramsky Logic and Computation

    Interactive Proof with Cambridge Lcf
    Erscheinungsjahr 2003
    Verlag: Cambridge University Press
    ISBN: 978-0-521-39560-1
    Medium: Buch
    69,70 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Griffor / Stoltenberg-Hansen / Lindström | Mathematical Theory of Domains | Buch | Sack Fachmedien

    Griffor / Stoltenberg-Hansen / Lindström Mathematical Theory of Domains

    Erscheinungsjahr 1994
    Verlag: Cambridge University Press
    ISBN: 978-0-521-38344-8
    Medium: Buch
    89,00 € (inkl. MwSt.)
    Kurzfristig nicht lieferbar
    Bereits im Warenkorb
    Gehrke / van Gool | Topological Duality for Distributive Lattices | Buch | Sack Fachmedien

    Gehrke / van Gool Topological Duality for Distributive Lattices

    Erscheinungsjahr 2024
    Verlag: Cambridge University Press
    ISBN: 978-1-009-34969-7
    Medium: Buch
    79,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hesselink | Programs, Recursion and Unbounded Choice | Buch | Sack Fachmedien

    Hesselink Programs, Recursion and Unbounded Choice

    Erscheinungsjahr 1992
    Verlag: Cambridge University Press
    ISBN: 978-0-521-40436-5
    Medium: Buch
    66,00 € (inkl. MwSt.)
    Kurzfristig nicht lieferbar
    Bereits im Warenkorb
    Shankar / Rijsbergen | Metamathematics, Machines and Godel's Proof | Buch | Sack Fachmedien

    Shankar / Rijsbergen Metamathematics, Machines and Godel's Proof

    Erscheinungsjahr 2002
    Verlag: Cambridge University Press
    ISBN: 978-0-521-58533-0
    Medium: Buch
    60,20 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Klop / Terese / de Vrijer | Term Rewriting Systems | Buch | Sack Fachmedien

    Klop / Terese / de Vrijer Term Rewriting Systems

    Erscheinungsjahr 2011
    Verlag: Cambridge University Press
    ISBN: 978-0-521-39115-3
    Medium: Buch
    258,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jacobs | Introduction to Coalgebra | eBook | Sack Fachmedien
    E-Book

    Jacobs Introduction to Coalgebra

    Towards Mathematics of States and Observation
    Erscheinungsjahr 2016
    Verlag: Cambridge University Press
    ISBN: 978-1-316-83601-9
    Medium: eBook
    Format: PDF
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    133,99 € (inkl. MwSt.)
    sofort verfügbar
    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
    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
    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
    53,40 € (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
    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
    203,90 € (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
    133,50 € (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
    83,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
    Bundy / Basin / Hutter | Rippling | Buch | Sack Fachmedien

    Bundy / Basin / Hutter Rippling

    Meta-Level Guidance for Mathematical Reasoning
    Erscheinungsjahr 2005
    Verlag: Cambridge University Press
    ISBN: 978-0-521-83449-0
    Medium: Buch
    150,90 € (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
    117,80 € (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
    92,60 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jacobs | Introduction to Coalgebra | eBook | Sack Fachmedien
    E-Book

    Jacobs Introduction to Coalgebra

    Towards Mathematics of States and Observation
    Erscheinungsjahr 2016
    Verlag: Cambridge University Press
    ISBN: 978-1-316-83244-8
    Medium: eBook
    Format: EPUB
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    118,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Spivey | Understanding Z | Buch | Sack Fachmedien

    Spivey Understanding Z

    A Specification Language and its Formal Semantics
    Erscheinungsjahr 1988
    Verlag: Cambridge University Press
    ISBN: 978-0-521-33429-7
    Medium: Buch
    41,50 € (inkl. MwSt.)
    Kurzfristig nicht lieferbar
    Bereits im Warenkorb
    Gorrieri | Syntax and Semantics of Petri Nets | Buch | Sack Fachmedien

    Gorrieri Syntax and Semantics of Petri Nets

    Erscheinungsjahr 2025
    Verlag: Cambridge University Press
    ISBN: 978-1-009-61328-6
    Medium: Buch
    135,30 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Olderog | Nets, Terms and Formulas | Buch | Sack Fachmedien

    Olderog Nets, Terms and Formulas

    Three Views of Concurrent Processes and Their Relationship
    Erscheinungsjahr 2011
    Verlag: Cambridge University Press
    ISBN: 978-0-521-40044-2
    Medium: Buch
    133,60 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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