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“
    Hussmann | Nondeterminism in Algebraic Specifications and Algebraic Programs | Buch | Sack Fachmedien

    Hussmann Nondeterminism in Algebraic Specifications and Algebraic Programs

    1993. Auflage 1993
    Verlag: Birkhauser Boston
    ISBN: 978-0-8176-3700-2
    Medium: Buch
    99,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hussmann | Nondeterminism in Algebraic Specifications and Algebraic Programs | Buch | Sack Fachmedien

    Hussmann Nondeterminism in Algebraic Specifications and Algebraic Programs

    Softcover Nachdruck of the original 1. Auflage 1993
    Verlag: Birkhäuser Boston
    ISBN: 978-1-4684-6836-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hussmann | Nondeterminism in Algebraic Specifications and Algebraic Programs | eBook | Sack Fachmedien
    E-Book

    Hussmann Nondeterminism in Algebraic Specifications and Algebraic Programs

    1993
    Verlag: Birkhäuser Boston
    ISBN: 978-1-4684-6834-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Straubing | Finite Automata, Formal Logic, and Circuit Complexity | eBook | Sack Fachmedien
    E-Book

    Straubing Finite Automata, Formal Logic, and Circuit Complexity

    Erscheinungsjahr 2012
    Verlag: Birkhäuser Boston
    ISBN: 978-1-4612-0289-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    106,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Engeler | The Combinatory Programme | Buch | Sack Fachmedien

    Engeler The Combinatory Programme

    Softcover Nachdruck of the original 1. Auflage 1995
    Verlag: Birkhäuser Boston
    ISBN: 978-1-4612-8716-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Engeler | The Combinatory Programme | eBook | Sack Fachmedien
    E-Book

    Engeler The Combinatory Programme

    Erscheinungsjahr 2012
    Verlag: Birkhäuser Boston
    ISBN: 978-1-4612-4268-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Siegelmann | Neural Networks and Analog Computation | eBook | Sack Fachmedien
    E-Book

    Siegelmann Neural Networks and Analog Computation

    Beyond the Turing Limit
    Erscheinungsjahr 2012
    Verlag: Birkhäuser Boston
    ISBN: 978-1-4612-0707-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    149,79 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Straubing | Finite Automata, Formal Logic, and Circuit Complexity | Buch | Sack Fachmedien

    Straubing Finite Automata, Formal Logic, and Circuit Complexity

    1994
    Verlag: Birkhäuser Boston
    ISBN: 978-0-8176-3719-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    O'Hearn / Tennent | Algol-like Languages | eBook | Sack Fachmedien
    E-Book

    O'Hearn / Tennent Algol-like Languages

    Erscheinungsjahr 2013
    Verlag: Birkhäuser Boston
    ISBN: 978-1-4612-4118-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Sinclair | Algorithms for Random Generation and Counting: A Markov Chain Approach | eBook | Sack Fachmedien
    E-Book

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

    Erscheinungsjahr 2012
    Verlag: Birkhäuser Boston
    ISBN: 978-1-4612-0323-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bini / Pan | Polynomial and Matrix Computations | eBook | Sack Fachmedien
    E-Book

    Bini / Pan Polynomial and Matrix Computations

    Fundamental Algorithms
    Erscheinungsjahr 2012
    Verlag: Birkhäuser Boston
    ISBN: 978-1-4612-0265-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    149,79 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Siegelmann | Neural Networks and Analog Computation | Buch | Sack Fachmedien

    Siegelmann Neural Networks and Analog Computation

    Beyond the Turing Limit
    1999
    Verlag: Birkhäuser Boston
    ISBN: 978-0-8176-3949-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Straubing | Finite Automata, Formal Logic, and Circuit Complexity | Buch | Sack Fachmedien

    Straubing Finite Automata, Formal Logic, and Circuit Complexity

    Softcover Nachdruck of the original 1. Auflage 1994
    Verlag: Birkhäuser Boston
    ISBN: 978-1-4612-6695-2
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Prehofer | Solving Higher-Order Equations | eBook | Sack Fachmedien
    E-Book

    Prehofer Solving Higher-Order Equations

    From Logic to Programming
    Erscheinungsjahr 2012
    Verlag: Birkhäuser Boston
    ISBN: 978-1-4612-1778-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Siegelmann | Neural Networks and Analog Computation | Buch | Sack Fachmedien

    Siegelmann Neural Networks and Analog Computation

    Beyond the Turing Limit
    1999
    Verlag: Birkhäuser Boston
    ISBN: 978-1-4612-6875-8
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Breughel | Comparative Metric Semantics of Programming Languages | eBook | Sack Fachmedien
    E-Book

    Breughel Comparative Metric Semantics of Programming Languages

    Nondeterminism and Recursion
    Erscheinungsjahr 2012
    Verlag: Birkhäuser Boston
    ISBN: 978-1-4612-4160-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Engeler | The Combinatory Programme | Buch | Sack Fachmedien

    Engeler The Combinatory Programme

    1995
    Verlag: Birkhäuser Boston
    ISBN: 978-0-8176-3801-6
    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
    1995. Auflage 1994
    Verlag: Birkhauser Boston
    ISBN: 978-0-8176-3763-7
    Medium: Buch
    99,00 € (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

    Softcover Nachdruck of the original 1. Auflage 1993
    Verlag: Birkhäuser Boston
    ISBN: 978-1-4612-6707-2
    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-3936-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Prehofer | Solving Higher-Order Equations | Buch | Sack Fachmedien

    Prehofer Solving Higher-Order Equations

    From Logic to Programming
    1998
    Verlag: Birkhäuser Boston
    ISBN: 978-0-8176-4032-3
    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
    Softcover Nachdruck of the original 1. Auflage 1994
    Verlag: Birkhäuser Boston
    ISBN: 978-1-4612-6686-0
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    O'Hearn / Tennent | Algol-like Languages | eBook | Sack Fachmedien
    E-Book

    O'Hearn / Tennent Algol-like Languages

    Erscheinungsjahr 2013
    Verlag: Birkhäuser Boston
    ISBN: 978-1-4757-3851-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Prehofer | Solving Higher-Order Equations | Buch | Sack Fachmedien

    Prehofer Solving Higher-Order Equations

    From Logic to Programming
    Softcover Nachdruck of the original 1. Auflage 1998
    Verlag: Birkhäuser Boston
    ISBN: 978-1-4612-7278-6
    Medium: Buch
    106,99 € (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

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