Ergebnisse filtern
Fachgebiet
Medium
  • 37
  • 20
Erscheinungsjahr
  • 6
  • 28
  • 5
  • 1
  • 3
  • 3
  • 5
  • 4
  • 2
Autoren
  • 3
  • 3
  • 2
  • 3
  • 1
  • 1
  • 1
  • 2
  • 3
  • 3
  • 2
  • 1
  • 2
  • 1
  • 3
  • 3
  • 3
  • 2
  • 3
  • 3
  • 7
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 2
  • 7
  • 3
  • 3
  • 3
Verlag
  • 3
  • 54
Preis
  • 25
  • 32
Sprachen
  • 57
Verfügbarkeit
  • 57
Katalog
  • 57
57  Treffer  für „Progress in Theoretical Computer Science“
    Zhang | Logic of Domains | eBook | Sack Fachmedien
    E-Book

    Zhang Logic of Domains

    Erscheinungsjahr 2012
    Verlag: Birkhäuser Boston
    ISBN: 978-1-4612-0445-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bachmair | Canonical Equational Proofs | eBook | Sack Fachmedien
    E-Book

    Bachmair Canonical Equational Proofs

    Erscheinungsjahr 2013
    Verlag: Birkhäuser Boston
    ISBN: 978-1-4684-7118-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Castagna | Object-Oriented Programming A Unified Foundation | eBook | Sack Fachmedien
    E-Book

    Castagna Object-Oriented Programming A Unified Foundation

    Erscheinungsjahr 2012
    Verlag: Birkhäuser Boston
    ISBN: 978-1-4612-4138-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Kobler / Schöning / Toran | The Graph Isomorphism Problem | eBook | Sack Fachmedien
    E-Book

    Kobler / Schöning / Toran The Graph Isomorphism Problem

    Its Structural Complexity
    Erscheinungsjahr 2012
    Verlag: Birkhäuser Boston
    ISBN: 978-1-4612-0333-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Curien | Categorical Combinators, Sequential Algorithms, and Functional Programming | Buch | Sack Fachmedien

    Curien Categorical Combinators, Sequential Algorithms, and Functional Programming

    1993
    Verlag: Birkhäuser Boston
    ISBN: 978-0-8176-3654-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Case / Royer | Subrecursive Programming Systems | Buch | Sack Fachmedien

    Case / Royer Subrecursive Programming Systems

    Complexity & Succinctness
    1994
    Verlag: Birkhäuser Boston
    ISBN: 978-0-8176-3767-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    DiCosmo | Isomorphisms of Types | eBook | Sack Fachmedien
    E-Book

    DiCosmo Isomorphisms of Types

    from ?-calculus to information retrieval and language design
    Erscheinungsjahr 2012
    Verlag: Birkhäuser Boston
    ISBN: 978-1-4612-2572-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

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