Ergebnisse filtern
Fachgebiet
Medium
  • 10050
  • 1630
  • 32
  • 11
Erscheinungsjahr
  • 2
  • 138
  • 552
  • 1206
  • 1212
  • 561
  • 413
  • 348
  • 374
  • 360
  • 412
  • 320
  • 432
  • 297
  • 442
  • 408
  • 513
  • 248
  • 518
  • 237
  • 255
  • 262
  • 225
  • 256
  • 223
  • 223
  • 178
  • 162
  • 119
  • 108
  • 94
  • 84
  • 80
  • 72
  • 60
  • 68
  • 38
  • 55
  • 35
  • 24
  • 14
  • 13
  • 7
  • 7
  • 4
  • 6
  • 6
  • 1
  • 3
  • 4
  • 1
  • 2
  • 1
  • 2
  • 1
Autoren
  • 4
  • 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
  • 7
  • 4
  • 4
  • 4
  • 3
  • 8
  • 5
  • 5
  • 3
  • 7
  • 4
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 6
  • 4
  • 4
  • 5
  • 4
  • 3
  • 3
  • 7
  • 4
  • 4
  • 3
  • 3
  • 7
  • 11
  • 5
  • 10
  • 4
  • 7
  • 3
  • 4
  • 3
  • 4
  • 4
  • 5
  • 3
  • 9
  • 23
  • 3
  • 23
  • 5
  • 6
  • 7
  • 5
  • 3
  • 3
  • 4
  • 3
  • 4
  • 6
  • 8
  • 4
  • 4
  • 7
  • 4
  • 3
  • 4
  • 8
  • 3
  • 3
  • 3
  • 8
  • 4
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 5
  • 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
  • 6
  • 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
  • 8
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 10
  • 3
  • 3
  • 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
  • 6
  • 3
  • 5
  • 12
  • 5
  • 3
  • 4
  • 13
  • 10
  • 4
  • 4
  • 10
  • 3
  • 3
  • 7
  • 4
  • 4
  • 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
  • 4
  • 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
  • 8
  • 3
  • 4
  • 4
  • 7
  • 7
  • 3
  • 3
  • 3
  • 5
  • 4
  • 9
  • 3
  • 5
  • 3
  • 3
  • 5
  • 5
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 5
  • 8
  • 6
  • 3
  • 6
  • 4
  • 4
  • 4
  • 5
  • 15
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 7
  • 13
  • 6
  • 7
  • 10
  • 7
  • 4
  • 8
  • 10
  • 6
  • 7
  • 4
  • 9
  • 5
  • 7
  • 22
  • 6
  • 4
  • 18
  • 4
  • 5
  • 4
  • 5
  • 6
  • 5
  • 5
  • 12
  • 4
  • 4
  • 5
  • 4
  • 4
  • 5
  • 4
  • 6
  • 5
  • 9
  • 4
  • 7
  • 29
  • 25
  • 4
  • 4
  • 8
  • 5
  • 9
  • 8
  • 12
  • 5
  • 19
  • 6
  • 4
  • 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
  • 6
  • 4
  • 6
  • 4
  • 4
  • 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
  • 4
  • 19
  • 10
  • 4
  • 4
  • 4
  • 5
  • 11
  • 5
  • 7
  • 8
  • 6
  • 5
  • 8
  • 4
  • 10
  • 4
  • 6
  • 4
  • 4
  • 12
  • 4
  • 4
  • 4
  • 4
  • 4
  • 8
  • 7
  • 8
  • 16
  • 7
  • 5
  • 10
  • 8
  • 6
  • 9
  • 4
  • 7
  • 6
  • 7
  • 4
  • 10
  • 8
  • 13
  • 7
  • 8
  • 12
  • 9
  • 7
  • 66
  • 4
  • 4
  • 14
  • 4
  • 4
  • 7
  • 5
  • 10
  • 7
  • 5
  • 7
  • 6
  • 4
  • 12
  • 14
  • 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
  • 4
  • 10
  • 15
  • 7
  • 4
  • 7
  • 6
  • 4
  • 6
  • 4
  • 4
  • 23
  • 27
  • 5
  • 4
  • 4
  • 4
  • 20
  • 11
  • 6
  • 6
  • 4
  • 5
  • 8
  • 5
  • 5
  • 8
  • 7
  • 5
  • 13
  • 7
  • 12
  • 11
  • 31
  • 10
  • 8
  • 4
  • 9
  • 5
  • 4
  • 4
  • 4
  • 4
  • 5
  • 4
  • 6
  • 7
  • 5
  • 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
  • 6
  • 4
  • 9
  • 10
  • 4
  • 5
  • 8
  • 7
  • 4
  • 5
  • 7
  • 10
  • 4
  • 4
  • 5
  • 7
  • 4
  • 4
  • 8
  • 8
  • 4
  • 7
  • 4
  • 8
  • 5
  • 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
  • 7
  • 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
  • 11
  • 7
  • 48
  • 5
  • 5
  • 5
  • 8
  • 4
  • 4
  • 5
  • 9
  • 20
  • 7
  • 5
  • 4
  • 5
  • 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
  • 6
  • 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
  • 5
  • 4
  • 11
  • 4
  • 4
  • 4
  • 4
  • 4
  • 5
  • 5
  • 16
  • 14
  • 5
  • 12
  • 4
  • 8
  • 19
  • 4
  • 12
  • 12
  • 4
  • 18
  • 5
  • 9
  • 6
  • 4
  • 7
  • 4
  • 9
  • 7
  • 7
  • 18
  • 8
  • 6
  • 14
  • 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
  • 52
  • 6
  • 503
  • 1
  • 44
  • 18
  • 3
  • 8
  • 4
  • 281
  • 1
  • 21
  • 1
  • 1
  • 3
  • 4
  • 3
  • 69
  • 1
  • 95
  • 1
  • 219
  • 1
  • 538
  • 1324
  • 15
  • 1
  • 1
  • 2
  • 58
  • 99
  • 2
  • 6
  • 1
  • 1
  • 32
  • 2
  • 1
  • 53
  • 29
  • 1
  • 25
  • 1
  • 4
  • 3
  • 12
  • 5
  • 28
  • 4
  • 2
  • 1
  • 6
  • 1
  • 1
  • 3
  • 1
  • 25
  • 1
  • 1
  • 4
  • 1
  • 1
  • 33
  • 1
  • 1
  • 2
  • 1
  • 16
  • 49
  • 4
  • 4
  • 5
  • 17
  • 2
  • 6
  • 1
  • 1
  • 18
  • 2
  • 1
  • 12
  • 2
  • 1
  • 5
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 11
  • 1
  • 3
  • 17
  • 2
  • 1
  • 2
  • 8
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 15
  • 1
  • 7
  • 29
  • 22
  • 3
  • 37
  • 1
  • 1
  • 1
  • 1
  • 2
  • 16
  • 1
  • 6470
  • 30
  • 7
  • 1
  • 1
  • 1
  • 4
  • 7
  • 1
  • 25
  • 35
  • 1
  • 124
  • 90
  • 3
  • 2
  • 21
  • 1
  • 1
  • 290
  • 28
  • 113
  • 35
  • 1
  • 24
  • 6
  • 1
  • 3
  • 1
  • 86
  • 1
  • 5
  • 2
  • 181
  • 3
  • 9
  • 1
  • 24
  • 33
  • 1
  • 1
  • 2
  • 2
Preis
  • 387
  • 2038
  • 5570
  • 3728
Sprachen
  • 10766
  • 967
  • 2
Verfügbarkeit
  • 11418
  • 305
Eigenschaften
  • 6
  • 5
Katalog
  • 11723
  • 1829
11.723  Titel
    Wirsing / Banatre / Hölzl | Software-Intensive Systems and New Computing Paradigms | Buch | Sack Fachmedien

    Wirsing / Banatre / Hölzl Software-Intensive Systems and New Computing Paradigms

    Challenges and Visions
    1. Auflage 2008
    Verlag: Springer
    ISBN: 978-3-540-89436-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Parashar / Aggarwal | Distributed Computing and Internet Technology | Buch | Sack Fachmedien

    Parashar / Aggarwal Distributed Computing and Internet Technology

    5th International Conference, ICDCIT 2008 New Delhi, India, December 10 - 12, 2008 Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-89736-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baldoni / Son / van Riemsdijk | Declarative Agent Languages and Technologies VI | Buch | Sack Fachmedien

    Baldoni / Son / van Riemsdijk Declarative Agent Languages and Technologies VI

    6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-540-93919-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bonfanti / Gargantini / Salvaneschi | Testing Software and Systems | Buch | Sack Fachmedien

    Bonfanti / Gargantini / Salvaneschi Testing Software and Systems

    35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-43239-2
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beckert / Hähnle | Tests and Proofs | Buch | Sack Fachmedien

    Beckert / Hähnle Tests and Proofs

    Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-79123-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dumas / Heckel | Web Services and Formal Methods | Buch | Sack Fachmedien

    Dumas / Heckel Web Services and Formal Methods

    4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-79229-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Eigenmann / de Supinski | OpenMP in a New Era of Parallelism | Buch | Sack Fachmedien

    Eigenmann / de Supinski OpenMP in a New Era of Parallelism

    4th International Workshop, IWOMP 2008 West Lafayette, IN, USA, May 12-14, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-79560-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barnes | Ada 2005 Rationale | Buch | Sack Fachmedien

    Barnes Ada 2005 Rationale

    The Language, The Standard Libraries
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-79700-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leue / Merino | Formal Methods for Industrial Critical Systems | Buch | Sack Fachmedien

    Leue / Merino Formal Methods for Industrial Critical Systems

    12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-79706-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Meseguer / Rosu | Algebraic Methodology and Software Technology | Buch | Sack Fachmedien

    Meseguer / Rosu Algebraic Methodology and Software Technology

    12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-79979-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ramakrishnan / Rehof | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Ramakrishnan / Rehof Tools and Algorithms for the Construction and Analysis of Systems

    14th International Conference, TACAS 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-78799-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    van Eekelen / Shkaravska | Foundational and Practical Aspects of Resource Analysis | Buch | Sack Fachmedien

    van Eekelen / Shkaravska Foundational and Practical Aspects of Resource Analysis

    First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15330-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baudry / Wohlstadter | Software Composition | Buch | Sack Fachmedien

    Baudry / Wohlstadter Software Composition

    9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-14045-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wieringa / Persson | Requirements Engineering: Foundation for Software Quality | Buch | Sack Fachmedien

    Wieringa / Persson Requirements Engineering: Foundation for Software Quality

    16th International Working Conference, REFSQ 2010, Essen, Germany, June 30-July 2, 2010. Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-14191-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen | Algorithmic Aspects in Information and Management | Buch | Sack Fachmedien

    Chen Algorithmic Aspects in Information and Management

    6th International Conference, AAIM 2010, Weihai, China, July 19-21, 2010. Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-14354-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Petriu / Rouquette / Haugen | Model Driven Engineering Languages and Systems | Buch | Sack Fachmedien

    Petriu / Rouquette / Haugen Model Driven Engineering Languages and Systems

    13th International Conference, MODELS 2010, Oslo, Norway 3-8, 2010, Proceedings, Part II
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-16128-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dean / Hall / Rotolo | Semantic Web Rules | Buch | Sack Fachmedien

    Dean / Hall / Rotolo Semantic Web Rules

    International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-16288-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ueda | Programming Languages and Systems | Buch | Sack Fachmedien

    Ueda Programming Languages and Systems

    8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-17163-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Catano | Formal Software Development with Event-B | Buch | Sack Fachmedien

    Catano Formal Software Development with Event-B

    A Practical Guide to Modelling, Refinement, and Verification
    2. Auflage 2026
    Verlag: Springer
    ISBN: 978-3-032-31242-6
    Medium: Buch
    32,09 € (inkl. MwSt.)
    vorbestellbar
    Bereits im Warenkorb
    Bhardwaj | System Design with AI Interview Guide | Buch | Sack Fachmedien

    Bhardwaj System Design with AI Interview Guide

    Designing Scalable, Agentic, and Defensible Systems
    1. Auflage 2026
    Verlag: Apress
    ISBN: 979-8-8688-2781-5
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Ben-Shaul / Kaiser | A Paradigm for Decentralized Process Modeling | Buch | Sack Fachmedien

    Ben-Shaul / Kaiser A Paradigm for Decentralized Process Modeling

    1995. Auflage 1995
    Verlag: Springer Us
    ISBN: 978-0-7923-9631-4
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Almog | Practical Debugging at Scale | Buch | Sack Fachmedien

    Almog Practical Debugging at Scale

    Cloud Native Debugging in Kubernetes and Production
    1. Auflage 2023
    Verlag: Apress
    ISBN: 978-1-4842-9041-5
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sachs / Tichatschke | System Modeling and Optimization XX | Buch | Sack Fachmedien

    Sachs / Tichatschke System Modeling and Optimization XX

    IFIP TC7 20th Conference on System Modeling and Optimization July 23-27, 2001, Trier, Germany
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-1-4757-6669-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Holleczek / Vogel-Heuser | Mobilität und Echtzeit | Buch | Sack Fachmedien

    Holleczek / Vogel-Heuser Mobilität und Echtzeit

    Fachtagung der GI-Fachgruppe Echtzeitsysteme (real-time) Boppard, 6./7. Dezember 2007
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74836-6
    Medium: Buch
    54,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gorrieri | Process Algebras for Petri Nets | Buch | Sack Fachmedien

    Gorrieri Process Algebras for Petri Nets

    The Alphabetization of Distributed Systems
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-55558-4
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bühler | Einstieg in Flutter mit Dart | Buch | Sack Fachmedien

    Bühler Einstieg in Flutter mit Dart

    Layout - Interaktion - Datenbank
    2024
    Verlag: Springer
    ISBN: 978-3-658-44389-4
    Medium: Buch
    44,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Günter | Customer-based IP Service Monitoring with Mobile Software Agents | Buch | Sack Fachmedien

    Günter Customer-based IP Service Monitoring with Mobile Software Agents

    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-7643-6917-0
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sagdeo | The Complete Verilog Book | Buch | Sack Fachmedien

    Sagdeo The Complete Verilog Book

    1998. Auflage 1998
    Verlag: Springer Us
    ISBN: 978-0-7923-8188-4
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Yeh | Case Technology | Buch | Sack Fachmedien

    Yeh Case Technology

    A Special Issue of the Journal of Systems Integration
    4th Nachdrucked from Journal of Syst and Auflage 1991
    Verlag: Springer Us
    ISBN: 978-0-7923-9189-0
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Ferreira / Rolim | Parallel Algorithms for Irregular Problems: State of the Art | Buch | Sack Fachmedien

    Ferreira / Rolim Parallel Algorithms for Irregular Problems: State of the Art

    1. Auflage. Softcover version of original hardcover Auflage 1995
    Verlag: Springer
    ISBN: 978-1-4419-4747-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Maurer | Object-based Programming with Go | Buch | Sack Fachmedien

    Maurer Object-based Programming with Go

    2024
    Verlag: Springer
    ISBN: 978-3-658-44703-8
    Medium: Buch
    40,65 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Staunstrup / Wolf | Hardware/Software Co-Design | Buch | Sack Fachmedien

    Staunstrup / Wolf Hardware/Software Co-Design

    Principles and Practice
    1997
    Verlag: Springer US
    ISBN: 978-0-7923-8013-9
    Medium: Buch
    160,49 € (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 I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-952094-7
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Steffen | Bridging the Gap Between AI and Reality | Buch | Sack Fachmedien

    Steffen Bridging the Gap Between AI and Reality

    Second International Conference, AISoLA 2024, Crete, Greece, October 30 - November 3, 2024, Selected Papers
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-01376-7
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Singh / Bilgaiyan / Mishra | A Journey Towards Bio-inspired Techniques in Software Engineering | Buch | Sack Fachmedien

    Singh / Bilgaiyan / Mishra A Journey Towards Bio-inspired Techniques in Software Engineering

    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-40930-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Puthal / Mohanty / Choi | Internet of Things. Advances in Information and Communication Technology | Buch | Sack Fachmedien

    Puthal / Mohanty / Choi Internet of Things. Advances in Information and Communication Technology

    6th IFIP International Cross-Domain Conference, IFIPIoT 2023, Denton, TX, USA, November 2-3, 2023, Proceedings, Part I
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-3-031-45877-4
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Könighofer / Torfah | Runtime Verification | Buch | Sack Fachmedien

    Könighofer / Torfah Runtime Verification

    25th International Conference, RV 2025, Graz, Austria, September 15-19, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-05434-0
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tarr / Wolf | Engineering of Software | Buch | Sack Fachmedien

    Tarr / Wolf Engineering of Software

    The Continuing Contributions of Leon J. Osterweil
    2011
    Verlag: Springer
    ISBN: 978-3-642-43603-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mutschler / Specht | Mobile Datenbanksysteme | Buch | Sack Fachmedien

    Mutschler / Specht Mobile Datenbanksysteme

    Architektur, Implementierung, Konzepte
    Softcover Nachdruck of the original 1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-642-62266-3
    Medium: Buch
    71,68 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dokken / Finsberg / Hale | The FEniCS Project | Buch | Sack Fachmedien

    Dokken / Finsberg / Hale The FEniCS Project

    The FEniCS 2024 Conference
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-17395-9
    Medium: Buch
    32,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    D´Souza / Komondoor / Srivathsan | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    D´Souza / Komondoor / Srivathsan Automated Technology for Verification and Analysis

    23rd International Symposium, ATVA 2025, Bengaluru, India, October 27-31, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-08706-5
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Holleczek / Vogel-Heuser | Echtzeitaspekte bei der Koordinierung Autonomer Systeme | Buch | Sack Fachmedien

    Holleczek / Vogel-Heuser Echtzeitaspekte bei der Koordinierung Autonomer Systeme

    Fachtagung der GI-Fachgruppe Echtzeitsysteme und PEARL (EP), Boppard, 1./2. Dezember 2005
    Erscheinungsjahr 2005
    Verlag: Springer
    ISBN: 978-3-540-29594-5
    Medium: Buch
    56,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    ter Beek / McIver / Oliveira | Formal Methods - The Next 30 Years | Buch | Sack Fachmedien

    ter Beek / McIver / Oliveira Formal Methods - The Next 30 Years

    Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-30941-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yadid-Pecht / Etienne-Cummings | CMOS Imagers | Buch | Sack Fachmedien

    Yadid-Pecht / Etienne-Cummings CMOS Imagers

    From Phototransduction to Image Processing
    Softcover Nachdruck of the original 1. Auflage 2004
    Verlag: Springer US
    ISBN: 978-1-4757-8871-6
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Scerri / Vincent / Mailler | Coordination of Large-Scale Multiagent Systems | Buch | Sack Fachmedien

    Scerri / Vincent / Mailler Coordination of Large-Scale Multiagent Systems

    1. Auflage. Softcover version of original hardcover Auflage 2006
    Verlag: Springer US
    ISBN: 978-1-4419-3872-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Quesada-Arencibia / Affenzeller / Moreno-Díaz | Computer Aided Systems Theory - EUROCAST 2024 | Buch | Sack Fachmedien

    Quesada-Arencibia / Affenzeller / Moreno-Díaz Computer Aided Systems Theory - EUROCAST 2024

    19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-82959-8
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bifet / Krilavicius / Miliou | Machine Learning and Knowledge Discovery in Databases. Applied Data Science Track | Buch | Sack Fachmedien

    Bifet / Krilavicius / Miliou Machine Learning and Knowledge Discovery in Databases. Applied Data Science Track

    European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part IX
    2024
    Verlag: Springer
    ISBN: 978-3-031-70377-5
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schrepp | Design, User Experience, and Usability | Buch | Sack Fachmedien

    Schrepp Design, User Experience, and Usability

    14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-93220-5
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Freivalds / Engels / Catania | SOFSEM 2016: Theory and Practice of Computer Science | Buch | Sack Fachmedien

    Freivalds / Engels / Catania SOFSEM 2016: Theory and Practice of Computer Science

    42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-662-49191-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Babkin / Ulitin | Ontology-Based Evolution of Domain-Oriented Languages | Buch | Sack Fachmedien

    Babkin / Ulitin Ontology-Based Evolution of Domain-Oriented Languages

    Models, Methods and Tools for User Interface Design in General-Purpose Software Systems
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-3-031-42201-0
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rey / Tigli / Franquet | Internet of Things. 7th IFIPIoT 2024 International IFIP WG 5.5 Workshops | Buch | Sack Fachmedien

    Rey / Tigli / Franquet Internet of Things. 7th IFIPIoT 2024 International IFIP WG 5.5 Workshops

    GRAAL4IoT 2024, STAND4IoT 2024, Posters, Nice, France, November 6–8, 2024, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-82067-0
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Poetzsch-Heffter | Konzepte objektorientierter Programmierung | Buch | Sack Fachmedien

    Poetzsch-Heffter Konzepte objektorientierter Programmierung

    Mit einer Einführung in Java
    2., überarbeitete Auflage 2009
    Verlag: Springer
    ISBN: 978-3-540-89470-4
    Medium: Buch
    44,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Boca / Bowen / Siddiqi | Formal Methods: State of the Art and New Directions | Buch | Sack Fachmedien

    Boca / Bowen / Siddiqi Formal Methods: State of the Art and New Directions

    2010
    Verlag: Springer
    ISBN: 978-1-4471-5745-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kassel / Wu | Software Engineering Education Going Agile | Buch | Sack Fachmedien

    Kassel / Wu Software Engineering Education Going Agile

    11th China-Europe International Symposium on Software Engineering Education (CEISEE 2015)
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-29165-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zuckarelli | Learn coding with Python and JavaScript | Buch | Sack Fachmedien

    Zuckarelli Learn coding with Python and JavaScript

    A practical introduction for beginners
    2024
    Verlag: Springer
    ISBN: 978-3-658-42911-9
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Miklosko / Kotov | Algorithms, Software and Hardware of Parallel Computers | Buch | Sack Fachmedien

    Miklosko / Kotov Algorithms, Software and Hardware of Parallel Computers

    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-662-11108-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Silhavy | Artificial Intelligence and System Engineering | Buch | Sack Fachmedien

    Silhavy Artificial Intelligence and System Engineering

    Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 2
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-96758-0
    Medium: Buch
    235,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Klein / Ralya / Pollak | A Practitioner's Handbook for Real-Time Analysis | Buch | Sack Fachmedien

    Klein / Ralya / Pollak A Practitioner's Handbook for Real-Time Analysis

    Guide to Rate Monotonic Analysis for Real-Time Systems
    1993
    Verlag: Springer US
    ISBN: 978-0-7923-9361-0
    Medium: Buch
    534,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Szederkényi / Lakner / Gerzson | Intelligent Control Systems | Buch | Sack Fachmedien

    Szederkényi / Lakner / Gerzson Intelligent Control Systems

    An Introduction with Examples
    2001
    Verlag: Springer
    ISBN: 978-1-4757-7529-7
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mehta | System Verilog Assertions and Functional Coverage | Buch | Sack Fachmedien

    Mehta System Verilog Assertions and Functional Coverage

    Guide to Language, Methodology and Applications
    Third Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-24736-2
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bibel / Schmitt | Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications | Buch | Sack Fachmedien

    Bibel / Schmitt Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

    1. Auflage 1998
    Verlag: Springer
    ISBN: 978-0-7923-5130-6
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pham | Handbook of Reliability Engineering | Buch | Sack Fachmedien

    Pham Handbook of Reliability Engineering

    Softcover Nachdruck of the original 1. Auflage 2003
    Verlag: Springer
    ISBN: 978-1-4471-3939-3
    Medium: Buch
    235,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mouheb / Debbabi / Pourzandi | Aspect-Oriented Security Hardening of UML Design Models | Buch | Sack Fachmedien

    Mouheb / Debbabi / Pourzandi Aspect-Oriented Security Hardening of UML Design Models

    2015
    Verlag: Springer
    ISBN: 978-3-319-16105-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jansen / Junges / Kaminski | Principles of Verification: Cycling the Probabilistic Landscape | Buch | Sack Fachmedien

    Jansen / Junges / Kaminski Principles of Verification: Cycling the Probabilistic Landscape

    Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III
    Erscheinungsjahr 2024
    Verlag: Springer
    ISBN: 978-3-031-75777-8
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cao | Metasynthetic Computing and Engineering of Complex Systems | Buch | Sack Fachmedien

    Cao Metasynthetic Computing and Engineering of Complex Systems

    Softcover Nachdruck of the original 1. Auflage 2015
    Verlag: Springer
    ISBN: 978-1-4471-7062-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stärk / Schmid / Börger | Java and the Java Virtual Machine | Buch | Sack Fachmedien

    Stärk / Schmid / Börger Java and the Java Virtual Machine

    Definition, Verification, Validation
    Erscheinungsjahr 2001
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-42088-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    COLEMAN | A Structured Programming Approach to Data | Buch | Sack Fachmedien

    COLEMAN A Structured Programming Approach to Data

    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-1-4684-7987-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lippe | Funktionale und Applikative Programmierung | Buch | Sack Fachmedien

    Lippe Funktionale und Applikative Programmierung

    Grundlagen, Sprachen, Implementierungstechniken
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-540-89091-1
    Medium: Buch
    37,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Morazán | Programming-Based Formal Languages and Automata Theory | Buch | Sack Fachmedien

    Morazán Programming-Based Formal Languages and Automata Theory

    Design, Implement, Validate, and Prove
    Erscheinungsjahr 2024
    Verlag: Springer
    ISBN: 978-3-031-43975-9
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lan / Mei / Jiang | Intelligent Robotics and Applications | Buch | Sack Fachmedien

    Lan / Mei / Jiang Intelligent Robotics and Applications

    17th International Conference, ICIRA 2024, Xi'an, China, July 31-August 2, 2024, Proceedings, Part X
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-960785-3
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rajkumar | Synchronization in Real-Time Systems | Buch | Sack Fachmedien

    Rajkumar Synchronization in Real-Time Systems

    A Priority Inheritance Approach
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-1-4613-6788-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Guarda / Portela / Augusto | Advanced Research in Technologies, Information, Innovation and Sustainability | Buch | Sack Fachmedien

    Guarda / Portela / Augusto Advanced Research in Technologies, Information, Innovation and Sustainability

    5th International Conference, ARTIIS 2025, Cartagena de Indias, Colombia, October 21-23, 2025, Revised Selected Papers, Part III
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-16763-7
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    ALLWORTH | Introduction to Real-time Software Design | Buch | Sack Fachmedien

    ALLWORTH Introduction to Real-time Software Design

    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-1-4612-9085-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Affenzeller / Winkler / Kononova | Parallel Problem Solving from Nature - PPSN XVIII | Buch | Sack Fachmedien

    Affenzeller / Winkler / Kononova Parallel Problem Solving from Nature - PPSN XVIII

    18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024, Proceedings, Part III
    2024
    Verlag: Springer
    ISBN: 978-3-031-70070-5
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Besnard / Gacek / Jones | Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective | Buch | Sack Fachmedien

    Besnard / Gacek / Jones Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective

    2006. Auflage 2005
    Verlag: Springer
    ISBN: 978-1-84628-110-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Lan / Mei / Jiang | Intelligent Robotics and Applications | Buch | Sack Fachmedien

    Lan / Mei / Jiang Intelligent Robotics and Applications

    17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part IV
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-960797-6
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Verma / Pattanaik / Buyya | Advanced Network Technologies and Intelligent Computing | Buch | Sack Fachmedien

    Verma / Pattanaik / Buyya Advanced Network Technologies and Intelligent Computing

    4th International Conference, ANTIC 2024, Varanasi, India, December 19-21, 2024, Proceedings, Part III
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-83792-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Adey | Engineering Software III | Buch | Sack Fachmedien

    Adey Engineering Software III

    Proceedings of the 3rd International Conference, Imperial College, London, England. April 1983
    Softcover Nachdruck of the original 1. Auflage 1983
    Verlag: Springer
    ISBN: 978-3-662-02337-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sawant / Shah | Big Data Application Architecture Q&A | Buch | Sack Fachmedien

    Sawant / Shah Big Data Application Architecture Q&A

    A Problem - Solution Approach
    1. Auflage 2013
    Verlag: Apress
    ISBN: 978-1-4302-6292-3
    Medium: Buch
    48,14 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bowman / Gomez | Concurrency Theory | Buch | Sack Fachmedien

    Bowman / Gomez Concurrency Theory

    Calculi an Automata for Modelling Untimed and Timed Concurrent Systems
    1. Auflage. Softcover version of original hardcover Auflage 2006
    Verlag: Springer
    ISBN: 978-1-84996-951-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Rey / Tigli / Franquet | Internet of Things | Buch | Sack Fachmedien

    Rey / Tigli / Franquet Internet of Things

    7th IFIP WG 5.5 International Cross-Domain Conference, IFIPIoT 2024, Nice, France, November 6-8, 2024, Proceedings
    Erscheinungsjahr 2024
    Verlag: Springer
    ISBN: 978-3-031-81899-8
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Finkbeiner / Kovács | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Finkbeiner / Kovács Tools and Algorithms for the Construction and Analysis of Systems

    30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III
    2024
    Verlag: Springer
    ISBN: 978-3-031-57255-5
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Marcus / Rosenzweig / Soares | Design, User Experience, and Usability | Buch | Sack Fachmedien

    Marcus / Rosenzweig / Soares Design, User Experience, and Usability

    13th International Conference, DUXU 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part III
    2024
    Verlag: Springer
    ISBN: 978-3-031-61355-5
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pathania | Pro Continuous Delivery | Buch | Sack Fachmedien

    Pathania Pro Continuous Delivery

    With Jenkins 2.0
    1. Auflage 2017
    Verlag: Apress
    ISBN: 978-1-4842-2912-5
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chaubey / Thampi / Jhanjhi | Computing Science, Communication and Security | Buch | Sack Fachmedien

    Chaubey / Thampi / Jhanjhi Computing Science, Communication and Security

    6th International Conference, COMS2 2025, Mehsana, Gujarat, India, September 12-13, 2025, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-16037-9
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Varga | Creating Maintainable APIs | Buch | Sack Fachmedien

    Varga Creating Maintainable APIs

    A Practical, Case-Study Approach
    1. Auflage 2016
    Verlag: Apress
    ISBN: 978-1-4842-2195-2
    Medium: Buch
    48,14 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sheu | Software Engineering and Environment | Buch | Sack Fachmedien

    Sheu Software Engineering and Environment

    An Object-Oriented Perspective
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-1-4613-7710-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Holleczek | Aktuelle Anwendungen in Technik und Wirtschaft Echtzeit 2008 | Buch | Sack Fachmedien

    Holleczek Aktuelle Anwendungen in Technik und Wirtschaft Echtzeit 2008

    Fachtagung des GI/GMA-Fachausschusses Echtzeitsysteme (real-time) Boppard, 27. und 28. November 2008
    1. Auflage 2008
    Verlag: Springer
    ISBN: 978-3-540-85323-7
    Medium: Buch
    49,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Taura / Nagai | Concept Generation for Design Creativity | Buch | Sack Fachmedien

    Taura / Nagai Concept Generation for Design Creativity

    A Systematized Theory and Methodology
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-1-4471-5864-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fill / Kühn | Metamodeling: Applications and Trajectories to the Future | Buch | Sack Fachmedien

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

    Essays in Honor of Dimitris Karagiannis
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-56864-0
    Medium: Buch
    192,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beydeda / Gruhn | Testing Commercial-off-the-Shelf Components and Systems | Buch | Sack Fachmedien

    Beydeda / Gruhn Testing Commercial-off-the-Shelf Components and Systems

    1. Auflage Softcover of orig. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-642-06009-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Silhavy | Informatics and Cybernetics in Intelligent Systems | Buch | Sack Fachmedien

    Silhavy Informatics and Cybernetics in Intelligent Systems

    Proceedings of 10th Computer Science On-line Conference 2021, Vol. 3
    1. Auflage 2021
    Verlag: Palgrave Macmillan
    ISBN: 978-3-030-77447-9
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nicholls | Z User Workshop, Oxford 1990 | Buch | Sack Fachmedien

    Nicholls Z User Workshop, Oxford 1990

    Proceedings of the Fifth Annual Z User Meeting, Oxford, 17-18 December 1990
    1. Auflage. 1991
    Verlag: Springer
    ISBN: 978-3-540-19672-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Long | Guide to Framing Design Practice for UX | Buch | Sack Fachmedien

    Long Guide to Framing Design Practice for UX

    2025
    Verlag: Springer
    ISBN: 978-3-031-68980-2
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blain | The Complete Guide to Blender Graphics | Buch | Sack Fachmedien

    Blain The Complete Guide to Blender Graphics

    Computer Modeling and Animation: Volumes One and Two
    1. Auflage 2023
    Verlag: Taylor & Francis
    ISBN: 978-1-032-56218-6
    Medium: Buch
    Lieferzeit ca. 3 bis 4 Wochen
    Zur Detailseite
    Maglogiannis / Iliadis / Karydis | Artificial Intelligence Applications and Innovations. AIAI 2024 IFIP WG 12.5 International Workshops | Buch | Sack Fachmedien

    Maglogiannis / Iliadis / Karydis Artificial Intelligence Applications and Innovations. AIAI 2024 IFIP WG 12.5 International Workshops

    MHDW 2024, 5G-PINE 2024, and ¿¿4GD 2024, Corfu, Greece, June 27-30, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-63226-6
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rackwitz / Augusti / Borri | Reliability and Optimization of Structural Systems | Buch | Sack Fachmedien

    Rackwitz / Augusti / Borri Reliability and Optimization of Structural Systems

    Proceedings of the sixth IFIP WG7.5 working conference on reliability and optimization of structural systems 1994
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-1-4757-6397-3
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Royer / Case | Subrecursive Programming Systems | Buch | Sack Fachmedien

    Royer / Case Subrecursive Programming Systems

    Complexity & Succinctness
    1. Auflage 1994
    Verlag: Birkhäuser
    ISBN: 978-0-8176-3767-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gurfinkel / Ganesh | Computer Aided Verification | Buch | Sack Fachmedien

    Gurfinkel / Ganesh Computer Aided Verification

    36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III
    2024
    Verlag: Springer
    ISBN: 978-3-031-65632-3
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Smith | Achieving Quality Software | Buch | Sack Fachmedien

    Smith Achieving Quality Software

    Including Its Application to Safety-Related Systems
    Third Auflage 1995
    Verlag: Springer
    ISBN: 978-94-010-4243-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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