Liebe Besucherinnen und Besucher,

heute ab 15 Uhr feiern wir unser Sommerfest und sind daher nicht erreichbar. Ab morgen sind wir wieder wie gewohnt für Sie da. Wir bitten um Ihr Verständnis – Ihr Team von Sack Fachmedien

Ergebnisse filtern
Fachgebiet
Medium
  • 17
  • 1
Erscheinungsjahr
  • 1
  • 1
  • 2
  • 1
  • 1
  • 5
  • 3
  • 1
  • 1
  • 1
  • 1
Autoren
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 18
Preis
  • 8
  • 10
Sprachen
  • 18
Verfügbarkeit
  • 17
  • 1
Katalog
  • 18

Informatik

18  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
    136,50 € (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
    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
    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 | 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
    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
    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
    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
    53,40 € (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
    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
    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
    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
    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
    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
    140,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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