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“
    Bachmair | Canonical Equational Proofs | Buch | Sack Fachmedien

    Bachmair Canonical Equational Proofs

    Softcover Nachdruck of the original 1. Auflage 1991
    Verlag: Birkhäuser Boston
    ISBN: 978-0-8176-3555-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tennent / O'Hearn | Algol-like Languages | Buch | Sack Fachmedien

    Tennent / O'Hearn Algol-like Languages

    Softcover Nachdruck of the original 1. Auflage 1997
    Verlag: Birkhäuser Boston
    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

    Softcover Nachdruck of the original 1. Auflage 1993
    Verlag: Birkhäuser Boston
    ISBN: 978-1-4612-6704-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kobler / Toran / Schöning | The Graph Isomorphism Problem | Buch | Sack Fachmedien

    Kobler / Toran / Schöning The Graph Isomorphism Problem

    Its Structural Complexity
    1993
    Verlag: Birkhäuser Boston
    ISBN: 978-0-8176-3680-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tennent / O'Hearn | Algol-like Languages | Buch | Sack Fachmedien

    Tennent / O'Hearn Algol-like Languages

    1996
    Verlag: Birkhäuser Boston
    ISBN: 978-0-8176-3880-1
    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
    Softcover Nachdruck of the original 1. Auflage 1994
    Verlag: Birkhäuser Boston
    ISBN: 978-1-4612-6680-8
    Medium: Buch
    106,99 € (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
    Tennent / O'Hearn | Algol-like Languages | Buch | Sack Fachmedien

    Tennent / O'Hearn Algol-like Languages

    1997
    Verlag: Birkhäuser Boston
    ISBN: 978-0-8176-3937-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhang | Logic of Domains | Buch | Sack Fachmedien

    Zhang Logic of Domains

    Softcover Nachdruck of the original 1. Auflage 1991
    Verlag: Birkhäuser Boston
    ISBN: 978-1-4612-6763-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    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
    Breughel | Comparative Metric Semantics of Programming Languages | Buch | Sack Fachmedien

    Breughel Comparative Metric Semantics of Programming Languages

    Nondeterminism and Recursion
    1998
    Verlag: Birkhäuser Boston
    ISBN: 978-0-8176-3927-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Castagna | Object-Oriented Programming A Unified Foundation | Buch | Sack Fachmedien

    Castagna Object-Oriented Programming A Unified Foundation

    1997
    Verlag: Birkhäuser Boston
    ISBN: 978-0-8176-3905-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Castagna | Object-Oriented Programming A Unified Foundation | Buch | Sack Fachmedien

    Castagna Object-Oriented Programming A Unified Foundation

    1997
    Verlag: Birkhäuser Boston
    ISBN: 978-1-4612-8670-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sinclair | Algorithms for Random Generation and Counting: A Markov Chain Approach | Buch | Sack Fachmedien

    Sinclair Algorithms for Random Generation and Counting: A Markov Chain Approach

    1993
    Verlag: Birkhäuser Boston
    ISBN: 978-0-8176-3658-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pan / Bini | Polynomial and Matrix Computations | Buch | Sack Fachmedien

    Pan / Bini Polynomial and Matrix Computations

    Fundamental Algorithms
    1994
    Verlag: Birkhäuser Boston
    ISBN: 978-0-8176-3786-6
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Royer / Case | Subrecursive Programming Systems | eBook | Sack Fachmedien
    E-Book

    Royer / Case Subrecursive Programming Systems

    Complexity & Succinctness
    Erscheinungsjahr 2012
    Verlag: Birkhäuser Boston
    ISBN: 978-1-4612-0249-3
    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 | eBook | Sack Fachmedien
    E-Book

    Curien Categorical Combinators, Sequential Algorithms, and Functional Programming

    Erscheinungsjahr 2012
    Verlag: Birkhäuser Boston
    ISBN: 978-1-4612-0317-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Streicher | Semantics of Type Theory | eBook | Sack Fachmedien
    E-Book

    Streicher Semantics of Type Theory

    Correctness, Completeness and Independence Results
    Erscheinungsjahr 2012
    Verlag: Birkhäuser Boston
    ISBN: 978-1-4612-0433-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    90,94 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Ko | Complexity Theory of Real Functions | eBook | Sack Fachmedien
    E-Book

    Ko Complexity Theory of Real Functions

    Erscheinungsjahr 2012
    Verlag: Birkhäuser Boston
    ISBN: 978-1-4684-6802-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    90,94 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Kobler / Toran / Schöning | The Graph Isomorphism Problem | Buch | Sack Fachmedien

    Kobler / Toran / Schöning The Graph Isomorphism Problem

    Its Structural Complexity
    Softcover Nachdruck of the original 1. Auflage 1993
    Verlag: Birkhäuser Boston
    ISBN: 978-1-4612-6712-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Breughel | Comparative Metric Semantics of Programming Languages | Buch | Sack Fachmedien

    Breughel Comparative Metric Semantics of Programming Languages

    Nondeterminism and Recursion
    1998
    Verlag: Birkhäuser Boston
    ISBN: 978-1-4612-8680-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tennent / O'Hearn | Algol-like Languages | Buch | Sack Fachmedien

    Tennent / O'Hearn Algol-like Languages

    1997
    Verlag: Birkhäuser Boston
    ISBN: 978-1-4757-3853-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ko | Complexity Theory of Real Functions | Buch | Sack Fachmedien

    Ko Complexity Theory of Real Functions

    Softcover Nachdruck of the original 1. Auflage 1991
    Verlag: Birkhäuser Boston
    ISBN: 978-1-4684-6804-5
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bradfield | Verifying Temporal Properties of Systems | Buch | Sack Fachmedien

    Bradfield Verifying Temporal Properties of Systems

    Softcover Nachdruck of the original 1. Auflage 1992
    Verlag: Birkhäuser Boston
    ISBN: 978-1-4684-6821-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Streicher | Semantics of Type Theory | Buch | Sack Fachmedien

    Streicher Semantics of Type Theory

    Correctness, Completeness and Independence Results
    Softcover Nachdruck of the original 1. Auflage 1991
    Verlag: Birkhäuser Boston
    ISBN: 978-1-4612-6757-7
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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