Ergebnisse filtern
Fachgebiet
Medium
  • 57
  • 1
Erscheinungsjahr
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 8
  • 5
  • 6
  • 5
  • 4
  • 2
  • 7
  • 4
  • 5
  • 2
  • 1
Autoren
  • 8
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 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
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 18
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
Verlag
  • 58
Preis
  • 2
  • 35
  • 21
Sprachen
  • 58
Verfügbarkeit
  • 57
  • 1
Katalog
  • 58
58  Treffer  für „Cambridge Tracts in Theoretical Computer Science“
    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
    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
    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
    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
    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

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

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