Ergebnisse filtern
Fachgebiet
Medium
  • 9681
  • 1628
  • 29
  • 12
Erscheinungsjahr
  • 9
  • 295
  • 1191
  • 1217
  • 561
  • 415
  • 352
  • 381
  • 364
  • 419
  • 321
  • 433
  • 297
  • 442
  • 408
  • 513
  • 249
  • 517
  • 239
  • 253
  • 261
  • 223
  • 256
  • 222
  • 222
  • 181
  • 161
  • 120
  • 107
  • 97
  • 84
  • 81
  • 71
  • 63
  • 68
  • 38
  • 56
  • 35
  • 24
  • 14
  • 13
  • 7
  • 7
  • 4
  • 6
  • 6
  • 1
  • 3
  • 4
  • 1
  • 2
  • 1
  • 2
  • 1
Autoren
  • 6
  • 5
  • 4
  • 4
  • 3
  • 3
  • 4
  • 8
  • 14
  • 3
  • 3
  • 4
  • 9
  • 10
  • 3
  • 4
  • 4
  • 10
  • 4
  • 3
  • 9
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 10
  • 3
  • 5
  • 3
  • 3
  • 6
  • 4
  • 4
  • 4
  • 3
  • 8
  • 4
  • 5
  • 7
  • 4
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 6
  • 4
  • 3
  • 5
  • 4
  • 3
  • 3
  • 7
  • 4
  • 4
  • 3
  • 3
  • 7
  • 9
  • 5
  • 10
  • 3
  • 7
  • 3
  • 4
  • 3
  • 4
  • 4
  • 5
  • 3
  • 9
  • 23
  • 3
  • 17
  • 5
  • 6
  • 7
  • 4
  • 3
  • 4
  • 3
  • 4
  • 6
  • 9
  • 4
  • 4
  • 7
  • 4
  • 3
  • 4
  • 7
  • 3
  • 3
  • 3
  • 8
  • 4
  • 4
  • 3
  • 3
  • 5
  • 3
  • 6
  • 3
  • 3
  • 4
  • 4
  • 4
  • 6
  • 4
  • 3
  • 4
  • 23
  • 3
  • 5
  • 4
  • 4
  • 3
  • 3
  • 7
  • 3
  • 7
  • 4
  • 3
  • 6
  • 3
  • 3
  • 4
  • 12
  • 8
  • 4
  • 4
  • 4
  • 4
  • 3
  • 5
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 6
  • 3
  • 4
  • 11
  • 3
  • 3
  • 4
  • 9
  • 3
  • 3
  • 5
  • 21
  • 3
  • 4
  • 4
  • 13
  • 3
  • 3
  • 3
  • 4
  • 6
  • 3
  • 16
  • 3
  • 4
  • 16
  • 7
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 8
  • 3
  • 3
  • 3
  • 9
  • 4
  • 3
  • 3
  • 10
  • 18
  • 4
  • 7
  • 16
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 7
  • 8
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 12
  • 7
  • 5
  • 3
  • 3
  • 3
  • 11
  • 7
  • 3
  • 6
  • 3
  • 5
  • 12
  • 5
  • 3
  • 4
  • 13
  • 9
  • 4
  • 4
  • 9
  • 3
  • 3
  • 8
  • 4
  • 3
  • 3
  • 3
  • 3
  • 20
  • 4
  • 4
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 6
  • 6
  • 4
  • 3
  • 6
  • 4
  • 33
  • 4
  • 3
  • 8
  • 3
  • 5
  • 3
  • 4
  • 3
  • 7
  • 7
  • 4
  • 3
  • 5
  • 3
  • 6
  • 8
  • 4
  • 3
  • 3
  • 6
  • 3
  • 5
  • 5
  • 7
  • 3
  • 6
  • 4
  • 8
  • 6
  • 5
  • 14
  • 3
  • 8
  • 4
  • 4
  • 12
  • 3
  • 3
  • 4
  • 7
  • 5
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 9
  • 6
  • 3
  • 3
  • 8
  • 3
  • 9
  • 3
  • 4
  • 12
  • 4
  • 6
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 4
  • 6
  • 3
  • 5
  • 3
  • 3
  • 10
  • 4
  • 4
  • 4
  • 4
  • 4
  • 7
  • 4
  • 3
  • 6
  • 6
  • 3
  • 4
  • 4
  • 7
  • 7
  • 3
  • 3
  • 3
  • 5
  • 3
  • 9
  • 3
  • 5
  • 3
  • 3
  • 5
  • 5
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 5
  • 8
  • 6
  • 3
  • 6
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 5
  • 15
  • 5
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 13
  • 5
  • 7
  • 3
  • 10
  • 4
  • 3
  • 8
  • 10
  • 7
  • 3
  • 7
  • 3
  • 3
  • 4
  • 9
  • 3
  • 3
  • 3
  • 5
  • 7
  • 16
  • 4
  • 3
  • 17
  • 3
  • 5
  • 3
  • 4
  • 5
  • 6
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 11
  • 3
  • 4
  • 4
  • 3
  • 5
  • 4
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 5
  • 6
  • 3
  • 3
  • 5
  • 9
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 5
  • 29
  • 23
  • 4
  • 3
  • 4
  • 4
  • 8
  • 4
  • 4
  • 4
  • 6
  • 10
  • 5
  • 9
  • 13
  • 4
  • 5
  • 18
  • 6
  • 5
  • 4
  • 17
  • 5
  • 4
  • 16
  • 5
  • 10
  • 7
  • 6
  • 4
  • 4
  • 7
  • 10
  • 6
  • 6
  • 4
  • 4
  • 5
  • 25
  • 7
  • 5
  • 9
  • 4
  • 8
  • 4
  • 7
  • 4
  • 9
  • 7
  • 8
  • 8
  • 4
  • 38
  • 4
  • 7
  • 10
  • 7
  • 12
  • 4
  • 5
  • 5
  • 9
  • 4
  • 5
  • 13
  • 4
  • 5
  • 5
  • 8
  • 4
  • 4
  • 5
  • 7
  • 9
  • 5
  • 6
  • 5
  • 18
  • 4
  • 4
  • 4
  • 8
  • 4
  • 10
  • 6
  • 6
  • 8
  • 8
  • 5
  • 6
  • 4
  • 5
  • 6
  • 8
  • 8
  • 8
  • 4
  • 6
  • 4
  • 5
  • 10
  • 9
  • 5
  • 4
  • 8
  • 7
  • 10
  • 10
  • 4
  • 8
  • 10
  • 5
  • 9
  • 9
  • 4
  • 9
  • 5
  • 5
  • 4
  • 7
  • 4
  • 6
  • 19
  • 5
  • 4
  • 4
  • 5
  • 11
  • 5
  • 4
  • 7
  • 5
  • 6
  • 6
  • 5
  • 4
  • 9
  • 4
  • 6
  • 4
  • 4
  • 7
  • 4
  • 4
  • 4
  • 4
  • 8
  • 8
  • 7
  • 8
  • 15
  • 5
  • 5
  • 10
  • 8
  • 6
  • 9
  • 4
  • 7
  • 6
  • 7
  • 4
  • 10
  • 6
  • 11
  • 5
  • 8
  • 12
  • 9
  • 7
  • 63
  • 4
  • 14
  • 4
  • 4
  • 7
  • 5
  • 9
  • 9
  • 5
  • 6
  • 6
  • 4
  • 12
  • 12
  • 18
  • 6
  • 16
  • 6
  • 11
  • 6
  • 4
  • 24
  • 6
  • 7
  • 7
  • 5
  • 10
  • 12
  • 32
  • 4
  • 5
  • 5
  • 4
  • 4
  • 6
  • 6
  • 9
  • 4
  • 7
  • 10
  • 15
  • 7
  • 4
  • 6
  • 6
  • 4
  • 6
  • 4
  • 21
  • 27
  • 5
  • 4
  • 4
  • 4
  • 20
  • 11
  • 4
  • 6
  • 4
  • 8
  • 5
  • 4
  • 5
  • 7
  • 7
  • 4
  • 13
  • 7
  • 12
  • 11
  • 28
  • 10
  • 6
  • 4
  • 7
  • 5
  • 4
  • 4
  • 4
  • 4
  • 5
  • 4
  • 6
  • 7
  • 4
  • 5
  • 9
  • 4
  • 4
  • 6
  • 8
  • 7
  • 5
  • 13
  • 6
  • 7
  • 4
  • 7
  • 4
  • 6
  • 7
  • 6
  • 9
  • 4
  • 4
  • 7
  • 7
  • 4
  • 5
  • 4
  • 21
  • 17
  • 4
  • 4
  • 8
  • 5
  • 7
  • 5
  • 8
  • 6
  • 6
  • 9
  • 5
  • 8
  • 8
  • 7
  • 10
  • 4
  • 10
  • 5
  • 4
  • 8
  • 5
  • 5
  • 14
  • 4
  • 8
  • 7
  • 4
  • 4
  • 11
  • 10
  • 6
  • 6
  • 9
  • 4
  • 18
  • 14
  • 5
  • 4
  • 10
  • 5
  • 4
  • 5
  • 8
  • 7
  • 4
  • 5
  • 6
  • 10
  • 4
  • 7
  • 4
  • 8
  • 5
  • 4
  • 7
  • 8
  • 4
  • 4
  • 7
  • 5
  • 23
  • 6
  • 9
  • 5
  • 4
  • 4
  • 7
  • 15
  • 5
  • 4
  • 4
  • 4
  • 24
  • 6
  • 8
  • 4
  • 7
  • 4
  • 5
  • 4
  • 7
  • 6
  • 4
  • 10
  • 9
  • 4
  • 4
  • 5
  • 5
  • 5
  • 4
  • 4
  • 10
  • 12
  • 5
  • 7
  • 5
  • 4
  • 4
  • 4
  • 7
  • 16
  • 6
  • 4
  • 4
  • 4
  • 40
  • 49
  • 12
  • 4
  • 9
  • 12
  • 22
  • 10
  • 8
  • 5
  • 9
  • 9
  • 13
  • 6
  • 4
  • 4
  • 5
  • 5
  • 12
  • 7
  • 42
  • 5
  • 5
  • 5
  • 8
  • 4
  • 4
  • 5
  • 9
  • 20
  • 7
  • 5
  • 5
  • 8
  • 32
  • 4
  • 6
  • 5
  • 8
  • 8
  • 4
  • 9
  • 10
  • 10
  • 6
  • 10
  • 4
  • 8
  • 4
  • 7
  • 4
  • 6
  • 11
  • 6
  • 8
  • 6
  • 13
  • 10
  • 4
  • 4
  • 7
  • 4
  • 9
  • 9
  • 14
  • 11
  • 6
  • 11
  • 13
  • 4
  • 7
  • 9
  • 8
  • 7
  • 12
  • 4
  • 7
  • 4
  • 4
  • 5
  • 6
  • 4
  • 11
  • 4
  • 4
  • 4
  • 4
  • 4
  • 5
  • 5
  • 16
  • 14
  • 5
  • 12
  • 4
  • 8
  • 19
  • 4
  • 4
  • 12
  • 18
  • 5
  • 9
  • 6
  • 4
  • 7
  • 4
  • 9
  • 7
  • 7
  • 18
  • 6
  • 12
  • 4
  • 4
  • 12
  • 5
  • 5
  • 6
  • 9
  • 4
  • 6
  • 21
  • 4
  • 7
  • 4
  • 4
  • 10
  • 7
  • 4
  • 4
  • 6
  • 7
  • 8
  • 7
Verlag
  • 2
  • 3
  • 5
  • 3
  • 1
  • 3
  • 1
  • 51
  • 7
  • 462
  • 3
  • 3
  • 18
  • 3
  • 8
  • 3
  • 285
  • 2
  • 23
  • 1
  • 1
  • 3
  • 3
  • 3
  • 73
  • 1
  • 91
  • 219
  • 4
  • 505
  • 1320
  • 15
  • 1
  • 1
  • 1
  • 56
  • 102
  • 1
  • 3
  • 1
  • 3
  • 38
  • 1
  • 2
  • 57
  • 28
  • 1
  • 1
  • 25
  • 1
  • 4
  • 3
  • 14
  • 5
  • 38
  • 4
  • 2
  • 1
  • 6
  • 1
  • 1
  • 3
  • 25
  • 1
  • 1
  • 4
  • 1
  • 1
  • 33
  • 1
  • 1
  • 1
  • 18
  • 49
  • 4
  • 3
  • 2
  • 16
  • 2
  • 6
  • 1
  • 1
  • 19
  • 2
  • 1
  • 11
  • 4
  • 1
  • 5
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 11
  • 1
  • 3
  • 24
  • 2
  • 1
  • 2
  • 8
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 15
  • 1
  • 3
  • 28
  • 22
  • 3
  • 37
  • 1
  • 1
  • 1
  • 1
  • 2
  • 16
  • 1
  • 6178
  • 45
  • 27
  • 1
  • 1
  • 1
  • 13
  • 8
  • 4
  • 1
  • 33
  • 1
  • 124
  • 97
  • 5
  • 22
  • 1
  • 287
  • 37
  • 147
  • 1
  • 1
  • 24
  • 6
  • 1
  • 4
  • 1
  • 86
  • 1
  • 5
  • 2
  • 166
  • 3
  • 10
  • 1
  • 24
  • 22
  • 1
  • 1
  • 2
  • 2
Preis
  • 428
  • 1975
  • 5372
  • 3575
Sprachen
  • 10412
  • 949
  • 2
Verfügbarkeit
  • 11199
  • 151
Eigenschaften
  • 13
  • 4
Katalog
  • 11350
  • 1771
11.350  Titel
    Aichernig / Maibaum | Formal Methods at the Crossroads. From Panacea to Foundational Support | Buch | Sack Fachmedien

    Aichernig / Maibaum Formal Methods at the Crossroads. From Panacea to Foundational Support

    10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20527-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Medina / Obiedkov | Formal Concept Analysis | Buch | Sack Fachmedien

    Medina / Obiedkov Formal Concept Analysis

    6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-78136-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lee | Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing | Buch | Sack Fachmedien

    Lee Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing

    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-26430-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schiffmann / Schmitz | Technische Informatik 1 | Buch | Sack Fachmedien

    Schiffmann / Schmitz Technische Informatik 1

    Grundlagen der digitalen Elektronik
    5. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-40418-7
    Medium: Buch
    64,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pang / Zhang | Dependable Software Engineering. Theories, Tools, and Applications | Buch | Sack Fachmedien

    Pang / Zhang Dependable Software Engineering. Theories, Tools, and Applications

    6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-62821-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ohori | Programming Languages and Systems | Buch | Sack Fachmedien

    Ohori Programming Languages and Systems

    First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20536-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ortmeier / Rauzy | Model-Based Safety and Assessment | Buch | Sack Fachmedien

    Ortmeier / Rauzy Model-Based Safety and Assessment

    4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-12213-7
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bezivin / Muller | The Unified Modeling Language. <<UML>>'98: Beyond the Notation | Buch | Sack Fachmedien

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

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

    Paulson Isabelle

    A Generic Theorem Prover
    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-58244-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Murgante / Misra / Carlini | Computational Science and Its Applications -- ICCSA 2013 | Buch | Sack Fachmedien

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

    13th International Conference, ICCSA 2013, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part V
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-39639-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hermann / Voronkov | Logic for Programming, Artificial Intelligence, and Reasoning | Buch | Sack Fachmedien

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

    13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-48281-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Maximilien / Vallecillo / Wang | Service-Oriented Computing | Buch | Sack Fachmedien

    Maximilien / Vallecillo / Wang Service-Oriented Computing

    15th International Conference, ICSOC 2017, Malaga, Spain, November 13-16, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-69034-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pozdniakov / Dagiene / Dagiene | Informatics in Schools. Fundamentals of Computer Science and Software Engineering | Buch | Sack Fachmedien

    Pozdniakov / Dagiene / Dagiene Informatics in Schools. Fundamentals of Computer Science and Software Engineering

    11th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2018, St. Petersburg, Russia, October 10-12, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-02749-0
    Medium: Buch
    53,49 € (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

    First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers
    2025
    Verlag: Springer
    ISBN: 978-3-031-73740-4
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wirsing / Knapp / Balsamo | Radical Innovations of Software and Systems Engineering in the Future | Buch | Sack Fachmedien

    Wirsing / Knapp / Balsamo Radical Innovations of Software and Systems Engineering in the Future

    9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21179-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Doerr / Opdahl | Requirements Engineering: Foundation for Software Quality | Buch | Sack Fachmedien

    Doerr / Opdahl Requirements Engineering: Foundation for Software Quality

    19th International Working Conference, REFSQ 2013, Essen, Germany, April 8-11, 2013. Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-37421-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gupta | Practical Aspects of Declarative Languages | Buch | Sack Fachmedien

    Gupta Practical Aspects of Declarative Languages

    First International Workshop, PADL'99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-65527-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Field / Vasconcelos | Coordination Models and Languages | Buch | Sack Fachmedien

    Field / Vasconcelos Coordination Models and Languages

    11th International Conference, COORDINATION 2009, Lisbon, Portugal, June 9-12, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02052-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Crookshanks | Practical Enterprise Software Development Techniques | Buch | Sack Fachmedien

    Crookshanks Practical Enterprise Software Development Techniques

    Tools and Techniques for Large Scale Solutions
    1. Auflage 2015
    Verlag: Apress
    ISBN: 978-1-4842-0621-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Roggenbach / Cerone / Schlingloff | Formal Methods for Software Engineering | Buch | Sack Fachmedien

    Roggenbach / Cerone / Schlingloff Formal Methods for Software Engineering

    Languages, Methods, Application Domains
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-030-38799-0
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Groves / Sun | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Groves / Sun Formal Methods and Software Engineering

    15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-41201-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cuesta / Garlan / Pérez | Software Architecture | Buch | Sack Fachmedien

    Cuesta / Garlan / Pérez Software Architecture

    12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24-28, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-00760-7
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kosmatov / Prevosto / Signoles | Guide to Software Verification with Frama-C | Buch | Sack Fachmedien

    Kosmatov / Prevosto / Signoles Guide to Software Verification with Frama-C

    Core Components, Usages, and Applications
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-55610-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ali Babar / Vierimaa / Oivo | Product-Focused Software Process Improvement | Buch | Sack Fachmedien

    Ali Babar / Vierimaa / Oivo Product-Focused Software Process Improvement

    11th International Conference, PROFES 2010, Limerick, Ireland, June 21-23, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-13791-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rombach / Basili / Selby | Experimental Software Engineering Issues: | Buch | Sack Fachmedien

    Rombach / Basili / Selby Experimental Software Engineering Issues:

    Critical Assessment and Future Directions. International Workshop, Dagstuhl Castle, Germany, September 14-18, 1992. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57092-9
    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