Fachgebiet
Medium
  • 3469
  • 86
  • 5
Erscheinungsjahr
  • 4
  • 266
  • 173
  • 148
  • 149
  • 145
  • 134
  • 183
  • 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
  • 9
  • 1
  • 3
  • 1
  • 5
  • 1
  • 1
  • 2
  • 2
  • 5
  • 1
  • 1
  • 4
  • 10
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 15
  • 1
  • 1
  • 2
  • 2
  • 884
  • 537
  • 704
  • 2
  • 1
  • 6
  • 4
  • 172
  • 225
  • 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
  • 3536
  • 24
Eigenschaften
  • 1
Katalog
  • 3560
  • 291
3.560  Titel


    Slind / Gopalakrishnan / Bunker Theorem Proving in Higher Order Logics

    17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-23017-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Nivat / Scollo / Rattray Algebraic Methodology and Software Technology (AMAST¿93)

    Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands 21¿25 June 1993
    Softcover Nachdruck of the original 1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-19852-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Möller / Russell / Hamann Mathematical Foundations of Scientific Visualization, Computer Graphics, and Massive Data Exploration

    Softcover Nachdruck of hardcover 1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-06414-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Romijn / van de Pol / Smith Integrated Formal Methods

    5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-30492-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Doberkat Stochastic Coalgebraic Logic

    2009
    Verlag: Springer
    ISBN: 978-3-642-02994-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kreveld / Widmayer / Nievergelt Algorithmic Foundations of Geographic Information Systems

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

    Möller Mathematics of Program Construction

    Third International Conference, MPC '95, Kloster Irsee, Germany, July 17 - 21, 1995. Proceedings
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60117-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Ganzha / Vorozhtsov / Mayr Computer Algebra in Scientific Computing

    8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-28966-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Ehrig / Preuß / Herrlich Categorical Methods in Computer Science

    With Aspects from Topology
    1989
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-51722-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Weihrauch Computable Analysis

    An Introduction
    Softcover Nachdruck of the original 1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-642-63102-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Gibbons / Davies Integrated Formal Methods

    6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-73209-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Welschenbach Kryptographie in C und C++

    Zahlentheoretische Grundlagen, Computer-Arithmetik mit großen Zahlen, kryptographische Tools
    2. Auflage 2001. Softcover Nachdruck of the original 2. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-642-62646-3
    Medium: Buch
    49,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Dracopoulos Evolutionary Learning Algorithms for Neural Adaptive Control

    phe05
    Verlag: Springer
    ISBN: 978-3-540-76161-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Cyre / Tepfenhart Conceptual Structures: Standards and Practices

    7th International Conference on Conceptual Structures, ICCS'99, Blacksburg, VA, USA, July 12-15, 1999, Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66223-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kagström / Wasniewski / Elmroth Applied Parallel Computing

    State of the Art in Scientific Computing. 8th International Workshop, PARA 2006, Umea, Sweden, June 18-21, 2006, Revised Selected Papers
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-75754-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Müller / Shikhman Mathematical Foundations of Big Data Analytics

    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-662-62520-0
    Medium: Buch
    37,44 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Micciancio Theory of Cryptography

    7th Theory of Cryptography Conference, TCC 2010, Zurich, Switzerland, February 9-11, 2010, Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-11798-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Dorigo / Birattari / Blum Ant Colony Optimization and Swarm Intelligence

    6th International Conference, ANTS 2008, Brussels, Belgium, September 22-24, 2008, Proceedings
    2008
    Verlag: Springer
    ISBN: 978-3-540-87526-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Szalas / Penczek Mathematical Foundations of Computer Science 1996

    21st International Symposium, MFCS' 96, Crakow, Poland, September 2 - 6, 1996. Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61550-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Ehrig / Rozenberg / Kreowski Graph Grammars and Their Application to Computer Science

    4th International Workshop, Bremen, Germany, March 5-9, 1990. Proceedings
    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-54478-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Farach-Colton Combinatorial Pattern Matching

    9th Annual Symposium, CPM'98, Piscataway, New Jersey, USA, July 20-22, 1998, Proceedings
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64739-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Spears Evolutionary Algorithms

    The Role of Mutation and Recombination
    2000
    Verlag: Springer
    ISBN: 978-3-540-66950-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bárány / Sali / Katona Building Bridges II

    Mathematics of László Lovász
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-662-59206-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Henderson-Sellers On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages

    2012
    Verlag: Springer
    ISBN: 978-3-642-29824-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Miglioli / Ornaghi / Moscato Theorem Proving with Analytic Tableaux and Related Methods

    5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61208-7
    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