Ergebnisse filtern
Fachgebiet
Medium
  • 9234
  • 1066
  • 31
  • 13
Erscheinungsjahr
  • 1
  • 39
  • 499
  • 792
  • 632
  • 479
  • 426
  • 424
  • 416
  • 532
  • 311
  • 445
  • 298
  • 436
  • 393
  • 505
  • 247
  • 506
  • 231
  • 252
  • 259
  • 221
  • 262
  • 224
  • 223
  • 184
  • 161
  • 123
  • 109
  • 95
  • 80
  • 80
  • 71
  • 60
  • 68
  • 39
  • 55
  • 35
  • 24
  • 14
  • 13
  • 7
  • 7
  • 4
  • 6
  • 6
  • 1
  • 3
  • 4
  • 1
  • 2
  • 1
  • 2
  • 1
Autoren
  • 6
  • 4
  • 3
  • 3
  • 4
  • 8
  • 14
  • 3
  • 3
  • 4
  • 9
  • 10
  • 3
  • 4
  • 4
  • 10
  • 4
  • 3
  • 9
  • 5
  • 4
  • 3
  • 3
  • 4
  • 4
  • 8
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 3
  • 8
  • 3
  • 4
  • 5
  • 3
  • 7
  • 4
  • 3
  • 3
  • 3
  • 4
  • 5
  • 3
  • 6
  • 4
  • 3
  • 5
  • 4
  • 3
  • 3
  • 6
  • 4
  • 4
  • 7
  • 5
  • 6
  • 10
  • 7
  • 3
  • 3
  • 5
  • 9
  • 23
  • 3
  • 12
  • 5
  • 5
  • 7
  • 4
  • 4
  • 3
  • 4
  • 6
  • 8
  • 4
  • 4
  • 4
  • 4
  • 7
  • 3
  • 3
  • 8
  • 4
  • 4
  • 3
  • 3
  • 5
  • 3
  • 6
  • 3
  • 3
  • 4
  • 4
  • 3
  • 6
  • 4
  • 4
  • 21
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 7
  • 3
  • 7
  • 4
  • 3
  • 6
  • 3
  • 3
  • 12
  • 8
  • 4
  • 4
  • 4
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 10
  • 3
  • 3
  • 4
  • 9
  • 3
  • 3
  • 5
  • 20
  • 3
  • 4
  • 4
  • 11
  • 3
  • 3
  • 3
  • 4
  • 6
  • 3
  • 15
  • 3
  • 4
  • 16
  • 7
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 8
  • 3
  • 3
  • 9
  • 4
  • 3
  • 10
  • 18
  • 4
  • 7
  • 17
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 8
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 12
  • 7
  • 5
  • 3
  • 3
  • 3
  • 11
  • 7
  • 6
  • 4
  • 12
  • 5
  • 3
  • 4
  • 13
  • 9
  • 4
  • 4
  • 6
  • 3
  • 3
  • 7
  • 4
  • 3
  • 3
  • 3
  • 18
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 6
  • 6
  • 4
  • 3
  • 4
  • 3
  • 33
  • 4
  • 3
  • 8
  • 3
  • 5
  • 4
  • 3
  • 7
  • 6
  • 4
  • 5
  • 3
  • 4
  • 7
  • 4
  • 3
  • 3
  • 6
  • 3
  • 5
  • 5
  • 7
  • 3
  • 6
  • 4
  • 8
  • 6
  • 3
  • 12
  • 3
  • 9
  • 4
  • 4
  • 12
  • 3
  • 4
  • 7
  • 5
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 9
  • 6
  • 3
  • 3
  • 8
  • 9
  • 3
  • 3
  • 12
  • 4
  • 3
  • 6
  • 3
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 4
  • 6
  • 3
  • 4
  • 3
  • 10
  • 4
  • 4
  • 4
  • 6
  • 4
  • 7
  • 4
  • 3
  • 6
  • 6
  • 3
  • 3
  • 3
  • 7
  • 7
  • 3
  • 3
  • 3
  • 5
  • 9
  • 4
  • 3
  • 3
  • 5
  • 5
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 4
  • 8
  • 6
  • 4
  • 5
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 3
  • 5
  • 15
  • 4
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 4
  • 13
  • 3
  • 5
  • 7
  • 3
  • 10
  • 6
  • 3
  • 8
  • 10
  • 6
  • 3
  • 7
  • 3
  • 3
  • 4
  • 9
  • 3
  • 3
  • 5
  • 7
  • 11
  • 4
  • 3
  • 15
  • 3
  • 3
  • 3
  • 4
  • 5
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 10
  • 3
  • 4
  • 4
  • 3
  • 5
  • 4
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 5
  • 6
  • 3
  • 3
  • 5
  • 8
  • 3
  • 5
  • 3
  • 3
  • 3
  • 5
  • 28
  • 23
  • 3
  • 4
  • 4
  • 4
  • 8
  • 3
  • 4
  • 4
  • 3
  • 6
  • 3
  • 10
  • 3
  • 5
  • 3
  • 9
  • 4
  • 13
  • 4
  • 3
  • 5
  • 4
  • 3
  • 3
  • 18
  • 3
  • 3
  • 4
  • 6
  • 5
  • 5
  • 3
  • 18
  • 3
  • 3
  • 5
  • 5
  • 3
  • 4
  • 4
  • 3
  • 20
  • 6
  • 11
  • 7
  • 4
  • 6
  • 6
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 4
  • 5
  • 3
  • 5
  • 13
  • 3
  • 5
  • 6
  • 6
  • 4
  • 7
  • 24
  • 7
  • 6
  • 10
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 7
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 4
  • 3
  • 9
  • 6
  • 8
  • 9
  • 4
  • 3
  • 39
  • 4
  • 10
  • 3
  • 3
  • 7
  • 3
  • 11
  • 3
  • 5
  • 3
  • 5
  • 10
  • 4
  • 5
  • 13
  • 4
  • 5
  • 5
  • 4
  • 3
  • 3
  • 4
  • 5
  • 7
  • 12
  • 5
  • 3
  • 6
  • 5
  • 16
  • 4
  • 4
  • 3
  • 4
  • 8
  • 4
  • 3
  • 3
  • 10
  • 6
  • 6
  • 8
  • 8
  • 4
  • 3
  • 3
  • 6
  • 3
  • 3
  • 5
  • 6
  • 8
  • 8
  • 3
  • 7
  • 6
  • 3
  • 4
  • 5
  • 4
  • 10
  • 8
  • 5
  • 4
  • 3
  • 8
  • 3
  • 7
  • 10
  • 10
  • 4
  • 8
  • 6
  • 5
  • 9
  • 7
  • 9
  • 5
  • 5
  • 4
  • 7
  • 5
  • 4
  • 4
  • 18
  • 5
  • 4
  • 4
  • 4
  • 11
  • 5
  • 4
  • 5
  • 5
  • 5
  • 6
  • 4
  • 4
  • 4
  • 9
  • 4
  • 6
  • 4
  • 4
  • 7
  • 4
  • 4
  • 4
  • 8
  • 7
  • 8
  • 15
  • 5
  • 5
  • 10
  • 8
  • 6
  • 10
  • 4
  • 8
  • 6
  • 7
  • 4
  • 10
  • 7
  • 11
  • 4
  • 4
  • 11
  • 9
  • 4
  • 5
  • 61
  • 4
  • 14
  • 4
  • 7
  • 5
  • 9
  • 9
  • 5
  • 6
  • 6
  • 9
  • 9
  • 17
  • 6
  • 16
  • 4
  • 6
  • 11
  • 4
  • 24
  • 6
  • 5
  • 7
  • 5
  • 10
  • 12
  • 32
  • 4
  • 4
  • 4
  • 4
  • 7
  • 9
  • 5
  • 10
  • 15
  • 7
  • 4
  • 6
  • 6
  • 4
  • 6
  • 5
  • 21
  • 27
  • 5
  • 4
  • 4
  • 4
  • 5
  • 20
  • 11
  • 4
  • 6
  • 4
  • 8
  • 5
  • 5
  • 7
  • 7
  • 4
  • 14
  • 7
  • 12
  • 11
  • 4
  • 28
  • 9
  • 6
  • 4
  • 7
  • 5
  • 4
  • 4
  • 4
  • 4
  • 5
  • 4
  • 6
  • 7
  • 4
  • 14
  • 4
  • 6
  • 8
  • 5
  • 5
  • 13
  • 6
  • 4
  • 7
  • 4
  • 6
  • 7
  • 6
  • 4
  • 9
  • 4
  • 4
  • 6
  • 7
  • 5
  • 4
  • 21
  • 17
  • 4
  • 4
  • 8
  • 5
  • 7
  • 7
  • 6
  • 6
  • 9
  • 5
  • 8
  • 8
  • 5
  • 10
  • 10
  • 5
  • 4
  • 8
  • 5
  • 5
  • 12
  • 4
  • 7
  • 4
  • 11
  • 10
  • 6
  • 9
  • 17
  • 11
  • 5
  • 4
  • 9
  • 5
  • 5
  • 5
  • 8
  • 7
  • 4
  • 4
  • 6
  • 10
  • 4
  • 5
  • 7
  • 4
  • 8
  • 5
  • 4
  • 9
  • 8
  • 4
  • 4
  • 7
  • 5
  • 23
  • 6
  • 9
  • 5
  • 4
  • 4
  • 7
  • 16
  • 5
  • 4
  • 4
  • 4
  • 22
  • 5
  • 8
  • 4
  • 5
  • 4
  • 5
  • 4
  • 7
  • 6
  • 4
  • 10
  • 9
  • 4
  • 5
  • 5
  • 5
  • 8
  • 10
  • 5
  • 7
  • 5
  • 4
  • 4
  • 16
  • 6
  • 6
  • 33
  • 42
  • 12
  • 7
  • 9
  • 12
  • 27
  • 6
  • 6
  • 4
  • 9
  • 9
  • 17
  • 6
  • 4
  • 5
  • 5
  • 12
  • 7
  • 41
  • 5
  • 4
  • 5
  • 5
  • 7
  • 4
  • 4
  • 5
  • 9
  • 20
  • 7
  • 5
  • 6
  • 8
  • 34
  • 4
  • 7
  • 5
  • 8
  • 4
  • 4
  • 9
  • 10
  • 10
  • 6
  • 12
  • 4
  • 8
  • 5
  • 4
  • 6
  • 11
  • 6
  • 8
  • 6
  • 10
  • 4
  • 4
  • 7
  • 4
  • 9
  • 9
  • 14
  • 11
  • 5
  • 10
  • 13
  • 4
  • 7
  • 9
  • 8
  • 6
  • 9
  • 7
  • 4
  • 5
  • 5
  • 11
  • 4
  • 4
  • 4
  • 5
  • 5
  • 15
  • 14
  • 5
  • 9
  • 4
  • 8
  • 19
  • 4
  • 4
  • 12
  • 18
  • 5
  • 9
  • 6
  • 4
  • 7
  • 4
  • 9
  • 7
  • 8
  • 18
  • 6
  • 9
  • 4
  • 4
  • 12
  • 5
  • 5
  • 9
  • 4
  • 4
  • 21
  • 4
  • 7
  • 4
  • 4
  • 10
  • 7
  • 4
  • 4
  • 6
  • 7
  • 9
  • 5
Verlag
  • 2
  • 3
  • 8
  • 4
  • 1
  • 3
  • 1
  • 50
  • 7
  • 428
  • 2
  • 18
  • 3
  • 8
  • 2
  • 277
  • 2
  • 1
  • 8
  • 6
  • 1
  • 3
  • 3
  • 3
  • 41
  • 1
  • 77
  • 212
  • 4
  • 454
  • 761
  • 15
  • 1
  • 4
  • 1
  • 50
  • 93
  • 3
  • 3
  • 2
  • 4
  • 51
  • 35
  • 1
  • 5
  • 25
  • 1
  • 4
  • 3
  • 14
  • 5
  • 39
  • 4
  • 1
  • 1
  • 1
  • 1
  • 25
  • 1
  • 4
  • 1
  • 1
  • 33
  • 1
  • 1
  • 1
  • 1
  • 1
  • 7
  • 12
  • 2
  • 3
  • 3
  • 25
  • 1
  • 6
  • 6
  • 2
  • 13
  • 1
  • 5
  • 1
  • 2
  • 2
  • 1
  • 3
  • 2
  • 3
  • 3
  • 8
  • 1
  • 3
  • 2
  • 1
  • 2
  • 1
  • 2
  • 8
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 15
  • 1
  • 5
  • 27
  • 22
  • 36
  • 1
  • 1
  • 1
  • 2
  • 2
  • 15
  • 1
  • 2594
  • 1426
  • 10
  • 1243
  • 4
  • 2
  • 1
  • 2
  • 119
  • 538
  • 1
  • 95
  • 1
  • 83
  • 287
  • 14
  • 28
  • 1
  • 1
  • 1
  • 224
  • 34
  • 107
  • 9
  • 1
  • 1
  • 24
  • 6
  • 1
  • 1
  • 5
  • 1
  • 86
  • 1
  • 4
  • 2
  • 1
  • 203
  • 2
  • 12
  • 1
  • 1
  • 23
  • 37
  • 1
  • 1
  • 2
  • 2
Preis
  • 313
  • 1492
  • 5162
  • 3377
Sprachen
  • 9438
  • 915
  • 2
Verfügbarkeit
  • 10216
  • 128
Eigenschaften
  • 6
  • 4
Katalog
  • 10344
  • 1675
10.344  Titel
    McCormick / Chapin | Building High Integrity Applications with SPARK | Buch | Sack Fachmedien

    McCormick / Chapin Building High Integrity Applications with SPARK

    Erscheinungsjahr 2015
    Verlag: Cambridge University Press
    ISBN: 978-1-107-04073-1
    Medium: Buch
    158,90 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kans / Charatan | Programming in Two Semesters | Buch | Sack Fachmedien

    Kans / Charatan Programming in Two Semesters

    Using Python and Java
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-01325-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wimmer / Kolovos | Theory and Practice of Model Transformations | Buch | Sack Fachmedien

    Wimmer / Kolovos Theory and Practice of Model Transformations

    8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings
    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-21154-1
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bordeleau / Taentzer | Modelling Foundations and Applications | Buch | Sack Fachmedien

    Bordeleau / Taentzer Modelling Foundations and Applications

    11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings
    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-21150-3
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Roubtsova / Gerth / McNeile | Behavior Modeling -- Foundations and Applications | Buch | Sack Fachmedien

    Roubtsova / Gerth / McNeile Behavior Modeling -- Foundations and Applications

    International Workshops, BM-FA 2009-2014, Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-21911-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Donnellan / Helfert / Winter | New Horizons in Design Science: Broadening the Research Agenda | Buch | Sack Fachmedien

    Donnellan / Helfert / Winter New Horizons in Design Science: Broadening the Research Agenda

    10th International Conference, DESRIST 2015, Dublin, Ireland, May 20-22, 2015, Proceedings
    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-18713-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baixeries / Ojeda-Aciego / Sacarea | Formal Concept Analysis | Buch | Sack Fachmedien

    Baixeries / Ojeda-Aciego / Sacarea Formal Concept Analysis

    13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings
    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-19544-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cimiano / Schwabe / Frasincar | Engineering the Web in the Big Data Era | Buch | Sack Fachmedien

    Cimiano / Schwabe / Frasincar Engineering the Web in the Big Data Era

    15th International Conference, ICWE 2015, Rotterdam, The Netherlands, June 23-26, 2015, Proceedings
    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-19889-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Son / Pontelli | Practical Aspects of Declarative Languages | Buch | Sack Fachmedien

    Son / Pontelli Practical Aspects of Declarative Languages

    17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings
    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-19685-5
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kosmatov / Blanchette | Tests and Proofs | Buch | Sack Fachmedien

    Kosmatov / Blanchette Tests and Proofs

    9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings
    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-21214-2
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Combemale / Cheng / Rumpe | Globalizing Domain-Specific Languages | Buch | Sack Fachmedien

    Combemale / Cheng / Rumpe Globalizing Domain-Specific Languages

    International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-26171-3
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Piterman | Hardware and Software: Verification and Testing | Buch | Sack Fachmedien

    Piterman Hardware and Software: Verification and Testing

    11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-26286-4
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tian / Sebe / Liu | MultiMedia Modeling | Buch | Sack Fachmedien

    Tian / Sebe / Liu MultiMedia Modeling

    22nd International Conference, MMM 2016, Miami, FL, USA, January 4-6, 2016, Proceedings, Part I
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-27670-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fauconnier / Bouajjani | Networked Systems | Buch | Sack Fachmedien

    Fauconnier / Bouajjani Networked Systems

    Third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-26849-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Abrahamsson / Russo / Corral | Product-Focused Software Process Improvement | Buch | Sack Fachmedien

    Abrahamsson / Russo / Corral Product-Focused Software Process Improvement

    16th International Conference, PROFES 2015, Bolzano, Italy, December 2-4, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-26843-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Engels / Van Gorp | Theory and Practice of Model Transformations | Buch | Sack Fachmedien

    Engels / Van Gorp Theory and Practice of Model Transformations

    9th International Conference, ICMT 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-42063-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Duan / Liu | Structured Object-Oriented Formal Language and Method | Buch | Sack Fachmedien

    Duan / Liu Structured Object-Oriented Formal Language and Method

    5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-31219-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Löding / Jacobs | Foundations of Software Science and Computation Structures | Buch | Sack Fachmedien

    Löding / Jacobs Foundations of Software Science and Computation Structures

    19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-662-49629-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lecomte / Romanovsky / Pinger | Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification | Buch | Sack Fachmedien

    Lecomte / Romanovsky / Pinger Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

    First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-33950-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moreno-Díaz / Quesada-Arencibia / Pichler | Computer Aided Systems Theory - EUROCAST 2015 | Buch | Sack Fachmedien

    Moreno-Díaz / Quesada-Arencibia / Pichler Computer Aided Systems Theory - EUROCAST 2015

    15th International Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015, Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-27339-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Plaat / Kosters / van den Herik | Advances in Computer Games | Buch | Sack Fachmedien

    Plaat / Kosters / van den Herik Advances in Computer Games

    14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-27991-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Meyer / Wehrheim / Platzer | Correct System Design | Buch | Sack Fachmedien

    Meyer / Wehrheim / Platzer Correct System Design

    Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-23505-9
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Majumdar / Bartocci | Runtime Verification | Buch | Sack Fachmedien

    Majumdar / Bartocci Runtime Verification

    6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-23819-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wyrzykowski / Deelman / Wiatr | Parallel Processing and Applied Mathematics | Buch | Sack Fachmedien

    Wyrzykowski / Deelman / Wiatr Parallel Processing and Applied Mathematics

    11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-32151-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Proença / Lluch Lafuente | Coordination Models and Languages | Buch | Sack Fachmedien

    Proença / Lluch Lafuente Coordination Models and Languages

    18th IFIP WG 6.1 International Conference, COORDINATION 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-39518-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gähler | Software Engineering Made Easy | Buch | Sack Fachmedien

    Gähler Software Engineering Made Easy

    A Comprehensive Reference Guide for Writing Good Code
    1. Auflage 2025
    Verlag: Apress
    ISBN: 979-8-8688-1385-6
    Medium: Buch
    29,95 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Oberle | Semantic Management of Middleware | Buch | Sack Fachmedien

    Oberle Semantic Management of Middleware

    1. Auflage. Softcover version of original hardcover Auflage 2006
    Verlag: Springer US
    ISBN: 978-1-4419-3905-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Weintrit / Neumann | Marine Navigation and Safety of Sea Transportation | Buch | Sack Fachmedien

    Weintrit / Neumann Marine Navigation and Safety of Sea Transportation

    Maritime Transport & Shipping
    1. Auflage 2020
    Verlag: CRC Press
    ISBN: 978-0-367-57641-7
    Medium: Buch
    71,10 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Compton / Kang | Ripple-Down Rules | Buch | Sack Fachmedien

    Compton / Kang Ripple-Down Rules

    The Alternative to Machine Learning
    1. Auflage 2021
    Verlag: Chapman and Hall/CRC
    ISBN: 978-0-367-64432-1
    Medium: Buch
    91,40 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tucker | Client-Centered Software Development: The Co-Foss Approach | Buch | Sack Fachmedien

    Tucker Client-Centered Software Development: The Co-Foss Approach

    1. Auflage 2020
    Verlag: CRC PR INC
    ISBN: 978-0-367-72811-3
    Medium: Buch
    50,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fairley | Managing and Leading Software Projects | Buch | Sack Fachmedien

    Fairley Managing and Leading Software Projects

    1. Auflage 2009
    Verlag: Wiley
    ISBN: 978-0-470-29455-0
    Medium: Buch
    115,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kapoor | AWS DevOps Simplified | eBook | Sack Fachmedien
    E-Book

    Kapoor AWS DevOps Simplified

    Build a solid foundation in AWS to deliver enterprise-grade software solutions at scale
    1. Auflage 2023
    Verlag: De Gruyter
    ISBN: 978-1-83763-995-3
    Medium: eBook
    Format: EPUB
     Kopierschutz: 0 - No protection
    35,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Kengo Oka | Building Secure Cars | Buch | Sack Fachmedien

    Kengo Oka Building Secure Cars

    Assuring the Automotive Software Development Lifecycle
    1. Auflage 2021
    Verlag: Wiley
    ISBN: 978-1-119-71074-5
    Medium: Buch
    130,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bouville / Bouatouch | Photorealism in Computer Graphics | Buch | Sack Fachmedien

    Bouville / Bouatouch Photorealism in Computer Graphics

    1. Auflage. Softcover version of original hardcover Auflage 1992
    Verlag: Springer
    ISBN: 978-3-642-08112-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Antonakos | Data Structure and Software Engineering | Buch | Sack Fachmedien

    Antonakos Data Structure and Software Engineering

    Challenges and Improvements
    1. Auflage 2021
    Verlag: Apple Academic Press
    ISBN: 978-1-77463-255-0
    Medium: Buch
    107,20 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hardin / Jaume / Pessaux | Concepts and Semantics of Programming Languages 2 | Buch | Sack Fachmedien

    Hardin / Jaume / Pessaux Concepts and Semantics of Programming Languages 2

    Modular and Object-Oriented Constructs with Ocaml, Python, C++, ADA and Java
    1. Auflage 2021
    Verlag: Wiley
    ISBN: 978-1-78630-602-9
    Medium: Buch
    164,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Malyshkin | Parallel Computing Technologies | Buch | Sack Fachmedien

    Malyshkin Parallel Computing Technologies

    18th International Conference, PaCT 2025, Almaty, Kazakhstan, October 6-10, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-06750-0
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Keller / Schulz / Himmler | Tools for High Performance Computing | Buch | Sack Fachmedien

    Keller / Schulz / Himmler Tools for High Performance Computing

    Proceedings of the 2nd International Workshop on Parallel Tools for High Performance Computing, July 2008, HLRS, Stuttgart
    Softcover Nachdruck of hardcover 1. Auflage 2008
    Verlag: Springer
    ISBN: 978-3-642-08808-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Watkins | A Step-by-Step Guide to Exploratory Factor Analysis with SPSS | Buch | Sack Fachmedien

    Watkins A Step-by-Step Guide to Exploratory Factor Analysis with SPSS

    1. Auflage 2021
    Verlag: Routledge
    ISBN: 978-0-367-71031-6
    Medium: Buch
    83,10 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gupta / Kumar Saini / Zia | Soft Computing Principles and Integration for Real-Time Service-Oriented Computing | Buch | Sack Fachmedien

    Gupta / Kumar Saini / Zia Soft Computing Principles and Integration for Real-Time Service-Oriented Computing

    1. Auflage 2024
    Verlag: Auerbach Publications
    ISBN: 978-1-032-55188-3
    Medium: Buch
    225,60 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Finlay | An Introduction To Artificial Intelligence | Buch | Sack Fachmedien

    Finlay An Introduction To Artificial Intelligence

    1. Auflage 2017
    Verlag: Taylor & Francis Ltd
    ISBN: 978-1-138-43584-1
    Medium: Buch
    191,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Drechsler | Formal System Verification | Buch | Sack Fachmedien

    Drechsler Formal System Verification

    State-of the-Art and Future Trends
    Softcover Nachdruck of the original 1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-86223-1
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cano / Dikaiakos / Sakellariou | Euro-Par 2023: Parallel Processing | Buch | Sack Fachmedien

    Cano / Dikaiakos / Sakellariou Euro-Par 2023: Parallel Processing

    29th International Conference on Parallel and Distributed Computing, Limassol, Cyprus, August 28 - September 1, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-39697-7
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vizel / Shoham | Computer Aided Verification | Buch | Sack Fachmedien

    Vizel / Shoham Computer Aided Verification

    34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-031-13187-5
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Slivker / Perelmuter | Numerical Structural Analysis | Buch | Sack Fachmedien

    Slivker / Perelmuter Numerical Structural Analysis

    Methods, Models and Pitfalls
    1. Auflage. Softcover version of original hardcover Auflage 2003
    Verlag: Springer
    ISBN: 978-3-642-05621-5
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Talpin / Dong | Dependable Software Engineering. Theories, Tools, and Applications | Buch | Sack Fachmedien

    Talpin / Dong Dependable Software Engineering. Theories, Tools, and Applications

    8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-21212-3
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Niebert / Larsen | Formal Modeling and Analysis of Timed Systems | Buch | Sack Fachmedien

    Niebert / Larsen Formal Modeling and Analysis of Timed Systems

    First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-21671-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Murray-Smith | Testing and Validation of Computer Simulation Models | Buch | Sack Fachmedien

    Murray-Smith Testing and Validation of Computer Simulation Models

    Principles, Methods and Applications
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-15098-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baumeister / Riebisch / Lichter | Agile Processes in Software Engineering and Extreme Programming | Buch | Sack Fachmedien

    Baumeister / Riebisch / Lichter Agile Processes in Software Engineering and Extreme Programming

    18th International Conference, XP 2017, Cologne, Germany, May 22-26, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-57632-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Süss | High Performance CMOS Range Imaging | Buch | Sack Fachmedien

    Süss High Performance CMOS Range Imaging

    Device Technology and Systems Considerations
    1. Auflage 2021
    Verlag: CRC Press
    ISBN: 978-1-138-61207-5
    Medium: Buch
    70,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jain / Tayal / Singh | Cognitive Computing Systems | Buch | Sack Fachmedien

    Jain / Tayal / Singh Cognitive Computing Systems

    Applications and Technological Advancements
    1. Auflage 2021
    Verlag: Apple Academic Press
    ISBN: 978-1-77188-931-5
    Medium: Buch
    247,30 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Collart-Dutilleul / Lecomte / Haxthausen | Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification | Buch | Sack Fachmedien

    Collart-Dutilleul / Lecomte / Haxthausen Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

    4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-031-05813-4
    Medium: Buch
    69,54 € (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
    Korukoglu / Karasulu | Performance Evaluation Software | Buch | Sack Fachmedien

    Korukoglu / Karasulu Performance Evaluation Software

    Moving Object Detection and Tracking in Videos
    2013
    Verlag: Springer
    ISBN: 978-1-4614-6533-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gallardo-Valencia / Sim | Finding Source Code on the Web for Remix and Reuse | Buch | Sack Fachmedien

    Gallardo-Valencia / Sim Finding Source Code on the Web for Remix and Reuse

    2013
    Verlag: Springer
    ISBN: 978-1-4899-9446-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhan / Zhao / Wang | Formal Verification of Simulink/Stateflow Diagrams | Buch | Sack Fachmedien

    Zhan / Zhao / Wang Formal Verification of Simulink/Stateflow Diagrams

    A Deductive Approach
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-47014-6
    Medium: Buch
    123,04 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cong Vinh / Vongdoiwang Siricharoen / Tuan Anh | Context-Aware Systems and Applications | Buch | Sack Fachmedien

    Cong Vinh / Vongdoiwang Siricharoen / Tuan Anh Context-Aware Systems and Applications

    5th International Conference, ICCASA 2016, Thu Dau Mot, Vietnam, November 24-25, 2016, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-56356-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kassel / Wu | Software Engineering Education Going Agile | Buch | Sack Fachmedien

    Kassel / Wu Software Engineering Education Going Agile

    11th China–Europe International Symposium on Software Engineering Education (CEISEE 2015)
    Softcover Nachdruck of the original 1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-80507-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Anslow / Jorge / Campos | Collaboration Meets Interactive Spaces | Buch | Sack Fachmedien

    Anslow / Jorge / Campos Collaboration Meets Interactive Spaces

    Softcover Nachdruck of the original 1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-83386-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Clarke / Dorling / O'Connor | Software Process Improvement and Capability Determination | Buch | Sack Fachmedien

    Clarke / Dorling / O'Connor Software Process Improvement and Capability Determination

    16th International Conference, SPICE 2016, Dublin, Ireland, June 9-10, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-38979-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Boniol / Schewe / Wiels | ABZ 2014: The Landing Gear Case Study | Buch | Sack Fachmedien

    Boniol / Schewe / Wiels ABZ 2014: The Landing Gear Case Study

    Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-07511-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Figueroa-García / Gaona García / Hernández | Applied Computer Sciences in Engineering | Buch | Sack Fachmedien

    Figueroa-García / Gaona García / Hernández Applied Computer Sciences in Engineering

    11th Workshop on Engineering Applications, WEA 2024, Barranquilla, Colombia, October 23-25, 2024, Proceedings, Part I
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-74594-2
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Astudillo / Florez | Applied Informatics | Buch | Sack Fachmedien

    Astudillo / Florez Applied Informatics

    7th International Conference, ICAI 2024, Viña del Mar, Chile, October 24-26, 2024, Proceedings, Part I
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-75143-1
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Abásolo / De Castro Lozano / Febles Estrada | Applications and Usability of Interactive TV | Buch | Sack Fachmedien

    Abásolo / De Castro Lozano / Febles Estrada Applications and Usability of Interactive TV

    12th Iberoamerican Conference, jAUTI 2023, Havana, Cuba, October 16-17, 2023, Revised Selected Papers
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-70438-3
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Camarinha-Matos / Barthe-Delanoë / Ortiz | Navigating Unpredictability: Collaborative Networks in Non-linear Worlds | Buch | Sack Fachmedien

    Camarinha-Matos / Barthe-Delanoë / Ortiz Navigating Unpredictability: Collaborative Networks in Non-linear Worlds

    25th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2024, Albi, France, October 28-30, 2024, Proceedings, Part II
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-71742-0
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kaindl / Maciaszek / Mannion | Evaluation of Novel Approaches to Software Engineering | Buch | Sack Fachmedien

    Kaindl / Maciaszek / Mannion Evaluation of Novel Approaches to Software Engineering

    17th International Conference, ENASE 2022, Virtual Event, April 25-26, 2022, Revised Selected Papers
    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-36596-6
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pries-Heje / Venable / DeGross | Human Benefit through the Diffusion of Information Systems Design Science Research | Buch | Sack Fachmedien

    Pries-Heje / Venable / DeGross Human Benefit through the Diffusion of Information Systems Design Science Research

    IFIP WG 8.2/8.6 International Working Conference, Perth, Australia, March 30 - April 1, 2010, Proceedings
    2010
    Verlag: Springer
    ISBN: 978-3-642-42232-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Piguet / Soudris / Reis | VLSI-SoC: Design Methodologies for SoC and SiP | Buch | Sack Fachmedien

    Piguet / Soudris / Reis VLSI-SoC: Design Methodologies for SoC and SiP

    16th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2008, Rhodes Island, Greece, October 13-15, 2008, Revised Selected Papers
    2010
    Verlag: Springer
    ISBN: 978-3-642-42241-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lee | Software and Network Engineering | Buch | Sack Fachmedien

    Lee Software and Network Engineering

    2012
    Verlag: Springer
    ISBN: 978-3-642-43629-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Xiao / Ma / Zhang | System Simulation and Scientific Computing, Part II | Buch | Sack Fachmedien

    Xiao / Ma / Zhang System Simulation and Scientific Computing, Part II

    International Conference, ICSC 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part II
    2012
    Verlag: Springer
    ISBN: 978-3-642-34395-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Parashar / Kaushik / Rana | Contemporary Computing | Buch | Sack Fachmedien

    Parashar / Kaushik / Rana Contemporary Computing

    5th International Conference, IC3 2012, Noida, India, August 6-8, 2012. Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-32128-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lee / Hong / Howard | Convergence and Hybrid Information Technology | Buch | Sack Fachmedien

    Lee / Hong / Howard Convergence and Hybrid Information Technology

    6th International Conference, ICHIT 2012, Daejeon, Korea, August 23-25, 2012. Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-32691-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhang / Maciaszek | Evaluation of Novel Approaches to Software Engineering | Buch | Sack Fachmedien

    Zhang / Maciaszek Evaluation of Novel Approaches to Software Engineering

    6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers
    2013
    Verlag: Springer
    ISBN: 978-3-642-32340-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kim / Ramos / Adeli | Computer Applications for Modeling, Simulation, and Automobile | Buch | Sack Fachmedien

    Kim / Ramos / Adeli Computer Applications for Modeling, Simulation, and Automobile

    International Conferences, MAS and ASNT 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-35247-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Petrinja / Sillitti / Succi | Open Source Software: Quality Verification | Buch | Sack Fachmedien

    Petrinja / Sillitti / Succi Open Source Software: Quality Verification

    9th IFIP WG 2.13 International Conference, OSS 2013, Koper-Capodistria, Slovenia, June 25-28, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-38927-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Abd Manaf / Sahibuddin / Ahmad | Informatics Engineering and Information Science, Part IV | Buch | Sack Fachmedien

    Abd Manaf / Sahibuddin / Ahmad Informatics Engineering and Information Science, Part IV

    International Conference, ICIEIS 2011, Kuala Lumpur, Malaysia, November 12-14, 2011. Proceedings, Part IV
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-25482-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Abd Manaf / Zeki / Zamani | Informatics Engineering and Information Science, Part II | Buch | Sack Fachmedien

    Abd Manaf / Zeki / Zamani Informatics Engineering and Information Science, Part II

    International Conference, ICIEIS 2011, Kuala Lumpur, Malaysia, November 12-14, 2011. Proceedings, Part II
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-25452-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Chang / Yang | Information Computing and Applications, Part II | Buch | Sack Fachmedien

    Liu / Chang / Yang Information Computing and Applications, Part II

    Second International Conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011. Proceedings, Part II
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-27451-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pichappan / Ahmadi / Ariwa | Innovative Computing Technology | Buch | Sack Fachmedien

    Pichappan / Ahmadi / Ariwa Innovative Computing Technology

    First International Conference, INCT 2011, Tehran, Iran, December 13-15, 2011, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-27336-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yazici / Petry | Uncertainty Approaches for Spatial Data Modeling and Processing | Buch | Sack Fachmedien

    Yazici / Petry Uncertainty Approaches for Spatial Data Modeling and Processing

    A decision support perspective
    2010
    Verlag: Springer
    ISBN: 978-3-642-26252-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Domínguez Mayo / Seidewitz / Pires | Model-Driven Engineering and Software Development | Buch | Sack Fachmedien

    Domínguez Mayo / Seidewitz / Pires Model-Driven Engineering and Software Development

    11th International Conference, MODELSWARD 2023, Lisbon, Portugal, February 19-21, 2023, Revised Selected Papers
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-66338-3
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baixeries / Stupnikov / Ignatov | Data Analytics and Management in Data Intensive Domains | Buch | Sack Fachmedien

    Baixeries / Stupnikov / Ignatov Data Analytics and Management in Data Intensive Domains

    25th International Conference, DAMDID/RCDL 2023, Moscow, Russia, October 24-27, 2023, Revised Selected Papers
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-67825-7
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hammoudi / das Neves / Pires | Model-Driven Engineering and Software Development | Buch | Sack Fachmedien

    Hammoudi / das Neves / Pires Model-Driven Engineering and Software Development

    Second International Conference, MODELSWARD 2014, Lisbon, Portugal, January 7-9, 2014, Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-25155-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ölveczky / Artho | Formal Techniques for Safety-Critical Systems | Buch | Sack Fachmedien

    Ölveczky / Artho Formal Techniques for Safety-Critical Systems

    4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-29509-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hammoudi / Desfray / Pires | Model-Driven Engineering and Software Development | Buch | Sack Fachmedien

    Hammoudi / Desfray / Pires Model-Driven Engineering and Software Development

    4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-66301-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Helfert / Cardoso / Ferguson | Cloud Computing and Services Science | Buch | Sack Fachmedien

    Helfert / Cardoso / Ferguson Cloud Computing and Services Science

    6th International Conference, CLOSER 2016, Rome, Italy, April 23-25, 2016, Revised Selected Papers
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-62593-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ambroszkiewicz / Brzezinski / Brzezinski | Advanced SOA Tools and Applications | Buch | Sack Fachmedien

    Ambroszkiewicz / Brzezinski / Brzezinski Advanced SOA Tools and Applications

    Softcover Nachdruck of the original 1. Auflage 2014
    Verlag: Springer
    ISBN: 978-3-662-52235-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ehrig / Hermann / Ermel | Graph and Model Transformation | Buch | Sack Fachmedien

    Ehrig / Hermann / Ermel Graph and Model Transformation

    General Framework and Applications
    Softcover Nachdruck of the original 1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-662-56910-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    van Sinderen / Cordeiro | Software Technologies | Buch | Sack Fachmedien

    van Sinderen / Cordeiro Software Technologies

    8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013, Revised Selected Papers
    2014
    Verlag: Springer
    ISBN: 978-3-662-44919-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Boursas / Carlson / Wold | Systems and Virtualization Management | Buch | Sack Fachmedien

    Boursas / Carlson / Wold Systems and Virtualization Management

    Standards and New Technologies
    2009
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-88707-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Große-Rhode | Semantic Integration of Heterogeneous Software Specifications | Buch | Sack Fachmedien

    Große-Rhode Semantic Integration of Heterogeneous Software Specifications

    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40257-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jensen | Coloured Petri Nets | Buch | Sack Fachmedien

    Jensen Coloured Petri Nets

    Basic Concepts, Analysis Methods and Practical Use. Volume 2
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58276-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shi / Wang / Peng | Cutting-Edge Research Topics on Multiple Criteria Decision Making | Buch | Sack Fachmedien

    Shi / Wang / Peng Cutting-Edge Research Topics on Multiple Criteria Decision Making

    20th International Conference, MCDM 2009, Chengdu/Jiuzhaigou, China, June 21-26, 2009. Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02297-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Riel / O'Connor / Tichkiewitch | Systems, Software and Services Process Improvement | Buch | Sack Fachmedien

    Riel / O'Connor / Tichkiewitch Systems, Software and Services Process Improvement

    17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010. Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15665-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yang / Yeo / Park | Advances in Communication and Networking | Buch | Sack Fachmedien

    Yang / Yeo / Park Advances in Communication and Networking

    Second International Conference on Future Generation Communication and Networking, FGCN 2008, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers
    2009
    Verlag: Springer
    ISBN: 978-3-642-10235-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Slezak / Slezak / Kim | Advances in Software Engineering | Buch | Sack Fachmedien

    Slezak / Slezak / Kim Advances in Software Engineering

    International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings
    1. Auflage. 2009
    Verlag: Springer
    ISBN: 978-3-642-10618-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Camarinha-Matos / Ribeiro / Pereira | Emerging Trends in Technological Innovation | Buch | Sack Fachmedien

    Camarinha-Matos / Ribeiro / Pereira Emerging Trends in Technological Innovation

    First IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2010, Costa de Caparica, Portugal, February 22-24, 2010, Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-11627-8
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Madravio / Damiani | Soft Computing in Software Engineering | Buch | Sack Fachmedien

    Madravio / Damiani Soft Computing in Software Engineering

    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-22030-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Abraham | Genetic Systems Programming | Buch | Sack Fachmedien

    Abraham Genetic Systems Programming

    Theory and Experiences
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-29849-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bhatia / Singh / Mishra | Advances in Computer and Computational Sciences | Buch | Sack Fachmedien

    Bhatia / Singh / Mishra Advances in Computer and Computational Sciences

    Proceedings of ICCCCS 2016, Volume 2
    1. Auflage 2018
    Verlag: Springer Nature Singapore
    ISBN: 978-981-10-3772-6
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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