Ergebnisse filtern
Fachgebiet
Medium
  • 8672
  • 1009
  • 31
  • 13
Erscheinungsjahr
  • 1
  • 42
  • 663
  • 632
  • 484
  • 443
  • 423
  • 428
  • 535
  • 313
  • 458
  • 297
  • 429
  • 380
  • 491
  • 244
  • 502
  • 249
  • 253
  • 259
  • 216
  • 259
  • 220
  • 222
  • 181
  • 157
  • 122
  • 110
  • 95
  • 78
  • 81
  • 71
  • 59
  • 67
  • 39
  • 55
  • 35
  • 24
  • 14
  • 13
  • 7
  • 7
  • 4
  • 6
  • 6
  • 1
  • 3
  • 4
  • 1
  • 2
  • 1
  • 2
  • 1
Autoren
  • 6
  • 3
  • 3
  • 4
  • 8
  • 14
  • 3
  • 3
  • 9
  • 3
  • 4
  • 4
  • 10
  • 4
  • 3
  • 6
  • 5
  • 4
  • 8
  • 3
  • 5
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 8
  • 3
  • 4
  • 5
  • 3
  • 7
  • 4
  • 3
  • 3
  • 3
  • 4
  • 5
  • 3
  • 6
  • 4
  • 5
  • 3
  • 3
  • 3
  • 5
  • 4
  • 4
  • 7
  • 6
  • 10
  • 6
  • 3
  • 9
  • 20
  • 3
  • 5
  • 5
  • 7
  • 4
  • 4
  • 3
  • 4
  • 6
  • 9
  • 4
  • 4
  • 4
  • 6
  • 3
  • 7
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 4
  • 3
  • 6
  • 4
  • 4
  • 18
  • 3
  • 4
  • 3
  • 4
  • 3
  • 7
  • 7
  • 4
  • 3
  • 3
  • 3
  • 3
  • 12
  • 8
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 4
  • 9
  • 4
  • 9
  • 3
  • 3
  • 5
  • 17
  • 3
  • 4
  • 4
  • 11
  • 3
  • 3
  • 3
  • 4
  • 6
  • 3
  • 13
  • 3
  • 16
  • 7
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 8
  • 3
  • 4
  • 9
  • 4
  • 3
  • 10
  • 17
  • 4
  • 5
  • 17
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 7
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 12
  • 7
  • 5
  • 3
  • 3
  • 11
  • 7
  • 6
  • 4
  • 12
  • 4
  • 3
  • 4
  • 13
  • 7
  • 4
  • 4
  • 4
  • 3
  • 3
  • 7
  • 4
  • 3
  • 3
  • 17
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 6
  • 6
  • 4
  • 4
  • 4
  • 5
  • 32
  • 4
  • 3
  • 8
  • 3
  • 5
  • 4
  • 3
  • 7
  • 6
  • 4
  • 5
  • 3
  • 4
  • 7
  • 3
  • 3
  • 6
  • 3
  • 7
  • 3
  • 6
  • 8
  • 6
  • 10
  • 3
  • 3
  • 4
  • 4
  • 12
  • 3
  • 4
  • 7
  • 5
  • 4
  • 4
  • 3
  • 4
  • 4
  • 9
  • 5
  • 3
  • 3
  • 8
  • 8
  • 3
  • 3
  • 12
  • 4
  • 3
  • 6
  • 3
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 10
  • 4
  • 4
  • 4
  • 6
  • 4
  • 5
  • 4
  • 3
  • 6
  • 3
  • 3
  • 3
  • 7
  • 7
  • 3
  • 3
  • 3
  • 9
  • 4
  • 3
  • 3
  • 5
  • 5
  • 4
  • 4
  • 4
  • 3
  • 4
  • 8
  • 6
  • 4
  • 5
  • 3
  • 4
  • 4
  • 4
  • 3
  • 5
  • 14
  • 4
  • 3
  • 4
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 13
  • 4
  • 6
  • 9
  • 6
  • 3
  • 8
  • 10
  • 6
  • 3
  • 7
  • 3
  • 3
  • 4
  • 9
  • 3
  • 3
  • 4
  • 7
  • 4
  • 3
  • 12
  • 3
  • 3
  • 4
  • 5
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 4
  • 4
  • 3
  • 5
  • 4
  • 4
  • 3
  • 3
  • 3
  • 5
  • 4
  • 6
  • 3
  • 3
  • 5
  • 8
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 5
  • 27
  • 19
  • 3
  • 4
  • 4
  • 4
  • 8
  • 3
  • 4
  • 4
  • 3
  • 6
  • 3
  • 10
  • 3
  • 5
  • 3
  • 9
  • 4
  • 13
  • 5
  • 3
  • 3
  • 4
  • 3
  • 16
  • 6
  • 5
  • 5
  • 3
  • 4
  • 18
  • 3
  • 4
  • 5
  • 3
  • 4
  • 4
  • 20
  • 5
  • 11
  • 3
  • 4
  • 4
  • 6
  • 6
  • 3
  • 3
  • 4
  • 3
  • 4
  • 5
  • 3
  • 3
  • 6
  • 3
  • 13
  • 3
  • 6
  • 7
  • 4
  • 3
  • 6
  • 24
  • 6
  • 6
  • 3
  • 11
  • 5
  • 3
  • 5
  • 3
  • 4
  • 4
  • 3
  • 5
  • 5
  • 3
  • 5
  • 6
  • 7
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 5
  • 5
  • 3
  • 3
  • 3
  • 9
  • 3
  • 3
  • 3
  • 3
  • 6
  • 4
  • 4
  • 3
  • 3
  • 3
  • 5
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 11
  • 3
  • 7
  • 3
  • 36
  • 3
  • 4
  • 9
  • 5
  • 3
  • 3
  • 8
  • 3
  • 11
  • 3
  • 3
  • 4
  • 3
  • 6
  • 10
  • 4
  • 4
  • 12
  • 5
  • 5
  • 4
  • 3
  • 3
  • 4
  • 5
  • 7
  • 12
  • 6
  • 5
  • 16
  • 4
  • 4
  • 4
  • 8
  • 4
  • 3
  • 10
  • 6
  • 6
  • 8
  • 8
  • 4
  • 3
  • 3
  • 6
  • 3
  • 3
  • 6
  • 6
  • 4
  • 8
  • 3
  • 4
  • 6
  • 3
  • 4
  • 4
  • 3
  • 4
  • 9
  • 8
  • 5
  • 3
  • 7
  • 10
  • 3
  • 3
  • 4
  • 3
  • 8
  • 6
  • 3
  • 4
  • 9
  • 3
  • 3
  • 3
  • 4
  • 7
  • 5
  • 4
  • 18
  • 4
  • 4
  • 4
  • 11
  • 5
  • 4
  • 3
  • 5
  • 5
  • 5
  • 6
  • 3
  • 4
  • 4
  • 4
  • 9
  • 4
  • 6
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 8
  • 7
  • 8
  • 12
  • 5
  • 10
  • 3
  • 8
  • 6
  • 10
  • 4
  • 8
  • 6
  • 7
  • 4
  • 10
  • 3
  • 3
  • 3
  • 4
  • 11
  • 5
  • 57
  • 3
  • 4
  • 14
  • 4
  • 7
  • 3
  • 5
  • 8
  • 3
  • 3
  • 9
  • 3
  • 3
  • 4
  • 3
  • 7
  • 7
  • 14
  • 6
  • 14
  • 4
  • 6
  • 3
  • 3
  • 4
  • 24
  • 6
  • 7
  • 4
  • 3
  • 7
  • 3
  • 12
  • 32
  • 4
  • 3
  • 3
  • 4
  • 4
  • 4
  • 7
  • 9
  • 5
  • 4
  • 15
  • 7
  • 4
  • 5
  • 6
  • 4
  • 3
  • 5
  • 5
  • 3
  • 19
  • 26
  • 3
  • 5
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 18
  • 11
  • 6
  • 4
  • 8
  • 3
  • 7
  • 3
  • 7
  • 3
  • 4
  • 14
  • 3
  • 7
  • 12
  • 8
  • 25
  • 3
  • 8
  • 6
  • 3
  • 4
  • 7
  • 5
  • 4
  • 4
  • 5
  • 4
  • 3
  • 6
  • 7
  • 4
  • 12
  • 3
  • 4
  • 6
  • 8
  • 5
  • 5
  • 11
  • 6
  • 4
  • 7
  • 4
  • 6
  • 6
  • 4
  • 9
  • 4
  • 4
  • 7
  • 5
  • 3
  • 3
  • 3
  • 4
  • 18
  • 10
  • 4
  • 4
  • 3
  • 5
  • 6
  • 3
  • 7
  • 6
  • 3
  • 9
  • 3
  • 5
  • 5
  • 5
  • 10
  • 10
  • 4
  • 8
  • 5
  • 5
  • 13
  • 3
  • 7
  • 4
  • 3
  • 11
  • 7
  • 3
  • 9
  • 16
  • 11
  • 5
  • 3
  • 4
  • 9
  • 5
  • 8
  • 7
  • 4
  • 4
  • 6
  • 10
  • 3
  • 5
  • 7
  • 3
  • 7
  • 8
  • 4
  • 4
  • 3
  • 7
  • 22
  • 6
  • 9
  • 5
  • 4
  • 4
  • 7
  • 3
  • 3
  • 16
  • 5
  • 4
  • 4
  • 4
  • 22
  • 5
  • 3
  • 3
  • 8
  • 4
  • 5
  • 4
  • 5
  • 4
  • 3
  • 7
  • 6
  • 10
  • 9
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 3
  • 8
  • 9
  • 5
  • 7
  • 5
  • 4
  • 4
  • 3
  • 3
  • 15
  • 6
  • 4
  • 3
  • 22
  • 31
  • 12
  • 7
  • 9
  • 12
  • 23
  • 6
  • 6
  • 9
  • 17
  • 3
  • 6
  • 3
  • 4
  • 3
  • 5
  • 7
  • 8
  • 7
  • 37
  • 5
  • 4
  • 5
  • 3
  • 4
  • 3
  • 4
  • 4
  • 4
  • 9
  • 20
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 6
  • 8
  • 31
  • 4
  • 7
  • 7
  • 4
  • 8
  • 10
  • 4
  • 8
  • 3
  • 4
  • 8
  • 3
  • 3
  • 4
  • 3
  • 3
  • 6
  • 11
  • 5
  • 8
  • 3
  • 6
  • 10
  • 4
  • 3
  • 4
  • 7
  • 4
  • 3
  • 3
  • 14
  • 8
  • 9
  • 13
  • 4
  • 7
  • 3
  • 9
  • 7
  • 7
  • 7
  • 4
  • 5
  • 3
  • 5
  • 11
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 5
  • 5
  • 13
  • 14
  • 5
  • 9
  • 4
  • 8
  • 19
  • 4
  • 4
  • 12
  • 18
  • 5
  • 9
  • 6
  • 7
  • 4
  • 9
  • 7
  • 8
  • 18
  • 6
  • 7
  • 4
  • 12
  • 5
  • 7
  • 4
  • 4
  • 11
  • 4
  • 7
  • 4
  • 7
  • 4
  • 4
  • 6
  • 7
  • 9
  • 5
Verlag
  • 2
  • 8
  • 5
  • 1
  • 33
  • 11
  • 383
  • 5
  • 1
  • 18
  • 1
  • 6
  • 4
  • 4
  • 106
  • 2
  • 1
  • 1
  • 12
  • 3
  • 3
  • 3
  • 42
  • 1
  • 1
  • 81
  • 58
  • 4
  • 370
  • 727
  • 15
  • 1
  • 7
  • 1
  • 16
  • 95
  • 3
  • 3
  • 5
  • 46
  • 30
  • 5
  • 1
  • 25
  • 1
  • 1
  • 3
  • 3
  • 13
  • 5
  • 43
  • 4
  • 1
  • 1
  • 3
  • 27
  • 1
  • 4
  • 1
  • 27
  • 1
  • 1
  • 5
  • 28
  • 2
  • 1
  • 3
  • 3
  • 25
  • 7
  • 3
  • 2
  • 1
  • 2
  • 26
  • 5
  • 1
  • 2
  • 2
  • 1
  • 3
  • 3
  • 1
  • 7
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 3
  • 2
  • 8
  • 1
  • 4
  • 24
  • 17
  • 22
  • 1
  • 1
  • 1
  • 2
  • 2
  • 15
  • 2
  • 2069
  • 1467
  • 12
  • 1396
  • 5
  • 2
  • 1
  • 125
  • 399
  • 109
  • 1
  • 85
  • 355
  • 22
  • 1
  • 30
  • 1
  • 1
  • 1
  • 236
  • 39
  • 206
  • 260
  • 1
  • 1
  • 3
  • 24
  • 2
  • 1
  • 5
  • 1
  • 86
  • 1
  • 2
  • 1
  • 161
  • 2
  • 11
  • 1
  • 1
  • 21
  • 33
  • 1
  • 1
  • 2
  • 2
Preis
  • 256
  • 1427
  • 4870
  • 3172
Sprachen
  • 8873
  • 859
  • 2
Verfügbarkeit
  • 9558
  • 167
Eigenschaften
  • 5
Katalog
  • 9725
  • 1582
9.725  Titel
    Wang / Marcus | Design, User Experience, and Usability. User Experience in Advanced Technological Environments | Buch | Sack Fachmedien

    Wang / Marcus Design, User Experience, and Usability. User Experience in Advanced Technological Environments

    8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26¿31, 2019, Proceedings, Part II
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-23540-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Damiani / Maciaszek / Spanoudakis | Evaluation of Novel Approaches to Software Engineering | Buch | Sack Fachmedien

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

    14th International Conference, ENASE 2019, Heraklion, Crete, Greece, May 4¿5, 2019, Revised Selected Papers
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-40222-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mazzara / Petrenko / Bruel | Software Technology: Methods and Tools | Buch | Sack Fachmedien

    Mazzara / Petrenko / Bruel Software Technology: Methods and Tools

    51st International Conference, TOOLS 2019, Innopolis, Russia, October 15¿17, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-29851-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sundnes | Introduction to Scientific Programming with Python | Buch | Sack Fachmedien

    Sundnes Introduction to Scientific Programming with Python

    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-50355-0
    Medium: Buch
    32,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jarzabek / Madeyski / Poniszewska-Maranda | Integrating Research and Practice in Software Engineering | Buch | Sack Fachmedien

    Jarzabek / Madeyski / Poniszewska-Maranda Integrating Research and Practice in Software Engineering

    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-26573-1
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Willemse / Larsen | Formal Methods for Industrial Critical Systems | Buch | Sack Fachmedien

    Willemse / Larsen Formal Methods for Industrial Critical Systems

    24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30¿31, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-27007-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chang | Static Analysis | Buch | Sack Fachmedien

    Chang Static Analysis

    26th International Symposium, SAS 2019, Porto, Portugal, October 8¿11, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-32303-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Qin / Ait-Ameur | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Qin / Ait-Ameur Formal Methods and Software Engineering

    21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5¿9, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-32408-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Carreira / Vangheluwe / Amaral | Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems | Buch | Sack Fachmedien

    Carreira / Vangheluwe / Amaral Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems

    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-43948-4
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Heydon / Yu / Levin | Software Configuration Management Using Vesta | Buch | Sack Fachmedien

    Heydon / Yu / Levin Software Configuration Management Using Vesta

    1. Auflage Softcover of orig. Auflage 2006
    Verlag: Springer US
    ISBN: 978-1-4419-3472-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ehlmann | Object Relationship Notation (ORN) for Database Applications | Buch | Sack Fachmedien

    Ehlmann Object Relationship Notation (ORN) for Database Applications

    Enhancing the Modeling and Implementation of Associations
    Softcover Nachdruck of hardcover 1. Auflage 2009
    Verlag: Springer US
    ISBN: 978-1-4419-3493-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Apt / Olderog / de Boer | Verification of Sequential and Concurrent Programs | Buch | Sack Fachmedien

    Apt / Olderog / de Boer Verification of Sequential and Concurrent Programs

    Softcover Nachdruck of hardcover 3rd Auflage 2009
    Verlag: Springer
    ISBN: 978-1-4471-2513-6
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jeuring / Gibbons | Generic Programming | Buch | Sack Fachmedien

    Jeuring / Gibbons Generic Programming

    IFIP TC2 / WG2.1 Working Conference Programming July 11¿12, 2002, Dagstuhl, Germany
    2003
    Verlag: Springer US
    ISBN: 978-1-4020-7374-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Periyasamy / Alagar | Specification of Software Systems | Buch | Sack Fachmedien

    Periyasamy / Alagar Specification of Software Systems

    Softcover Nachdruck of hardcover 2. Auflage 2011
    Verlag: Springer
    ISBN: 978-1-4471-2644-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Doorn / Sampaio do Prado Leite | Perspectives on Software Requirements | Buch | Sack Fachmedien

    Doorn / Sampaio do Prado Leite Perspectives on Software Requirements

    2004
    Verlag: Springer US
    ISBN: 978-1-4613-5090-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Niranjan / Winkler | Uncertainty in Geometric Computations | Buch | Sack Fachmedien

    Niranjan / Winkler Uncertainty in Geometric Computations

    Softcover Nachdruck of the original 1. Auflage 2002
    Verlag: Springer US
    ISBN: 978-1-4613-5252-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Software Visualization | Buch | Sack Fachmedien

    Software Visualization

    From Theory to Practice
    Softcover Nachdruck of the original 1. Auflage 2003
    Verlag: Springer US
    ISBN: 978-1-4613-5086-6
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Arbib / Manes | Algebraic Approaches to Program Semantics | Buch | Sack Fachmedien

    Arbib / Manes Algebraic Approaches to Program Semantics

    1986
    Verlag: Springer
    ISBN: 978-1-4612-9377-4
    Medium: Buch
    93,08 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stølen / Broy | Specification and Development of Interactive Systems | Buch | Sack Fachmedien

    Stølen / Broy Specification and Development of Interactive Systems

    Focus on Streams, Interfaces, and Refinement
    Softcover Nachdruck of the original 1. Auflage 2001
    Verlag: Springer
    ISBN: 978-1-4612-6518-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Redfern / Betounes | Mathematical Computing | Buch | Sack Fachmedien

    Redfern / Betounes Mathematical Computing

    An Introduction to Programming Using Maple®
    Softcover Nachdruck of the original 1. Auflage 2002
    Verlag: Springer
    ISBN: 978-1-4612-6548-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wolczko / Narayanan | Java Microarchitectures | Buch | Sack Fachmedien

    Wolczko / Narayanan Java Microarchitectures

    Softcover Nachdruck of the original 1. Auflage 2002
    Verlag: Springer US
    ISBN: 978-1-4613-5341-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Russinoff | Formal Verification of Floating-Point Hardware Design | Buch | Sack Fachmedien

    Russinoff Formal Verification of Floating-Point Hardware Design

    A Mathematical Approach
    2. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-030-87183-3
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Huisman / Zhan / Pasareanu | Formal Methods | Buch | Sack Fachmedien

    Huisman / Zhan / Pasareanu Formal Methods

    24th International Symposium, FM 2021, Virtual Event, November 20¿26, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-90869-0
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gupta | Requirements Engineering for Social Sector Software Applications | Buch | Sack Fachmedien

    Gupta Requirements Engineering for Social Sector Software Applications

    Innovating for a Diverse Set of User Needs
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-83551-4
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ganesh / Hou | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    Ganesh / Hou Automated Technology for Verification and Analysis

    19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18¿22, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-88884-8
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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