Ergebnisse filtern
Fachgebiet
Medium
  • 61
  • 1
Erscheinungsjahr
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 8
  • 6
  • 6
  • 5
  • 4
  • 2
  • 8
  • 6
  • 5
  • 2
  • 1
Autoren
  • 11
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 21
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
Verlag
  • 62
Preis
  • 3
  • 37
  • 22
Sprachen
  • 62
Verfügbarkeit
  • 61
  • 1
Katalog
  • 62

Mathematik | Informatik

62  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. 3 bis 4 Wochen
    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
    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
    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 / Tucker | Theoretical Foundations of VLSI Design | Buch | Sack Fachmedien

    McEvoy / 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
    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
    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
    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
    Vickers | Topology Via Logic | Buch | Sack Fachmedien

    Vickers 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
    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
    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
    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
    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
    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
    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
    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
    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
    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
    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
    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
    200,50 € (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

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