Ergebnisse filtern
Fachgebiet
Medium
  • 5188
  • 724
  • 10
  • 6
Erscheinungsjahr
  • 1
  • 37
  • 274
  • 515
  • 542
  • 242
  • 195
  • 172
  • 179
  • 150
  • 199
  • 156
  • 212
  • 138
  • 237
  • 233
  • 256
  • 112
  • 326
  • 123
  • 149
  • 153
  • 127
  • 159
  • 140
  • 146
  • 107
  • 111
  • 70
  • 65
  • 55
  • 43
  • 56
  • 46
  • 33
  • 48
  • 23
  • 29
  • 19
  • 8
  • 8
  • 7
  • 3
  • 5
  • 4
  • 3
  • 1
  • 2
Autoren
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 3
  • 2
  • 7
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 3
  • 2
  • 8
  • 3
  • 2
  • 4
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 4
  • 9
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 3
  • 3
  • 6
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 10
  • 2
  • 3
  • 9
  • 2
  • 4
  • 4
  • 4
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 4
  • 2
  • 4
  • 4
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 3
  • 10
  • 2
  • 2
  • 15
  • 4
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 11
  • 2
  • 2
  • 2
  • 2
  • 5
  • 9
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 5
  • 3
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 10
  • 3
  • 4
  • 2
  • 2
  • 9
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 10
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 15
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 5
  • 6
  • 3
  • 6
  • 2
  • 20
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 5
  • 5
  • 2
  • 2
  • 2
  • 6
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 15
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 9
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 4
  • 5
  • 3
  • 3
  • 3
  • 6
  • 3
  • 6
  • 6
  • 3
  • 5
  • 3
  • 3
  • 3
  • 5
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 8
  • 4
  • 3
  • 4
  • 8
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 7
  • 4
  • 7
  • 3
  • 7
  • 5
  • 3
  • 6
  • 5
  • 3
  • 3
  • 5
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 5
  • 6
  • 3
  • 3
  • 3
  • 11
  • 7
  • 3
  • 4
  • 3
  • 4
  • 4
  • 3
  • 4
  • 4
  • 10
  • 3
  • 3
  • 7
  • 3
  • 3
  • 10
  • 4
  • 3
  • 4
  • 9
  • 15
  • 5
  • 3
  • 6
  • 3
  • 4
  • 7
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 8
  • 4
  • 6
  • 18
  • 7
  • 5
  • 4
  • 3
  • 5
  • 5
  • 3
  • 4
  • 5
  • 4
  • 5
  • 9
  • 6
  • 3
  • 3
  • 6
  • 3
  • 5
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 15
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 6
  • 4
  • 4
  • 3
  • 4
  • 9
  • 3
  • 3
  • 6
  • 3
  • 6
  • 8
  • 3
  • 5
  • 6
  • 4
  • 3
  • 3
  • 4
  • 4
  • 4
  • 12
  • 3
  • 4
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 8
  • 7
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 8
  • 9
  • 4
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 5
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 4
  • 4
  • 5
  • 3
  • 5
  • 4
  • 4
  • 3
  • 3
  • 4
  • 5
  • 4
  • 3
  • 3
  • 5
  • 4
  • 9
  • 3
  • 10
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 6
  • 3
  • 4
  • 4
  • 3
  • 3
  • 5
  • 6
  • 3
  • 5
  • 5
  • 4
  • 3
  • 4
  • 3
  • 3
  • 4
  • 13
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 6
  • 3
  • 3
  • 12
  • 3
  • 3
  • 3
  • 3
  • 5
  • 5
  • 4
  • 3
  • 5
  • 4
  • 4
  • 3
  • 3
  • 7
  • 6
  • 5
  • 5
  • 4
  • 8
  • 9
  • 7
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 3
  • 8
  • 4
  • 3
  • 10
  • 11
  • 8
  • 3
  • 5
  • 7
  • 6
  • 4
  • 6
  • 3
  • 3
  • 4
  • 3
  • 5
  • 4
  • 3
  • 30
  • 4
  • 3
  • 16
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 6
  • 6
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 8
  • 4
  • 3
  • 4
  • 3
  • 7
  • 3
  • 12
  • 3
  • 12
  • 4
  • 3
  • 8
  • 6
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 4
  • 6
  • 8
  • 3
  • 8
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 5
  • 3
  • 13
  • 19
  • 4
  • 4
  • 3
  • 3
  • 5
  • 4
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 7
  • 8
  • 4
  • 6
  • 3
  • 5
  • 3
  • 3
  • 3
  • 10
  • 17
  • 4
  • 5
  • 9
  • 4
  • 7
  • 3
  • 3
  • 21
  • 6
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 4
  • 3
  • 4
  • 10
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 4
  • 3
  • 3
  • 4
  • 3
  • 9
  • 5
  • 4
  • 5
  • 4
  • 11
  • 9
  • 3
  • 3
  • 4
  • 8
  • 4
  • 6
  • 3
  • 3
  • 4
  • 6
  • 5
  • 10
  • 7
  • 7
  • 8
  • 3
  • 11
  • 10
  • 4
  • 7
  • 5
  • 5
  • 3
  • 7
  • 8
  • 3
  • 3
  • 4
  • 7
  • 4
  • 5
  • 7
  • 10
  • 6
  • 6
  • 3
  • 5
  • 3
  • 3
  • 15
  • 9
  • 4
  • 4
  • 10
  • 4
  • 7
  • 4
  • 3
  • 3
  • 6
  • 6
  • 6
  • 20
  • 9
  • 4
  • 6
  • 5
  • 4
  • 15
  • 3
  • 3
  • 5
  • 3
  • 4
  • 4
  • 4
  • 4
  • 3
  • 5
  • 8
  • 8
  • 3
  • 4
  • 3
  • 13
  • 3
  • 4
  • 20
  • 26
  • 3
  • 6
  • 10
  • 7
  • 9
  • 9
  • 4
  • 3
  • 5
  • 6
  • 3
  • 22
  • 3
  • 5
  • 3
  • 5
  • 4
  • 3
  • 3
  • 10
  • 4
  • 3
  • 3
  • 3
  • 5
  • 9
  • 4
  • 4
  • 6
  • 5
  • 4
  • 10
  • 3
  • 3
  • 3
  • 4
  • 7
  • 3
  • 5
  • 4
  • 3
  • 7
  • 3
  • 8
  • 8
  • 3
  • 5
  • 12
  • 9
  • 4
  • 7
  • 5
  • 8
  • 12
  • 4
  • 4
  • 7
  • 16
  • 5
  • 7
  • 3
  • 7
  • 3
  • 17
  • 12
  • 11
  • 3
  • 4
  • 6
  • 16
  • 10
  • 10
  • 7
  • 8
Verlag
  • 2
  • 3
  • 3
  • 3
  • 1
  • 1
  • 24
  • 2
  • 249
  • 41
  • 8
  • 1
  • 6
  • 3
  • 145
  • 12
  • 1
  • 2
  • 39
  • 21
  • 107
  • 1
  • 278
  • 522
  • 6
  • 15
  • 29
  • 2
  • 1
  • 1
  • 37
  • 2
  • 1
  • 31
  • 18
  • 17
  • 1
  • 2
  • 4
  • 1
  • 9
  • 2
  • 1
  • 2
  • 4
  • 1
  • 1
  • 2
  • 1
  • 17
  • 1
  • 1
  • 74
  • 29
  • 1
  • 1
  • 4
  • 4
  • 4
  • 1
  • 8
  • 1
  • 6
  • 2
  • 1
  • 3
  • 2
  • 2
  • 1
  • 2
  • 1
  • 9
  • 2
  • 17
  • 1
  • 1
  • 4
  • 1
  • 2
  • 1
  • 9
  • 1
  • 2
  • 14
  • 12
  • 1
  • 16
  • 1
  • 1
  • 3346
  • 17
  • 7
  • 1
  • 24
  • 3
  • 1
  • 15
  • 21
  • 77
  • 61
  • 2
  • 1
  • 5
  • 173
  • 18
  • 70
  • 31
  • 1
  • 23
  • 23
  • 1
  • 54
  • 3
  • 4
  • 1
  • 6
  • 7
  • 1
  • 1
  • 2
  • 1
Preis
  • 130
  • 814
  • 2824
  • 2160
Sprachen
  • 5724
  • 204
Verfügbarkeit
  • 5771
  • 157
Eigenschaften
  • 2
Katalog
  • 5928
  • 838
5.928  Treffer  für „Design“
    Biffl / Navarro / Löwe | Software Architecture | Buch | Sack Fachmedien

    Biffl / Navarro / Löwe Software Architecture

    15th European Conference, ECSA 2021, Virtual Event, Sweden, September 13-17, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-86043-1
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bertran / Rus | Transformation-Based Reactive Systems Development | Buch | Sack Fachmedien

    Bertran / Rus Transformation-Based Reactive Systems Development

    4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63010-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mayr / Kop / Liddle | Information Systems: Methods, Models, and Applications | Buch | Sack Fachmedien

    Mayr / Kop / Liddle Information Systems: Methods, Models, and Applications

    4th International United Information Systems Conference, UNISCON 2012, Yalta, Ukraine, June 1-3, 2012, Revised Selected Papers
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38369-4
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    UcedaVelez / Morana | Risk Centric Threat Modeling | Buch | Sack Fachmedien

    UcedaVelez / Morana Risk Centric Threat Modeling

    1. Auflage 2015
    Verlag: John Wiley & Sons
    ISBN: 978-0-470-50096-5
    Medium: Buch
    112,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Hutter / Ullmann | Security in Pervasive Computing | Buch | Sack Fachmedien

    Hutter / Ullmann Security in Pervasive Computing

    Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25521-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Christodoulakis | Ada: The Choice for '92 | Buch | Sack Fachmedien

    Christodoulakis Ada: The Choice for '92

    Ada-Europe International Conference Athens, Greece, May 13-17, 1991
    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54092-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tatnall | History of Computing: Learning from the Past | Buch | Sack Fachmedien

    Tatnall History of Computing: Learning from the Past

    IFIP WG 9.7 International Conference, HC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010, Proceedings
    2010
    Verlag: Springer
    ISBN: 978-3-642-42314-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Weyenberg / Burns | Cloud Solution Architect's Career Master Plan | eBook | Sack Fachmedien
    E-Book

    Weyenberg / Burns Cloud Solution Architect's Career Master Plan

    Proven techniques and effective tips to help you become a successful solution architect
    1. Auflage 2024
    Verlag: De Gruyter
    ISBN: 978-1-80512-039-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    28,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Chakraborty | Digital Health Transformation with Blockchain and Artificial Intelligence | Buch | Sack Fachmedien

    Chakraborty Digital Health Transformation with Blockchain and Artificial Intelligence

    1. Auflage 2024
    Verlag: CRC Press
    ISBN: 978-1-032-16119-8
    Medium: Buch
    77,10 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stencel / Berton | Kubernetes Recipes | Buch | Sack Fachmedien

    Stencel / Berton Kubernetes Recipes

    A Practical Guide for Container Orchestration and Deployment
    1. Auflage 2025
    Verlag: Apress
    ISBN: 979-8-8688-1324-5
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fitzgerald / Gomes / Larsen | The Engineering of Digital Twins | Buch | Sack Fachmedien

    Fitzgerald / Gomes / Larsen The Engineering of Digital Twins

    2024
    Verlag: Springer
    ISBN: 978-3-031-66718-3
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tankariya / Parmar | AWS Certified Developer - Associate Guide | eBook | Sack Fachmedien
    E-Book

    Tankariya / Parmar AWS Certified Developer - Associate Guide

    Your one-stop solution to passing the AWS developer's 2019 (DVA-C01) certification
    2. Auflage 2024
    Verlag: De Gruyter
    ISBN: 978-1-78961-371-1
    Medium: eBook
    Format: EPUB
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    38,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Scandurra / Galster / Mirandola | Software Architecture | Buch | Sack Fachmedien

    Scandurra / Galster / Mirandola Software Architecture

    15th European Conference, ECSA 2021 Tracks and Workshops; Växjö, Sweden, September 13-17, 2021, Revised Selected Papers
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-15115-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gervasi / Vogelsang | Requirements Engineering: Foundation for Software Quality | Buch | Sack Fachmedien

    Gervasi / Vogelsang Requirements Engineering: Foundation for Software Quality

    28th International Working Conference, REFSQ 2022, Birmingham, UK, March 21-24, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-030-98463-2
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bert / Bowen / Henson | ZB 2002: Formal Specification and Development in Z and B | Buch | Sack Fachmedien

    Bert / Bowen / Henson ZB 2002: Formal Specification and Development in Z and B

    2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43166-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hutter / Müller / Stephan | Security in Pervasive Computing | Buch | Sack Fachmedien

    Hutter / Müller / Stephan Security in Pervasive Computing

    First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-20887-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ramos / Unger / Larios | Advanced Distributed Systems | Buch | Sack Fachmedien

    Ramos / Unger / Larios Advanced Distributed Systems

    Third International School and Symposium, ISSADS 2004, Guadalajara, Mexico, January 24-30, 2004, Revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22172-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cappiello / Ruiz | Information Systems Engineering in Responsible Information Systems | Buch | Sack Fachmedien

    Cappiello / Ruiz Information Systems Engineering in Responsible Information Systems

    CAiSE Forum 2019, Rome, Italy, June 3-7, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-21296-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Langendoen / Voigt | Wireless Sensor Networks | Buch | Sack Fachmedien

    Langendoen / Voigt Wireless Sensor Networks

    4th European Conference, EWSN 2007, Delft, The Netherlands, January 29-31, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-69829-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yorav | Hardware and Software: Verification and Testing | Buch | Sack Fachmedien

    Yorav Hardware and Software: Verification and Testing

    Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-77964-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cortellessa / Varró | Fundamental Approaches to Software Engineering | Buch | Sack Fachmedien

    Cortellessa / Varró Fundamental Approaches to Software Engineering

    16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-37056-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bowen / Fett / Hinchey | ZUM '98: The Z Formal Specification Notation | Buch | Sack Fachmedien

    Bowen / Fett / Hinchey ZUM '98: The Z Formal Specification Notation

    11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings
    1. Auflage 1998
    Verlag: Springer
    ISBN: 978-3-540-65070-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Romijn / Smith / van de Pol | Integrated Formal Methods | Buch | Sack Fachmedien

    Romijn / Smith / van de Pol Integrated Formal Methods

    5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-30492-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Johnsen / Petre | Integrated Formal Methods | Buch | Sack Fachmedien

    Johnsen / Petre Integrated Formal Methods

    10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38612-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bandi / Hossain | Computers and Their Applications | Buch | Sack Fachmedien

    Bandi / Hossain Computers and Their Applications

    40th International Conference, CATA 2025, San Francisco, CA, USA, March 17-18, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-92177-3
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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