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“
    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
    66,60 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hindley | Basic Simple Type Theory | Buch | Sack Fachmedien

    Hindley Basic Simple Type Theory

    Erscheinungsjahr 2002
    Verlag: Cambridge University Press
    ISBN: 978-0-521-46518-2
    Medium: Buch
    136,50 € (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
    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
    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
    173,40 € (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 2009
    Verlag: Cambridge University Press
    ISBN: 978-0-521-11532-2
    Medium: Buch
    54,00 € (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
    142,10 € (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 2005
    Verlag: Cambridge University Press
    ISBN: 978-0-521-01845-6
    Medium: Buch
    60,50 € (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. 3 bis 4 Wochen
    Bereits im Warenkorb
    Asperti / Guerrini | The Optimal Implementation of Functional Programming Languages | Buch | Sack Fachmedien

    Asperti / Guerrini The Optimal Implementation of Functional Programming Languages

    Erscheinungsjahr 2010
    Verlag: Cambridge University Press
    ISBN: 978-0-521-62112-0
    Medium: Buch
    118,00 € (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
    142,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Carpenter | The Logic of Typed Feature Structures | Buch | Sack Fachmedien

    Carpenter 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
    63,30 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nielson | Two-Level Functional Languages | Buch | Sack Fachmedien

    Nielson Two-Level Functional Languages

    Erscheinungsjahr 2005
    Verlag: Cambridge University Press
    ISBN: 978-0-521-01847-0
    Medium: Buch
    70,10 € (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
    40,60 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Desel / Esparza | Free Choice Petri Nets | Buch | Sack Fachmedien

    Desel / Esparza Free Choice Petri Nets

    Erscheinungsjahr 2005
    Verlag: Cambridge University Press
    ISBN: 978-0-521-01945-3
    Medium: Buch
    55,50 € (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 2007
    Verlag: Cambridge University Press
    ISBN: 978-0-521-64170-8
    Medium: Buch
    163,60 € (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
    106,40 € (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 | Updating Logical Databases | Buch | Sack Fachmedien

    Winslett Updating Logical Databases

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

    Padawitz 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
    76,60 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    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
    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

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