Fachgebiet
Medium
  • 10009
  • 1638
  • 29
  • 12
Erscheinungsjahr
  • 1
  • 67
  • 568
  • 1206
  • 1219
  • 562
  • 416
  • 349
  • 374
  • 360
  • 417
  • 321
  • 430
  • 297
  • 444
  • 406
  • 513
  • 250
  • 516
  • 239
  • 255
  • 261
  • 225
  • 258
  • 223
  • 222
  • 180
  • 162
  • 119
  • 108
  • 95
  • 84
  • 80
  • 71
  • 63
  • 68
  • 38
  • 55
  • 35
  • 24
  • 14
  • 13
  • 7
  • 7
  • 4
  • 6
  • 6
  • 1
  • 3
  • 4
  • 1
  • 2
  • 1
  • 2
  • 1
Autoren
  • 3
  • 3
  • 4
  • 3
  • 8
  • 14
  • 3
  • 3
  • 4
  • 9
  • 10
  • 3
  • 4
  • 4
  • 10
  • 4
  • 3
  • 9
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 10
  • 3
  • 5
  • 3
  • 3
  • 6
  • 4
  • 4
  • 4
  • 3
  • 8
  • 5
  • 5
  • 7
  • 4
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 6
  • 4
  • 4
  • 5
  • 4
  • 3
  • 3
  • 7
  • 4
  • 4
  • 3
  • 3
  • 7
  • 11
  • 5
  • 10
  • 3
  • 7
  • 3
  • 4
  • 3
  • 4
  • 4
  • 5
  • 3
  • 9
  • 23
  • 3
  • 23
  • 5
  • 6
  • 7
  • 4
  • 3
  • 4
  • 3
  • 4
  • 6
  • 8
  • 4
  • 4
  • 7
  • 4
  • 3
  • 4
  • 8
  • 3
  • 3
  • 3
  • 8
  • 4
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 6
  • 3
  • 4
  • 4
  • 4
  • 6
  • 4
  • 3
  • 4
  • 23
  • 3
  • 6
  • 4
  • 4
  • 3
  • 4
  • 7
  • 3
  • 3
  • 7
  • 4
  • 3
  • 10
  • 3
  • 3
  • 4
  • 12
  • 8
  • 4
  • 4
  • 4
  • 4
  • 3
  • 5
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 6
  • 3
  • 4
  • 10
  • 3
  • 3
  • 4
  • 9
  • 3
  • 3
  • 5
  • 21
  • 3
  • 4
  • 4
  • 13
  • 3
  • 3
  • 3
  • 4
  • 6
  • 3
  • 3
  • 3
  • 16
  • 3
  • 4
  • 16
  • 4
  • 7
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 10
  • 3
  • 4
  • 3
  • 8
  • 4
  • 3
  • 5
  • 10
  • 19
  • 4
  • 9
  • 16
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 7
  • 8
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 11
  • 10
  • 5
  • 3
  • 3
  • 3
  • 3
  • 11
  • 7
  • 3
  • 6
  • 3
  • 5
  • 12
  • 5
  • 3
  • 4
  • 13
  • 10
  • 4
  • 4
  • 10
  • 3
  • 3
  • 7
  • 4
  • 3
  • 3
  • 3
  • 3
  • 20
  • 4
  • 5
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 6
  • 6
  • 4
  • 3
  • 8
  • 4
  • 33
  • 4
  • 3
  • 8
  • 3
  • 4
  • 5
  • 3
  • 4
  • 3
  • 7
  • 7
  • 4
  • 3
  • 5
  • 5
  • 3
  • 6
  • 8
  • 3
  • 4
  • 3
  • 3
  • 6
  • 3
  • 8
  • 5
  • 7
  • 3
  • 6
  • 4
  • 8
  • 6
  • 5
  • 16
  • 3
  • 8
  • 4
  • 4
  • 12
  • 3
  • 3
  • 4
  • 7
  • 5
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 9
  • 6
  • 3
  • 3
  • 8
  • 8
  • 3
  • 9
  • 3
  • 4
  • 12
  • 4
  • 6
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 4
  • 5
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 3
  • 4
  • 6
  • 3
  • 5
  • 3
  • 3
  • 10
  • 3
  • 4
  • 4
  • 4
  • 4
  • 4
  • 9
  • 4
  • 3
  • 6
  • 6
  • 3
  • 4
  • 4
  • 7
  • 7
  • 3
  • 3
  • 3
  • 5
  • 3
  • 9
  • 3
  • 5
  • 3
  • 3
  • 5
  • 5
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 5
  • 8
  • 6
  • 3
  • 6
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 5
  • 15
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 7
  • 13
  • 6
  • 7
  • 10
  • 7
  • 8
  • 10
  • 6
  • 7
  • 4
  • 9
  • 5
  • 7
  • 22
  • 6
  • 4
  • 18
  • 5
  • 4
  • 5
  • 6
  • 5
  • 5
  • 12
  • 3
  • 4
  • 4
  • 5
  • 4
  • 4
  • 5
  • 5
  • 6
  • 5
  • 9
  • 4
  • 4
  • 29
  • 25
  • 4
  • 3
  • 4
  • 8
  • 4
  • 4
  • 5
  • 9
  • 8
  • 13
  • 5
  • 18
  • 6
  • 5
  • 16
  • 4
  • 16
  • 4
  • 9
  • 7
  • 5
  • 4
  • 4
  • 7
  • 10
  • 6
  • 7
  • 4
  • 4
  • 7
  • 27
  • 9
  • 5
  • 9
  • 7
  • 4
  • 8
  • 4
  • 4
  • 7
  • 4
  • 9
  • 7
  • 11
  • 8
  • 4
  • 41
  • 9
  • 10
  • 7
  • 12
  • 5
  • 5
  • 9
  • 4
  • 5
  • 13
  • 4
  • 5
  • 5
  • 8
  • 4
  • 4
  • 5
  • 7
  • 9
  • 5
  • 6
  • 5
  • 20
  • 4
  • 5
  • 4
  • 9
  • 4
  • 10
  • 6
  • 6
  • 8
  • 8
  • 5
  • 4
  • 6
  • 4
  • 5
  • 6
  • 8
  • 8
  • 11
  • 4
  • 6
  • 4
  • 4
  • 5
  • 10
  • 10
  • 5
  • 6
  • 8
  • 6
  • 7
  • 10
  • 10
  • 4
  • 8
  • 10
  • 5
  • 9
  • 9
  • 4
  • 9
  • 5
  • 9
  • 4
  • 7
  • 4
  • 6
  • 19
  • 10
  • 4
  • 4
  • 4
  • 5
  • 11
  • 5
  • 7
  • 6
  • 6
  • 5
  • 8
  • 4
  • 10
  • 4
  • 7
  • 4
  • 4
  • 12
  • 4
  • 4
  • 4
  • 4
  • 4
  • 8
  • 7
  • 8
  • 15
  • 7
  • 5
  • 10
  • 8
  • 6
  • 9
  • 4
  • 7
  • 6
  • 7
  • 4
  • 10
  • 6
  • 13
  • 7
  • 8
  • 12
  • 9
  • 7
  • 66
  • 4
  • 4
  • 14
  • 4
  • 4
  • 7
  • 5
  • 9
  • 7
  • 5
  • 7
  • 6
  • 4
  • 12
  • 12
  • 18
  • 6
  • 16
  • 4
  • 6
  • 11
  • 6
  • 4
  • 4
  • 24
  • 6
  • 10
  • 7
  • 5
  • 4
  • 10
  • 10
  • 12
  • 37
  • 4
  • 5
  • 15
  • 5
  • 4
  • 4
  • 6
  • 6
  • 9
  • 4
  • 7
  • 10
  • 15
  • 7
  • 4
  • 7
  • 6
  • 4
  • 6
  • 4
  • 23
  • 27
  • 5
  • 4
  • 4
  • 4
  • 20
  • 11
  • 6
  • 6
  • 4
  • 5
  • 8
  • 5
  • 5
  • 8
  • 7
  • 5
  • 12
  • 7
  • 12
  • 11
  • 31
  • 10
  • 6
  • 4
  • 9
  • 5
  • 4
  • 4
  • 4
  • 4
  • 5
  • 4
  • 6
  • 7
  • 5
  • 9
  • 4
  • 4
  • 4
  • 6
  • 8
  • 7
  • 5
  • 12
  • 6
  • 10
  • 4
  • 7
  • 4
  • 7
  • 7
  • 6
  • 9
  • 4
  • 4
  • 7
  • 9
  • 4
  • 5
  • 5
  • 4
  • 21
  • 21
  • 4
  • 4
  • 12
  • 5
  • 7
  • 5
  • 8
  • 7
  • 6
  • 9
  • 5
  • 8
  • 8
  • 7
  • 10
  • 4
  • 10
  • 5
  • 4
  • 7
  • 5
  • 5
  • 15
  • 4
  • 8
  • 7
  • 4
  • 4
  • 11
  • 10
  • 6
  • 9
  • 4
  • 21
  • 15
  • 5
  • 4
  • 4
  • 10
  • 10
  • 4
  • 5
  • 8
  • 7
  • 4
  • 5
  • 7
  • 10
  • 4
  • 4
  • 5
  • 7
  • 4
  • 4
  • 8
  • 8
  • 4
  • 7
  • 4
  • 8
  • 4
  • 4
  • 7
  • 7
  • 23
  • 5
  • 9
  • 5
  • 4
  • 4
  • 7
  • 15
  • 6
  • 4
  • 4
  • 4
  • 4
  • 24
  • 6
  • 4
  • 8
  • 4
  • 7
  • 4
  • 4
  • 5
  • 4
  • 7
  • 6
  • 4
  • 12
  • 10
  • 4
  • 4
  • 5
  • 5
  • 8
  • 4
  • 4
  • 10
  • 11
  • 5
  • 7
  • 5
  • 4
  • 4
  • 4
  • 9
  • 16
  • 6
  • 4
  • 4
  • 4
  • 47
  • 56
  • 12
  • 4
  • 9
  • 12
  • 12
  • 22
  • 9
  • 5
  • 9
  • 9
  • 13
  • 6
  • 4
  • 4
  • 7
  • 5
  • 5
  • 11
  • 7
  • 48
  • 5
  • 5
  • 5
  • 8
  • 4
  • 4
  • 5
  • 9
  • 20
  • 7
  • 5
  • 4
  • 13
  • 35
  • 4
  • 6
  • 5
  • 4
  • 8
  • 10
  • 4
  • 11
  • 10
  • 10
  • 4
  • 6
  • 14
  • 4
  • 8
  • 4
  • 7
  • 4
  • 6
  • 11
  • 6
  • 8
  • 6
  • 5
  • 4
  • 4
  • 15
  • 10
  • 4
  • 4
  • 5
  • 7
  • 4
  • 13
  • 13
  • 14
  • 11
  • 6
  • 11
  • 13
  • 4
  • 7
  • 9
  • 9
  • 7
  • 12
  • 4
  • 7
  • 4
  • 5
  • 4
  • 11
  • 4
  • 4
  • 4
  • 4
  • 4
  • 5
  • 5
  • 16
  • 14
  • 5
  • 12
  • 4
  • 8
  • 19
  • 4
  • 7
  • 12
  • 4
  • 18
  • 5
  • 9
  • 6
  • 4
  • 7
  • 4
  • 9
  • 7
  • 7
  • 18
  • 8
  • 12
  • 4
  • 4
  • 12
  • 5
  • 5
  • 6
  • 9
  • 4
  • 6
  • 22
  • 4
  • 7
  • 10
  • 4
  • 10
  • 9
  • 4
  • 4
  • 6
  • 7
  • 8
  • 7
Verlag
  • 2
  • 3
  • 5
  • 4
  • 1
  • 3
  • 1
  • 51
  • 6
  • 489
  • 1
  • 47
  • 18
  • 3
  • 8
  • 3
  • 282
  • 1
  • 22
  • 1
  • 1
  • 3
  • 4
  • 3
  • 73
  • 1
  • 91
  • 1
  • 219
  • 1
  • 520
  • 1327
  • 15
  • 1
  • 2
  • 56
  • 100
  • 1
  • 3
  • 2
  • 3
  • 1
  • 60
  • 2
  • 1
  • 51
  • 29
  • 1
  • 25
  • 1
  • 4
  • 3
  • 12
  • 5
  • 36
  • 4
  • 2
  • 1
  • 6
  • 1
  • 1
  • 3
  • 1
  • 25
  • 1
  • 1
  • 4
  • 1
  • 1
  • 33
  • 1
  • 1
  • 1
  • 103
  • 55
  • 4
  • 3
  • 4
  • 17
  • 2
  • 6
  • 1
  • 1
  • 18
  • 2
  • 1
  • 13
  • 2
  • 1
  • 5
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 11
  • 1
  • 3
  • 23
  • 2
  • 1
  • 2
  • 8
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 15
  • 1
  • 6
  • 32
  • 22
  • 3
  • 37
  • 1
  • 1
  • 1
  • 1
  • 2
  • 16
  • 1
  • 6412
  • 31
  • 9
  • 1
  • 1
  • 1
  • 35
  • 5
  • 1
  • 31
  • 34
  • 1
  • 107
  • 86
  • 3
  • 2
  • 22
  • 1
  • 284
  • 28
  • 120
  • 52
  • 1
  • 24
  • 6
  • 1
  • 1
  • 4
  • 1
  • 86
  • 5
  • 2
  • 87
  • 3
  • 10
  • 1
  • 24
  • 10
  • 1
  • 1
  • 2
  • 2
Preis
  • 431
  • 2015
  • 5535
  • 3707
Sprachen
  • 10727
  • 972
  • 2
Verfügbarkeit
  • 11364
  • 324
Eigenschaften
  • 9
  • 5
Katalog
  • 11688
  • 1823
11.688  Titel


    Mayr Graph-Theoretic Concepts in Computer Science

    18th International Workshop, WG '92, Wiesbaden-Naurod, Germany, June 18-20, 1992. Proceedings
    1. Auflage 1993
    Verlag: Springer
    ISBN: 978-3-540-56402-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Van Hung / Ogawa Automated Technology for Verification and Analysis

    11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-319-02443-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Khosla / Sethi / Damiani Intelligent Multimedia Multi-Agent Systems

    A Human-Centered Approach
    1. Auflage. Softcover version of original hardcover Auflage 2000
    Verlag: Springer
    ISBN: 978-1-4419-5008-6
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Labarta / Joe / Sato High-Performance Computing

    6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advance Low Power Systems, ALPS 2006, Revised Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-77703-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bonsangue / Johnsen Formal Methods for Open Object-Based Distributed Systems

    9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-72919-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Black ECOOP 2005 - Object-Oriented Programming

    19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-27992-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Nori Foundations of Software Technology and Theoretical Computer Science

    Seventh Conference, Pune, India, December 17-19, 1987. Proceedings
    1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-540-18625-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    de Lemos / Giese / Müller Software Engineering for Self-Adaptive Systems

    International Seminar Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-35812-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Müller-Olm Variations on Constants

    Flow Analysis of Sequential and Parallel Programs
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-45385-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Baumeister / Lichter / Riebisch Agile Processes in Software Engineering and Extreme Programming

    18th International Conference, XP 2017, Cologne, Germany, May 22-26, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-57632-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Larsen / Niebert Formal Modeling and Analysis of Timed Systems

    First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21671-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Chace Artificial Intelligence and the Two Singularities

    1. Auflage 2018
    Verlag: CRC Press
    ISBN: 978-0-8153-6854-0
    Medium: Buch
    216,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb

    Heydon / Levin / Mann Software Configuration Management Using Vesta

    1. Auflage Softcover of orig. Auflage 2006
    Verlag: Springer
    ISBN: 978-1-4419-3472-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Uyar / Duale / Fecko Testing of Communicating Systems

    18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34184-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Sametinger Software Engineering with Reusable Components

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

    Gauthier Ada-Europe '93

    12th Ada-Europe International Conference, "Ada Sans Frontieres", Paris, France, June 14-18, 1993. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-56802-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Vardanega / Wellings Reliable Software Technology - Ada-Europe 2005

    10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-26286-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Damiani / Spanoudakis / Maciaszek Evaluation of Novel Approaches to Software Engineering

    14th International Conference, ENASE 2019, Heraklion, Crete, Greece, May 4-5, 2019, Revised Selected Papers
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-40222-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Murgante / Misra / Carlini Computational Science and Its Applications -- ICCSA 2013

    13th International Conference, ICCSA 2013, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part V
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-39639-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kim Information Science and Applications

    2015
    Verlag: Springer
    ISBN: 978-3-662-46577-6
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Unger Echtzeit 2019

    Autonome Systeme - 50 Jahre PEARL
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-658-27807-6
    Medium: Buch
    39,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Misra A Discipline of Multiprogramming

    Programming Theory for Distributed Applications
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-1-4612-6427-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Paulson Isabelle

    A Generic Theorem Prover
    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-58244-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bezivin / Muller The Unified Modeling Language. <<UML>>'98: Beyond the Notation

    First International Workshop, Mulhouse, France, June 3-4, 1998, Selected Papers
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66252-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Nguyen / Kowalczyk / Xhafa Transactions on Computational Collective Intelligence XIX

    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-662-49016-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Oellermann Architecting Web Services

    Models, Designs, and Solutions
    Softcover Nachdruck of the Original 1. Auflage 2001
    Verlag: Apress
    ISBN: 978-1-893115-58-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb

    Plaat / van den Herik / Kosters Advances in Computer Games

    14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-27991-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Banatre / Le Metayer Research Directions in High-Level Parallel Programming Languages

    Mont Saint-Michel, France, June 17-19, 1991 Proceedings
    1. Auflage 1992
    Verlag: Springer
    ISBN: 978-3-540-55160-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bjørner Software Engineering 1

    Abstraction and Modelling
    1. Auflage Softcover of orig. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-642-05939-1
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Lemos / Gacek / Romanovsky Architecting Dependable Systems

    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40727-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bouajjani / Fauconnier Networked Systems

    Third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-26849-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Malich Qualität von Softwaresystemen

    Ein pattern-basiertes Wissensmodell zur Unterstützung des Entwurfs und der Bewertung von Softwarearchitekturen
    2008
    Verlag: Gabler Verlag
    ISBN: 978-3-8349-1030-1
    Medium: Buch
    69,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Hammoudi / Pires / Selic Model-Driven Engineering and Software Development

    6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-11029-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Brefeld / Davis / Van Haaren Machine Learning and Data Mining for Sports Analytics

    10th International Workshop, MLSA 2023, Turin, Italy, September 18, 2023, Revised Selected Papers
    2024
    Verlag: Springer
    ISBN: 978-3-031-53832-2
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Graf / Schwartzbach Tools and Algorithms for the Construction and Analysis of Systems

    6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67282-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Ng / Ooi / Ouksel Databases, Information Systems, and Peer-to-Peer Computing

    Second International Workshop, DBISP2P 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25233-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Cao / Nejdl / Xu Advanced Parallel Processing Technologies

    6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29639-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bradley Computer Performance Engineering

    6th European Performance Engineering Workshop, EPEW 2009 London, UK, July 9-10, 2009 Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02923-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Dumke Theorie und Praxis der Softwaremessung

    1994
    Verlag: Deutscher Universitätsverlag
    ISBN: 978-3-8244-2061-2
    Medium: Buch
    54,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Polani / Browning / Bonarini RoboCup 2003: Robot Soccer World Cup VII

    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22443-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Furia / Winter Integrated Formal Methods

    14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-98937-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Cong Vinh / Tuan Anh / Loan Context-Aware Systems and Applications

    5th International Conference, ICCASA 2016, Thu Dau Mot, Vietnam, November 24-25, 2016, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-56356-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Frasson / Gauthier / Lesgold Intelligent Tutoring Systems

    Third International Conference, ITS'96, Montreal, Canada, June 12-14, 1996. Proceedings
    1. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-540-61327-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Hu / Vardi Computer Aided Verification

    10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64608-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Ramos / Unger / Larios Advanced Distributed Systems

    Third International School and Symposium, ISSADS 2004, Guadalajara, Mexico, January 24-30, 2004, Revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22172-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Abdallah / Ryan / Schneider Formal Aspects of Security

    First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20693-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Backhouse / Gibbons / Hinze Datatype-Generic Programming

    International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-76785-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Giachino / Hähnle / de Boer Formal Methods for Components and Objects

    11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-40614-0
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Fiadeiro / Liu / Xue Formal Aspects of Component Software

    10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-07601-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Schumacher Security Engineering with Patterns

    Origins, Theoretical Models, and New Applications
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40731-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Botto-Tobar / Zambrano Vizuete / Montes León International Conference on Applied Technologies

    5th International Conference on Applied Technologies, ICAT 2023, Samborondon, Ecuador, November 22-24, 2023, Revised Selected Papers, Part I
    2024
    Verlag: Springer
    ISBN: 978-3-031-58955-3
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Jain Delivering Successful Projects with TSP(SM) and Six Sigma

    A Practical Guide to Implementing Team Software Process(SM)
    Erscheinungsjahr 2008
    Verlag: Taylor & Francis
    ISBN: 978-1-4200-6144-4
    Medium: eBook
    Format: PDF
    Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    85,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Linington / Milosevic / Tanaka Building Enterprise Systems with ODP

    An Introduction to Open Distributed Processing
    Erscheinungsjahr 2011
    Verlag: Taylor & Francis
    ISBN: 978-1-4398-6626-9
    Medium: eBook
    Format: PDF
    Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    91,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Ganter / Stumme / Wille Formal Concept Analysis

    Foundations and Applications
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-27891-7
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Papazoglou / Pohl / Parkin Service Research Challenges and Solutions for the Future Internet

    S-Cube - Towards Engineering, Managing and Adapting Service-Based Systems
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-17598-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kastens / Pfahler Compiler Construction

    4th International Conference, CC '92, Paderborn, FRG, October 5-7, 1992. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55984-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Brat / Rungta / Venet NASA Formal Methods

    5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38087-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Vogler Modular Construction and Partial Order Semantics of Petri Nets

    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55767-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Amadio Foundations of Software Science and Computational Structures

    11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-78497-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Sincock Enterprise Java for SAP

    1. Auflage 2013
    Verlag: Apress
    ISBN: 978-1-4302-5451-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Jeuring / Peyton Jones Advanced Functional Programming

    4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40132-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Maurer Nonsequential and Distributed Programming with Go

    Synchronization of Concurrent Processes
    2. Auflage 2025
    Verlag: Springer
    ISBN: 978-3-662-70928-3
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Crowston / Hammouda / Lundell Open Source Systems: Integrating Communities

    12th IFIP WG 2.13 International Conference, OSS 2016, Gothenburg, Sweden, May 30 - June 2, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-39224-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Mamone Practical Mono

    Softcover Nachdruck of the original 1. Auflage 2016
    Verlag: Apress
    ISBN: 978-1-4842-2018-4
    Medium: Buch
    64,52 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kim Information Science and Applications

    Softcover Nachdruck of the original 1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-662-52613-2
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Tan / Yeo / Turner AsiaSim 2013

    13th International Conference on Systems Simulation, Singapore, November 6-8, 2013. Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-45036-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Issarny / Cooper Middleware 2009

    ACM/IFIP/USENIX, 10th International Conference, Urbana, IL, USA, November 30 - December 4, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-10444-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Tian / Nagoya / Liu Structured Object-Oriented Formal Language and Method

    7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-90103-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Ganter / Godin Formal Concept Analysis

    Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-24525-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Lamma / Mello Extensions of Logic Programming

    Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-56454-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Ryan Automatic Re-engineering of Software Using Genetic Programming

    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-0-7923-8653-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Engels / Opdyke / Schmidt Model Driven Engineering Languages and Systems

    10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-75208-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Perram / Müller Applications of Multi-Agent Systems

    6th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '94, Odense, Denmark, August 1994 Proceedings.
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61157-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Latifi ITNG 2023 20th International Conference on Information Technology-New Generations

    2023
    Verlag: Springer
    ISBN: 978-3-031-28334-5
    Medium: Buch
    299,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Maciaszek / Kaindl / Mannion Evaluation of Novel Approaches to Software Engineering

    19th International Conference, ENASE 2024, Angers, France, April 28-29, 2024, Revised Selected Papers
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-19049-9
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Liu / Misir / Wang The 8th International Conference on Computer Engineering and Networks (CENet2018)

    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-14679-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Blumenthal / Gornostaev / Unger Human-Computer Interaction

    4th International Conference, EWHCI '94, St. Petersburg, Russia, August 2 - 5, 1994. Selected Papers
    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-58648-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Thiagarajan Foundations of Software Technology and Theoretical Computer Science

    14th Conference, Madras, India, December 15 - 17, 1994. Proceedings
    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-58715-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Silhavy Focus on Artificial Intelligence in Intelligent Systems Design

    Proceedings of 9th Computational Methods in Systems and Software 2025, Volume 5
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-22090-5
    Medium: Buch
    246,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Hierons / Merayo / Bravetti Software Engineering and Formal Methods

    11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-40560-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Suri / Cabri Adaptive, Dynamic, and Resilient Systems

    Erscheinungsjahr 2014
    Verlag: CRC Press
    ISBN: 978-1-4398-6849-2
    Medium: eBook
    Format: PDF
    Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    85,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Priami Global Computing. Programming Environments, Languages, Security, and Analysis of Systems

    IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003, Revised Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20583-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Sloane / Aßmann Software Language Engineering

    4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-28829-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Eeckhout / Li / Yu Advanced Parallel Processing Technologies

    17th International Symposium, Appt 2026, Brussels, Belgium, July 27, 2026, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer Nature Singapore
    ISBN: 978-981-9248-04-9
    Medium: Buch
    96,29 € (inkl. MwSt.)
    vorbestellbar
    Bereits im Warenkorb

    H L / A D / C D Intelligent Systems in Healthcare and Disease Identification using Data Science

    1. Auflage 2025
    Verlag: Chapman and Hall/CRC
    ISBN: 978-1-032-40665-7
    Medium: Buch
    82,10 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Keller Entwicklung von Echtzeitsystemen

    Einführung in die Entwicklung zuverlässiger softwarebasierter Funktionen unter Echtzeitbedingungen
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-658-26640-0
    Medium: Buch
    32,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Groce Scholars & Innovators in Modern Programming

    Conversations About Software Engineering
    1. Auflage 2027
    Verlag: APRESS L.P.
    ISBN: 979-8-8688-2621-4
    Medium: Buch
    35,30 € (inkl. MwSt.)
    vorbestellbar
    Bereits im Warenkorb

    Bosch Speed, Data, and Ecosystems

    Excelling in a Software-Driven World
    1. Auflage 2016
    Verlag: CRC Press
    ISBN: 978-1-138-19818-0
    Medium: Buch
    78,30 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Iacca / Nadizar / Yaman Parallel Problem Solving from Nature - PPSN XIX

    19th International Conference, PPSN 2026, Trento, Italy, August 29 - September 2, 2026, Proceedings, Part III
    Erscheinungsjahr 2026
    Verlag: Springer Nature Switzerland AG
    ISBN: 978-3-032-36225-4
    Medium: Buch
    79,17 € (inkl. MwSt.)
    vorbestellbar
    Bereits im Warenkorb

    Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Bridging Gaps between Software and System Contracts

    13th International Symposium, ISoLA 2026, Kos, Greece, October 24–28, 2026, Proceedings, Part III
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-40117-5
    Medium: Buch
    42,79 € (inkl. MwSt.)
    vorbestellbar
    Bereits im Warenkorb

    Troubitsyna / de Andrés / Schoitsch Computer Safety, Reliability, and Security. SAFECOMP 2026 Workshops

    CSRIS, DAIES, DECSoS, ORCAS, SafetyNXT, SASSUR, SENSEI, and WAISE, Valencia, Spain, September 22, 2026, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer Nature Switzerland AG
    ISBN: 978-3-032-35505-8
    Medium: Buch
    96,29 € (inkl. MwSt.)
    vorbestellbar
    Bereits im Warenkorb

    Polovina / Kemp / Blood Measuring Ontologies for Value Enhancement

    Second International Workshop, MOVE 2024, Sydney, NSW, Australia, June 14–15, 2024, Revised Selected Papers
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-40391-9
    Medium: Buch
    80,24 € (inkl. MwSt.)
    vorbestellbar
    Bereits im Warenkorb

    Camarinha-Matos / Ortiz / Boucher Dynamics of Hybrid Collaborative Networks

    27th IFIP WG 5.5 SOCOLNET Working Conference on Virtual Enterprises, PRO-VE 2026, Padua, Italy, October 26–28, 2026, Proceedings, Part II
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-41233-1
    Medium: Buch
    128,39 € (inkl. MwSt.)
    vorbestellbar
    Bereits im Warenkorb

    Al-Turjman Intelligence in IoT-enabled Smart Cities

    1. Auflage 2019
    Verlag: CRC Press
    ISBN: 978-1-138-31684-3
    Medium: Buch
    178,20 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Raj Cloud Enterprise Architecture

    1. Auflage 2018
    Verlag: Auerbach Publications
    ISBN: 978-1-138-37465-2
    Medium: Buch
    95,20 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Cavalli / Sarma Sdl '97: Time for Testing

    Sdl, Msc and Trends
    Erscheinungsjahr 1997
    Verlag: Elsevier Science
    ISBN: 978-0-444-82816-3
    Medium: Buch
    341,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb

    Yaworski Hacking und Bug Hunting

    Wie man Softwarefehler aufspürt und damit Geld verdient – ein Blick über die Schulter eines erfolgreichen Bug Hunters
    1. Auflage 2020
    Verlag: dpunkt.verlag
    ISBN: 978-3-96088-969-4
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    25,90 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Bjørner Domain Science and Engineering

    A Foundation for Software Development
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-73486-2
    Medium: Buch
    181,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kumar / Xie Handbook of Mobile Systems Applications and Services

    Erscheinungsjahr 2016
    Verlag: Auerbach Publications
    ISBN: 978-1-138-19903-3
    Medium: Buch
    80,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Pankratius / Adl-Tabatabai / Tichy Fundamentals of Multicore Software Development

    1. Auflage 2017
    Verlag: CRC Press
    ISBN: 978-1-138-11437-1
    Medium: Buch
    126,40 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb



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