Fachgebiet
Medium
  • 9631
  • 1630
  • 29
  • 12
Erscheinungsjahr
  • 8
  • 246
  • 1149
  • 1228
  • 567
  • 418
  • 352
  • 390
  • 369
  • 425
  • 322
  • 435
  • 297
  • 442
  • 408
  • 514
  • 250
  • 517
  • 238
  • 253
  • 261
  • 223
  • 256
  • 222
  • 222
  • 181
  • 161
  • 119
  • 107
  • 98
  • 84
  • 81
  • 71
  • 63
  • 68
  • 38
  • 56
  • 35
  • 24
  • 14
  • 13
  • 7
  • 7
  • 4
  • 6
  • 6
  • 1
  • 3
  • 4
  • 1
  • 2
  • 1
  • 2
  • 1
Autoren
  • 6
  • 5
  • 4
  • 4
  • 3
  • 3
  • 4
  • 8
  • 14
  • 3
  • 3
  • 4
  • 9
  • 10
  • 3
  • 4
  • 4
  • 10
  • 4
  • 3
  • 9
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 10
  • 3
  • 5
  • 3
  • 3
  • 6
  • 4
  • 4
  • 4
  • 3
  • 8
  • 4
  • 5
  • 7
  • 4
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 6
  • 4
  • 3
  • 5
  • 4
  • 3
  • 3
  • 7
  • 4
  • 4
  • 3
  • 3
  • 7
  • 8
  • 5
  • 10
  • 3
  • 7
  • 3
  • 4
  • 3
  • 4
  • 4
  • 5
  • 3
  • 9
  • 23
  • 3
  • 15
  • 5
  • 6
  • 7
  • 4
  • 4
  • 3
  • 4
  • 6
  • 9
  • 4
  • 4
  • 6
  • 4
  • 4
  • 7
  • 3
  • 3
  • 8
  • 4
  • 4
  • 3
  • 3
  • 5
  • 3
  • 6
  • 3
  • 3
  • 4
  • 4
  • 4
  • 6
  • 4
  • 3
  • 4
  • 22
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 7
  • 3
  • 7
  • 4
  • 3
  • 6
  • 3
  • 3
  • 4
  • 12
  • 8
  • 4
  • 4
  • 4
  • 4
  • 3
  • 5
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 6
  • 3
  • 4
  • 11
  • 3
  • 3
  • 4
  • 9
  • 3
  • 3
  • 5
  • 20
  • 3
  • 4
  • 4
  • 13
  • 3
  • 3
  • 3
  • 4
  • 6
  • 3
  • 16
  • 3
  • 4
  • 16
  • 7
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 8
  • 3
  • 3
  • 3
  • 9
  • 4
  • 3
  • 3
  • 10
  • 18
  • 4
  • 7
  • 16
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 7
  • 8
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 12
  • 7
  • 5
  • 3
  • 3
  • 3
  • 11
  • 7
  • 3
  • 6
  • 5
  • 12
  • 5
  • 3
  • 4
  • 13
  • 9
  • 4
  • 4
  • 9
  • 3
  • 3
  • 8
  • 4
  • 3
  • 3
  • 3
  • 3
  • 19
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 6
  • 6
  • 4
  • 3
  • 6
  • 3
  • 33
  • 4
  • 3
  • 8
  • 3
  • 5
  • 3
  • 4
  • 3
  • 7
  • 7
  • 4
  • 3
  • 5
  • 3
  • 6
  • 8
  • 4
  • 3
  • 3
  • 6
  • 3
  • 5
  • 3
  • 5
  • 7
  • 3
  • 6
  • 4
  • 8
  • 6
  • 5
  • 14
  • 3
  • 8
  • 4
  • 4
  • 12
  • 3
  • 4
  • 7
  • 5
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 9
  • 6
  • 3
  • 3
  • 8
  • 3
  • 9
  • 3
  • 4
  • 12
  • 4
  • 6
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 4
  • 6
  • 3
  • 5
  • 3
  • 3
  • 10
  • 4
  • 4
  • 4
  • 4
  • 4
  • 7
  • 4
  • 3
  • 6
  • 6
  • 3
  • 4
  • 3
  • 4
  • 7
  • 7
  • 3
  • 3
  • 3
  • 5
  • 3
  • 9
  • 5
  • 3
  • 3
  • 5
  • 5
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 5
  • 8
  • 6
  • 3
  • 6
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 3
  • 5
  • 15
  • 5
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 13
  • 5
  • 7
  • 3
  • 10
  • 4
  • 3
  • 8
  • 10
  • 7
  • 3
  • 7
  • 3
  • 3
  • 4
  • 9
  • 3
  • 3
  • 3
  • 5
  • 7
  • 14
  • 4
  • 3
  • 17
  • 3
  • 5
  • 3
  • 4
  • 5
  • 6
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 10
  • 3
  • 4
  • 4
  • 3
  • 5
  • 4
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 5
  • 6
  • 3
  • 3
  • 5
  • 9
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 5
  • 28
  • 23
  • 3
  • 4
  • 3
  • 4
  • 4
  • 8
  • 3
  • 4
  • 4
  • 6
  • 10
  • 5
  • 9
  • 13
  • 4
  • 5
  • 18
  • 6
  • 5
  • 4
  • 17
  • 5
  • 4
  • 16
  • 5
  • 11
  • 7
  • 6
  • 4
  • 4
  • 7
  • 10
  • 6
  • 6
  • 4
  • 4
  • 5
  • 25
  • 7
  • 5
  • 9
  • 4
  • 8
  • 4
  • 7
  • 4
  • 9
  • 7
  • 8
  • 8
  • 4
  • 38
  • 4
  • 6
  • 10
  • 7
  • 15
  • 4
  • 5
  • 5
  • 9
  • 4
  • 5
  • 13
  • 4
  • 5
  • 5
  • 6
  • 4
  • 4
  • 5
  • 7
  • 12
  • 5
  • 6
  • 5
  • 18
  • 4
  • 4
  • 4
  • 8
  • 4
  • 10
  • 6
  • 6
  • 8
  • 8
  • 5
  • 6
  • 4
  • 5
  • 6
  • 8
  • 8
  • 8
  • 4
  • 6
  • 4
  • 5
  • 10
  • 9
  • 5
  • 4
  • 8
  • 7
  • 10
  • 10
  • 4
  • 8
  • 10
  • 5
  • 9
  • 9
  • 4
  • 9
  • 5
  • 5
  • 4
  • 7
  • 4
  • 6
  • 19
  • 5
  • 4
  • 4
  • 6
  • 4
  • 11
  • 5
  • 4
  • 7
  • 5
  • 6
  • 6
  • 5
  • 4
  • 9
  • 4
  • 6
  • 4
  • 4
  • 7
  • 4
  • 4
  • 4
  • 4
  • 8
  • 8
  • 7
  • 8
  • 15
  • 5
  • 5
  • 10
  • 8
  • 6
  • 9
  • 4
  • 7
  • 6
  • 7
  • 4
  • 10
  • 7
  • 11
  • 5
  • 8
  • 12
  • 9
  • 7
  • 63
  • 4
  • 14
  • 4
  • 4
  • 7
  • 5
  • 9
  • 9
  • 5
  • 6
  • 6
  • 4
  • 12
  • 12
  • 18
  • 6
  • 16
  • 4
  • 6
  • 11
  • 6
  • 4
  • 24
  • 6
  • 7
  • 7
  • 5
  • 10
  • 12
  • 32
  • 4
  • 5
  • 4
  • 4
  • 6
  • 6
  • 9
  • 4
  • 7
  • 10
  • 15
  • 7
  • 4
  • 6
  • 6
  • 4
  • 6
  • 4
  • 21
  • 27
  • 5
  • 4
  • 4
  • 4
  • 20
  • 11
  • 4
  • 6
  • 4
  • 8
  • 5
  • 4
  • 5
  • 7
  • 7
  • 4
  • 13
  • 7
  • 12
  • 11
  • 28
  • 10
  • 6
  • 4
  • 7
  • 5
  • 4
  • 4
  • 4
  • 4
  • 5
  • 4
  • 6
  • 7
  • 4
  • 5
  • 9
  • 4
  • 4
  • 6
  • 8
  • 7
  • 5
  • 13
  • 6
  • 7
  • 4
  • 7
  • 4
  • 6
  • 7
  • 6
  • 9
  • 4
  • 4
  • 6
  • 7
  • 4
  • 5
  • 4
  • 21
  • 17
  • 4
  • 4
  • 8
  • 5
  • 7
  • 5
  • 8
  • 6
  • 6
  • 9
  • 5
  • 8
  • 8
  • 7
  • 10
  • 4
  • 10
  • 5
  • 4
  • 8
  • 5
  • 5
  • 14
  • 4
  • 6
  • 7
  • 4
  • 4
  • 11
  • 10
  • 6
  • 6
  • 9
  • 4
  • 18
  • 13
  • 5
  • 4
  • 10
  • 5
  • 4
  • 5
  • 8
  • 7
  • 4
  • 5
  • 6
  • 10
  • 4
  • 7
  • 4
  • 8
  • 5
  • 4
  • 7
  • 8
  • 4
  • 4
  • 7
  • 5
  • 23
  • 6
  • 9
  • 5
  • 4
  • 4
  • 7
  • 15
  • 5
  • 4
  • 4
  • 4
  • 24
  • 6
  • 8
  • 4
  • 7
  • 4
  • 5
  • 4
  • 7
  • 6
  • 4
  • 10
  • 9
  • 4
  • 4
  • 5
  • 5
  • 4
  • 4
  • 10
  • 12
  • 5
  • 7
  • 5
  • 4
  • 4
  • 4
  • 6
  • 16
  • 6
  • 4
  • 4
  • 4
  • 36
  • 45
  • 12
  • 4
  • 6
  • 9
  • 12
  • 22
  • 10
  • 8
  • 5
  • 9
  • 9
  • 13
  • 6
  • 4
  • 4
  • 5
  • 5
  • 12
  • 7
  • 42
  • 5
  • 5
  • 5
  • 8
  • 4
  • 4
  • 5
  • 9
  • 20
  • 7
  • 5
  • 5
  • 8
  • 32
  • 4
  • 6
  • 5
  • 8
  • 10
  • 4
  • 9
  • 10
  • 10
  • 6
  • 10
  • 4
  • 8
  • 4
  • 7
  • 4
  • 6
  • 11
  • 6
  • 8
  • 6
  • 6
  • 10
  • 4
  • 4
  • 7
  • 4
  • 9
  • 9
  • 14
  • 11
  • 6
  • 11
  • 13
  • 4
  • 7
  • 9
  • 8
  • 7
  • 12
  • 4
  • 7
  • 4
  • 5
  • 6
  • 4
  • 11
  • 4
  • 4
  • 4
  • 4
  • 4
  • 5
  • 5
  • 16
  • 14
  • 5
  • 12
  • 4
  • 8
  • 19
  • 4
  • 6
  • 12
  • 18
  • 5
  • 9
  • 6
  • 4
  • 7
  • 4
  • 9
  • 7
  • 7
  • 18
  • 6
  • 12
  • 4
  • 4
  • 12
  • 5
  • 5
  • 5
  • 9
  • 4
  • 6
  • 21
  • 4
  • 7
  • 4
  • 4
  • 10
  • 7
  • 4
  • 4
  • 6
  • 7
  • 8
  • 7
Verlag
  • 2
  • 3
  • 5
  • 4
  • 1
  • 3
  • 1
  • 51
  • 7
  • 463
  • 3
  • 3
  • 18
  • 3
  • 8
  • 3
  • 285
  • 2
  • 22
  • 2
  • 1
  • 3
  • 3
  • 3
  • 73
  • 1
  • 94
  • 218
  • 4
  • 499
  • 1318
  • 15
  • 1
  • 1
  • 1
  • 56
  • 101
  • 1
  • 3
  • 1
  • 1
  • 34
  • 4
  • 2
  • 56
  • 30
  • 1
  • 1
  • 25
  • 1
  • 4
  • 3
  • 14
  • 5
  • 38
  • 4
  • 2
  • 1
  • 6
  • 1
  • 1
  • 3
  • 25
  • 1
  • 1
  • 4
  • 1
  • 1
  • 31
  • 1
  • 1
  • 1
  • 16
  • 50
  • 5
  • 3
  • 2
  • 16
  • 2
  • 6
  • 1
  • 1
  • 18
  • 2
  • 1
  • 11
  • 4
  • 1
  • 5
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 11
  • 1
  • 3
  • 28
  • 2
  • 1
  • 2
  • 8
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 15
  • 1
  • 4
  • 28
  • 22
  • 3
  • 37
  • 1
  • 1
  • 1
  • 1
  • 2
  • 16
  • 1
  • 6134
  • 45
  • 27
  • 1
  • 1
  • 1
  • 2
  • 10
  • 4
  • 1
  • 41
  • 1
  • 127
  • 104
  • 5
  • 22
  • 1
  • 294
  • 37
  • 129
  • 6
  • 1
  • 24
  • 6
  • 1
  • 4
  • 1
  • 86
  • 1
  • 5
  • 2
  • 164
  • 3
  • 10
  • 1
  • 24
  • 22
  • 1
  • 1
  • 2
  • 2
Preis
  • 430
  • 1969
  • 5337
  • 3566
Sprachen
  • 10360
  • 953
  • 2
Verfügbarkeit
  • 11156
  • 146
Eigenschaften
  • 9
  • 4
Katalog
  • 11302
  • 1763
11.302  Titel


    Hoffmann / Krieg-Brückner Program Development by Specification and Transformation

    The PROSPECTRA Methodology, Language Family, and System
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-56733-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Gelenbe / Lent / Sakellari Computer and Information Sciences

    Proceedings of the 25th International Symposium on Computer and Information Sciences
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-94-007-3320-6
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Biere / Bloem Computer Aided Verification

    26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-08866-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Suh Artificial Intelligence for Design and Process Science

    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-031-67888-2
    Medium: Buch
    192,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Gorlatch / Rabhi Patterns and Skeletons for Parallel and Distributed Computing

    Softcover Nachdruck of the original 1. Auflage 2003
    Verlag: Springer
    ISBN: 978-1-85233-506-9
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Staron Automotive Software Architectures

    An Introduction
    2. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-65938-7
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Collazos Java Software Development with Event B

    A Practical Guide
    Erscheinungsjahr 2020
    Verlag: Springer
    ISBN: 978-3-031-01422-2
    Medium: Buch
    29,95 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bergé / Levia / Rouillard Hardware/Software Co-Design and Co-Verification

    1. Auflage. Softcover version of original hardcover Auflage 1997
    Verlag: Springer
    ISBN: 978-1-4419-5159-5
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Wagner / Wattenhofer Algorithms for Sensor and Ad Hoc Networks

    Advanced Lectures
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74990-5
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Lee Software Engineering Research, Management and Applications

    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-11264-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Srivas / Camilleri Formal Methods in Computer-Aided Design

    First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61937-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Wotawa / Nica / Kushik Testing Software and Systems

    28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-47442-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Lee Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing

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

    Rival Static Analysis

    23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-662-53412-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bitsch / Guiochet / Kaâniche Computer Safety, Reliability, and Security

    32nd International Conference, SAFECOMP 2013, Toulouse, France, September 14-27, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-40792-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Franco / de Mulatier / Paszynski Computational Science - ICCS 2024

    24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part II
    2024
    Verlag: Springer
    ISBN: 978-3-031-63753-7
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Cellier / Sarjoughian Discrete Event Modeling and Simulation Technologies

    A Tapestry of Systems and AI-Based Theories and Methodologies
    Softcover Nachdruck of hardcover 1. Auflage 2001
    Verlag: Springer
    ISBN: 978-1-4419-2868-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Broy Program Design Calculi

    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-56943-5
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Michael-Grigoriou / Zachmann / Kopper Virtual Reality and Mixed Reality

    22nd EuroXR International Conference, EuroXR 2025, Winterthur, Switzerland, September 3-5, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-03804-3
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kofron / Kofron / Vojnar Mathematical and Engineering Methods in Computer Science

    10th International Doctoral Workshop, MEMICS 2015, Tel¿, Czech Republic, October 23-25, 2015, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-29816-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Blazy / Chechik Verified Software. Theories, Tools, and Experiments

    8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-48868-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Rau Cross-Cultural Design

    15th International Conference, CCD 2023, Held as Part of the 25th International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part III
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-35945-3
    Medium: Buch
    171,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Späth Beginning Java MVC 1.0

    Model View Controller Development to Build Web, Cloud, and Microservices Applications
    1. Auflage 2020
    Verlag: Apress
    ISBN: 978-1-4842-6279-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Fill / Kühn Metamodeling: Applications and Trajectories to the Future

    Essays in Honor of Dimitris Karagiannis
    2024
    Verlag: Springer
    ISBN: 978-3-031-56861-9
    Medium: Buch
    192,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kritikos / Plebani / de Paoli Service-Oriented and Cloud Computing

    7th IFIP WG 2.14 European Conference, ESOCC 2018, Como, Italy, September 12-14, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-99818-3
    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