Ergebnisse filtern
Fachgebiet
Medium
  • 8669
  • 1009
  • 31
  • 13
Erscheinungsjahr
  • 1
  • 40
  • 662
  • 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
  • 3
  • 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
  • 371
  • 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
  • 1397
  • 5
  • 2
  • 1
  • 124
  • 398
  • 109
  • 1
  • 85
  • 355
  • 22
  • 1
  • 30
  • 1
  • 1
  • 1
  • 236
  • 39
  • 207
  • 256
  • 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
  • 3169
Sprachen
  • 8870
  • 859
  • 2
Verfügbarkeit
  • 9553
  • 169
Eigenschaften
  • 5
Katalog
  • 9722
  • 1580
9.722  Titel
    Madelaine / Lanese | Formal Aspects of Component Software | Buch | Sack Fachmedien

    Madelaine / Lanese Formal Aspects of Component Software

    11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers
    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-15316-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yahav | Hardware and Software: Verification and Testing | Buch | Sack Fachmedien

    Yahav Hardware and Software: Verification and Testing

    10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-13337-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Peña / Gupta | Logic-Based Program Synthesis and Transformation | Buch | Sack Fachmedien

    Peña / Gupta Logic-Based Program Synthesis and Transformation

    23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-14124-4
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Haverkort / Remke | Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems | Buch | Sack Fachmedien

    Haverkort / Remke Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems

    18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-31558-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Butler / Biro / Schewe | Abstract State Machines, Alloy, B, TLA, VDM, and Z | Buch | Sack Fachmedien

    Butler / Biro / Schewe Abstract State Machines, Alloy, B, TLA, VDM, and Z

    5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-33599-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hildebrandt / Weidlich / Ravara | Web Services, Formal Methods, and Behavioral Types | Buch | Sack Fachmedien

    Hildebrandt / Weidlich / Ravara Web Services, Formal Methods, and Behavioral Types

    11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-33611-4
    Medium: Buch
    44,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lönn / Wasowski / Wasowski | Modelling Foundations and Applications | Buch | Sack Fachmedien

    Lönn / Wasowski / Wasowski Modelling Foundations and Applications

    12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-42060-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Phung-Duc / Wittevrongel | Analytical and Stochastic Modelling Techniques and Applications | Buch | Sack Fachmedien

    Phung-Duc / Wittevrongel Analytical and Stochastic Modelling Techniques and Applications

    23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-43903-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bogdan / Gulliksen / Sauer | Human-Centered and Error-Resilient Systems Development | Buch | Sack Fachmedien

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

    IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, Augu
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-44901-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schmidt / Guerreiro / Guédria | Enterprise, Business-Process and Information Systems Modeling | Buch | Sack Fachmedien

    Schmidt / Guerreiro / Guédria Enterprise, Business-Process and Information Systems Modeling

    17th International Conference, BPMDS 2016, 21st International Conference, EMMSAD 2016, Held at CAiSE 2016, Ljubljana, Slovenia, June 13-14,2016 , Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-39428-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kurosu | Human-Computer Interaction. Novel User Experiences | Buch | Sack Fachmedien

    Kurosu Human-Computer Interaction. Novel User Experiences

    18th International Conference, HCI International 2016, Toronto, ON, Canada, July 17-22, 2016. Proceedings, Part III
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-39512-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lanese / Albert | Formal Techniques for Distributed Objects, Components, and Systems | Buch | Sack Fachmedien

    Lanese / Albert Formal Techniques for Distributed Objects, Components, and Systems

    36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-39569-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wotawa / Kushik / Nica | Testing Software and Systems | Buch | Sack Fachmedien

    Wotawa / Kushik / Nica 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 International Publishing
    ISBN: 978-3-319-47442-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Herbold / Grabowski | System Analysis and Modeling. Technology-Specific Aspects of Models | Buch | Sack Fachmedien

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

    9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-46612-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Troubitsyna / Crnkovic | Software Engineering for Resilient Systems | Buch | Sack Fachmedien

    Troubitsyna / Crnkovic Software Engineering for Resilient Systems

    8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-45891-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cellary / Mokbel / Zhang | Web Information Systems Engineering ¿ WISE 2016 | Buch | Sack Fachmedien

    Cellary / Mokbel / Zhang Web Information Systems Engineering ¿ WISE 2016

    17th International Conference, Shanghai, China, November 8-10, 2016, Proceedings, Part II
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-48742-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chechik / Blazy | Verified Software. Theories, Tools, and Experiments | Buch | Sack Fachmedien

    Chechik / Blazy Verified Software. Theories, Tools, and Experiments

    8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17¿18, 2016, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-48868-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ogata / Liu / Lawford | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Ogata / Liu / Lawford Formal Methods and Software Engineering

    18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-47845-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Panigrahi / Satapathy / Suganthan | Swarm, Evolutionary, and Memetic Computing | Buch | Sack Fachmedien

    Panigrahi / Satapathy / Suganthan Swarm, Evolutionary, and Memetic Computing

    6th International Conference, SEMCCO 2015, Hyderabad, India, December 18-19, 2015, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-48958-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Arbel / Bloem | Hardware and Software: Verification and Testing | Buch | Sack Fachmedien

    Arbel / Bloem Hardware and Software: Verification and Testing

    12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-49051-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Masci / Bernardeschi / Palmieri | Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops | Buch | Sack Fachmedien

    Masci / Bernardeschi / Palmieri 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 International Publishing
    ISBN: 978-3-031-26235-7
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Figueroa-García / Hernández-Pérez / Franco | Applied Computer Sciences in Engineering | Buch | Sack Fachmedien

    Figueroa-García / Hernández-Pérez / Franco Applied Computer Sciences in Engineering

    9th Workshop on Engineering Applications, WEA 2022, Bogotá, Colombia, November 30 ¿ December 2, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-20610-8
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sirjani / Dastani | Fundamentals of Software Engineering | Buch | Sack Fachmedien

    Sirjani / Dastani Fundamentals of Software Engineering

    7th International Conference, FSEN 2017, Tehran, Iran, April 26¿28, 2017, Revised Selected Papers
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-68971-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bowen / Zhang / Liu | Engineering Trustworthy Software Systems | Buch | Sack Fachmedien

    Bowen / Zhang / Liu Engineering Trustworthy Software Systems

    Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-56840-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Filipe / Maciaszek | Evaluation of Novel Approaches to Software Engineering | Buch | Sack Fachmedien

    Filipe / Maciaszek Evaluation of Novel Approaches to Software Engineering

    11th International Conference, ENASE 2016, Rome, Italy, April 27¿28, 2016, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-56389-3
    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