Ergebnisse filtern
Fachgebiet
Medium
  • 606
  • 26
  • 4
  • 1
Erscheinungsjahr
  • 1
  • 8
  • 9
  • 6
  • 9
  • 20
  • 12
  • 16
  • 34
  • 19
  • 72
  • 66
  • 95
  • 96
  • 65
  • 12
  • 24
  • 5
  • 7
  • 6
  • 5
  • 5
  • 5
  • 7
  • 4
  • 6
  • 3
  • 2
  • 6
  • 1
  • 1
  • 3
  • 1
  • 1
Autoren
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 4
  • 2
  • 1
  • 1
  • 2
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 4
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 9
  • 1
  • 2
  • 4
  • 3
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 7
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 7
  • 3
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 3
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 5
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 3
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 2
  • 2
  • 1
  • 5
  • 2
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 11
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 3
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 6
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 4
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 3
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 8
  • 1
  • 2
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 3
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 3
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 2
  • 4
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 4
  • 1
  • 2
  • 10
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 3
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
Verlag
  • 1
  • 18
  • 3
  • 5
  • 14
  • 5
  • 18
  • 3
  • 3
  • 11
  • 1
  • 3
  • 10
  • 5
  • 2
  • 2
  • 2
  • 6
  • 9
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 3
  • 2
  • 1
  • 384
  • 6
  • 43
  • 3
  • 4
  • 5
  • 4
  • 1
  • 4
  • 3
  • 1
  • 1
  • 13
  • 23
  • 1
  • 1
  • 1
  • 2
  • 2
Preis
  • 12
  • 104
  • 344
  • 177
Sprachen
  • 550
  • 90
Verfügbarkeit
  • 629
  • 8
Katalog
  • 637
  • 77
637  Titel
    Gleich / Komjáthy / Litvak | Algorithms and Models for the Web Graph | Buch | Sack Fachmedien

    Gleich / Komjáthy / Litvak Algorithms and Models for the Web Graph

    12th International Workshop, WAW 2015, Eindhoven, The Netherlands, December 10-11, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-26783-8
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Saleh | Formalizing Data-Centric Web Services | Buch | Sack Fachmedien

    Saleh Formalizing Data-Centric Web Services

    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-24676-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Louërat / Maehne | Languages, Design Methods, and Tools for Electronic System Design | Buch | Sack Fachmedien

    Louërat / Maehne Languages, Design Methods, and Tools for Electronic System Design

    Selected Contributions from FDL 2013
    Softcover Nachdruck of the original 1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-35913-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dutle / Muñoz / Narkawicz | NASA Formal Methods | Buch | Sack Fachmedien

    Dutle / Muñoz / Narkawicz NASA Formal Methods

    10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-77934-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhan / Wang / Zhao | Formal Verification of Simulink/Stateflow Diagrams | Buch | Sack Fachmedien

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

    A Deductive Approach
    Softcover Nachdruck of the original 1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-83638-6
    Medium: Buch
    123,04 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hinchey / Olderog / Bowen | Provably Correct Systems | Buch | Sack Fachmedien

    Hinchey / Olderog / Bowen Provably Correct Systems

    Softcover Nachdruck of the original 1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-83980-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Henno / Kiyoki / Tokuda | Information Modelling and Knowledge Bases Xxiii | Buch | Sack Fachmedien

    Henno / Kiyoki / Tokuda Information Modelling and Knowledge Bases Xxiii

    1. Auflage 2012
    Verlag: IOS Press
    ISBN: 978-1-60750-991-2
    Medium: Buch
    148,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Garland / Anthony | Large-Scale Software Architecture | Buch | Sack Fachmedien

    Garland / Anthony Large-Scale Software Architecture

    A Practical Guide Using UML
    1. Auflage 2002
    Verlag: Wiley
    ISBN: 978-0-470-84849-4
    Medium: Buch
    93,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Clarke / Henzinger / Veith | Handbook of Model Checking | Buch | Sack Fachmedien

    Clarke / Henzinger / Veith Handbook of Model Checking

    Softcover Nachdruck of the original 1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-13233-0
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jansen / Malavolta / Muccini | Software Architecture | Buch | Sack Fachmedien

    Jansen / Malavolta / Muccini Software Architecture

    14th European Conference, ECSA 2020, L'Aquila, Italy, September 14-18, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-58922-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bell | Incremental Software Architecture | Buch | Sack Fachmedien

    Bell Incremental Software Architecture

    A Method for Saving Failing It Implementations
    1. Auflage 2016
    Verlag: Wiley
    ISBN: 978-1-119-11764-3
    Medium: Buch
    47,00 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Mehler | Digital Integrated Circuit Design Using Verilog and SystemVerilog | eBook | Sack Fachmedien
    E-Book

    Mehler Digital Integrated Circuit Design Using Verilog and SystemVerilog

    1. Auflage 2014
    Verlag: William Andrew Publishing
    ISBN: 978-0-12-409529-8
    Medium: eBook
    Format: EPUB
     Kopierschutz: 6 - ePub Watermark
    71,95 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Puente León / Kiencke | Ereignisdiskrete Systeme | eBook | Sack Fachmedien
    E-Book

    Puente León / Kiencke Ereignisdiskrete Systeme

    Modellierung und Steuerung verteilter Systeme
    2. überarbeitete und erweiterte Aufl 2009
    Verlag: De Gruyter
    ISBN: 978-3-486-59342-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    34,95 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Toth | Vorgehensmuster für Softwarearchitektur | eBook | Sack Fachmedien
    E-Book

    Toth Vorgehensmuster für Softwarearchitektur

    Kombinierbare Praktiken in Zeiten von Agile und Lean
    1. Auflage 2014
    Verlag: Carl Hanser
    ISBN: 978-3-446-44315-0
    Medium: eBook
    Format: EPUB
     Kopierschutz: 6 - ePub Watermark
    27,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Starke | Effektive Softwarearchitekturen | Buch | Sack Fachmedien

    Starke Effektive Softwarearchitekturen

    Ein praktischer Leitfaden
    9. überarbeitete Auflage 2020
    Verlag: Carl Hanser
    ISBN: 978-3-446-46376-9
    Medium: Buch
    49,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Allerton / Belobaba / Cooper | Flight Simulation Software | Buch | Sack Fachmedien

    Allerton / Belobaba / Cooper Flight Simulation Software

    Design, Development and Testing
    1. Auflage 2022
    Verlag: Wiley
    ISBN: 978-1-119-73767-4
    Medium: Buch
    109,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Diaconescu / Wagner | Web Applications with Javascript or Java | Buch | Sack Fachmedien

    Diaconescu / Wagner Web Applications with Javascript or Java

    Volume 2: Associations and Class Hierarchies
    1. Auflage 2021
    Verlag: De Gruyter
    ISBN: 978-3-11-050024-0
    Medium: Buch
    64,95 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wecker | Prozessorentwurf mit Verilog HDL | Buch | Sack Fachmedien

    Wecker Prozessorentwurf mit Verilog HDL

    Modellierung und Synthese von Prozessormodellen
    1. Auflage 2021
    Verlag: De Gruyter
    ISBN: 978-3-11-071782-2
    Medium: Buch
    59,95 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ortmeier / Rauzy | Model-Based Safety and Assessment | Buch | Sack Fachmedien

    Ortmeier / Rauzy Model-Based Safety and Assessment

    4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-12213-7
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Indulska / Purao | Advances in Conceptual Modeling | Buch | Sack Fachmedien

    Indulska / Purao Advances in Conceptual Modeling

    ER 2014 Workshops, ENMO, MoBiD, MReBA, QMMQ, SeCoGIS, WISM, and ER Demos, Atlanta, GA, USA, October 27-29, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-12255-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Seidl / Scholz / Huemer | UML @ Classroom | Buch | Sack Fachmedien

    Seidl / Scholz / Huemer UML @ Classroom

    An Introduction to Object-Oriented Modeling
    2015
    Verlag: Springer
    ISBN: 978-3-319-12741-5
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dingel / Schulte / Ramos | Model-Driven Engineering Languages and Systems | Buch | Sack Fachmedien

    Dingel / Schulte / Ramos Model-Driven Engineering Languages and Systems

    17th International Conference, MODELS 2014, Valencia, Spain, September 283- October 4, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-11652-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bondavalli / Ceccarelli / Ortmeier | Computer Safety, Reliability, and Security | Buch | Sack Fachmedien

    Bondavalli / Ceccarelli / Ortmeier Computer Safety, Reliability, and Security

    SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-10556-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fiadeiro / Liu / Xue | Formal Aspects of Component Software | Buch | Sack Fachmedien

    Fiadeiro / Liu / Xue Formal Aspects of Component Software

    10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-07601-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

    Softcover Nachdruck of the original 2. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-33091-4
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cerny / Korchemny / Dudani | SVA: The Power of Assertions in SystemVerilog | Buch | Sack Fachmedien

    Cerny / Korchemny / Dudani SVA: The Power of Assertions in SystemVerilog

    Softcover Nachdruck of the original 2. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-33109-6
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Duan / Ong | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Duan / Ong Formal Methods and Software Engineering

    19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-68689-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Furia / Winter | Integrated Formal Methods | Buch | Sack Fachmedien

    Furia / Winter Integrated Formal Methods

    14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-98937-2
    Medium: Buch
    53,49 € (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
    Gaševic / Djuric / Devedžic | Model Driven Engineering and Ontology Development | Buch | Sack Fachmedien

    Gaševic / Djuric / Devedžic Model Driven Engineering and Ontology Development

    Softcover Nachdruck of hardcover 2. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-10134-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Doerr / Opdahl | Requirements Engineering: Foundation for Software Quality | Buch | Sack Fachmedien

    Doerr / Opdahl Requirements Engineering: Foundation for Software Quality

    19th International Working Conference, REFSQ 2013, Essen, Germany, April 8-11, 2013. Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-37421-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brat / Rungta / Venet | NASA Formal Methods | Buch | Sack Fachmedien

    Brat / Rungta / Venet NASA Formal Methods

    5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38087-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jensen / van der Aalst / Balbo | Transactions on Petri Nets and Other Models of Concurrency VII | Buch | Sack Fachmedien

    Jensen / van der Aalst / Balbo Transactions on Petri Nets and Other Models of Concurrency VII

    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38142-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Camarinha-Matos / Pereira / Ribeiro | Emerging Trends in Technological Innovation | Buch | Sack Fachmedien

    Camarinha-Matos / Pereira / Ribeiro 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
    Gerth | Business Process Models | Buch | Sack Fachmedien

    Gerth Business Process Models

    Change Management
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38603-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moreira / Rashid / Chitchyan | Aspect-Oriented Requirements Engineering | Buch | Sack Fachmedien

    Moreira / Rashid / Chitchyan Aspect-Oriented Requirements Engineering

    2013
    Verlag: Springer
    ISBN: 978-3-642-38639-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bernardo / de Vink / Di Pierro | Formal Methods for Dynamical Systems | Buch | Sack Fachmedien

    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
    Veanes / Vigano | Tests and Proofs | Buch | Sack Fachmedien

    Veanes / Vigano Tests and Proofs

    7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38915-3
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moreira / Rashid / Chitchyan | Aspect-Oriented Requirements Engineering | Buch | Sack Fachmedien

    Moreira / Rashid / Chitchyan Aspect-Oriented Requirements Engineering

    Softcover Nachdruck of the original 1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-662-52153-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cohen / Rybalchenko | Verified Software: Theorie, Tools, Experiments | Buch | Sack Fachmedien

    Cohen / Rybalchenko Verified Software: Theorie, Tools, Experiments

    5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-642-54107-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Groves / Sun | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Groves / Sun Formal Methods and Software Engineering

    15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-41201-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Henderson-Sellers / Ralyté / Ågerfalk | Situational Method Engineering | Buch | Sack Fachmedien

    Henderson-Sellers / Ralyté / Ågerfalk Situational Method Engineering

    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-642-41466-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grabis / Kirikova / Zdravkovic | The Practice of Enterprise Modeling | Buch | Sack Fachmedien

    Grabis / Kirikova / Zdravkovic The Practice of Enterprise Modeling

    6th IFIP WG 8.1 Working Conference, PoEM 2013, Riga, Latvia, November 6-7, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-41640-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Berstel-Da Silva | Verification of Business Rules Programs | Buch | Sack Fachmedien

    Berstel-Da Silva Verification of Business Rules Programs

    2014
    Verlag: Springer
    ISBN: 978-3-642-40037-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hierons / Merayo / Bravetti | Software Engineering and Formal Methods | Buch | Sack Fachmedien

    Hierons / Merayo / Bravetti Software Engineering and Formal Methods

    11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-40560-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Giachino / Hähnle / de Boer | Formal Methods for Components and Objects | Buch | Sack Fachmedien

    Giachino / Hähnle / de Boer Formal Methods for Components and Objects

    11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-40614-0
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brézillon / Blackburn / Dapoigny | Modeling and Using Context | Buch | Sack Fachmedien

    Brézillon / Blackburn / Dapoigny Modeling and Using Context

    8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 - 31, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-40971-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tan / Yeo / Turner | AsiaSim 2013 | Buch | Sack Fachmedien

    Tan / Yeo / Turner AsiaSim 2013

    13th International Conference on Systems Simulation, Singapore, November 6-8, 2013. Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-45036-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bensalem / Lakhnech / Legay | From Programs to Systems - The Systems Perspective in Computing | Buch | Sack Fachmedien

    Bensalem / Lakhnech / Legay From Programs to Systems - The Systems Perspective in Computing

    ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-642-54847-5
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Xiao / Zhang / Ma | System Simulation and Scientific Computing, Part II | Buch | Sack Fachmedien

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

    International Conference, ICSC 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part II
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-34395-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pohl / Hönninger / Achatz | Model-Based Engineering of Embedded Systems | Buch | Sack Fachmedien

    Pohl / Hönninger / Achatz Model-Based Engineering of Embedded Systems

    The SPES 2020 Methodology
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-34613-2
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kim / Ramos / Abawajy | Computer Applications for Modeling, Simulation, and Automobile | Buch | Sack Fachmedien

    Kim / Ramos / Abawajy 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
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-35247-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Arbab / Ölveczky | Formal Aspects of Component Software | Buch | Sack Fachmedien

    Arbab / Ölveczky Formal Aspects of Component Software

    8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-35742-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ehrig / Engels / Kreowski | Graph Transformation | Buch | Sack Fachmedien

    Ehrig / Engels / Kreowski Graph Transformation

    6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-33653-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Castano / Vassiliadis / Lakshmanan | Advances in Conceptual Modeling | Buch | Sack Fachmedien

    Castano / Vassiliadis / Lakshmanan Advances in Conceptual Modeling

    ER 2012 Workshops CMS, ECDM-NoCoDA, MODIC, MORE-BI, RIGIM, SeCoGIS, WISM, Florence, Italy, October 15-18, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-33998-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Romanovsky / Thomas | Industrial Deployment of System Engineering Methods | Buch | Sack Fachmedien

    Romanovsky / Thomas Industrial Deployment of System Engineering Methods

    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-33169-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mukund / Chakraborty | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    Mukund / Chakraborty Automated Technology for Verification and Analysis

    10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-33385-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ries | BOINC | Buch | Sack Fachmedien

    Ries BOINC

    Hochleistungsrechnen mit Berkeley Open Infrastructure for Network Computing
    2012
    Verlag: Springer
    ISBN: 978-3-642-23382-1
    Medium: Buch
    66,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Formale Semantik eines erweiterten Entity-Relationship-Modells | Buch | Sack Fachmedien

    Formale Semantik eines erweiterten Entity-Relationship-Modells

    1993
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-8154-2052-2
    Medium: Buch
    49,99 € (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
    Herden | Model-Driven-Configuration-Management | Buch | Sack Fachmedien

    Herden Model-Driven-Configuration-Management

    Ein modellgetriebener Ansatz für das Konfigurationsmanagement von IT-Systemlandschaften
    2013
    Verlag: Springer
    ISBN: 978-3-658-01106-2
    Medium: Buch
    66,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fehling / Leymann / Arbitter | Cloud Computing Patterns | Buch | Sack Fachmedien

    Fehling / Leymann / Arbitter Cloud Computing Patterns

    Fundamentals to Design, Build, and Manage Cloud Applications
    Softcover Nachdruck of the original 1. Auflage 2014
    Verlag: Springer Vienna
    ISBN: 978-3-7091-1953-2
    Medium: Buch
    246,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Malathi / Krishnan | Recent Advancements in System Modelling Applications | Buch | Sack Fachmedien

    Malathi / Krishnan Recent Advancements in System Modelling Applications

    Proceedings of National Systems Conference 2012
    2013
    Verlag: Springer
    ISBN: 978-81-322-1720-6
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Atilgan / Straub | Entwurfsmuster in ABAP | Buch | Sack Fachmedien

    Atilgan / Straub Entwurfsmuster in ABAP

    2. Auflage 2015
    Verlag: Rheinwerk Verlag
    ISBN: 978-3-8362-3810-6
    Medium: Buch
    69,90 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kecher / Hoffmann-Elbern / Will | UML 2.5 | Buch | Sack Fachmedien

    Kecher / Hoffmann-Elbern / Will UML 2.5

    Das umfassende Handbuch (Ausgabe 2021) - inkl. DIN A2-Poster mit allen Diagrammtypen
    7. aktualisierte Auflage 2021
    Verlag: Rheinwerk Verlag GmbH
    ISBN: 978-3-8362-8447-9
    Medium: Buch
    34,90 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Czuchra | UML in logistischen Prozessen | Buch | Sack Fachmedien

    Czuchra UML in logistischen Prozessen

    Graphische Sprache zur Modellierung der Systeme
    2010
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-8348-0796-0
    Medium: Buch
    17,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nakajima / Talpin / Toyoshima | Cyber-Physical System Design from an Architecture Analysis Viewpoint | Buch | Sack Fachmedien

    Nakajima / Talpin / Toyoshima Cyber-Physical System Design from an Architecture Analysis Viewpoint

    Communications of NII Shonan Meetings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-981-10-4435-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tian / Nagoya / Liu | Structured Object-Oriented Formal Language and Method | Buch | Sack Fachmedien

    Tian / Nagoya / Liu Structured Object-Oriented Formal Language and Method

    7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-90103-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Boniol / Wiels / Ait Ameur | ABZ 2014: The Landing Gear Case Study | Buch | Sack Fachmedien

    Boniol / Wiels / Ait Ameur 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
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-07511-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shan | Programming Languages and Systems | Buch | Sack Fachmedien

    Shan Programming Languages and Systems

    11th International Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-319-03541-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Helfert / Donnellan | Design Science: Perspectives from Europe | Buch | Sack Fachmedien

    Helfert / Donnellan Design Science: Perspectives from Europe

    European Design Science Symposium EDSS 2012, Leixlip, Ireland, December 6, 2012Revised Selected Papers
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-319-04089-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Di Ruscio / Varró | Theory and Practice of Model Transformations | Buch | Sack Fachmedien

    Di Ruscio / Varró Theory and Practice of Model Transformations

    7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-08788-7
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bencomo / France / Cheng | Models@run.time | Buch | Sack Fachmedien

    Bencomo / France / Cheng Models@run.time

    Foundations, Applications, and Roadmaps
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-08914-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Xu | Trace-Based Post-Silicon Validation for VLSI Circuits | Buch | Sack Fachmedien

    Liu / Xu Trace-Based Post-Silicon Validation for VLSI Circuits

    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-319-00532-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Duan | Structured Object-Oriented Formal Language and Method | Buch | Sack Fachmedien

    Liu / Duan 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
    ISBN: 978-3-319-31219-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhan / Wang / Zhao | Formal Verification of Simulink/Stateflow Diagrams | Buch | Sack Fachmedien

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

    A Deductive Approach
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-47014-6
    Medium: Buch
    123,04 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Oquendo / Leite / Batista | Software Architecture in Action | Buch | Sack Fachmedien

    Oquendo / Leite / Batista Software Architecture in Action

    Designing and Executing Architectural Models with SysADL Grounded on the OMG SysML Standard
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-44337-9
    Medium: Buch
    48,14 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Xu | Trace-Based Post-Silicon Validation for VLSI Circuits | Buch | Sack Fachmedien

    Liu / Xu Trace-Based Post-Silicon Validation for VLSI Circuits

    Softcover Nachdruck of the original 1. Auflage 2014
    Verlag: Springer
    ISBN: 978-3-319-37594-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nurcan / Soffer / Bajec | Advanced Information Systems Engineering | Buch | Sack Fachmedien

    Nurcan / Soffer / Bajec Advanced Information Systems Engineering

    28th International Conference, CAiSE 2016, Ljubljana, Slovenia, June 13-17, 2016. Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-39695-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moreno-Díaz / Pichler / Quesada-Arencibia | Computer Aided Systems Theory - EUROCAST 2015 | Buch | Sack Fachmedien

    Moreno-Díaz / Pichler / Quesada-Arencibia 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
    ISBN: 978-3-319-27339-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hammoudi / Pires / Filipe | Model-Driven Engineering and Software Development | Buch | Sack Fachmedien

    Hammoudi / Pires / Filipe 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
    ISBN: 978-3-319-25155-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Meyer / Platzer / Wehrheim | Correct System Design | Buch | Sack Fachmedien

    Meyer / Platzer / Wehrheim 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
    ISBN: 978-3-319-23505-9
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tian / Sebe / Qi | MultiMedia Modeling | Buch | Sack Fachmedien

    Tian / Sebe / Qi MultiMedia Modeling

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

    Hunt Scala Design Patterns

    Patterns for Practical Reuse and Design
    Softcover Nachdruck of the original 1. Auflage 2013
    Verlag: Springer International Publishing
    ISBN: 978-3-319-34972-5
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Artho / Ölveczky | Formal Techniques for Safety-Critical Systems | Buch | Sack Fachmedien

    Artho / Ölveczky 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
    ISBN: 978-3-319-29509-1
    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 | Buch | Sack Fachmedien

    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
    Bezivin / Muller | The Unified Modeling Language. <<UML>>'98: Beyond the Notation | Buch | Sack Fachmedien

    Bezivin / Muller The Unified Modeling Language. <<UML>>'98: Beyond the Notation

    First International Workshop, Mulhouse, France, June 3-4, 1998, Selected Papers
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66252-5
    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
    Braun / Greiffenberg / Esswein | Einführung in die Programmierung | Buch | Sack Fachmedien

    Braun / Greiffenberg / Esswein Einführung in die Programmierung

    Grundlagen, Java, UML
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-32855-1
    Medium: Buch
    34,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Koycheva | Entwurfsbegleitende Leistungsanalyse mit UML, MARTE und Generalisierten Netzen | Buch | Sack Fachmedien

    Koycheva Entwurfsbegleitende Leistungsanalyse mit UML, MARTE und Generalisierten Netzen

    1. Auflage 2013
    Verlag: De Gruyter
    ISBN: 978-3-486-71526-2
    Medium: Buch
    94,95 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bibel / Fiedler / Grass | Ausgezeichnete Informatikdissertationen 1996 | Buch | Sack Fachmedien

    Bibel / Fiedler / Grass Ausgezeichnete Informatikdissertationen 1996

    Im Auftrag der Gl herausgegeben durch den Nominierungsausschuß
    1998
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-519-02646-4
    Medium: Buch
    49,95 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baker / Dai / Williams | Model-Driven Testing | Buch | Sack Fachmedien

    Baker / Dai / Williams Model-Driven Testing

    Using the UML Testing Profile
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-72562-6
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Swiatek / Swiatek / Grzech | Advances in Systems Science | Buch | Sack Fachmedien

    Swiatek / Swiatek / Grzech Advances in Systems Science

    Proceedings of the International Conference on Systems Science 2013 (ICSS 2013)
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-319-01856-0
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Seffah | Patterns of HCI Design and HCI Design of Patterns | Buch | Sack Fachmedien

    Seffah Patterns of HCI Design and HCI Design of Patterns

    Bridging HCI Design and Model-Driven Software Engineering
    2015
    Verlag: Springer
    ISBN: 978-3-319-15686-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Roubtsova / McNeile / Kindler | Behavior Modeling -- Foundations and Applications | Buch | Sack Fachmedien

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

    International Workshops, BM-FA 2009-2014, Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-21911-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baixeries / Sacarea / Ojeda-Aciego | Formal Concept Analysis | Buch | Sack Fachmedien

    Baixeries / Sacarea / Ojeda-Aciego Formal Concept Analysis

    13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-319-19544-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Taentzer / Bordeleau | Modelling Foundations and Applications | Buch | Sack Fachmedien

    Taentzer / Bordeleau 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
    ISBN: 978-3-319-21150-3
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blanchette / Kosmatov | Tests and Proofs | Buch | Sack Fachmedien

    Blanchette / Kosmatov 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
    ISBN: 978-3-319-21214-2
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zimprich | Gamedesign und Spieleentwicklung für Dummies | Buch | Sack Fachmedien

    Zimprich Gamedesign und Spieleentwicklung für Dummies

    1. Auflage 2021
    Verlag: Wiley-VCH GmbH
    ISBN: 978-3-527-71774-3
    Medium: Buch
    20,00 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Chonoles | OCUP 2 Certification Guide | Buch | Sack Fachmedien

    Chonoles OCUP 2 Certification Guide

    Preparing for the OMG Certified UML 2.5 Professional 2 Foundation Exam
    Erscheinungsjahr 2017
    Verlag: Elsevier Science & Technology
    ISBN: 978-0-12-809640-6
    Medium: Buch
    63,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb

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