Ergebnisse filtern
Fachgebiet
Medium
  • 10011
  • 1637
  • 29
  • 12
Erscheinungsjahr
  • 1
  • 66
  • 569
  • 1206
  • 1218
  • 562
  • 416
  • 350
  • 374
  • 360
  • 417
  • 322
  • 430
  • 298
  • 444
  • 406
  • 513
  • 250
  • 516
  • 239
  • 255
  • 261
  • 225
  • 258
  • 223
  • 222
  • 180
  • 162
  • 119
  • 107
  • 95
  • 84
  • 80
  • 71
  • 63
  • 68
  • 38
  • 55
  • 35
  • 24
  • 14
  • 13
  • 7
  • 7
  • 4
  • 6
  • 6
  • 1
  • 3
  • 4
  • 1
  • 2
  • 1
  • 2
  • 1
Autoren
  • 3
  • 3
  • 4
  • 3
  • 8
  • 14
  • 3
  • 3
  • 4
  • 9
  • 10
  • 3
  • 4
  • 4
  • 10
  • 4
  • 3
  • 9
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 10
  • 3
  • 5
  • 3
  • 3
  • 6
  • 4
  • 4
  • 4
  • 3
  • 8
  • 5
  • 5
  • 7
  • 4
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 6
  • 4
  • 4
  • 5
  • 4
  • 3
  • 3
  • 7
  • 4
  • 4
  • 3
  • 3
  • 7
  • 11
  • 5
  • 10
  • 3
  • 7
  • 3
  • 4
  • 3
  • 4
  • 4
  • 5
  • 3
  • 9
  • 23
  • 3
  • 23
  • 5
  • 6
  • 7
  • 4
  • 3
  • 4
  • 3
  • 4
  • 6
  • 8
  • 4
  • 4
  • 7
  • 4
  • 3
  • 4
  • 8
  • 3
  • 3
  • 3
  • 8
  • 4
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 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
  • 5
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 6
  • 3
  • 4
  • 10
  • 3
  • 3
  • 4
  • 9
  • 3
  • 3
  • 5
  • 21
  • 3
  • 4
  • 4
  • 13
  • 3
  • 3
  • 3
  • 4
  • 6
  • 3
  • 3
  • 3
  • 16
  • 3
  • 4
  • 16
  • 4
  • 7
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 10
  • 3
  • 4
  • 3
  • 8
  • 4
  • 3
  • 5
  • 10
  • 19
  • 4
  • 9
  • 16
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 7
  • 8
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 11
  • 10
  • 5
  • 3
  • 3
  • 3
  • 3
  • 11
  • 7
  • 3
  • 6
  • 3
  • 5
  • 12
  • 5
  • 3
  • 4
  • 13
  • 10
  • 4
  • 4
  • 10
  • 3
  • 3
  • 7
  • 4
  • 3
  • 3
  • 3
  • 3
  • 20
  • 4
  • 5
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 6
  • 6
  • 4
  • 3
  • 8
  • 4
  • 33
  • 4
  • 3
  • 8
  • 3
  • 4
  • 5
  • 3
  • 4
  • 3
  • 7
  • 7
  • 4
  • 3
  • 5
  • 5
  • 3
  • 6
  • 8
  • 3
  • 4
  • 3
  • 3
  • 6
  • 3
  • 8
  • 5
  • 7
  • 3
  • 6
  • 4
  • 8
  • 6
  • 5
  • 16
  • 3
  • 8
  • 4
  • 4
  • 12
  • 3
  • 3
  • 4
  • 7
  • 5
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 9
  • 6
  • 3
  • 3
  • 8
  • 8
  • 3
  • 9
  • 3
  • 4
  • 12
  • 4
  • 6
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 4
  • 5
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 3
  • 4
  • 6
  • 3
  • 5
  • 3
  • 3
  • 10
  • 3
  • 4
  • 4
  • 4
  • 4
  • 4
  • 9
  • 4
  • 3
  • 6
  • 6
  • 3
  • 4
  • 4
  • 7
  • 7
  • 3
  • 3
  • 3
  • 5
  • 3
  • 9
  • 3
  • 5
  • 3
  • 3
  • 5
  • 5
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 5
  • 8
  • 6
  • 3
  • 6
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 5
  • 15
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 7
  • 13
  • 6
  • 7
  • 10
  • 7
  • 8
  • 10
  • 6
  • 7
  • 4
  • 9
  • 5
  • 7
  • 22
  • 6
  • 4
  • 18
  • 5
  • 4
  • 5
  • 6
  • 5
  • 5
  • 12
  • 3
  • 4
  • 4
  • 5
  • 4
  • 4
  • 5
  • 5
  • 6
  • 5
  • 9
  • 4
  • 4
  • 29
  • 25
  • 4
  • 3
  • 4
  • 8
  • 4
  • 4
  • 5
  • 9
  • 8
  • 13
  • 5
  • 18
  • 6
  • 5
  • 16
  • 4
  • 16
  • 4
  • 9
  • 7
  • 5
  • 4
  • 4
  • 7
  • 10
  • 6
  • 7
  • 4
  • 4
  • 7
  • 27
  • 9
  • 5
  • 9
  • 7
  • 4
  • 8
  • 4
  • 4
  • 7
  • 4
  • 9
  • 7
  • 11
  • 8
  • 4
  • 41
  • 9
  • 10
  • 7
  • 12
  • 5
  • 5
  • 9
  • 4
  • 5
  • 13
  • 4
  • 5
  • 5
  • 8
  • 4
  • 4
  • 5
  • 7
  • 9
  • 5
  • 6
  • 5
  • 20
  • 4
  • 5
  • 4
  • 9
  • 4
  • 10
  • 6
  • 6
  • 8
  • 8
  • 5
  • 4
  • 6
  • 4
  • 5
  • 6
  • 8
  • 8
  • 11
  • 4
  • 6
  • 4
  • 4
  • 5
  • 10
  • 10
  • 5
  • 6
  • 8
  • 6
  • 7
  • 10
  • 10
  • 4
  • 8
  • 10
  • 5
  • 9
  • 9
  • 4
  • 9
  • 5
  • 9
  • 4
  • 7
  • 4
  • 4
  • 19
  • 10
  • 4
  • 4
  • 4
  • 5
  • 11
  • 5
  • 7
  • 6
  • 6
  • 5
  • 8
  • 4
  • 10
  • 4
  • 7
  • 4
  • 4
  • 12
  • 4
  • 4
  • 4
  • 4
  • 4
  • 8
  • 7
  • 8
  • 15
  • 7
  • 5
  • 10
  • 8
  • 6
  • 9
  • 4
  • 7
  • 6
  • 7
  • 4
  • 10
  • 6
  • 13
  • 7
  • 8
  • 12
  • 9
  • 7
  • 66
  • 4
  • 4
  • 14
  • 4
  • 4
  • 7
  • 5
  • 9
  • 7
  • 5
  • 7
  • 6
  • 4
  • 12
  • 12
  • 18
  • 6
  • 16
  • 4
  • 6
  • 11
  • 6
  • 4
  • 4
  • 24
  • 6
  • 10
  • 7
  • 5
  • 4
  • 10
  • 10
  • 12
  • 37
  • 4
  • 5
  • 15
  • 5
  • 4
  • 4
  • 6
  • 6
  • 9
  • 4
  • 7
  • 10
  • 15
  • 7
  • 4
  • 7
  • 6
  • 4
  • 6
  • 4
  • 23
  • 27
  • 5
  • 4
  • 4
  • 4
  • 20
  • 11
  • 6
  • 6
  • 4
  • 5
  • 8
  • 5
  • 5
  • 8
  • 7
  • 5
  • 12
  • 7
  • 12
  • 11
  • 31
  • 10
  • 6
  • 4
  • 9
  • 5
  • 4
  • 4
  • 4
  • 4
  • 5
  • 4
  • 6
  • 7
  • 5
  • 9
  • 4
  • 4
  • 4
  • 6
  • 8
  • 7
  • 5
  • 12
  • 6
  • 10
  • 4
  • 7
  • 4
  • 7
  • 7
  • 6
  • 9
  • 4
  • 4
  • 7
  • 9
  • 4
  • 5
  • 5
  • 4
  • 21
  • 21
  • 4
  • 4
  • 12
  • 5
  • 7
  • 5
  • 8
  • 7
  • 6
  • 9
  • 5
  • 8
  • 8
  • 7
  • 10
  • 4
  • 10
  • 5
  • 4
  • 7
  • 5
  • 5
  • 15
  • 4
  • 8
  • 7
  • 4
  • 4
  • 11
  • 10
  • 6
  • 9
  • 4
  • 21
  • 15
  • 5
  • 4
  • 4
  • 10
  • 10
  • 4
  • 5
  • 8
  • 7
  • 4
  • 5
  • 7
  • 10
  • 4
  • 4
  • 5
  • 7
  • 4
  • 4
  • 8
  • 8
  • 4
  • 7
  • 4
  • 8
  • 4
  • 4
  • 7
  • 7
  • 23
  • 5
  • 9
  • 5
  • 4
  • 4
  • 7
  • 15
  • 6
  • 4
  • 4
  • 4
  • 4
  • 24
  • 6
  • 4
  • 8
  • 4
  • 7
  • 4
  • 4
  • 5
  • 4
  • 7
  • 6
  • 4
  • 12
  • 10
  • 4
  • 4
  • 5
  • 5
  • 8
  • 4
  • 4
  • 10
  • 11
  • 5
  • 7
  • 5
  • 4
  • 4
  • 4
  • 9
  • 16
  • 6
  • 4
  • 4
  • 4
  • 47
  • 56
  • 12
  • 4
  • 9
  • 12
  • 12
  • 22
  • 9
  • 5
  • 9
  • 9
  • 13
  • 6
  • 4
  • 4
  • 7
  • 5
  • 5
  • 11
  • 7
  • 48
  • 5
  • 5
  • 5
  • 8
  • 4
  • 4
  • 5
  • 9
  • 20
  • 7
  • 5
  • 4
  • 13
  • 35
  • 4
  • 6
  • 5
  • 4
  • 8
  • 10
  • 4
  • 11
  • 10
  • 10
  • 4
  • 6
  • 14
  • 4
  • 8
  • 4
  • 7
  • 4
  • 6
  • 11
  • 6
  • 8
  • 6
  • 5
  • 4
  • 4
  • 15
  • 10
  • 4
  • 4
  • 5
  • 7
  • 4
  • 13
  • 13
  • 14
  • 11
  • 6
  • 11
  • 13
  • 4
  • 7
  • 9
  • 9
  • 7
  • 12
  • 4
  • 7
  • 4
  • 5
  • 4
  • 11
  • 4
  • 4
  • 4
  • 4
  • 4
  • 5
  • 5
  • 16
  • 14
  • 5
  • 12
  • 4
  • 8
  • 19
  • 4
  • 7
  • 12
  • 4
  • 18
  • 5
  • 9
  • 6
  • 4
  • 7
  • 4
  • 9
  • 7
  • 7
  • 18
  • 8
  • 12
  • 4
  • 4
  • 12
  • 5
  • 5
  • 6
  • 9
  • 4
  • 6
  • 22
  • 4
  • 7
  • 10
  • 4
  • 10
  • 9
  • 4
  • 4
  • 6
  • 7
  • 8
  • 7
Verlag
  • 2
  • 3
  • 5
  • 4
  • 1
  • 3
  • 1
  • 51
  • 6
  • 487
  • 1
  • 48
  • 18
  • 3
  • 8
  • 3
  • 282
  • 1
  • 22
  • 1
  • 1
  • 3
  • 4
  • 3
  • 73
  • 1
  • 91
  • 1
  • 218
  • 1
  • 518
  • 1327
  • 15
  • 1
  • 2
  • 56
  • 101
  • 1
  • 3
  • 2
  • 3
  • 1
  • 60
  • 2
  • 1
  • 51
  • 29
  • 1
  • 25
  • 1
  • 4
  • 3
  • 12
  • 5
  • 36
  • 4
  • 2
  • 1
  • 6
  • 1
  • 1
  • 3
  • 1
  • 25
  • 1
  • 1
  • 4
  • 1
  • 1
  • 33
  • 1
  • 1
  • 1
  • 104
  • 55
  • 4
  • 3
  • 4
  • 17
  • 2
  • 6
  • 1
  • 1
  • 19
  • 2
  • 1
  • 13
  • 2
  • 1
  • 5
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 11
  • 1
  • 3
  • 23
  • 2
  • 1
  • 2
  • 8
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 15
  • 1
  • 6
  • 32
  • 22
  • 3
  • 37
  • 1
  • 1
  • 1
  • 1
  • 2
  • 16
  • 1
  • 6412
  • 31
  • 9
  • 1
  • 1
  • 1
  • 36
  • 5
  • 1
  • 31
  • 34
  • 1
  • 106
  • 87
  • 3
  • 2
  • 22
  • 1
  • 284
  • 28
  • 120
  • 53
  • 1
  • 24
  • 6
  • 1
  • 1
  • 4
  • 1
  • 86
  • 5
  • 2
  • 86
  • 3
  • 10
  • 1
  • 24
  • 10
  • 1
  • 1
  • 2
  • 2
Preis
  • 425
  • 2022
  • 5533
  • 3709
Sprachen
  • 10727
  • 973
  • 2
Verfügbarkeit
  • 11367
  • 322
Eigenschaften
  • 10
  • 5
Katalog
  • 11689
  • 1824
11.689  Titel
    Batista / Bureš / Raibulet | Software Architecture. ECSA 2022 Tracks and Workshops | Buch | Sack Fachmedien

    Batista / Bureš / Raibulet Software Architecture. ECSA 2022 Tracks and Workshops

    Prague, Czech Republic, September 19-23, 2022, Revised Selected Papers
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-36888-2
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Enea / Lal | Computer Aided Verification | Buch | Sack Fachmedien

    Enea / Lal Computer Aided Verification

    35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-37702-0
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alonso / Cousijn / Silvello | Linking Theory and Practice of Digital Libraries | Buch | Sack Fachmedien

    Alonso / Cousijn / Silvello Linking Theory and Practice of Digital Libraries

    27th International Conference on Theory and Practice of Digital Libraries, TPDL 2023, Zadar, Croatia, September 26-29, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-43848-6
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Legunsen / Rosu | Model Checking Software | Buch | Sack Fachmedien

    Legunsen / Rosu Model Checking Software

    28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-15076-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bernhaupt / Ardito / Sauer | Human-Centered Software Engineering | Buch | Sack Fachmedien

    Bernhaupt / Ardito / Sauer Human-Centered Software Engineering

    9th IFIP WG 13.2 International Working Conference, HCSE 2022, Eindhoven, The Netherlands, August 24-26, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-14784-5
    Medium: Buch
    74,89 € (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
    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
    Silhavy / Prokopova | Software Engineering Application in Systems Design | Buch | Sack Fachmedien

    Silhavy / Prokopova Software Engineering Application in Systems Design

    Proceedings of 6th Computational Methods in Systems and Software 2022, Volume 1
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-21434-9
    Medium: Buch
    192,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rabie / Kharel / Mohjazi | IoT as a Service | Buch | Sack Fachmedien

    Rabie / Kharel / Mohjazi IoT as a Service

    8th EAI International Conference, IoTaaS 2022, Virtual Event, November 17-18, 2022, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-37138-7
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rau | Cross-Cultural Design | Buch | Sack Fachmedien

    Rau Cross-Cultural Design

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

    Fred / Aveiro / Dietz Knowledge Discovery, Knowledge Engineering and Knowledge Management

    13th International Joint Conference, IC3K 2021, Virtual Event, October 25-27, 2021, Revised Selected Papers
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-35923-1
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rau | Cross-Cultural Design | Buch | Sack Fachmedien

    Rau Cross-Cultural Design

    15th International Conference, CCD 2023, Held as Part of the 25th International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-35938-5
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pientka / Tinelli | Automated Deduction - CADE 29 | Buch | Sack Fachmedien

    Pientka / Tinelli Automated Deduction - CADE 29

    29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-38498-1
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ahlbrecht / Dix / Fiekas | The Multi-Agent Programming Contest 2022 | Buch | Sack Fachmedien

    Ahlbrecht / Dix / Fiekas The Multi-Agent Programming Contest 2022

    Coordinating Agents in a Dynamic World: Agents Follow the Rules, or Not
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-38711-1
    Medium: Buch
    69,54 € (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
    Yilmaz / Clarke / Riel | Systems, Software and Services Process Improvement | Buch | Sack Fachmedien

    Yilmaz / Clarke / Riel Systems, Software and Services Process Improvement

    30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023, Proceedings, Part I
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-42306-2
    Medium: Buch
    96,29 € (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
    Aït-Ameur / Craciun | Theoretical Aspects of Software Engineering | Buch | Sack Fachmedien

    Aït-Ameur / Craciun Theoretical Aspects of Software Engineering

    16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-10362-9
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rocha / Santana Júnior / De Sá | Agile Methods | Buch | Sack Fachmedien

    Rocha / Santana Júnior / De Sá Agile Methods

    11th Brazilian Workshop, WBMA 2021, Virtual Event, October 8-10, 2021, Revised Selected Papers
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-25647-9
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chechik / Katoen / Leucker | Formal Methods | Buch | Sack Fachmedien

    Chechik / Katoen / Leucker Formal Methods

    25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-27480-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Masci / Bernardeschi / Graziani | Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops | Buch | Sack Fachmedien

    Masci / Bernardeschi / Graziani Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops

    AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-26235-7
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Satu / Moni / Kaiser | Machine Intelligence and Emerging Technologies | Buch | Sack Fachmedien

    Satu / Moni / Kaiser Machine Intelligence and Emerging Technologies

    First International Conference, MIET 2022, Noakhali, Bangladesh, September 23-25, 2022, Proceedings, Part II
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-34621-7
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Campos / Minea | Formal Methods: Foundations and Applications | Buch | Sack Fachmedien

    Campos / Minea Formal Methods: Foundations and Applications

    24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-92136-1
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Qin / Woodcock / Zhang | Dependable Software Engineering. Theories, Tools, and Applications | Buch | Sack Fachmedien

    Qin / Woodcock / Zhang Dependable Software Engineering. Theories, Tools, and Applications

    7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-91264-2
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ahson / Ilyas | Cloud Computing and Software Services | eBook | Sack Fachmedien
    E-Book

    Ahson / Ilyas Cloud Computing and Software Services

    Theory and Techniques
    1. Auflage 2010
    Verlag: Taylor & Francis
    ISBN: 978-1-4398-0316-5
    Medium: eBook
    Format: PDF
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    108,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Dybå / Dingsøyr / Moe | Process Improvement in Practice | Buch | Sack Fachmedien

    Dybå / Dingsøyr / Moe Process Improvement in Practice

    A Handbook for IT Companies
    2004
    Verlag: Springer US
    ISBN: 978-1-4020-7869-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Perspectives on Social Welfare Applications' Optimization and Enhanced Computer Applications | Buch | Sack Fachmedien

    Perspectives on Social Welfare Applications' Optimization and Enhanced Computer Applications

    Erscheinungsjahr 2023
    Verlag: IGI Global
    ISBN: 978-1-6684-8306-0
    Medium: Buch
    302,20 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cyber-Physical Systems and Supporting Technologies for Industrial Automation | Buch | Sack Fachmedien

    Cyber-Physical Systems and Supporting Technologies for Industrial Automation

    Erscheinungsjahr 2023
    Verlag: IGI Global
    ISBN: 978-1-6684-9267-3
    Medium: Buch
    301,10 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pember | Livewire Investigates: The Sydney Opera House | Buch | Sack Fachmedien

    Pember Livewire Investigates: The Sydney Opera House

    Erscheinungsjahr 2003
    Verlag: Cambridge University Press
    ISBN: 978-0-521-53964-7
    Medium: Buch
    5,00 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Static Analysis and Verification of Aerospace Software by Abstract Interpretation | Buch | Sack Fachmedien

    Static Analysis and Verification of Aerospace Software by Abstract Interpretation

    1. Auflage 2015
    Verlag: Now Publishers
    ISBN: 978-1-60198-856-0
    Medium: Buch
    84,00 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Jacobson / Bylund | The Road to the Unified Software Development Process | Buch | Sack Fachmedien

    Jacobson / Bylund The Road to the Unified Software Development Process

    Erscheinungsjahr 2015
    Verlag: Cambridge University Press
    ISBN: 978-0-521-78774-1
    Medium: Buch
    88,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jell | Component-Based Software Engineering | Buch | Sack Fachmedien

    Jell Component-Based Software Engineering

    Erscheinungsjahr 2013
    Verlag: Cambridge University Press
    ISBN: 978-0-521-64821-9
    Medium: Buch
    86,90 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Partsch | Specification and Transformation of Programs | Buch | Sack Fachmedien

    Partsch Specification and Transformation of Programs

    A Formal Approach to Software Development
    1. Auflage 1990
    Verlag: Springer
    ISBN: 978-3-540-52589-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gilmore / Winder / Detienne | User-Centred Requirements for Software Engineering Environments | Buch | Sack Fachmedien

    Gilmore / Winder / Detienne User-Centred Requirements for Software Engineering Environments

    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-57653-2
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mitrani | Simulation Techniques for Discrete Event Systems | Buch | Sack Fachmedien

    Mitrani Simulation Techniques for Discrete Event Systems

    Erscheinungsjahr 2009
    Verlag: Cambridge University Press
    ISBN: 978-0-521-28282-6
    Medium: Buch
    54,20 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bajpai / Schildmeijer / Mishra | CI/CD Design Patterns | eBook | Sack Fachmedien
    E-Book

    Bajpai / Schildmeijer / Mishra CI/CD Design Patterns

    Design and implement CI/CD using proven design patterns
    1. Auflage 2025
    Verlag: De Gruyter
    ISBN: 978-1-83588-965-7
    Medium: eBook
    Format: EPUB
     Kopierschutz: 0 - No protection
    28,79 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Novotny / Green / Boston | Mathematical Modeling in Nutrition and the Health Sciences | Buch | Sack Fachmedien

    Novotny / Green / Boston Mathematical Modeling in Nutrition and the Health Sciences

    2003
    Verlag: Springer US
    ISBN: 978-1-4613-4759-0
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kastner / Hosangadi / Fallah | Arithmetic Optimization Techniques for Hardware and Software Design | Buch | Sack Fachmedien

    Kastner / Hosangadi / Fallah Arithmetic Optimization Techniques for Hardware and Software Design

    Erscheinungsjahr 2010
    Verlag: Cambridge University Press
    ISBN: 978-0-521-88099-2
    Medium: Buch
    107,90 € (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 4
    Softcover Nachdruck of the original 1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-662-52147-2
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chapman / Holmes | Observability with Grafana | eBook | Sack Fachmedien
    E-Book

    Chapman / Holmes Observability with Grafana

    Monitor, control, and visualize your Kubernetes and cloud platforms using the LGTM stack
    1. Auflage 2024
    Verlag: De Gruyter
    ISBN: 978-1-80324-964-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    31,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Baptista / Abbruzzese | Software Architecture with C# 12 and .NET 8 | eBook | Sack Fachmedien
    E-Book

    Baptista / Abbruzzese Software Architecture with C# 12 and .NET 8

    Build enterprise applications using microservices, DevOps, EF Core, and design patterns for Azure
    4. Auflage 2024
    Verlag: De Gruyter
    ISBN: 978-1-80512-245-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    31,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Chapman | Mastering GitHub Actions | eBook | Sack Fachmedien
    E-Book

    Chapman Mastering GitHub Actions

    Advance your automation skills with the latest techniques for software integration and deployment
    1. Auflage 2024
    Verlag: De Gruyter
    ISBN: 978-1-80512-330-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    31,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Brigoli / Masood | MLOps with Red Hat OpenShift | eBook | Sack Fachmedien
    E-Book

    Brigoli / Masood MLOps with Red Hat OpenShift

    A cloud-native approach to machine learning operations
    1. Auflage 2024
    Verlag: De Gruyter
    ISBN: 978-1-80512-585-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    28,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Sherrington | Mastering Julia | eBook | Sack Fachmedien
    E-Book

    Sherrington Mastering Julia

    Enhance your analytical and programming skills for data modeling and processing with Julia
    2. Auflage 2024
    Verlag: De Gruyter
    ISBN: 978-1-80512-823-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    28,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Kisku / Gupta / Sing | Advances in Biometrics for Secure Human Authentication and Recognition | eBook | Sack Fachmedien
    E-Book

    Kisku / Gupta / Sing Advances in Biometrics for Secure Human Authentication and Recognition

    Erscheinungsjahr 2013
    Verlag: Taylor & Francis
    ISBN: 978-1-4665-8243-9
    Medium: eBook
    Format: PDF
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    79,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Barclay / Savage | Barclay, K: OBJECT-ORIENTED DESIGN W/UML & | Buch | Sack Fachmedien

    Barclay / Savage Barclay, K: OBJECT-ORIENTED DESIGN W/UML &

    Erscheinungsjahr 2003
    Verlag: Elsevier LTD, Oxford
    ISBN: 978-0-7506-6098-3
    Medium: Buch
    44,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Jain / Werth / Browne | Input/Output in Parallel and Distributed Computer Systems | Buch | Sack Fachmedien

    Jain / Werth / Browne Input/Output in Parallel and Distributed Computer Systems

    1996. Auflage 1996
    Verlag: Springer Us
    ISBN: 978-0-7923-9735-9
    Medium: Buch
    212,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Canal / Idani | Software Engineering and Formal Methods | Buch | Sack Fachmedien

    Canal / Idani Software Engineering and Formal Methods

    SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers
    2015
    Verlag: Springer
    ISBN: 978-3-319-15200-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Papajorgji / Pardalos | Software Engineering Techniques Applied to Agricultural Systems | Buch | Sack Fachmedien

    Papajorgji / Pardalos Software Engineering Techniques Applied to Agricultural Systems

    An Object-Oriented and UML Approach
    1. Auflage. Softcover version of original hardcover Auflage 2006
    Verlag: Springer Nature B.V.
    ISBN: 978-1-4419-3926-5
    Medium: Buch
    141,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    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
    Thareja | Programming in C | Buch | Sack Fachmedien

    Thareja Programming in C

    2. Auflage 2016
    Verlag: OUP India
    ISBN: 978-0-19-945614-7
    Medium: Buch
    24,00 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Wotawa / Nica / Kushik | Testing Software and Systems | Buch | Sack Fachmedien

    Wotawa / Nica / Kushik Testing Software and Systems

    28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-47442-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sottet / García Frey / Vanderdonckt | Human Centered Software Product Lines | Buch | Sack Fachmedien

    Sottet / García Frey / Vanderdonckt Human Centered Software Product Lines

    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-60945-4
    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
    Moser / Fischer / Mashkoor | Database and Expert Systems Applications - DEXA 2024 Workshops | Buch | Sack Fachmedien

    Moser / Fischer / Mashkoor Database and Expert Systems Applications - DEXA 2024 Workshops

    IWCFS, AISys, CIU, Naples, Italy, August 26-28, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-68301-5
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Minnick | JavaScript All-in-One For Dummies | Buch | Sack Fachmedien

    Minnick JavaScript All-in-One For Dummies

    1. Auflage 2023
    Verlag: Wiley John + Sons
    ISBN: 978-1-119-90683-4
    Medium: Buch
    35,50 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Wong | Mutation Testing for the New Century | Buch | Sack Fachmedien

    Wong Mutation Testing for the New Century

    2001
    Verlag: Springer US
    ISBN: 978-0-7923-7323-0
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tse | A Unifying Framework for Structured Analysis and Design Models | Buch | Sack Fachmedien

    Tse A Unifying Framework for Structured Analysis and Design Models

    An Approach Using Initial Algebra Semantics and Category Theory
    Erscheinungsjahr 2009
    Verlag: Cambridge University Press
    ISBN: 978-0-521-11787-6
    Medium: Buch
    54,10 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Özgüner / Ercal | Parallel Computing on Distributed Memory Multiprocessors | Buch | Sack Fachmedien

    Özgüner / Ercal Parallel Computing on Distributed Memory Multiprocessors

    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-63460-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gomes / Lorenz | Application and Theory of Petri Nets and Concurrency | Buch | Sack Fachmedien

    Gomes / Lorenz Application and Theory of Petri Nets and Concurrency

    44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-33619-5
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Thömmes | Notizen zu C++ | Buch | Sack Fachmedien

    Thömmes Notizen zu C++

    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-01058-6
    Medium: Buch
    76,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Carvalho / Kobayashi | Formal Methods Teaching | Buch | Sack Fachmedien

    Carvalho / Kobayashi Formal Methods Teaching

    7th Formal Methods Teaching Workshop, FMTea 2026, Tokyo, Japan, May 19, 2026, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-26742-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sendler | CAD & Office Integration | Buch | Sack Fachmedien

    Sendler CAD & Office Integration

    OLE for Design and Modeling. A New Technology for CA Software
    Softcover Nachdruck of hardcover 1. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-642-08221-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Reed | SDL 2001: Meeting UML | Buch | Sack Fachmedien

    Reed SDL 2001: Meeting UML

    10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001. Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42281-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Jin / Tsui | Autonomy Oriented Computing | Buch | Sack Fachmedien

    Liu / Jin / Tsui Autonomy Oriented Computing

    From Problem Solving to Complex Systems Modeling
    2005
    Verlag: Springer US
    ISBN: 978-1-4020-8121-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Eveking | Verifikation digitaler Systeme | Buch | Sack Fachmedien

    Eveking Verifikation digitaler Systeme

    Eine Einführung in den Entwurf korrekter digitaler Systeme
    1991
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-519-02249-7
    Medium: Buch
    49,95 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ebner / O'Neill / Ekárt | Genetic Programming | Buch | Sack Fachmedien

    Ebner / O'Neill / Ekárt Genetic Programming

    10th European Conference, EuroGP 2007, Valencia, Spain, April 11-13, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71602-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baranauskas / Palanque / Abascal | Human-Computer Interaction - INTERACT 2007 | Buch | Sack Fachmedien

    Baranauskas / Palanque / Abascal Human-Computer Interaction - INTERACT 2007

    11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings, Part I
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74794-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 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
    Kreowski / Montanari / Orejas | Formal Methods in Software and Systems Modeling | Buch | Sack Fachmedien

    Kreowski / Montanari / Orejas Formal Methods in Software and Systems Modeling

    Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-24936-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Richter / Flückiger | User-Centred Engineering | Buch | Sack Fachmedien

    Richter / Flückiger User-Centred Engineering

    Creating Products for Humans
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-662-43988-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kroening / Strichman | Decision Procedures | Buch | Sack Fachmedien

    Kroening / Strichman Decision Procedures

    An Algorithmic Point of View
    2. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-662-50496-3
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ackermann | Abtastregelung | Buch | Sack Fachmedien

    Ackermann Abtastregelung

    3. Auflage 1988
    Verlag: Springer
    ISBN: 978-3-662-05576-2
    Medium: Buch
    49,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Navigation | Buch | Sack Fachmedien

    Navigation

    Teil C: Funkpeilwesen, Hyperbelnavigation, Radar, integrierte Navigation, Physik, Datenverarbeitung
    8. Auflage 1986
    Verlag: Springer
    ISBN: 978-3-662-21925-6
    Medium: Buch
    64,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paulheim | Ontology-based Application Integration | Buch | Sack Fachmedien

    Paulheim Ontology-based Application Integration

    2011
    Verlag: Springer
    ISBN: 978-1-4899-9430-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Encarnacao / Lockemann | Engineering Databases | Buch | Sack Fachmedien

    Encarnacao / Lockemann Engineering Databases

    Connecting Islands of Automation Through Databases
    1990
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-52059-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jones / Müller-Olm | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Jones / Müller-Olm Verification, Model Checking, and Abstract Interpretation

    10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-93899-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cha / Choi / Kim | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    Cha / Choi / Kim Automated Technology for Verification and Analysis

    6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-88386-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bassiliades / Governatori / Paschke | Rule Representation, Interchange and Reasoning on the Web | Buch | Sack Fachmedien

    Bassiliades / Governatori / Paschke Rule Representation, Interchange and Reasoning on the Web

    International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-88807-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schürr / Nagl / Zündorf | Applications of Graph Transformations with Industrial Relevance | Buch | Sack Fachmedien

    Schürr / Nagl / Zündorf Applications of Graph Transformations with Industrial Relevance

    Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers
    1. Auflage 2008
    Verlag: Springer
    ISBN: 978-3-540-89019-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mueller / Cao / Wang | Scalable Information Systems | Buch | Sack Fachmedien

    Mueller / Cao / Wang Scalable Information Systems

    4th International ICST Conference, INFOSCALE 2009, Hong Kong, June 10-11, 2009, Revised Selected Papers
    2010
    Verlag: Springer
    ISBN: 978-3-642-10484-8
    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
    Karr / Freeman | Industrial Applications of Genetic Algorithms | Buch | Sack Fachmedien

    Karr / Freeman Industrial Applications of Genetic Algorithms

    1. Auflage 1998
    Verlag: CRC Press
    ISBN: 978-0-8493-9801-8
    Medium: Buch
    216,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Vermeulen / Goossens | Debugging Systems-on-Chip | Buch | Sack Fachmedien

    Vermeulen / Goossens Debugging Systems-on-Chip

    Communication-centric and Abstraction-based Techniques
    2014
    Verlag: Springer
    ISBN: 978-3-319-06241-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Acuna / Juristo | Software Process Modeling | Buch | Sack Fachmedien

    Acuna / Juristo Software Process Modeling

    2005
    Verlag: Springer US
    ISBN: 978-0-387-24261-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Laplante | What Every Engineer Should Know about Software Engineering | Buch | Sack Fachmedien

    Laplante What Every Engineer Should Know about Software Engineering

    1. Auflage 2007
    Verlag: CRC Press
    ISBN: 978-0-8493-7228-5
    Medium: Buch
    64,00 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Wagner / Wattenhofer | Algorithms for Sensor and Ad Hoc Networks | Buch | Sack Fachmedien

    Wagner / Wattenhofer Algorithms for Sensor and Ad Hoc Networks

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

    Biewer Fuzzy-Methoden

    Praxisrelevante Rechenmodelle und Fuzzy-Programmiersprachen
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-61943-7
    Medium: Buch
    159,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Walukiewicz | Foundations of Software Science and Computation Structures | Buch | Sack Fachmedien

    Walukiewicz Foundations of Software Science and Computation Structures

    7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21298-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Davies / Bussler / Studer | The Semantic Web: Research and Applications | Buch | Sack Fachmedien

    Davies / Bussler / Studer The Semantic Web: Research and Applications

    First European Semantic Web Symposium, ESWS 2004, Heraklion, Crete, Greece, May 10-12, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21999-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dignum / Greaves | Issues in Agent Communication | Buch | Sack Fachmedien

    Dignum / Greaves Issues in Agent Communication

    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-41144-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wu / Yang / Xu | Advances in Grid and Pervasive Computing | Buch | Sack Fachmedien

    Wu / Yang / Xu Advances in Grid and Pervasive Computing

    Third International Conference, GPC 2008, Kunming, China, May 25-28, 2008. Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-68081-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pontelli / Vitor | Practical Aspects of Declarative Languages | Buch | Sack Fachmedien

    Pontelli / Vitor Practical Aspects of Declarative Languages

    Second International Workshop, PADL 2000 Boston, MA, USA, January 17-18, 2000. Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-66992-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kanhere / Jurdak / Parkinson | Distributed Ledger Technology | Buch | Sack Fachmedien

    Kanhere / Jurdak / Parkinson Distributed Ledger Technology

    8th International Symposium, SDLT 2024, Brisbane, QLD, Australia, November 28-29, 2024, Revised Selected Papers
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-964441-4
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sperber / Komendantskaya | Functional and Logic Programming | Buch | Sack Fachmedien

    Sperber / Komendantskaya Functional and Logic Programming

    18th International Symposium, FLOPS 2026, Tsukuba, Japan, May 26-28, 2026, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-981-9201-83-9
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ortiz-Rodriguez / Tiwari / Krisnadhi | Electronic Governance with Emerging Technologies | Buch | Sack Fachmedien

    Ortiz-Rodriguez / Tiwari / Krisnadhi Electronic Governance with Emerging Technologies

    Third International Conference, EGETC 2024, Jakarta, Indonesia, September 25-26, 2024, Revised Selected Papers
    2024
    Verlag: Springer
    ISBN: 978-3-031-77028-9
    Medium: Buch
    139,09 € (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

    ARTIIS 2024 International Workshops, Santiago de Chile, Chile, October 21-23, 2024, Revised Selected Papers, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-83431-8
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bergmann / Lindemann / Kirn | Multiagent System Technologies | Buch | Sack Fachmedien

    Bergmann / Lindemann / Kirn Multiagent System Technologies

    6th German Conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-87804-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Li / Spaccapietra / Yu | Conceptual Modeling - ER 2008 | Buch | Sack Fachmedien

    Li / Spaccapietra / Yu Conceptual Modeling - ER 2008

    27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-87876-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Becker / Plasil / Reussner | Quality of Software Architectures Models and Architectures | Buch | Sack Fachmedien

    Becker / Plasil / Reussner Quality of Software Architectures Models and Architectures

    4th International Conference on the Quality of Software Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-87878-0
    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