Ergebnisse filtern
Fachgebiet
Medium
  • 9620
  • 1630
  • 29
  • 12
Erscheinungsjahr
  • 8
  • 240
  • 1149
  • 1228
  • 568
  • 413
  • 352
  • 390
  • 369
  • 425
  • 322
  • 435
  • 297
  • 441
  • 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
  • 4
  • 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
  • 7
  • 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
  • 12
  • 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
  • 10
  • 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
  • 62
  • 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
  • 8
  • 4
  • 1
  • 3
  • 1
  • 51
  • 7
  • 462
  • 3
  • 1
  • 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
  • 10
  • 6
  • 4
  • 56
  • 33
  • 1
  • 5
  • 25
  • 1
  • 4
  • 3
  • 14
  • 5
  • 38
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 25
  • 1
  • 1
  • 4
  • 1
  • 1
  • 31
  • 1
  • 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
  • 6132
  • 45
  • 27
  • 1
  • 1
  • 1
  • 2
  • 9
  • 4
  • 1
  • 41
  • 1
  • 127
  • 104
  • 5
  • 22
  • 1
  • 293
  • 38
  • 130
  • 6
  • 1
  • 24
  • 6
  • 1
  • 4
  • 1
  • 86
  • 1
  • 5
  • 2
  • 164
  • 3
  • 10
  • 1
  • 24
  • 30
  • 1
  • 1
  • 2
  • 2
Preis
  • 430
  • 1966
  • 5332
  • 3563
Sprachen
  • 10352
  • 950
  • 2
Verfügbarkeit
  • 11148
  • 143
Eigenschaften
  • 11
  • 4
Katalog
  • 11291
  • 1763
11.291  Titel
    Handbook of Research on Methodologies and Applications of Supercomputing | Buch | Sack Fachmedien

    Handbook of Research on Methodologies and Applications of Supercomputing

    Erscheinungsjahr 2021
    Verlag: Engineering Science Reference
    ISBN: 978-1-7998-7156-9
    Medium: Buch
    387,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Iida / Meseguer / Ogata | Specification, Algebra, and Software | Buch | Sack Fachmedien

    Iida / Meseguer / Ogata Specification, Algebra, and Software

    Essays Dedicated to Kokichi Futatsugi
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-642-54623-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Eriksson / Lindsay | FME 2002: Formal Methods - Getting IT Right | Buch | Sack Fachmedien

    Eriksson / Lindsay FME 2002: Formal Methods - Getting IT Right

    International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43928-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schepers | Software and Compilers for Embedded Systems | Buch | Sack Fachmedien

    Schepers Software and Compilers for Embedded Systems

    8th International Workshop, SCOPES 2004, Amsterdam, The Netherlands, September 2-3, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23035-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mathieu / De la Prieta | Advances in Practical Applications of Agents, Multi-Agent Systems, and Digital Twins: The PAAMS Collection | Buch | Sack Fachmedien

    Mathieu / De la Prieta Advances in Practical Applications of Agents, Multi-Agent Systems, and Digital Twins: The PAAMS Collection

    22nd International Conference, PAAMS 2024, Salamanca, Spain, June 26-28, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-70414-7
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cámara / de Lemos / Ghezzi | Assurances for Self-Adaptive Systems | Buch | Sack Fachmedien

    Cámara / de Lemos / Ghezzi Assurances for Self-Adaptive Systems

    Principles, Models, and Techniques
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-36248-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brinksma | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Brinksma Tools and Algorithms for the Construction and Analysis of Systems

    Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-62790-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ruiz / Garcia-Luna-Aceves | Ad-Hoc, Mobile and Wireless Networks | Buch | Sack Fachmedien

    Ruiz / Garcia-Luna-Aceves Ad-Hoc, Mobile and Wireless Networks

    8th International Conference, ADHOC-NOW 2009, Murcia, Spain, September 22-25, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-04382-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lee | Software Engineering with Computational Intelligence | Buch | Sack Fachmedien

    Lee Software Engineering with Computational Intelligence

    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-00472-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Reyes-Lecuona / Zachmann / Bordegoni | Virtual Reality and Mixed Reality | Buch | Sack Fachmedien

    Reyes-Lecuona / Zachmann / Bordegoni Virtual Reality and Mixed Reality

    21st EuroXR International Conference, EuroXR 2024, Athens, Greece, November 27-29, 2024, Proceedings
    Erscheinungsjahr 2024
    Verlag: Springer
    ISBN: 978-3-031-78592-4
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rauterberg / Fui-Hoon Nah / Siau | HCI International 2022 - Late Breaking Papers: HCI for Today's Community and Economy | Buch | Sack Fachmedien

    Rauterberg / Fui-Hoon Nah / Siau HCI International 2022 - Late Breaking Papers: HCI for Today's Community and Economy

    24th International Conference on Human-Computer Interaction, HCII 2022, Virtual Event, June 26-July 1, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-18157-3
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Anderson / Prencipe / Wattenhofer | Principles of Distributed Systems | Buch | Sack Fachmedien

    Anderson / Prencipe / Wattenhofer Principles of Distributed Systems

    9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Paper
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-36321-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Broy / Zamulin | Perspectives of Systems Informatics | Buch | Sack Fachmedien

    Broy / Zamulin Perspectives of Systems Informatics

    5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-20813-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brim / Haverkort / Leucker | Formal Methods: Applications and Technology | Buch | Sack Fachmedien

    Brim / Haverkort / Leucker Formal Methods: Applications and Technology

    11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revi
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-70951-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Skrzypek | Neural Network Simulation Environments | Buch | Sack Fachmedien

    Skrzypek Neural Network Simulation Environments

    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-1-4613-6180-0
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Miao / Tian / Liu | Structured Object-Oriented Formal Language and Method | Buch | Sack Fachmedien

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

    9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-41417-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    DeWilde / Vandewalle | Computer Systems and Software Engineering | Buch | Sack Fachmedien

    DeWilde / Vandewalle Computer Systems and Software Engineering

    State-of-the-art
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-1-4613-6555-6
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Quaresma / Camacho / Yin | Intelligent Data Engineering and Automated Learning - IDEAL 2023 | Buch | Sack Fachmedien

    Quaresma / Camacho / Yin Intelligent Data Engineering and Automated Learning - IDEAL 2023

    24th International Conference, Évora, Portugal, November 22-24, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-48231-1
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bu / Xiong | Software Analysis, Testing, and Evolution | Buch | Sack Fachmedien

    Bu / Xiong Software Analysis, Testing, and Evolution

    8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23-24, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-04271-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Qian / Cao / Su | Recent Advances in Computer Science and Information Engineering | Buch | Sack Fachmedien

    Qian / Cao / Su Recent Advances in Computer Science and Information Engineering

    Volume 5
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-25791-9
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hu / Zhang | Proceedings of the 2nd International Conference on the Frontiers of Robotics and Software Engineering (FRSE 2024) | Buch | Sack Fachmedien

    Hu / Zhang Proceedings of the 2nd International Conference on the Frontiers of Robotics and Software Engineering (FRSE 2024)

    Volume 1
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-963012-7
    Medium: Buch
    246,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Matsuno / Liu / Yin | Intelligent Robotics and Applications | Buch | Sack Fachmedien

    Matsuno / Liu / Yin Intelligent Robotics and Applications

    18th International Conference, ICIRA 2025, Okayama, Japan, August 6-9, 2025, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-952097-8
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Deb / Chaki | Business Standard Compliance and Requirements Validation Using Goal Models | Buch | Sack Fachmedien

    Deb / Chaki Business Standard Compliance and Requirements Validation Using Goal Models

    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-981-15-2500-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fantechi / Pelliccione | Software Engineering for Resilient Systems | Buch | Sack Fachmedien

    Fantechi / Pelliccione Software Engineering for Resilient Systems

    7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-23128-0
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lemos / Gacek / Romanovsky | Architecting Dependable Systems III | Buch | Sack Fachmedien

    Lemos / Gacek / Romanovsky Architecting Dependable Systems III

    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28968-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jena / Das / Mohapatra | Automated Software Testing | Buch | Sack Fachmedien

    Jena / Das / Mohapatra Automated Software Testing

    Foundations, Applications and Challenges
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-981-15-2454-7
    Medium: Buch
    181,89 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Pipek / Rosson / Wulf | End-User Development | Buch | Sack Fachmedien

    Pipek / Rosson / Wulf End-User Development

    2nd International Symposium, IS-EUD 2009, Siegen, Germany, March 2-4, 2009, Proceedings
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00425-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chapman / Zheng / Gao | A Practical Programming Model for the Multi-Core Era | Buch | Sack Fachmedien

    Chapman / Zheng / Gao A Practical Programming Model for the Multi-Core Era

    International Workshop on OpenMP, IWOMP 2007 Beijing, China, June 3-7, 2007, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-69302-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Khoussainov / Nerode | Automata Theory and its Applications | Buch | Sack Fachmedien

    Khoussainov / Nerode Automata Theory and its Applications

    Erscheinungsjahr 2012
    Verlag: Birkhäuser
    ISBN: 978-1-4612-6645-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Systemdynamik und Simulation | Buch | Sack Fachmedien

    Systemdynamik und Simulation

    1999
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-519-02743-0
    Medium: Buch
    49,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Curien | Categorical Combinators, Sequential Algorithms, and Functional Programming | Buch | Sack Fachmedien

    Curien Categorical Combinators, Sequential Algorithms, and Functional Programming

    1. Auflage 2012
    Verlag: Birkhäuser
    ISBN: 978-1-4612-6704-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rombach / Dumke | Software-Messung und -Bewertung | Buch | Sack Fachmedien

    Rombach / Dumke Software-Messung und -Bewertung

    Tagungsband Workshop der GI-Fachgruppe 2.1.10 10./11. September 2001 an der Universität Kaiserslautern
    2002
    Verlag: Deutscher Universitätsverlag
    ISBN: 978-3-8244-7592-6
    Medium: Buch
    54,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Horimoto / Regensburger / Rosenkranz | Algebraic Biology | Buch | Sack Fachmedien

    Horimoto / Regensburger / Rosenkranz Algebraic Biology

    Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-85100-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shankaranarayanan / Sankaranarayanan / Trivedi | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Shankaranarayanan / Sankaranarayanan / Trivedi Verification, Model Checking, and Abstract Interpretation

    26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-82699-3
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dillon / Herrero | On the Move to Meaningful Internet Systems, OTM 2010 | Buch | Sack Fachmedien

    Dillon / Herrero On the Move to Meaningful Internet Systems, OTM 2010

    Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Greece, October 25-29, 2010, Proceedings, Part I
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-16933-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yahav | Hardware and Software: Verification and Testing | Buch | Sack Fachmedien

    Yahav Hardware and Software: Verification and Testing

    10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-13337-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Clark / Warmer | Object Modeling with the OCL | Buch | Sack Fachmedien

    Clark / Warmer Object Modeling with the OCL

    The Rationale behind the Object Constraint Language
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43169-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lee | Software and Network Engineering | Buch | Sack Fachmedien

    Lee Software and Network Engineering

    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-28669-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    De Nicola | Programming Languages and Systems | Buch | Sack Fachmedien

    De Nicola Programming Languages and Systems

    16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS, Braga, Portugal, March 24 - April 1, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71314-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Guiochet / Tonetta / Schoitsch | Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops | Buch | Sack Fachmedien

    Guiochet / Tonetta / Schoitsch Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops

    ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-40952-3
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Held | On the Computational Geometry of Pocket Machining | Buch | Sack Fachmedien

    Held On the Computational Geometry of Pocket Machining

    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54103-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Clarke / Voronkov | Logic for Programming, Artificial Intelligence, and Reasoning | Buch | Sack Fachmedien

    Clarke / Voronkov Logic for Programming, Artificial Intelligence, and Reasoning

    16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-17510-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sangchoolie / Adler / Hawkins | Dependable Computing - EDCC 2024 Workshops | Buch | Sack Fachmedien

    Sangchoolie / Adler / Hawkins Dependable Computing - EDCC 2024 Workshops

    SafeAutonomy, TRUST in BLOCKCHAIN, Leuven, Belgium, April 8, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-56775-9
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gibbons / Stevens | Bidirectional Transformations | Buch | Sack Fachmedien

    Gibbons / Stevens Bidirectional Transformations

    International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-79107-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Konev / Wolter | Frontiers of Combining Systems | Buch | Sack Fachmedien

    Konev / Wolter Frontiers of Combining Systems

    6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007. Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74620-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Miraz / Southall / Ali | Emerging Technologies in Computing | Buch | Sack Fachmedien

    Miraz / Southall / Ali Emerging Technologies in Computing

    7th EAI International Conference, iCETiC 2024, Essex, UK, August 15-16, 2024, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-92624-2
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Antsaklis / Kohn / Lemmon | Hybrid Systems V | Buch | Sack Fachmedien

    Antsaklis / Kohn / Lemmon Hybrid Systems V

    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-65643-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kaklamanis / Skutella | Approximation and Online Algorithms | Buch | Sack Fachmedien

    Kaklamanis / Skutella Approximation and Online Algorithms

    5th International Workshop, WAOA 2007, Eilat, Israel, October 11-12, 2007, Revised Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-77917-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Giorgini / Müller / Odell | Agent-Oriented Software Engineering IV | Buch | Sack Fachmedien

    Giorgini / Müller / Odell Agent-Oriented Software Engineering IV

    4th International Workshop, AOSE 2003, Melbourne, Australia, July 15, 2003, Revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-20826-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Margaria / Steffen | Leveraging Applications of Formal Methods, Verification and Validation. Application Areas | Buch | Sack Fachmedien

    Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

    12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V
    2024
    Verlag: Springer
    ISBN: 978-3-031-75389-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Silva / Leino | Computer Aided Verification | Buch | Sack Fachmedien

    Silva / Leino Computer Aided Verification

    33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-81687-2
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Langendoerfer / Liu / Matta | Wired/Wireless Internet Communications | Buch | Sack Fachmedien

    Langendoerfer / Liu / Matta Wired/Wireless Internet Communications

    Second International Conference, WWIC 2004, Frankfurt/Oder, Germany, February 4-6, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-20954-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Antunes / Gerosa / Sylvester | Collaboration and Technology | Buch | Sack Fachmedien

    Antunes / Gerosa / Sylvester Collaboration and Technology

    19th International Conference, CRIWG 2013, Wellington, New Zealand, October 30 - November 1, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-41346-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Silhavy | Artificial Intelligence Algorithm Design for Systems | Buch | Sack Fachmedien

    Silhavy Artificial Intelligence Algorithm Design for Systems

    Proceedings of 13th Computer Science Online Conference 2024, Volume 3
    2024
    Verlag: Springer
    ISBN: 978-3-031-70517-5
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Piskac / Rakamaric / Rakamaric | Computer Aided Verification | Buch | Sack Fachmedien

    Piskac / Rakamaric / Rakamaric Computer Aided Verification

    37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-98678-9
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sorevik / Manne / Moe | Applied Parallel Computing. New Paradigms for HPC in Industry and Academia | Buch | Sack Fachmedien

    Sorevik / Manne / Moe Applied Parallel Computing. New Paradigms for HPC in Industry and Academia

    5th International Workshop, PARA 2000 Bergen, Norway, June 18-20, 2000 Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-41729-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Damiani / Dardha | Coordination Models and Languages | Buch | Sack Fachmedien

    Damiani / Dardha Coordination Models and Languages

    23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-78141-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Carro / Regazzoni / Pilato | Embedded Computer Systems: Architectures, Modeling, and Simulation | Buch | Sack Fachmedien

    Carro / Regazzoni / Pilato Embedded Computer Systems: Architectures, Modeling, and Simulation

    24th International Conference, SAMOS 2024, Samos, Greece, June 29 - July 4, 2024, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-78379-1
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Arbab / Sirjani | International Symposium on Fundamentals of Software Engineering | Buch | Sack Fachmedien

    Arbab / Sirjani International Symposium on Fundamentals of Software Engineering

    International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75697-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Silhavy | Software Engineering: Emerging Trends and Practices in System Development | Buch | Sack Fachmedien

    Silhavy Software Engineering: Emerging Trends and Practices in System Development

    Proceedings of 14th Computer Science On-line Conference 2025, Volume 3
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-00238-9
    Medium: Buch
    235,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yukita | Category Theory Using Haskell | Buch | Sack Fachmedien

    Yukita Category Theory Using Haskell

    An Introduction with Moggi and Yoneda
    2024
    Verlag: Birkhäuser
    ISBN: 978-3-031-68537-8
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    McCool / Reinders / Robison | Structured Parallel Programming | Buch | Sack Fachmedien

    McCool / Reinders / Robison Structured Parallel Programming

    Patterns for Efficient Computation
    Erscheinungsjahr 2012
    Verlag: Elsevier Science
    ISBN: 978-0-12-415993-8
    Medium: Buch
    55,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Grünbacher / Perini | Requirements Engineering: Foundation for Software Quality | Buch | Sack Fachmedien

    Grünbacher / Perini Requirements Engineering: Foundation for Software Quality

    23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 - March 2, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-54044-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Casola / De Benedictis / Rak | Testing Software and Systems | Buch | Sack Fachmedien

    Casola / De Benedictis / Rak Testing Software and Systems

    32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-64880-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Morari / Thiele / Rossi | Hybrid Systems: Computation and Control | Buch | Sack Fachmedien

    Morari / Thiele / Rossi Hybrid Systems: Computation and Control

    8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25108-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gaston / Kosmatov / Le Gall | Testing Software and Systems | Buch | Sack Fachmedien

    Gaston / Kosmatov / Le Gall Testing Software and Systems

    31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-31279-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bouajjani / Maler | Computer Aided Verification | Buch | Sack Fachmedien

    Bouajjani / Maler Computer Aided Verification

    21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02657-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Arisaka / Sanchez-Anguix / Stein | PRIMA 2024: Principles and Practice of Multi-Agent Systems | Buch | Sack Fachmedien

    Arisaka / Sanchez-Anguix / Stein PRIMA 2024: Principles and Practice of Multi-Agent Systems

    25th International Conference, Kyoto, Japan, November 18-24, 2024, Proceedings
    2025
    Verlag: Springer
    ISBN: 978-3-031-77366-2
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Silhavy / Prokopova | Intelligent Systems Applications in Software Engineering | Buch | Sack Fachmedien

    Silhavy / Prokopova Intelligent Systems Applications in Software Engineering

    Proceedings of 3rd Computational Methods in Systems and Software 2019, Vol. 1
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-30328-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bubak / Albada / Sloot | Computational Science - ICCS 2004 | Buch | Sack Fachmedien

    Bubak / Albada / Sloot Computational Science - ICCS 2004

    4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part II
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22115-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lee | Grid Computing - GRID 2001 | Buch | Sack Fachmedien

    Lee Grid Computing - GRID 2001

    Second International Workshop, Denver, CO, USA, November 12, 2001. Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42949-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bogdan / Gulliksen / Sauer | Human-Centered and Error-Resilient Systems Development | Buch | Sack Fachmedien

    Bogdan / Gulliksen / Sauer Human-Centered and Error-Resilient Systems Development

    IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, Augu
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-44901-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Müller-Schloer / Tomforde | Organic Computing - Technical Systems for Survival in the Real World | Buch | Sack Fachmedien

    Müller-Schloer / Tomforde Organic Computing - Technical Systems for Survival in the Real World

    1. Auflage 2017
    Verlag: Birkhäuser
    ISBN: 978-3-319-68476-5
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Craig | Virtual Machines | Buch | Sack Fachmedien

    Craig Virtual Machines

    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-1-85233-969-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dix / Leite / Governatori | Computational Logic in Multi-Agent Systems | Buch | Sack Fachmedien

    Dix / Leite / Governatori Computational Logic in Multi-Agent Systems

    11th International Workshop, CLIMAX XI, Lisbon, Portugal, August 16-17, 2010, Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-14976-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Joshi | Beginning SOLID Principles and Design Patterns for ASP.NET Developers | Buch | Sack Fachmedien

    Joshi Beginning SOLID Principles and Design Patterns for ASP.NET Developers

    1. Auflage 2016
    Verlag: Apress
    ISBN: 978-1-4842-1847-1
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tomayko | Software Engineering Education | Buch | Sack Fachmedien

    Tomayko Software Engineering Education

    SEI Conference 1991, Pittsburgh, Pennsylvania, USA, October 7-8, 1991. Proceedings
    Erscheinungsjahr 1991
    Verlag: Springer
    ISBN: 978-3-540-54502-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Furuhashi / Tano / Jacobsen | Deep Fusion of Computational and Symbolic Processing | Buch | Sack Fachmedien

    Furuhashi / Tano / Jacobsen Deep Fusion of Computational and Symbolic Processing

    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-662-00373-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dubois / Wolff | Tests and Proofs | Buch | Sack Fachmedien

    Dubois / Wolff Tests and Proofs

    12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-92993-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Computing System Reliability | Buch | Sack Fachmedien

    Computing System Reliability

    Models and Analysis
    Erscheinungsjahr 2004
    Verlag: Springer
    ISBN: 978-0-306-48496-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Braga / Martí-Oliet | Formal Methods: Foundations and Applications | Buch | Sack Fachmedien

    Braga / Martí-Oliet Formal Methods: Foundations and Applications

    17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-319-15074-1
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brambilla / Tokuda / Tolksdorf | Web Engineering | Buch | Sack Fachmedien

    Brambilla / Tokuda / Tolksdorf Web Engineering

    12th International Conference, ICWE 2012, Berlin, Germany, July 23-27, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-31752-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dingel / Solberg | Models in Software Engineering | Buch | Sack Fachmedien

    Dingel / Solberg Models in Software Engineering

    Workshops and Symposia at MoDELS 2010, Olso, Norway, October 3-8, 2010, Reports and Revised Selected Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-21209-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Thomson / Polivka | APL2 in Depth | Buch | Sack Fachmedien

    Thomson / Polivka APL2 in Depth

    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-0-387-94213-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pokorny / Repa / Richta | Information Systems Development | Buch | Sack Fachmedien

    Pokorny / Repa / Richta Information Systems Development

    Business Systems and Services: Modeling and Development
    Softcover Nachdruck of the original 1. Auflage 2011
    Verlag: Springer
    ISBN: 978-1-4939-5088-1
    Medium: Buch
    320,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lanese / Madelaine | Formal Aspects of Component Software | Buch | Sack Fachmedien

    Lanese / Madelaine Formal Aspects of Component Software

    11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers
    2015
    Verlag: Springer
    ISBN: 978-3-319-15316-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wyrzykowski / Dongarra / Deelman | Parallel Processing and Applied Mathematics | Buch | Sack Fachmedien

    Wyrzykowski / Dongarra / Deelman Parallel Processing and Applied Mathematics

    12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-78023-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Osterhage | Mathematical Theory of Advanced Computing | Buch | Sack Fachmedien

    Osterhage Mathematical Theory of Advanced Computing

    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-662-60361-1
    Medium: Buch
    21,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Metzger / Persson | Advanced Information Systems Engineering Workshops | Buch | Sack Fachmedien

    Metzger / Persson Advanced Information Systems Engineering Workshops

    CAISE 2017 International Workshops, Essen, Germany, June 12-16, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-60047-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Meersman / Dillon / Herrero | On the Move to Meaningful Internet Systems: OTM 2010 | Buch | Sack Fachmedien

    Meersman / Dillon / Herrero On the Move to Meaningful Internet Systems: OTM 2010

    Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25-29, 1010, Proceedings, Part II
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-16948-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wienands / Lenz | Practical Software Factories in .NET | Buch | Sack Fachmedien

    Wienands / Lenz Practical Software Factories in .NET

    1. Auflage 2014
    Verlag: Apress
    ISBN: 978-1-4302-1175-4
    Medium: Buch
    62,96 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hunt | Agile Software Construction | Buch | Sack Fachmedien

    Hunt Agile Software Construction

    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-1-85233-944-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Piessens / Caballero / Bielova | Engineering Secure Software and Systems | Buch | Sack Fachmedien

    Piessens / Caballero / Bielova Engineering Secure Software and Systems

    7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015, Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-319-15617-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Börger / Butler / Bowen | Abstract State Machines, B and Z | Buch | Sack Fachmedien

    Börger / Butler / Bowen Abstract State Machines, B and Z

    First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-87602-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grabowski / Herbold | System Analysis and Modeling. Technology-Specific Aspects of Models | Buch | Sack Fachmedien

    Grabowski / Herbold System Analysis and Modeling. Technology-Specific Aspects of Models

    9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-46612-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Taibi / Kuhrmann / Mikkonen | Product-Focused Software Process Improvement | Buch | Sack Fachmedien

    Taibi / Kuhrmann / Mikkonen Product-Focused Software Process Improvement

    23rd International Conference, PROFES 2022, Jyväskylä, Finland, November 21-23, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-21387-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Taft / Duff | Ada 95 Reference Manual: Language and Standard Libraries | Buch | Sack Fachmedien

    Taft / Duff Ada 95 Reference Manual: Language and Standard Libraries

    International Standard ISO/IEC 8652:1995 (E)
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63144-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Omicini / Petta / Pitt | Engineering Societies in the Agents World IV | Buch | Sack Fachmedien

    Omicini / Petta / Pitt Engineering Societies in the Agents World IV

    4th International Workshop, ESAW 2003, London, UK, October 29-31, 2003, Revised Selected and Invited Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22231-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hellwagner / Reinefeld | SCI: Scalable Coherent Interface | Buch | Sack Fachmedien

    Hellwagner / Reinefeld SCI: Scalable Coherent Interface

    Architecture and Software for High-Performance Compute Clusters
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66696-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Montesi / Papadopoulos / Zimmermann | Service-Oriented and Cloud Computing | Buch | Sack Fachmedien

    Montesi / Papadopoulos / Zimmermann Service-Oriented and Cloud Computing

    9th IFIP WG 6.12 European Conference, ESOCC 2022, Wittenberg, Germany, March 22-24, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-04717-6
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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