Fachgebiet
Medium
  • 3668
  • 88
  • 5
Erscheinungsjahr
  • 180
  • 308
  • 173
  • 144
  • 150
  • 144
  • 128
  • 177
  • 93
  • 92
  • 43
  • 82
  • 173
  • 347
  • 82
  • 271
  • 116
  • 94
  • 46
  • 33
  • 31
  • 31
  • 41
  • 99
  • 80
  • 67
  • 72
  • 67
  • 58
  • 65
  • 52
  • 61
  • 44
  • 30
  • 31
  • 11
  • 9
  • 6
  • 3
  • 7
  • 3
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Autoren
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 3
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 4
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 10
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 6
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 14
  • 15
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 5
  • 2
  • 15
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 10
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 3
  • 3
  • 6
  • 3
  • 6
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 3
  • 4
  • 7
  • 8
  • 9
  • 4
  • 6
  • 4
  • 3
  • 6
  • 4
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 16
  • 3
  • 3
  • 4
  • 7
  • 6
  • 4
  • 4
  • 3
  • 3
  • 8
  • 7
  • 7
  • 3
  • 3
  • 6
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 12
  • 5
  • 12
  • 6
  • 5
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 6
  • 5
  • 3
  • 10
  • 3
  • 3
  • 8
  • 8
  • 4
  • 5
  • 5
  • 4
  • 4
  • 7
  • 3
  • 3
  • 3
  • 3
  • 10
  • 3
  • 3
  • 3
  • 5
  • 7
  • 4
  • 7
  • 3
  • 4
  • 3
  • 7
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 5
  • 5
  • 3
  • 3
  • 4
  • 7
  • 5
  • 5
  • 6
  • 3
  • 3
  • 3
  • 14
  • 3
  • 4
  • 4
  • 3
  • 9
  • 3
  • 5
  • 4
  • 4
  • 6
  • 4
  • 4
  • 3
  • 3
  • 5
  • 7
  • 3
  • 8
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 12
  • 12
  • 4
  • 4
  • 13
  • 3
  • 5
  • 3
  • 6
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 12
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 13
  • 3
  • 3
  • 3
  • 3
  • 8
  • 12
  • 5
  • 4
  • 3
  • 3
  • 17
  • 4
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 3
  • 5
  • 3
  • 3
  • 6
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 5
  • 6
  • 4
  • 4
  • 4
  • 5
  • 5
  • 3
  • 8
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 4
  • 4
  • 3
  • 16
  • 3
  • 3
  • 4
  • 3
  • 13
  • 3
  • 3
  • 5
  • 6
  • 3
  • 7
  • 7
  • 3
  • 3
  • 4
  • 5
  • 6
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 5
  • 3
  • 3
  • 12
  • 3
  • 9
  • 3
  • 3
  • 6
  • 3
  • 3
  • 4
  • 7
  • 4
  • 3
  • 3
  • 3
  • 5
  • 4
  • 4
  • 3
  • 7
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
Verlag
  • 1
  • 1
  • 1
  • 1
  • 22
  • 2
  • 2
  • 8
  • 6
  • 4
  • 54
  • 2
  • 5
  • 149
  • 1
  • 2
  • 1
  • 22
  • 1
  • 37
  • 52
  • 1
  • 9
  • 9
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 4
  • 12
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 15
  • 1
  • 1
  • 3
  • 2
  • 889
  • 537
  • 680
  • 2
  • 1
  • 6
  • 4
  • 228
  • 392
  • 1
  • 119
  • 14
  • 268
  • 1
  • 16
  • 10
  • 1
  • 22
  • 17
  • 7
  • 2
  • 1
  • 1
  • 36
  • 31
  • 1
  • 1
  • 4
Preis
  • 29
  • 241
  • 1685
  • 1806
Sprachen
  • 3589
  • 169
  • 2
  • 2
Verfügbarkeit
  • 3743
  • 18
Eigenschaften
  • 1
Katalog
  • 3761
  • 292
3.761  Titel


    Pnueli / Manna The Temporal Logic of Reactive and Concurrent Systems

    Specification
    Softcover Nachdruck of the original 1. Auflage 1992
    Verlag: Springer
    ISBN: 978-1-4612-6950-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Knott Interpolating Cubic Splines

    Softcover Nachdruck of the original 1. Auflage 2000
    Verlag: Birkhäuser Boston
    ISBN: 978-1-4612-7092-8
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Martin / Levine Bounded Queries in Recursion Theory

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

    Nicholls / Torre Neural Circuits and Networks

    Proceedings of the NATO advanced Study Institute on Neuronal Circuits and Networks, held at the Ettore Majorana Center, Erice, Italy, June 15-27 1997
    Softcover Nachdruck of the original 1. Auflage 1998
    Verlag: Springer
    ISBN: 978-3-642-63801-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Zhang / Du Algorithms and Computation

    5th International Symposium, ISAAC '94, Beijing, P.R. China, August 25 - 27, 1994. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58325-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Godefroid Partial-Order Methods for the Verification of Concurrent Systems

    An Approach to the State-Explosion Problem
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60761-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Gollmann Fast Software Encryption

    Third International Workshop, Cambridge, UK, February 21 - 23, 1996. Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60865-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Reischuk / Puech STACS 96

    13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996. Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60922-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Steffen / Margaria Tools and Algorithms for the Construction and Analysis of Systems

    Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings.
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61042-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Limongelli / Calmet Design and Implementation of Symbolic Computation Systems

    International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996. Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61697-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Guessarian Semantics of Systems of Concurrent Processes

    LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990 Proceedings
    1990
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-53479-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Enjalbert / Wagner / Mayr STACS 94

    11th Annual Symposium on Theoretical Aspects of Computer Science Caen, France, February 24-26, 1994 Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57785-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Ramalingam Bounded Incremental Computation

    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61320-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Schwichtenberg / Berger Computational Logic

    Softcover Nachdruck of the original 1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-642-63670-7
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Cunningham / Queyranne / McCormick Integer Programming and Combinatorial Optimization

    5th International IPCO Conference Vancouver, British Columbia, Canada June 3-5, 1996 Proceedings
    Softcover Nachdruck of the original 1. Auflage 1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61310-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Fitzgerald / Lucas / Jones FME '97 Industrial Applications and Strengthened Foundations of Formal Methods

    4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63533-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Felty / Gunter Theorem Proving in Higher Order Logics

    10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63379-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Rolim Randomization and Approximation Techniques in Computer Science

    International Workshop RANDOM'97, Bologna, Italy, July 11-12, 1997 Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63248-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Spanier / Niederreiter Monte-Carlo and Quasi-Monte Carlo Methods 1998

    Proceedings of a Conference held at the Claremont Graduate University, Claremont, California, USA, June 22-26, 1998
    1. Auflage 1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66176-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Fisher Fractal Image Encoding and Analysis

    1998
    Verlag: Springer
    ISBN: 978-3-642-08324-2
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Klinke Data Structures for Computational Statistics

    Softcover Nachdruck of the original 1. Auflage 1997
    Verlag: Physica-Verlag HD
    ISBN: 978-3-7908-0982-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Schwenkert / Stry Mathematik kompakt

    für Ingenieure und Informatiker
    4., neu bearbeiteteund erweiterte Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-24326-4
    Medium: Buch
    32,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Parallel-Vector Equation Solvers for Finite Element Engineering Applications

    2002
    Verlag: Springer US
    ISBN: 978-1-4613-5504-5
    Medium: Buch
    171,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    Bungartz / Pflüger / Garcke Sparse Grids and Applications - Munich 2018

    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-81361-1
    Medium: Buch
    181,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb



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