Fachgebiet
Medium
  • 43
  • 1
Erscheinungsjahr
  • 1
  • 1
  • 2
  • 3
  • 3
  • 8
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 3
  • 4
Autoren
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 2
  • 2
  • 2
  • 1
  • 1
  • 5
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 5
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
Verlag
  • 31
  • 1
  • 4
  • 1
  • 7
Preis
  • 29
  • 15
Sprachen
  • 44
Verfügbarkeit
  • 44
Katalog
  • 44
44  Treffer  für „Progress in Computer Science and Applied Logic“


    Crossley / Remmel / Shore Logical Methods

    In Honor of Anil Nerode's Sixtieth Birthday
    1993. Auflage 1994
    Verlag: Birkhauser Boston
    ISBN: 978-0-8176-3690-6
    Medium: Buch
    165,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb

    Schultz / Spivak Temporal Type Theory

    A Topos-Theoretic Approach to Systems and Behavior
    1. Auflage 2019
    Verlag: Birkhäuser
    ISBN: 978-3-030-00703-4
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Shparlinski Cryptographic Applications of Analytic Number Theory

    Complexity Lower Bounds and Pseudorandomness
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-7643-6654-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Shparlinski Cryptographic Applications of Analytic Number Theory

    Complexity Lower Bounds and Pseudorandomness
    Erscheinungsjahr 2013
    Verlag: Birkhäuser
    ISBN: 978-3-0348-9415-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    RAATZ Graph-Based Proof Procedures for Horn Clauses

    Erscheinungsjahr 1990
    Verlag: Birkhäuser
    ISBN: 978-0-8176-3530-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Knott Interpolating Cubic Splines

    Erscheinungsjahr 2012
    Verlag: Birkhäuser
    ISBN: 978-1-4612-7092-8
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    DEVROYE Lecture Notes on Bucket Algorithms

    1986
    Verlag: Birkhäuser
    ISBN: 978-0-8176-3328-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Clote / Remmel Feasible Mathematics II

    1. Auflage 2011
    Verlag: Birkhäuser
    ISBN: 978-1-4612-7582-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Polya / Tarjan / Woods Notes on Introductory Combinatorics

    1. Auflage 1983. Softcover Nachdruck 1990
    Verlag: Birkhäuser
    ISBN: 978-0-8176-3170-3
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Pittenger An Introduction to Quantum Computing Algorithms

    Erscheinungsjahr 2012
    Verlag: Birkhäuser
    ISBN: 978-1-4612-7127-7
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Pittenger An Introduction to Quantum Computing Algorithms

    2000
    Verlag: Birkhäuser
    ISBN: 978-0-8176-4127-6
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Buss / Scott Feasible Mathematics

    A Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989
    1. Auflage 1990
    Verlag: Birkhäuser
    ISBN: 978-0-8176-3483-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bronstein / Grabmeier / Weispfenning Symbolic Rewriting Techniques

    Erscheinungsjahr 2012
    Verlag: Birkhäuser
    ISBN: 978-3-0348-9779-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Clote / Remmel Feasible Mathematics II

    1995. Auflage 1994
    Verlag: Birkhauser Boston
    ISBN: 978-0-8176-3675-3
    Medium: Buch
    96,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb

    Snyder A Proof Theory for General Unification

    Erscheinungsjahr 2012
    Verlag: Birkhäuser
    ISBN: 978-1-4612-6758-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Snyder A Proof Theory for General Unification

    1. Auflage 1991
    Verlag: Birkhäuser
    ISBN: 978-0-8176-3593-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Donner Real-Time Control of Walking

    1. Auflage 1986
    Verlag: Birkhäuser
    ISBN: 978-0-8176-3332-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bunke / Dickinson / Kraetzl A Graph-Theoretic Approach to Enterprise Network Dynamics

    2007. Auflage 2006
    Verlag: Birkhauser Boston
    ISBN: 978-0-8176-4485-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb

    DERSHOWITZ The Evolution of Programs

    Erscheinungsjahr 1983
    Verlag: Birkhäuser
    ISBN: 978-0-8176-3171-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb



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