Ergebnisse filtern
Fachgebiet
Medium
  • 592
  • 27
  • 4
  • 1
Erscheinungsjahr
  • 7
  • 9
  • 6
  • 10
  • 20
  • 10
  • 15
  • 34
  • 18
  • 71
  • 66
  • 95
  • 94
  • 63
  • 12
  • 26
  • 7
  • 7
  • 5
  • 4
  • 5
  • 5
  • 5
  • 3
  • 5
  • 2
  • 2
  • 6
  • 1
  • 1
  • 3
  • 1
  • 1
Autoren
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 4
  • 2
  • 1
  • 1
  • 2
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 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
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 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
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 9
  • 1
  • 2
  • 4
  • 2
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 2
  • 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
  • 1
  • 2
  • 1
  • 1
  • 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
  • 2
  • 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
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 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
  • 1
  • 3
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 2
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 3
  • 2
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 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
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 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
  • 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
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 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
  • 3
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 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
  • 1
  • 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
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 2
  • 10
  • 1
  • 1
  • 1
  • 3
  • 1
  • 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
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
Verlag
  • 1
  • 17
  • 1
  • 3
  • 1
  • 12
  • 5
  • 18
  • 3
  • 2
  • 10
  • 2
  • 3
  • 9
  • 4
  • 2
  • 2
  • 2
  • 6
  • 6
  • 1
  • 3
  • 1
  • 1
  • 2
  • 3
  • 2
  • 1
  • 211
  • 14
  • 2
  • 184
  • 1
  • 2
  • 11
  • 1
  • 4
  • 11
  • 4
  • 2
  • 1
  • 4
  • 3
  • 1
  • 1
  • 13
  • 25
  • 1
  • 1
  • 2
  • 2
Preis
  • 12
  • 101
  • 335
  • 176
Sprachen
  • 540
  • 87
Verfügbarkeit
  • 612
  • 12
Katalog
  • 624
  • 75
624  Titel
    Vogel-Heuser | System Engineering with SysML | eBook | Sack Fachmedien
    E-Book

    Vogel-Heuser System Engineering with SysML

    Mechatronic Production Systems and Model-Based Engineering
    1. Auflage 2025
    Verlag: De Gruyter
    ISBN: 978-3-11-144341-6
    Medium: eBook
    Format: EPUB
     Kopierschutz: 6 - ePub Watermark
    54,95 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Mittal / Risco Martín | Netcentric System of Systems Engineering with DEVS Unified Process | eBook | Sack Fachmedien
    E-Book

    Mittal / Risco Martín Netcentric System of Systems Engineering with DEVS Unified Process

    1. Auflage 2013
    Verlag: CRC Press
    ISBN: 978-1-4398-2707-9
    Medium: eBook
    Format: PDF
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    134,99 € (inkl. MwSt.)
    sofort verfügbar
    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
    Fayad / Sanchez / Hegde | Software Patterns, Knowledge Maps, and Domain Analysis | eBook | Sack Fachmedien
    E-Book

    Fayad / Sanchez / Hegde Software Patterns, Knowledge Maps, and Domain Analysis

    Erscheinungsjahr 2014
    Verlag: Taylor & Francis
    ISBN: 978-1-4665-7144-0
    Medium: eBook
    Format: PDF
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    59,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Krishnan / Malathi | Recent Advancements in System Modelling Applications | Buch | Sack Fachmedien

    Krishnan / Malathi Recent Advancements in System Modelling Applications

    Proceedings of National Systems Conference 2012
    2013
    Verlag: Springer India
    ISBN: 978-81-322-1720-6
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Opdahl / Doerr | Requirements Engineering: Foundation for Software Quality | Buch | Sack Fachmedien

    Opdahl / Doerr Requirements Engineering: Foundation for Software Quality

    19th International Working Conference, REFSQ 2013, Essen, Germany, April 8-11, 2013. Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-37421-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bernardo / Wiklicky / de Vink | Formal Methods for Dynamical Systems | Buch | Sack Fachmedien

    Bernardo / Wiklicky / de Vink 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
    2013
    Verlag: Springer
    ISBN: 978-3-642-38873-6
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Henderson-Sellers / Rossi / Ralyté | Situational Method Engineering | Buch | Sack Fachmedien

    Henderson-Sellers / Rossi / Ralyté Situational Method Engineering

    2014
    Verlag: Springer
    ISBN: 978-3-642-41466-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cuesta / Pérez / Garlan | Software Architecture | Buch | Sack Fachmedien

    Cuesta / Pérez / Garlan Software Architecture

    12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24-28, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-030-00760-7
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sun / Groves | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Sun / Groves Formal Methods and Software Engineering

    15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-41201-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ölveczky / Arbab | Formal Aspects of Component Software | Buch | Sack Fachmedien

    Ölveczky / Arbab Formal Aspects of Component Software

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

    Ehrig / Rozenberg / Engels Graph Transformation

    6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-33653-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dingel / Schulte / Insfran | Model-Driven Engineering Languages and Systems | Buch | Sack Fachmedien

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

    17th International Conference, MODELS 2014, Valencia, Spain, September 283- October 4, 2014. Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-11652-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Castano / Lee / Vassiliadis | Advances in Conceptual Modeling | Buch | Sack Fachmedien

    Castano / Lee / Vassiliadis Advances in Conceptual Modeling

    ER 2012 Workshops CMS, ECDM-NoCoDA, MODIC, MORE-BI, RIGIM, SeCoGIS, WISM, Florence, Italy, October 15-18, 2012, Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-33998-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tian / Sebe / Liu | MultiMedia Modeling | Buch | Sack Fachmedien

    Tian / Sebe / Liu MultiMedia Modeling

    22nd International Conference, MMM 2016, Miami, FL, USA, January 4-6, 2016, Proceedings, Part I
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-27670-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    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
    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
    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
    Sun | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Sun Formal Methods and Software Engineering

    20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-030-02449-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bencomo / Aßmann / France | Models@run.time | Buch | Sack Fachmedien

    Bencomo / Aßmann / France Models@run.time

    Foundations, Applications, and Roadmaps
    2014
    Verlag: Springer International Publishing
    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

    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
    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
    Xu / Liu | Trace-Based Post-Silicon Validation for VLSI Circuits | Buch | Sack Fachmedien

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

    2013
    Verlag: Springer International Publishing
    ISBN: 978-3-319-00532-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vigano / Veanes | Tests and Proofs | Buch | Sack Fachmedien

    Vigano / Veanes Tests and Proofs

    7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-38915-3
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fiadeiro / Xue / Liu | Formal Aspects of Component Software | Buch | Sack Fachmedien

    Fiadeiro / Xue / Liu Formal Aspects of Component Software

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