Ergebnisse filtern
Fachgebiet
Medium
  • 8050
  • 898
  • 27
  • 13
Erscheinungsjahr
  • 1
  • 19
  • 508
  • 603
  • 464
  • 430
  • 406
  • 418
  • 539
  • 313
  • 451
  • 296
  • 427
  • 382
  • 462
  • 156
  • 367
  • 231
  • 241
  • 229
  • 150
  • 232
  • 208
  • 214
  • 175
  • 149
  • 115
  • 102
  • 95
  • 75
  • 79
  • 68
  • 59
  • 67
  • 39
  • 55
  • 34
  • 23
  • 14
  • 13
  • 7
  • 7
  • 4
  • 6
  • 6
  • 1
  • 3
  • 4
  • 1
  • 2
  • 1
  • 2
  • 1
Autoren
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 11
  • 2
  • 2
  • 2
  • 9
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 7
  • 2
  • 4
  • 3
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 3
  • 5
  • 3
  • 2
  • 3
  • 3
  • 4
  • 2
  • 3
  • 4
  • 3
  • 5
  • 2
  • 3
  • 4
  • 5
  • 2
  • 3
  • 2
  • 2
  • 6
  • 4
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 5
  • 2
  • 10
  • 2
  • 5
  • 3
  • 2
  • 3
  • 9
  • 19
  • 3
  • 4
  • 5
  • 6
  • 4
  • 3
  • 3
  • 4
  • 5
  • 7
  • 4
  • 3
  • 3
  • 5
  • 3
  • 7
  • 4
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 4
  • 18
  • 3
  • 4
  • 4
  • 7
  • 6
  • 3
  • 3
  • 3
  • 3
  • 12
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 4
  • 8
  • 3
  • 3
  • 8
  • 3
  • 4
  • 16
  • 3
  • 4
  • 4
  • 10
  • 3
  • 3
  • 3
  • 4
  • 6
  • 3
  • 13
  • 3
  • 11
  • 6
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 7
  • 3
  • 3
  • 9
  • 3
  • 3
  • 16
  • 4
  • 3
  • 16
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 12
  • 7
  • 3
  • 3
  • 3
  • 8
  • 5
  • 6
  • 3
  • 11
  • 4
  • 3
  • 4
  • 13
  • 7
  • 4
  • 3
  • 3
  • 7
  • 4
  • 3
  • 3
  • 17
  • 3
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 6
  • 6
  • 4
  • 4
  • 4
  • 5
  • 32
  • 3
  • 8
  • 3
  • 5
  • 4
  • 3
  • 7
  • 5
  • 3
  • 5
  • 3
  • 4
  • 7
  • 3
  • 5
  • 3
  • 7
  • 3
  • 6
  • 8
  • 5
  • 7
  • 3
  • 3
  • 12
  • 3
  • 3
  • 7
  • 5
  • 4
  • 4
  • 3
  • 4
  • 6
  • 5
  • 3
  • 8
  • 7
  • 3
  • 3
  • 6
  • 4
  • 6
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 4
  • 4
  • 9
  • 3
  • 3
  • 4
  • 5
  • 4
  • 3
  • 3
  • 6
  • 3
  • 3
  • 3
  • 6
  • 6
  • 9
  • 4
  • 3
  • 3
  • 4
  • 5
  • 4
  • 3
  • 3
  • 4
  • 6
  • 6
  • 4
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 5
  • 14
  • 4
  • 3
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 11
  • 3
  • 3
  • 6
  • 3
  • 4
  • 10
  • 5
  • 3
  • 6
  • 3
  • 4
  • 9
  • 3
  • 3
  • 4
  • 6
  • 3
  • 3
  • 12
  • 3
  • 3
  • 4
  • 5
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 8
  • 4
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 5
  • 5
  • 8
  • 3
  • 3
  • 4
  • 3
  • 20
  • 17
  • 3
  • 4
  • 4
  • 4
  • 6
  • 4
  • 4
  • 3
  • 4
  • 3
  • 10
  • 3
  • 4
  • 3
  • 9
  • 4
  • 13
  • 5
  • 3
  • 3
  • 4
  • 3
  • 16
  • 5
  • 5
  • 4
  • 18
  • 4
  • 3
  • 4
  • 3
  • 4
  • 4
  • 20
  • 5
  • 6
  • 4
  • 6
  • 5
  • 3
  • 3
  • 4
  • 3
  • 4
  • 5
  • 3
  • 3
  • 6
  • 3
  • 12
  • 3
  • 5
  • 6
  • 3
  • 3
  • 3
  • 4
  • 24
  • 5
  • 5
  • 3
  • 10
  • 4
  • 3
  • 4
  • 4
  • 4
  • 4
  • 5
  • 4
  • 3
  • 5
  • 6
  • 7
  • 3
  • 3
  • 4
  • 4
  • 3
  • 5
  • 5
  • 3
  • 3
  • 8
  • 3
  • 3
  • 3
  • 3
  • 6
  • 4
  • 5
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 7
  • 3
  • 7
  • 32
  • 3
  • 3
  • 4
  • 9
  • 4
  • 3
  • 3
  • 6
  • 3
  • 14
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 3
  • 5
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 9
  • 3
  • 6
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 11
  • 5
  • 7
  • 3
  • 4
  • 4
  • 5
  • 3
  • 3
  • 6
  • 3
  • 4
  • 7
  • 3
  • 3
  • 5
  • 3
  • 13
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 6
  • 4
  • 16
  • 3
  • 3
  • 4
  • 3
  • 4
  • 5
  • 3
  • 6
  • 4
  • 11
  • 5
  • 5
  • 3
  • 7
  • 6
  • 3
  • 5
  • 3
  • 3
  • 6
  • 7
  • 3
  • 4
  • 6
  • 4
  • 4
  • 7
  • 8
  • 4
  • 3
  • 7
  • 9
  • 3
  • 3
  • 4
  • 3
  • 8
  • 6
  • 3
  • 4
  • 9
  • 3
  • 3
  • 3
  • 4
  • 6
  • 5
  • 4
  • 18
  • 4
  • 11
  • 5
  • 4
  • 3
  • 5
  • 5
  • 5
  • 4
  • 4
  • 4
  • 7
  • 4
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 7
  • 6
  • 12
  • 5
  • 10
  • 3
  • 8
  • 5
  • 4
  • 5
  • 6
  • 5
  • 4
  • 10
  • 3
  • 3
  • 3
  • 4
  • 8
  • 4
  • 5
  • 52
  • 3
  • 4
  • 14
  • 4
  • 7
  • 3
  • 5
  • 8
  • 3
  • 9
  • 3
  • 3
  • 4
  • 3
  • 7
  • 7
  • 12
  • 6
  • 13
  • 4
  • 6
  • 3
  • 3
  • 24
  • 5
  • 7
  • 4
  • 3
  • 7
  • 3
  • 12
  • 26
  • 4
  • 3
  • 4
  • 4
  • 7
  • 9
  • 5
  • 4
  • 15
  • 7
  • 3
  • 5
  • 3
  • 3
  • 5
  • 3
  • 11
  • 22
  • 5
  • 4
  • 4
  • 3
  • 3
  • 18
  • 10
  • 6
  • 7
  • 3
  • 7
  • 3
  • 7
  • 3
  • 4
  • 13
  • 4
  • 11
  • 8
  • 24
  • 3
  • 9
  • 3
  • 5
  • 4
  • 4
  • 5
  • 4
  • 7
  • 4
  • 11
  • 3
  • 4
  • 5
  • 8
  • 4
  • 5
  • 11
  • 6
  • 4
  • 7
  • 4
  • 5
  • 4
  • 4
  • 8
  • 4
  • 4
  • 3
  • 4
  • 17
  • 10
  • 4
  • 4
  • 3
  • 5
  • 5
  • 3
  • 5
  • 5
  • 3
  • 9
  • 3
  • 3
  • 4
  • 5
  • 9
  • 9
  • 4
  • 8
  • 5
  • 13
  • 3
  • 6
  • 4
  • 11
  • 7
  • 4
  • 3
  • 9
  • 15
  • 11
  • 4
  • 3
  • 4
  • 4
  • 5
  • 8
  • 7
  • 4
  • 6
  • 7
  • 3
  • 5
  • 5
  • 7
  • 8
  • 4
  • 4
  • 3
  • 5
  • 19
  • 6
  • 9
  • 5
  • 4
  • 4
  • 3
  • 3
  • 16
  • 4
  • 4
  • 4
  • 21
  • 3
  • 3
  • 3
  • 6
  • 5
  • 4
  • 5
  • 4
  • 3
  • 7
  • 6
  • 10
  • 9
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 6
  • 8
  • 7
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 15
  • 6
  • 4
  • 3
  • 21
  • 30
  • 10
  • 7
  • 7
  • 3
  • 23
  • 6
  • 9
  • 17
  • 3
  • 4
  • 4
  • 3
  • 7
  • 8
  • 6
  • 29
  • 5
  • 4
  • 5
  • 3
  • 4
  • 4
  • 4
  • 4
  • 9
  • 19
  • 3
  • 3
  • 5
  • 3
  • 3
  • 6
  • 29
  • 3
  • 7
  • 4
  • 8
  • 10
  • 4
  • 5
  • 4
  • 8
  • 3
  • 3
  • 4
  • 3
  • 3
  • 6
  • 10
  • 5
  • 7
  • 3
  • 6
  • 3
  • 10
  • 3
  • 4
  • 6
  • 4
  • 14
  • 8
  • 8
  • 13
  • 4
  • 7
  • 9
  • 5
  • 7
  • 4
  • 5
  • 3
  • 5
  • 9
  • 3
  • 4
  • 4
  • 3
  • 5
  • 5
  • 13
  • 4
  • 14
  • 6
  • 8
  • 4
  • 8
  • 19
  • 3
  • 4
  • 4
  • 9
  • 17
  • 5
  • 6
  • 6
  • 3
  • 7
  • 4
  • 9
  • 7
  • 8
  • 3
  • 18
  • 3
  • 4
  • 7
  • 3
  • 11
  • 3
  • 5
  • 3
  • 4
  • 11
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 7
  • 9
  • 5
Verlag
  • 1
  • 8
  • 5
  • 1
  • 22
  • 28
  • 365
  • 5
  • 4
  • 10
  • 1
  • 6
  • 4
  • 25
  • 2
  • 1
  • 2
  • 1
  • 12
  • 5
  • 3
  • 1
  • 3
  • 42
  • 1
  • 1
  • 80
  • 5
  • 4
  • 472
  • 621
  • 15
  • 1
  • 5
  • 1
  • 16
  • 96
  • 1
  • 3
  • 6
  • 4
  • 5
  • 37
  • 27
  • 5
  • 1
  • 25
  • 1
  • 3
  • 13
  • 4
  • 1
  • 50
  • 3
  • 1
  • 1
  • 26
  • 1
  • 4
  • 1
  • 27
  • 1
  • 1
  • 1
  • 30
  • 2
  • 1
  • 2
  • 3
  • 25
  • 1
  • 9
  • 6
  • 3
  • 1
  • 2
  • 25
  • 1
  • 5
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 3
  • 1
  • 5
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 3
  • 22
  • 8
  • 5
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 2
  • 13
  • 2
  • 1529
  • 1468
  • 12
  • 1379
  • 5
  • 2
  • 1
  • 285
  • 313
  • 109
  • 1
  • 2
  • 357
  • 22
  • 2
  • 31
  • 1
  • 1
  • 1
  • 1
  • 241
  • 42
  • 377
  • 99
  • 6
  • 1
  • 1
  • 24
  • 1
  • 1
  • 2
  • 1
  • 6
  • 1
  • 86
  • 1
  • 2
  • 1
  • 1
  • 157
  • 3
  • 13
  • 1
  • 1
  • 22
  • 23
  • 1
  • 1
  • 2
  • 2
Preis
  • 178
  • 1429
  • 4424
  • 2957
Sprachen
  • 8149
  • 845
  • 3
Verfügbarkeit
  • 8749
  • 239
Eigenschaften
  • 7
Katalog
  • 8988
  • 1499
8.988  Titel
    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
    Martí-Oliet / Braga | Formal Methods: Foundations and Applications | Buch | Sack Fachmedien

    Martí-Oliet / Braga Formal Methods: Foundations and Applications

    17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-15074-1
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pelliccione / Fantechi | Software Engineering for Resilient Systems | Buch | Sack Fachmedien

    Pelliccione / Fantechi Software Engineering for Resilient Systems

    7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-23128-0
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Virvou / Oikonomou / Kumeno | Knowledge-Based Software Engineering: 2018 | Buch | Sack Fachmedien

    Virvou / Oikonomou / Kumeno Knowledge-Based Software Engineering: 2018

    Proceedings of the 12th Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2018) Corfu, Greece
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-319-97678-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Larrucea / Messnarz / Santamaria | Systems, Software and Services Process Improvement | Buch | Sack Fachmedien

    Larrucea / Messnarz / Santamaria Systems, Software and Services Process Improvement

    25th European Conference, EuroSPI 2018, Bilbao, Spain, September 5-7, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-97924-3
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lohstroh / Sirjani / Derler | Principles of Modeling | Buch | Sack Fachmedien

    Lohstroh / Sirjani / Derler Principles of Modeling

    Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-95245-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zuck / Mukhopadhyay / Attie | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Zuck / Mukhopadhyay / Attie Verification, Model Checking, and Abstract Interpretation

    4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00348-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Manolopoulos / Kakas / Evripidou | Advances in Informatics | Buch | Sack Fachmedien

    Manolopoulos / Kakas / Evripidou Advances in Informatics

    8th Panhellenic Conference on Informatics, PCI 2001. Nicosia, Cyprus, November 8-10, 2001, Revised Selected Papers
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-07544-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Trinder / Cano | Euro-Par 2022: Parallel Processing | Buch | Sack Fachmedien

    Trinder / Cano Euro-Par 2022: Parallel Processing

    28th International Conference on Parallel and Distributed Computing, Glasgow, UK, August 22¿26, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-031-12596-6
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Marrone / De Sanctis / Kocsis | Dependable Computing ¿ EDCC 2022 Workshops | Buch | Sack Fachmedien

    Marrone / De Sanctis / Kocsis Dependable Computing ¿ EDCC 2022 Workshops

    SERENE, DREAMS, AI4RAILS, Zaragoza, Spain, September 12, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-031-16244-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Combemale / Vinju / Pearce | Software Language Engineering | Buch | Sack Fachmedien

    Combemale / Vinju / Pearce Software Language Engineering

    7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-11244-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yoong / Kuo / Roop | Model-Driven Design Using IEC 61499 | Buch | Sack Fachmedien

    Yoong / Kuo / Roop Model-Driven Design Using IEC 61499

    A Synchronous Approach for Embedded and Automation Systems
    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-10520-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pang / Merz | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Pang / Merz Formal Methods and Software Engineering

    16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-11736-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Idani / Canal | Software Engineering and Formal Methods | Buch | Sack Fachmedien

    Idani / Canal Software Engineering and Formal Methods

    SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers
    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-15200-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    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
    Piessens / Bielova / Caballero | Engineering Secure Software and Systems | Buch | Sack Fachmedien

    Piessens / Bielova / Caballero Engineering Secure Software and Systems

    7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015, Proceedings
    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-15617-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gebali | Analysis of Computer Networks | Buch | Sack Fachmedien

    Gebali Analysis of Computer Networks

    2. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-15656-9
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cockton / Cajander / Lárusdóttir | Integrating User-Centred Design in Agile Development | Buch | Sack Fachmedien

    Cockton / Cajander / Lárusdóttir Integrating User-Centred Design in Agile Development

    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-32163-9
    Medium: Buch
    128,39 € (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
    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
    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
    Wyrzykowski / Karczewski / Dongarra | Parallel Processing and Applied Mathematics | Buch | Sack Fachmedien

    Wyrzykowski / Karczewski / Dongarra Parallel Processing and Applied Mathematics

    12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-78023-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wyrzykowski / Karczewski / Dongarra | Parallel Processing and Applied Mathematics | Buch | Sack Fachmedien

    Wyrzykowski / Karczewski / Dongarra Parallel Processing and Applied Mathematics

    12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-78053-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rehman / Henkel / Shafique | Reliable Software for Unreliable Hardware | Buch | Sack Fachmedien

    Rehman / Henkel / Shafique Reliable Software for Unreliable Hardware

    A Cross Layer Perspective
    Softcover Nachdruck of the original 1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-79838-7
    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