Ergebnisse filtern
Fachgebiet
Medium
  • 22
  • 1
Erscheinungsjahr
  • 1
  • 2
  • 2
  • 3
  • 2
  • 1
  • 3
  • 4
  • 3
  • 2
Autoren
  • 4
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 10
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 23
Preis
  • 15
  • 8
Sprachen
  • 23
Verfügbarkeit
  • 23
Katalog
  • 23

Mathematik

23  Treffer  für „Cambridge Tracts in Theoretical Computer Science“
    Meyer / Hoek | Epistemic Logic for AI and Computer Science | Buch | Sack Fachmedien

    Meyer / Hoek Epistemic Logic for AI and Computer Science

    Erscheinungsjahr 2004
    Verlag: Cambridge University Press
    ISBN: 978-0-521-60280-8
    Medium: Buch
    80,10 € (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
    Barwise / Seligman / Rijsbergen | Information Flow | Buch | Sack Fachmedien

    Barwise / Seligman / Rijsbergen Information Flow

    The Logic of Distributed Systems
    Erscheinungsjahr 2007
    Verlag: Cambridge University Press
    ISBN: 978-0-521-58386-2
    Medium: Buch
    89,60 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vickers | Topology Via Logic | Buch | Sack Fachmedien

    Vickers Topology Via Logic

    Erscheinungsjahr 2003
    Verlag: Cambridge University Press
    ISBN: 978-0-521-57651-2
    Medium: Buch
    73,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barwise / Seligman | Information Flow | Buch | Sack Fachmedien

    Barwise / Seligman Information Flow

    The Logic of Distributed Systems
    Erscheinungsjahr 2008
    Verlag: Cambridge University Press
    ISBN: 978-0-521-07099-7
    Medium: Buch
    72,90 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stoltenberg-Hansen / Lindstrom / Lindström | Mathematical Theory of Domains | Buch | Sack Fachmedien

    Stoltenberg-Hansen / Lindstrom / Lindström Mathematical Theory of Domains

    Erscheinungsjahr 2008
    Verlag: Cambridge University Press
    ISBN: 978-0-521-06479-8
    Medium: Buch
    83,10 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Manes / Rijsbergen | Predicate Transformer Semantics | Buch | Sack Fachmedien

    Manes / Rijsbergen Predicate Transformer Semantics

    Erscheinungsjahr 2004
    Verlag: Cambridge University Press
    ISBN: 978-0-521-61610-2
    Medium: Buch
    71,20 € (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
    Baeten / Rijsbergen / Abramsky | Applications of Process Algebra | Buch | Sack Fachmedien

    Baeten / Rijsbergen / Abramsky Applications of Process Algebra

    Erscheinungsjahr 2004
    Verlag: Cambridge University Press
    ISBN: 978-0-521-60750-6
    Medium: Buch
    116,10 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Amadio / Curien | Domains and Lambda-Calculi | Buch | Sack Fachmedien

    Amadio / Curien Domains and Lambda-Calculi

    Erscheinungsjahr 2008
    Verlag: Cambridge University Press
    ISBN: 978-0-521-06292-3
    Medium: Buch
    75,60 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    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
    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
    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
    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
    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
    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
    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
    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
    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
    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
    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