Ergebnisse filtern
Fachgebiet
Medium
  • 3469
  • 86
  • 5
Erscheinungsjahr
  • 4
  • 266
  • 174
  • 147
  • 150
  • 144
  • 135
  • 182
  • 96
  • 93
  • 45
  • 81
  • 175
  • 348
  • 80
  • 268
  • 116
  • 92
  • 45
  • 33
  • 32
  • 31
  • 40
  • 99
  • 81
  • 67
  • 72
  • 66
  • 58
  • 64
  • 53
  • 61
  • 44
  • 30
  • 31
  • 11
  • 9
  • 6
  • 3
  • 7
  • 3
  • 1
  • 1
  • 4
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
Autoren
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 4
  • 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
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 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
  • 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
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 3
  • 4
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 4
  • 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
  • 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
  • 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
  • 5
  • 3
  • 2
  • 2
  • 3
  • 2
  • 12
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 14
  • 15
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 5
  • 2
  • 15
  • 2
  • 2
  • 2
  • 8
  • 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
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 7
  • 8
  • 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
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 4
  • 5
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 14
  • 3
  • 4
  • 7
  • 5
  • 4
  • 3
  • 3
  • 6
  • 7
  • 7
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 11
  • 5
  • 12
  • 6
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 9
  • 3
  • 3
  • 6
  • 6
  • 4
  • 5
  • 4
  • 4
  • 7
  • 3
  • 3
  • 3
  • 9
  • 3
  • 3
  • 5
  • 7
  • 4
  • 7
  • 3
  • 4
  • 7
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 5
  • 5
  • 3
  • 3
  • 4
  • 6
  • 5
  • 5
  • 6
  • 3
  • 3
  • 3
  • 13
  • 3
  • 4
  • 4
  • 3
  • 8
  • 3
  • 5
  • 4
  • 4
  • 6
  • 4
  • 4
  • 3
  • 3
  • 6
  • 7
  • 3
  • 3
  • 3
  • 4
  • 3
  • 11
  • 12
  • 4
  • 4
  • 14
  • 3
  • 5
  • 6
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 11
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 5
  • 12
  • 3
  • 3
  • 3
  • 3
  • 7
  • 11
  • 5
  • 4
  • 3
  • 3
  • 17
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 6
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 5
  • 6
  • 4
  • 4
  • 4
  • 5
  • 5
  • 3
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 4
  • 4
  • 16
  • 3
  • 3
  • 4
  • 3
  • 13
  • 3
  • 5
  • 6
  • 6
  • 3
  • 3
  • 4
  • 5
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 6
  • 3
  • 3
  • 3
  • 11
  • 3
  • 3
  • 9
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 8
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 5
  • 5
  • 5
  • 5
  • 9
  • 3
  • 4
  • 3
  • 6
  • 3
  • 5
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 4
Verlag
  • 1
  • 1
  • 1
  • 1
  • 19
  • 2
  • 2
  • 8
  • 6
  • 4
  • 54
  • 2
  • 5
  • 149
  • 1
  • 2
  • 1
  • 19
  • 1
  • 36
  • 46
  • 1
  • 1
  • 7
  • 8
  • 1
  • 2
  • 1
  • 1
  • 1
  • 7
  • 1
  • 3
  • 1
  • 5
  • 1
  • 1
  • 2
  • 2
  • 5
  • 1
  • 1
  • 4
  • 12
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 15
  • 1
  • 1
  • 2
  • 2
  • 884
  • 537
  • 703
  • 2
  • 1
  • 6
  • 4
  • 172
  • 226
  • 119
  • 14
  • 276
  • 1
  • 17
  • 10
  • 1
  • 21
  • 18
  • 9
  • 4
  • 1
  • 1
  • 36
  • 31
  • 1
  • 1
  • 4
Preis
  • 29
  • 234
  • 1594
  • 1703
Sprachen
  • 3389
  • 169
  • 3
Verfügbarkeit
  • 3538
  • 22
Eigenschaften
  • 1
Katalog
  • 3560
  • 291
3.560  Titel
    Emiris / Dickenstein | Solving Polynomial Equations | Buch | Sack Fachmedien

    Emiris / Dickenstein Solving Polynomial Equations

    Foundations, Algorithms, and Applications
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-24326-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gao / Lu / Seki | Developments in Language Theory | Buch | Sack Fachmedien

    Gao / Lu / Seki Developments in Language Theory

    14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010, Proceedings
    2010
    Verlag: Springer
    ISBN: 978-3-642-14454-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wechler / Kirchner | Algebraic and Logic Programming | Buch | Sack Fachmedien

    Wechler / Kirchner Algebraic and Logic Programming

    Second International Conference, Nancy, France, October 1-3, 1990. Proceedings
    1990
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-53162-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Seibt | Algorithmic Information Theory | Buch | Sack Fachmedien

    Seibt Algorithmic Information Theory

    Mathematics of Digital Information Processing
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-33218-3
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Preneel | Topics in Cryptology - CT-RSA 2002 | Buch | Sack Fachmedien

    Preneel Topics in Cryptology - CT-RSA 2002

    The Cryptographer's Track at the RSA Conference 2002, San Jose, CA, USA, February 18-22, 2002, Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43224-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jäger / Krause | High Performance Computing in Science and Engineering ¿03 | Buch | Sack Fachmedien

    Jäger / Krause High Performance Computing in Science and Engineering ¿03

    Transactions of the High Performance Computing Center Stuttgart (HLRS) 2003
    2003
    Verlag: Springer
    ISBN: 978-3-642-62486-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lingas / Karlsson | Algorithm Theory - SWAT '96 | Buch | Sack Fachmedien

    Lingas / Karlsson Algorithm Theory - SWAT '96

    5th Scandinavian Workshop on Algorithm Theory, Reykjavik, Iceland, July 1996. Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61422-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cavalcanti / Breitman | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Cavalcanti / Breitman Formal Methods and Software Engineering

    11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings
    1. Auflage. 2009
    Verlag: Springer
    ISBN: 978-3-642-10372-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Taubin / Ronfard | Image and Geometry Processing for 3-D Cinematography | Buch | Sack Fachmedien

    Taubin / Ronfard Image and Geometry Processing for 3-D Cinematography

    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-12391-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wätjen / Struckmann | Mathematik für Informatiker | Buch | Sack Fachmedien

    Wätjen / Struckmann Mathematik für Informatiker

    Grundlagen und Anwendungen
    2., überarbeitete und erweiterte Auflage 2016
    Verlag: Springer
    ISBN: 978-3-662-49869-9
    Medium: Buch
    54,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baccelli / Bremaud | Elements of Queueing Theory | Buch | Sack Fachmedien

    Baccelli / Bremaud Elements of Queueing Theory

    Palm Martingale Calculus and Stochastic Recurrences
    2. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-66088-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Michalewicz / Siarry | Advances in Metaheuristics for Hard Optimization | Buch | Sack Fachmedien

    Michalewicz / Siarry Advances in Metaheuristics for Hard Optimization

    1. Auflage. Softcover version of original hardcover Auflage 2008
    Verlag: Springer
    ISBN: 978-3-642-09206-0
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dörr | Efficient Graph Rewriting and Its Implementation | Buch | Sack Fachmedien

    Dörr Efficient Graph Rewriting and Its Implementation

    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60055-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Calmet / Pfalzgraf / Campbell | Artificial Intelligence and Symbolic Mathematical Computation | Buch | Sack Fachmedien

    Calmet / Pfalzgraf / Campbell Artificial Intelligence and Symbolic Mathematical Computation

    International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61732-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nipkow / Wenzel / Paulson | Isabelle/HOL | Buch | Sack Fachmedien

    Nipkow / Wenzel / Paulson Isabelle/HOL

    A Proof Assistant for Higher-Order Logic
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43376-7
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Frank / Köster / Lorek | META-X®-Software for Metapopulation Viability Analysis | Buch | Sack Fachmedien

    Frank / Köster / Lorek META-X®-Software for Metapopulation Viability Analysis

    Softcover Nachdruck of the original 1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-642-62906-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Salomaa / Rozenberg | Lindenmayer Systems | Buch | Sack Fachmedien

    Salomaa / Rozenberg Lindenmayer Systems

    Impacts on Theoretical Computer Science, Computer Graphics, and Developmental Biology
    Softcover Nachdruck of the original 1. Auflage 1992
    Verlag: Springer
    ISBN: 978-3-642-63474-1
    Medium: Buch
    181,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Maibaum / Abramsky | TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 | Buch | Sack Fachmedien

    Maibaum / Abramsky TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991

    Volume 1: Colloquium on Trees in Algebra and Programming (CAAP '91)
    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-53982-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baek / Lai / Bao | Provable Security | Buch | Sack Fachmedien

    Baek / Lai / Bao Provable Security

    Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-88732-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ueberhuber / Krommer | Numerical Integration | Buch | Sack Fachmedien

    Ueberhuber / Krommer Numerical Integration

    on Advanced Computer Systems
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58410-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lang | Adaptive Multilevel Solution of Nonlinear Parabolic PDE Systems | Buch | Sack Fachmedien

    Lang Adaptive Multilevel Solution of Nonlinear Parabolic PDE Systems

    Theory, Algorithm, and Applications
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-67900-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jones / Sato / Hagiya | Logic, Language and Computation | Buch | Sack Fachmedien

    Jones / Sato / Hagiya Logic, Language and Computation

    Festschrift in Honor of Satoru Takasu
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57935-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Palma / Amestoy / Correira Lopes | High Performance Computing for Computational Science - VECPAR 2008 | Buch | Sack Fachmedien

    Palma / Amestoy / Correira Lopes High Performance Computing for Computational Science - VECPAR 2008

    8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-92858-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Harrison / Aagaard | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Harrison / Aagaard Theorem Proving in Higher Order Logics

    13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-67863-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sloot / Hoekstra / Tan | Computational Science ¿ ICCS 2002 | Buch | Sack Fachmedien

    Sloot / Hoekstra / Tan Computational Science ¿ ICCS 2002

    International Conference Amsterdam, The Netherlands, April 21¿24, 2002 Proceedings, Part III
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43594-5
    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