Fachgebiet
Medium
  • 4928
  • 416
  • 11
  • 6
Erscheinungsjahr
  • 1
  • 31
  • 292
  • 323
  • 262
  • 221
  • 204
  • 195
  • 168
  • 232
  • 154
  • 220
  • 139
  • 237
  • 224
  • 252
  • 110
  • 328
  • 118
  • 153
  • 156
  • 125
  • 164
  • 140
  • 148
  • 108
  • 111
  • 76
  • 65
  • 56
  • 43
  • 57
  • 48
  • 33
  • 47
  • 22
  • 30
  • 19
  • 8
  • 8
  • 7
  • 3
  • 5
  • 4
  • 3
  • 1
  • 2
Autoren
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 8
  • 2
  • 3
  • 2
  • 4
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 6
  • 2
  • 9
  • 2
  • 4
  • 4
  • 4
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 3
  • 4
  • 4
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 3
  • 9
  • 2
  • 2
  • 15
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 10
  • 2
  • 2
  • 2
  • 2
  • 4
  • 10
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 10
  • 3
  • 4
  • 2
  • 9
  • 3
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 14
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 5
  • 6
  • 3
  • 5
  • 2
  • 22
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 13
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 9
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 4
  • 3
  • 6
  • 6
  • 3
  • 5
  • 3
  • 3
  • 3
  • 5
  • 4
  • 3
  • 4
  • 3
  • 3
  • 8
  • 6
  • 3
  • 3
  • 4
  • 8
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 7
  • 3
  • 3
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 5
  • 5
  • 3
  • 3
  • 3
  • 11
  • 7
  • 3
  • 4
  • 4
  • 4
  • 4
  • 4
  • 10
  • 3
  • 9
  • 3
  • 3
  • 10
  • 3
  • 3
  • 4
  • 9
  • 18
  • 5
  • 3
  • 6
  • 3
  • 4
  • 7
  • 3
  • 6
  • 3
  • 3
  • 3
  • 6
  • 3
  • 5
  • 17
  • 5
  • 5
  • 3
  • 3
  • 5
  • 5
  • 3
  • 4
  • 4
  • 4
  • 3
  • 5
  • 9
  • 6
  • 3
  • 3
  • 6
  • 3
  • 4
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 14
  • 4
  • 4
  • 3
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 4
  • 6
  • 4
  • 4
  • 3
  • 4
  • 9
  • 3
  • 6
  • 3
  • 6
  • 3
  • 3
  • 5
  • 5
  • 4
  • 3
  • 3
  • 5
  • 4
  • 4
  • 3
  • 11
  • 3
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 8
  • 7
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 8
  • 9
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 3
  • 5
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 5
  • 4
  • 9
  • 10
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 6
  • 3
  • 4
  • 4
  • 3
  • 3
  • 5
  • 6
  • 4
  • 5
  • 3
  • 4
  • 3
  • 3
  • 4
  • 13
  • 4
  • 3
  • 4
  • 3
  • 4
  • 6
  • 3
  • 3
  • 12
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 3
  • 3
  • 5
  • 3
  • 3
  • 6
  • 5
  • 5
  • 4
  • 3
  • 3
  • 3
  • 8
  • 9
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 3
  • 3
  • 7
  • 3
  • 4
  • 3
  • 10
  • 10
  • 8
  • 3
  • 5
  • 5
  • 5
  • 3
  • 5
  • 3
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 27
  • 4
  • 3
  • 16
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 6
  • 6
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 6
  • 6
  • 4
  • 3
  • 4
  • 3
  • 6
  • 3
  • 12
  • 12
  • 3
  • 3
  • 8
  • 4
  • 3
  • 5
  • 4
  • 3
  • 3
  • 4
  • 3
  • 8
  • 3
  • 8
  • 3
  • 3
  • 3
  • 3
  • 5
  • 5
  • 3
  • 13
  • 19
  • 4
  • 4
  • 3
  • 5
  • 4
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 8
  • 8
  • 6
  • 3
  • 3
  • 3
  • 10
  • 17
  • 4
  • 5
  • 8
  • 4
  • 7
  • 4
  • 3
  • 3
  • 21
  • 6
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 5
  • 5
  • 11
  • 6
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 6
  • 4
  • 3
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 10
  • 5
  • 4
  • 4
  • 6
  • 3
  • 3
  • 4
  • 11
  • 9
  • 4
  • 4
  • 3
  • 9
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 7
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 6
  • 5
  • 5
  • 8
  • 8
  • 6
  • 8
  • 3
  • 4
  • 3
  • 3
  • 13
  • 5
  • 4
  • 7
  • 5
  • 5
  • 4
  • 6
  • 8
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 7
  • 3
  • 6
  • 8
  • 8
  • 3
  • 6
  • 3
  • 5
  • 3
  • 3
  • 16
  • 8
  • 4
  • 5
  • 4
  • 7
  • 4
  • 3
  • 3
  • 6
  • 4
  • 4
  • 20
  • 5
  • 9
  • 4
  • 8
  • 5
  • 14
  • 3
  • 3
  • 5
  • 3
  • 4
  • 4
  • 3
  • 4
  • 5
  • 5
  • 3
  • 8
  • 3
  • 4
  • 3
  • 13
  • 3
  • 15
  • 21
  • 3
  • 6
  • 7
  • 6
  • 9
  • 13
  • 4
  • 3
  • 5
  • 7
  • 3
  • 22
  • 3
  • 4
  • 5
  • 3
  • 5
  • 4
  • 3
  • 3
  • 10
  • 4
  • 3
  • 3
  • 9
  • 4
  • 6
  • 5
  • 4
  • 10
  • 3
  • 5
  • 3
  • 5
  • 4
  • 3
  • 7
  • 3
  • 7
  • 7
  • 3
  • 4
  • 12
  • 9
  • 4
  • 6
  • 5
  • 4
  • 8
  • 12
  • 4
  • 6
  • 7
  • 16
  • 5
  • 7
  • 3
  • 7
  • 5
  • 17
  • 12
  • 3
  • 11
  • 3
  • 6
  • 16
  • 4
  • 10
  • 7
  • 9
Verlag
  • 2
  • 2
  • 6
  • 3
  • 1
  • 1
  • 24
  • 2
  • 226
  • 1
  • 4
  • 8
  • 1
  • 1
  • 5
  • 4
  • 144
  • 6
  • 1
  • 2
  • 19
  • 21
  • 105
  • 3
  • 254
  • 222
  • 7
  • 1
  • 3
  • 15
  • 27
  • 2
  • 2
  • 2
  • 31
  • 22
  • 2
  • 17
  • 1
  • 2
  • 11
  • 1
  • 9
  • 2
  • 2
  • 4
  • 1
  • 2
  • 1
  • 15
  • 1
  • 1
  • 1
  • 6
  • 3
  • 1
  • 1
  • 7
  • 3
  • 6
  • 1
  • 5
  • 4
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 9
  • 2
  • 4
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 9
  • 1
  • 2
  • 15
  • 11
  • 16
  • 1
  • 2
  • 2976
  • 85
  • 141
  • 2
  • 21
  • 27
  • 38
  • 63
  • 115
  • 9
  • 4
  • 1
  • 180
  • 22
  • 74
  • 1
  • 23
  • 1
  • 23
  • 1
  • 128
  • 2
  • 5
  • 1
  • 6
  • 27
  • 1
  • 1
  • 2
  • 1
Preis
  • 56
  • 576
  • 2678
  • 2051
Sprachen
  • 5150
  • 211
Verfügbarkeit
  • 5305
  • 56
Eigenschaften
  • 1
Katalog
  • 5361
  • 790
5.361  Treffer  für „Design“


    Bonocore Hands-On Software Architecture with Java

    Learn key architectural techniques and strategies to design efficient and elegant Java applications
    1. Auflage 2022
    Verlag: De Gruyter
    ISBN: 978-1-80020-614-4
    Medium: eBook
    Format: EPUB
    Kopierschutz: 0 - No protection
    39,59 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Bahri / Williams Practical Model-Driven Enterprise Architecture

    Design a mature enterprise architecture repository using Sparx Systems Enterprise Architect and ArchiMate® 3.1
    1. Auflage 2022
    Verlag: De Gruyter
    ISBN: 978-1-80107-276-2
    Medium: eBook
    Format: EPUB
    Kopierschutz: 0 - No protection
    29,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Bartlett Cloud Native Applications with Docker and Kubernetes

    Design and Build Cloud Architecture and Applications with Microservices, EMQ, and Multi-Site Configurations
    1. Auflage 2022
    Verlag: Apress
    ISBN: 978-1-4842-8875-7
    Medium: Buch
    48,14 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Rybaric Microsoft Power Platform Enterprise Architecture

    Design tailor-made solutions for architects and decision makers to meet complex business requirements
    2. Auflage 2023
    Verlag: De Gruyter
    ISBN: 978-1-80461-834-9
    Medium: eBook
    Format: EPUB
    Kopierschutz: 0 - No protection
    28,79 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Lanza / Marinescu Object-Oriented Metrics in Practice

    Using Software Metrics to Characterize, Evaluate, and Improve the Design of Object-Oriented Systems
    Softcover Nachdruck of hardcover 1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-642-06374-9
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Dey Cross-Platform Development with Qt 6 and Modern C++

    Design and build applications with modern graphical user interfaces without worrying about platform dependency
    1. Auflage 2021
    Verlag: De Gruyter
    ISBN: 978-1-80020-885-8
    Medium: eBook
    Format: EPUB
    Kopierschutz: 0 - No protection
    35,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Lanza / Marinescu Object-Oriented Metrics in Practice

    Using Software Metrics to Characterize, Evaluate, and Improve the Design of Object-Oriented Systems
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-24429-5
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Sharma Modern API Development with Spring and Spring Boot

    Design highly scalable and maintainable APIs with REST, gRPC, GraphQL, and the reactive paradigm
    1. Auflage 2021
    Verlag: De Gruyter
    ISBN: 978-1-80056-287-5
    Medium: eBook
    Format: EPUB
    Kopierschutz: 0 - No protection
    34,79 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Dow Simplifying 3D Printing with OpenSCAD

    Design, build, and test OpenSCAD programs to bring your ideas to life using 3D printers
    1. Auflage 2022
    Verlag: De Gruyter
    ISBN: 978-1-80181-179-8
    Medium: eBook
    Format: EPUB
    Kopierschutz: 0 - No protection
    43,19 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Natarajan / Jacob Multi-Cloud Handbook for Developers

    Learn how to design and manage cloud-native applications in AWS, Azure, GCP, and more
    1. Auflage 2024
    Verlag: De Gruyter
    ISBN: 978-1-80461-709-0
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    29,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Kirk Deciphering Object-Oriented Programming with C++ [WARNING: NOT FOR USE IN OTHER MATERIAL/SEE CONTRACT]

    A practical, in-depth guide to implementing object-oriented design principles to create robust code
    1. Auflage 2022
    Verlag: De Gruyter
    ISBN: 978-1-80461-108-1
    Medium: eBook
    Format: EPUB
    Kopierschutz: 0 - No protection
    33,59 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Shrivastava / Srivastav Solutions Architect's Handbook

    Kick-start your career as a solutions architect by learning architecture design principles and strategies
    2. Auflage 2022
    Verlag: De Gruyter
    ISBN: 978-1-80181-906-0
    Medium: eBook
    Format: EPUB
    Kopierschutz: 0 - No protection
    64,79 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Malmqvist Architecting AI Solutions on Salesforce

    Design powerful and accurate AI-driven state-of-the-art solutions tailor-made for modern business demands
    1. Auflage 2021
    Verlag: De Gruyter
    ISBN: 978-1-80107-229-8
    Medium: eBook
    Format: EPUB
    Kopierschutz: 0 - No protection
    28,79 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Kühne / Drechsler Formal Modeling and Verification of Cyber-Physical Systems

    1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015
    2015
    Verlag: Springer
    ISBN: 978-3-658-09993-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Atem de Carvalho Designing Software Intensive Products

    Integrating Engineering and Intellectual Property Management to the Development of Innovative Products
    1. Auflage 2023
    Verlag: Springer International Publishing
    ISBN: 978-3-031-08892-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bernardo / Degano / Zavattaro Formal Methods for Computational Systems Biology

    8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-68892-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Aldini / Bernardo / Di Pierro Formal Methods for Quantitative Aspects of Programming Languages

    10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-13677-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bernardo / Padovani / Zavattaro Formal Methods for Web Services

    9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-01917-3
    Medium: Buch
    49,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bernardo / Cimatti Formal Methods for Hardware Verification

    6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34304-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bernardo / De Nicola / Hillston Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

    16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-34095-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bernardo / de Vink / Di Pierro Formal Methods for Dynamical Systems

    13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38873-6
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bernardo / Issarny Formal Methods for Eternal Networked Software Systems

    11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced Lectures
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-21454-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bernardo / Damiani / Haehnle Formal Methods for Executable Software Models

    14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-07316-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bernardo / Cortellessa / Pierantonio Formal Methods for Model-Driven Engineering

    12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-30981-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bernardo / Hillston Formal Methods for Performance Evaluation

    7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007, Advanced Lectures
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-72482-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