Ergebnisse filtern
Fachgebiet
Medium
  • 78
  • 3
  • 1
Erscheinungsjahr
  • 1
  • 1
  • 2
  • 4
  • 4
  • 3
  • 6
  • 4
  • 11
  • 11
  • 10
  • 11
  • 6
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
Autoren
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 9
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 9
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
Verlag
  • 4
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 22
  • 1
  • 38
  • 1
  • 4
  • 2
Preis
  • 10
  • 50
  • 22
Sprachen
  • 80
  • 3
Verfügbarkeit
  • 82
Katalog
  • 82
  • 3
82  Treffer  für „E-learning“
Alle Filter löschen
    Swiatek / Swiatek / Tomczak | Advances in Systems Science | Buch | Sack Fachmedien

    Swiatek / Swiatek / Tomczak Advances in Systems Science

    Proceedings of the International Conference on Systems Science 2013 (ICSS 2013)
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-01856-0
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Smolka / Piterman | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Smolka / Piterman Tools and Algorithms for the Construction and Analysis of Systems

    19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-36741-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Biondi / Legay / Given-Wilson | Model Checking Software | Buch | Sack Fachmedien

    Biondi / Legay / Given-Wilson Model Checking Software

    26th International Symposium, SPIN 2019, Beijing, China, July 15¿16, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-30922-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Patel / Miller / Sutherland | Business Object Design and Implementation II | Buch | Sack Fachmedien

    Patel / Miller / Sutherland Business Object Design and Implementation II

    OOPSLA¿96, OOPSLA¿97 and OOPSLA¿98 Workshop Proceedings
    Softcover Nachdruck of the original 1. Auflage 1998
    Verlag: Springer
    ISBN: 978-1-85233-108-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pasareanu / Kroening / Pasareanu | Computer Aided Verification | Buch | Sack Fachmedien

    Pasareanu / Kroening / Pasareanu Computer Aided Verification

    27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-21689-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beckert / Bonsangue / Damiani | Formal Methods for Components and Objects | Buch | Sack Fachmedien

    Beckert / Bonsangue / Damiani Formal Methods for Components and Objects

    10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
    2013
    Verlag: Springer
    ISBN: 978-3-642-35886-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Singer | Practical C++ Design | Buch | Sack Fachmedien

    Singer Practical C++ Design

    From Programming to Architecture
    2. Auflage 2021
    Verlag: Apress
    ISBN: 978-1-4842-7406-4
    Medium: Buch
    48,14 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Steffen / Margaria | Leveraging Applications of Formal Methods, Verification and Validation | Buch | Sack Fachmedien

    Steffen / Margaria Leveraging Applications of Formal Methods, Verification and Validation

    5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
    2012
    Verlag: Springer
    ISBN: 978-3-642-34031-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    VDE ITG / VDE / VDI GMM / GI | ITG-Fb. 296: MBMV 2021 | Sonstiges | Sack Fachmedien

    VDE ITG / VDE / VDI GMM / GI ITG-Fb. 296: MBMV 2021

    Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
    Neuerscheinung
    Verlag: VDE Verlag
    ISBN: 978-3-8007-5500-4
    Medium: Sonstiges
    78,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wagner / Diaconescu | Developing Web Applications | eBook | Sack Fachmedien
    E-Book

    Wagner / Diaconescu Developing Web Applications

    With UML using Java and JavaScript. Associations and Class Hierarchies
    1. Auflage 2021
    Verlag: De Gruyter
    ISBN: 978-3-11-049756-4
    Medium: eBook
    Format: EPUB
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    59,95 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Chikhi / Amine / Kholladi | Modelling and Implementation of Complex Systems | Buch | Sack Fachmedien

    Chikhi / Amine / Kholladi Modelling and Implementation of Complex Systems

    Proceedings of the 6th International Symposium, MISC 2020, Batna, Algeria, October 24¿26, 2020
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-58860-1
    Medium: Buch
    192,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Idani / Canal | Software Engineering and Formal Methods | Buch | Sack Fachmedien

    Idani / Canal Software Engineering and Formal Methods

    SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers
    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-15200-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rubin / Bouabana-Tebibel | Integration of Reusable Systems | Buch | Sack Fachmedien

    Rubin / Bouabana-Tebibel Integration of Reusable Systems

    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-04716-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Flammini / Lang | Formal Methods for Industrial Critical Systems | Buch | Sack Fachmedien

    Flammini / Lang Formal Methods for Industrial Critical Systems

    19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-10701-1
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gheorghe / Katina | Gamification for Resilience | Buch | Sack Fachmedien

    Gheorghe / Katina Gamification for Resilience

    Resilient Informed Decision Making
    1. Auflage 2023
    Verlag: Wiley
    ISBN: 978-1-394-15774-7
    Medium: Buch
    128,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barclay / Savage | Barclay, K: OBJECT-ORIENTED DESIGN W/UML & | Buch | Sack Fachmedien

    Barclay / Savage Barclay, K: OBJECT-ORIENTED DESIGN W/UML &

    Erscheinungsjahr 2003
    Verlag: Elsevier LTD, Oxford
    ISBN: 978-0-7506-6098-3
    Medium: Buch
    44,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brisk / Diniz / de Figueiredo Coutinho | Reconfigurable Computing: Architectures, Tools and Applications | Buch | Sack Fachmedien

    Brisk / Diniz / de Figueiredo Coutinho Reconfigurable Computing: Architectures, Tools and Applications

    9th International Symposium, ARC 2013, Los Angeles, CA, USA, March 25-27, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-36811-0
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Simske | Meta-Algorithmics | Buch | Sack Fachmedien

    Simske Meta-Algorithmics

    Patterns for Robust, Low-Cost, High Quality Systems
    1. Auflage 2013
    Verlag: Wiley
    ISBN: 978-1-118-34336-4
    Medium: Buch
    113,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Diaconescu / Wagner | Web Applications with Javascript or Java | Buch | Sack Fachmedien

    Diaconescu / Wagner Web Applications with Javascript or Java

    Volume 1: Constraint Validation, Enumerations, Special Datatypes
    1. Auflage 2017
    Verlag: De Gruyter
    ISBN: 978-3-11-049993-3
    Medium: Buch
    64,95 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shoemaker | UML Applied | Buch | Sack Fachmedien

    Shoemaker UML Applied

    A .NET Perspective
    Softcover Nachdruck of the original 1. Auflage 2004
    Verlag: Apress
    ISBN: 978-1-59059-087-4
    Medium: Buch
    46,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wagner / Diaconescu | Web Applications with Javascript or Java | eBook | Sack Fachmedien
    E-Book

    Wagner / Diaconescu Web Applications with Javascript or Java

    Volume 1: Constraint Validation, Enumerations, Special Datatypes
    1. Auflage 2017
    Verlag: De Gruyter
    ISBN: 978-3-11-049724-3
    Medium: eBook
    Format: EPUB
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    64,95 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Blatnik / Carey | Design Concepts with Code | Buch | Sack Fachmedien

    Blatnik / Carey Design Concepts with Code

    An Approach for Developers
    Softcover Nachdruck of the Original 1. Auflage 2003
    Verlag: Apress
    ISBN: 978-1-59059-111-6
    Medium: Buch
    36,37 € (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
    Ebert / van der Veer / Scheler | Building Bridges: HCI, Visualization, and Non-formal Modeling | Buch | Sack Fachmedien

    Ebert / van der Veer / Scheler Building Bridges: HCI, Visualization, and Non-formal Modeling

    IFIP WG 13.7 Workshops on Human¿Computer Interaction and Visualization: 7th HCIV@ECCE 2011, Rostock, Germany, August 23, 2011, and 8th HCIV@INTERACT 2011, Lisbon, Portugal, September 5, 2011, Revised Selected Papers
    2014
    Verlag: Springer
    ISBN: 978-3-642-54893-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Roveri / Cerone | Software Engineering and Formal Methods | Buch | Sack Fachmedien

    Roveri / Cerone Software Engineering and Formal Methods

    SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-74780-4
    Medium: Buch
    79,18 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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