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
62  Treffer  für „Cambridge Tracts in Theoretical Computer Science“
    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
    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
    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
    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
    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
    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
    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
    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
    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