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“
    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
    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
    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
    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
    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

    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
    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
    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
    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
    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
    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
    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 | 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 / 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
    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
    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
    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
    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
    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
    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
    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
    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
    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
    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

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