Ergebnisse filtern
Fachgebiet
Medium
  • 36
  • 20
Erscheinungsjahr
  • 6
  • 28
  • 5
  • 1
  • 3
  • 3
  • 4
  • 4
  • 2
Autoren
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 7
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 7
  • 3
  • 2
  • 3
Verlag
  • 14
  • 2
  • 40
Preis
  • 24
  • 32
Sprachen
  • 56
Verfügbarkeit
  • 56
Katalog
  • 56
56  Treffer  für „Progress in Theoretical Computer Science“
    DiCosmo | Isomorphisms of Types | Buch | Sack Fachmedien

    DiCosmo Isomorphisms of Types

    From ?-Calculus to Information Retrieval and Language Design
    Softcover Nachdruck of the Original 1. 1995 Auflage 2011
    Verlag: Birkhauser Boston
    ISBN: 978-1-4612-7585-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhang | Logic of Domains | Buch | Sack Fachmedien

    Zhang Logic of Domains

    1991
    Verlag: Birkhäuser Boston
    ISBN: 978-0-8176-3570-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bachmair | Canonical Equational Proofs | Buch | Sack Fachmedien

    Bachmair Canonical Equational Proofs

    Erscheinungsjahr 1991
    Verlag: Birkhäuser
    ISBN: 978-0-8176-3555-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bradfield | Verifying Temporal Properties of Systems | eBook | Sack Fachmedien
    E-Book

    Bradfield Verifying Temporal Properties of Systems

    Erscheinungsjahr 2013
    Verlag: Birkhäuser Boston
    ISBN: 978-1-4684-6819-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    O'Hearn / Tennent | Algol-like Languages | Buch | Sack Fachmedien

    O'Hearn / Tennent Algol-like Languages

    1. Auflage 2011
    Verlag: Birkhäuser
    ISBN: 978-1-4612-8661-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Curien | Categorical Combinators, Sequential Algorithms, and Functional Programming | Buch | Sack Fachmedien

    Curien Categorical Combinators, Sequential Algorithms, and Functional Programming

    1. Auflage 2012
    Verlag: Birkhäuser
    ISBN: 978-1-4612-6704-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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