Ergebnisse filtern
Fachgebiet
Medium
  • 73
  • 6
Erscheinungsjahr
  • 2
  • 1
  • 1
  • 2
  • 1
  • 5
  • 1
  • 1
  • 2
  • 1
  • 8
  • 6
  • 6
  • 5
  • 4
  • 2
  • 8
  • 7
  • 5
  • 3
  • 1
  • 1
  • 3
  • 2
  • 1
Autoren
  • 13
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 23
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
Verlag
  • 1
  • 78
Preis
  • 6
  • 48
  • 25
Sprachen
  • 79
Verfügbarkeit
  • 71
  • 8
Katalog
  • 79
79  Treffer  für „Cambridge Tracts in Theoretical Computer Science“
    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
    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
    138,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Dasgupta | Design Theory and Computer Science | Buch | Sack Fachmedien

    Dasgupta Design Theory and Computer Science

    Processes and Methodology of Computer Systems Design
    Erscheinungsjahr 2009
    Verlag: Cambridge University Press
    ISBN: 978-0-521-11815-6
    Medium: Buch
    90,60 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dasgupta | Design Theory and Computer Science | Buch | Sack Fachmedien

    Dasgupta Design Theory and Computer Science

    Erscheinungsjahr 2015
    Verlag: Cambridge University Press
    ISBN: 978-0-521-39021-7
    Medium: Buch
    189,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Meyer / Hoek | Epistemic Logic for AI and Computer Science | Buch | Sack Fachmedien

    Meyer / Hoek Epistemic Logic for AI and Computer Science

    Erscheinungsjahr 2004
    Verlag: Cambridge University Press
    ISBN: 978-0-521-60280-8
    Medium: Buch
    80,10 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    McEvoy / Rijsbergen / Tucker | Theoretical Foundations of VLSI Design | Buch | Sack Fachmedien

    McEvoy / Rijsbergen / Tucker Theoretical Foundations of VLSI Design

    Erscheinungsjahr 2003
    Verlag: Cambridge University Press
    ISBN: 978-0-521-54565-5
    Medium: Buch
    65,90 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    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
    Ramsay / Rijsbergen / Abramsky | Formal Methods in Artificial Intelligence | Buch | Sack Fachmedien

    Ramsay / Rijsbergen / Abramsky Formal Methods in Artificial Intelligence

    Erscheinungsjahr 2009
    Verlag: Cambridge University Press
    ISBN: 978-0-521-42421-9
    Medium: Buch
    53,30 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sangiorgi / Rutten | Advanced Topics in Bisimulation and Coinduction | Buch | Sack Fachmedien

    Sangiorgi / Rutten Advanced Topics in Bisimulation and Coinduction

    Erscheinungsjahr 2011
    Verlag: Cambridge University Press
    ISBN: 978-1-107-00497-9
    Medium: Buch
    143,60 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barwise / Seligman / Rijsbergen | Information Flow | Buch | Sack Fachmedien

    Barwise / Seligman / Rijsbergen Information Flow

    The Logic of Distributed Systems
    Erscheinungsjahr 2007
    Verlag: Cambridge University Press
    ISBN: 978-0-521-58386-2
    Medium: Buch
    89,60 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vickers / Rijsbergen / Abramsky | Topology Via Logic | Buch | Sack Fachmedien

    Vickers / Rijsbergen / Abramsky Topology Via Logic

    Erscheinungsjahr 2003
    Verlag: Cambridge University Press
    ISBN: 978-0-521-57651-2
    Medium: Buch
    73,50 € (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
    Barwise / Seligman | Information Flow | Buch | Sack Fachmedien

    Barwise / Seligman Information Flow

    The Logic of Distributed Systems
    Erscheinungsjahr 2008
    Verlag: Cambridge University Press
    ISBN: 978-0-521-07099-7
    Medium: Buch
    72,90 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gehrke / van Gool | Topological Duality for Distributive Lattices | Buch | Sack Fachmedien

    Gehrke / van Gool Topological Duality for Distributive Lattices

    Theory and Applications
    Erscheinungsjahr 2024
    Verlag: Cambridge University Press
    ISBN: 978-1-009-34969-7
    Medium: Buch
    79,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Revesz | Lambda-Calculus, Combinators and Functional Programming | Buch | Sack Fachmedien

    Revesz Lambda-Calculus, Combinators and Functional Programming

    Erscheinungsjahr 2009
    Verlag: Cambridge University Press
    ISBN: 978-0-521-11429-5
    Medium: Buch
    68,40 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stoltenberg-Hansen / Lindstrom / Lindström | Mathematical Theory of Domains | Buch | Sack Fachmedien

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

    Erscheinungsjahr 2008
    Verlag: Cambridge University Press
    ISBN: 978-0-521-06479-8
    Medium: Buch
    83,10 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Manes / Rijsbergen | Predicate Transformer Semantics | Buch | Sack Fachmedien

    Manes / Rijsbergen Predicate Transformer Semantics

    Erscheinungsjahr 2004
    Verlag: Cambridge University Press
    ISBN: 978-0-521-61610-2
    Medium: Buch
    71,20 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chaitin / Rijsbergen / Abramsky | Algorithmic Information Theory | Buch | Sack Fachmedien

    Chaitin / Rijsbergen / Abramsky Algorithmic Information Theory

    Erscheinungsjahr 2004
    Verlag: Cambridge University Press
    ISBN: 978-0-521-61604-1
    Medium: Buch
    67,20 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baeten / Rijsbergen / Abramsky | Applications of Process Algebra | Buch | Sack Fachmedien

    Baeten / Rijsbergen / Abramsky Applications of Process Algebra

    Erscheinungsjahr 2004
    Verlag: Cambridge University Press
    ISBN: 978-0-521-60750-6
    Medium: Buch
    116,10 € (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
    Jacobs | Introduction to Coalgebra | Buch | Sack Fachmedien

    Jacobs Introduction to Coalgebra

    Erscheinungsjahr 2017
    Verlag: Cambridge University Press
    ISBN: 978-1-107-17789-5
    Medium: Buch
    186,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
    200,50 € (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
    Blackburn / de Rijke / Venema | Modal Logic | Buch | Sack Fachmedien

    Blackburn / de Rijke / Venema Modal Logic

    Erscheinungsjahr 2011
    Verlag: Cambridge University Press
    ISBN: 978-0-521-52714-9
    Medium: Buch
    120,90 € (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
    75,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
    185,10 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mosses / Rijsbergen | Action Semantics | Buch | Sack Fachmedien

    Mosses / Rijsbergen 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
    Hesselink / Rijsbergen | Programs, Recursion and Unbounded Choice | Buch | Sack Fachmedien

    Hesselink / Rijsbergen 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
    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
    Clifford / Rijsbergen | Formal Semantics and Pragmatics for Natural Language Querying | Buch | Sack Fachmedien

    Clifford / Rijsbergen Formal Semantics and Pragmatics for Natural Language Querying

    Erscheinungsjahr 2004
    Verlag: Cambridge University Press
    ISBN: 978-0-521-60274-7
    Medium: Buch
    60,10 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Manzano / Rijsbergen / Abramsky | Extensions of First-Order Logic | Buch | Sack Fachmedien

    Manzano / Rijsbergen / Abramsky Extensions of First-Order Logic

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

    Anthony / Biggs / Rijsbergen Computational Learning Theory

    Erscheinungsjahr 2011
    Verlag: Cambridge University Press
    ISBN: 978-0-521-59922-1
    Medium: Buch
    58,90 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    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
    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
    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
    52,40 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gardenfors / Gärdenfors / Rijsbergen | Belief Revision | Buch | Sack Fachmedien

    Gardenfors / Gärdenfors / Rijsbergen Belief Revision

    Erscheinungsjahr 2003
    Verlag: Cambridge University Press
    ISBN: 978-0-521-54564-8
    Medium: Buch
    85,20 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Feijs / Jonkers | Formal Specification and Design | Buch | Sack Fachmedien

    Feijs / Jonkers Formal Specification and Design

    Erscheinungsjahr 2005
    Verlag: Cambridge University Press
    ISBN: 978-0-521-43592-5
    Medium: Buch
    63,30 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hindley / Rijsbergen | Basic Simple Type Theory | Buch | Sack Fachmedien

    Hindley / Rijsbergen Basic Simple Type Theory

    Erscheinungsjahr 2002
    Verlag: Cambridge University Press
    ISBN: 978-0-521-46518-2
    Medium: Buch
    129,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,40 € (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

    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
    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
    51,20 € (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
    56,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paris / Rijsbergen / Abramsky | The Uncertain Reasoner's Companion | Buch | Sack Fachmedien

    Paris / Rijsbergen / Abramsky The Uncertain Reasoner's Companion

    A Mathematical Perspective
    Erscheinungsjahr 2006
    Verlag: Cambridge University Press
    ISBN: 978-0-521-03272-8
    Medium: Buch
    63,40 € (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 / 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
    de Roever / de Boer / Hanneman | Concurrency Verification | Buch | Sack Fachmedien

    de Roever / de Boer / Hanneman Concurrency Verification

    Introduction to Compositional and Non-Compositional Methods
    Erscheinungsjahr 2010
    Verlag: Cambridge University Press
    ISBN: 978-0-521-16932-5
    Medium: Buch
    101,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Deroever / de Roever / Roever | Data Refinement | Buch | Sack Fachmedien

    Deroever / de Roever / Roever Data Refinement

    Model-Oriented Proof Methods and Their Comparison
    Erscheinungsjahr 2007
    Verlag: Cambridge University Press
    ISBN: 978-0-521-64170-8
    Medium: Buch
    156,30 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Desel / Esparza / Rijsbergen | Free Choice Petri Nets | Buch | Sack Fachmedien

    Desel / Esparza / Rijsbergen Free Choice Petri Nets

    Erscheinungsjahr 2005
    Verlag: Cambridge University Press
    ISBN: 978-0-521-01945-3
    Medium: Buch
    52,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Novak / Gibbons | Hybrid Graph Theory and Network Analysis | Buch | Sack Fachmedien

    Novak / Gibbons Hybrid Graph Theory and Network Analysis

    Erscheinungsjahr 2010
    Verlag: Cambridge University Press
    ISBN: 978-0-521-46117-7
    Medium: Buch
    134,60 € (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
    68,50 € (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
    Gu / Purdom / Franco | Algorithms for the Satisfiability Problem | Buch | Sack Fachmedien

    Gu / Purdom / Franco Algorithms for the Satisfiability Problem

    Erscheinungsjahr 2020
    Verlag: Cambridge University Press
    ISBN: 978-0-521-64041-1
    Medium: Buch
    35,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Melham | Higher Order Logic and Hardware Verification | Buch | Sack Fachmedien

    Melham Higher Order Logic and Hardware Verification

    Erscheinungsjahr 2012
    Verlag: Cambridge University Press
    ISBN: 978-0-521-41718-1
    Medium: Buch
    134,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nielson / Rijsbergen | Two-Level Functional Languages | Buch | Sack Fachmedien

    Nielson / Rijsbergen Two-Level Functional Languages

    Erscheinungsjahr 2005
    Verlag: Cambridge University Press
    ISBN: 978-0-521-01847-0
    Medium: Buch
    67,70 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Carpenter / Rijsbergen / Abramsky | The Logic of Typed Feature Structures | Buch | Sack Fachmedien

    Carpenter / Rijsbergen / Abramsky The Logic of Typed Feature Structures

    With Applications to Unification Grammars, Logic Programs and Constraint Resolution
    Erscheinungsjahr 2005
    Verlag: Cambridge University Press
    ISBN: 978-0-521-02254-5
    Medium: Buch
    60,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wolfram | The Clausal Theory of Types | Buch | Sack Fachmedien

    Wolfram The Clausal Theory of Types

    Erscheinungsjahr 2009
    Verlag: Cambridge University Press
    ISBN: 978-0-521-11790-6
    Medium: Buch
    38,60 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Asperti / Rijsbergen / Guerrini | The Optimal Implementation of Functional Programming Languages | Buch | Sack Fachmedien

    Asperti / Rijsbergen / Guerrini The Optimal Implementation of Functional Programming Languages

    Erscheinungsjahr 2010
    Verlag: Cambridge University Press
    ISBN: 978-0-521-62112-0
    Medium: Buch
    113,20 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Winslett | Updating Logical Databases | Buch | Sack Fachmedien

    Winslett Updating Logical Databases

    Erscheinungsjahr 1990
    Verlag: Camb.U.P.
    ISBN: 978-0-521-37371-5
    Medium: Buch
    66,00 € (inkl. MwSt.)
    Kurzfristig nicht lieferbar
    Bereits im Warenkorb
    Olderog / Rijsbergen / Abramsky | Nets, Terms and Formulas | Buch | Sack Fachmedien

    Olderog / Rijsbergen / Abramsky Nets, Terms and Formulas

    Three Views of Concurrent Processes and Their Relationship
    Erscheinungsjahr 2005
    Verlag: Cambridge University Press
    ISBN: 978-0-521-01845-6
    Medium: Buch
    60,50 € (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
    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
    Padawitz | Deductive and Declarative Programming | Buch | Sack Fachmedien

    Padawitz Deductive and Declarative Programming

    Erscheinungsjahr 1992
    Verlag: Cambridge University Press
    ISBN: 978-0-521-41723-5
    Medium: Buch
    77,50 € (inkl. MwSt.)
    Kurzfristig nicht lieferbar
    Bereits im Warenkorb
    Wolfram | The Clausal Theory of Types | Buch | Sack Fachmedien

    Wolfram The Clausal Theory of Types

    Erscheinungsjahr 2010
    Verlag: Cambridge University Press
    ISBN: 978-0-521-39538-0
    Medium: Buch
    75,30 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nielson | Two-Level Functional Languages | Buch | Sack Fachmedien

    Nielson Two-Level Functional Languages

    Erscheinungsjahr 2014
    Verlag: Cambridge University Press
    ISBN: 978-0-521-40384-9
    Medium: Buch
    148,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    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
    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
    Spivey | Understanding Z | Buch | Sack Fachmedien

    Spivey Understanding Z

    A Specification Language and Its Formal Semantics
    Erscheinungsjahr 2007
    Verlag: Cambridge University Press
    ISBN: 978-0-521-05414-0
    Medium: Buch
    48,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blackburn | Modal Logic | eBook | Sack Fachmedien
    E-Book

    Blackburn Modal Logic

    Erscheinungsjahr 2002
    Verlag: Cambridge University Press
    ISBN: 978-1-316-09907-0
    Medium: eBook
    Format: EPUB
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    72,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Winslett / Rijsbergen / Abramsky | Updating Logical Databases | Buch | Sack Fachmedien

    Winslett / Rijsbergen / Abramsky Updating Logical Databases

    Erscheinungsjahr 2004
    Verlag: Cambridge University Press
    ISBN: 978-0-521-61972-1
    Medium: Buch
    48,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Padawitz / Rijsbergen | Deductive and Declarative Programming | Buch | Sack Fachmedien

    Padawitz / Rijsbergen Deductive and Declarative Programming

    Erscheinungsjahr 2006
    Verlag: Cambridge University Press
    ISBN: 978-0-521-03251-3
    Medium: Buch
    60,20 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Roever / Engelhardt | Data Refinement | Buch | Sack Fachmedien

    de Roever / Engelhardt Data Refinement

    Model-Oriented Proof Methods and Their Comparison
    Erscheinungsjahr 2008
    Verlag: Cambridge University Press
    ISBN: 978-0-521-10350-3
    Medium: Buch
    72,60 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mihov | Finite-State Techniques | eBook | Sack Fachmedien
    E-Book

    Mihov Finite-State Techniques

    Automata, Transducers and Bimachines
    Erscheinungsjahr 2019
    Verlag: Cambridge University Press
    ISBN: 978-1-108-62113-7
    Medium: eBook
    Format: PDF
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    65,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Melham | Higher Order Logic and Hardware Verification | Buch | Sack Fachmedien

    Melham Higher Order Logic and Hardware Verification

    Erscheinungsjahr 2009
    Verlag: Cambridge University Press
    ISBN: 978-0-521-11532-2
    Medium: Buch
    51,30 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Roever / Boer / Hooman | Concurrency Verification | Buch | Sack Fachmedien

    Roever / Boer / Hooman Concurrency Verification

    Introduction to Compositional and Non-Compositional Methods
    Erscheinungsjahr 2011
    Verlag: Cambridge University Press
    ISBN: 978-0-521-80608-4
    Medium: Buch
    273,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Simmons | Derivation and Computation | Buch | Sack Fachmedien

    Simmons Derivation and Computation

    Erscheinungsjahr 2016
    Verlag: Cambridge University Press
    ISBN: 978-0-521-77173-3
    Medium: Buch
    164,70 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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