Fachgebiet
Medium
  • 17
Erscheinungsjahr
  • 9
  • 1
  • 3
  • 4
Autoren
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
Verlag
  • 2
  • 15
Preis
  • 4
  • 13
Sprachen
  • 17
Verfügbarkeit
  • 17
Katalog
  • 17

Mathematik

17  Treffer  für „Progress in Theoretical Computer Science“


    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

    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

    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

    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

    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

    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

    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

    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

    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

    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

    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

    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

    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

    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

    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

    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

    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



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