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
    Abelló / Benatallah / Bellatreche | Model and Data Engineering | Buch | Sack Fachmedien

    Abelló / Benatallah / Bellatreche Model and Data Engineering

    2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012, Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-33608-9
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mouheb / Debbabi / Pourzandi | Aspect-Oriented Security Hardening of UML Design Models | Buch | Sack Fachmedien

    Mouheb / Debbabi / Pourzandi Aspect-Oriented Security Hardening of UML Design Models

    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-16105-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mehta | System Verilog Assertions and Functional Coverage | Buch | Sack Fachmedien

    Mehta System Verilog Assertions and Functional Coverage

    Guide to Language, Methodology and Applications
    3rd Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-24736-2
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mehta | System Verilog Assertions and Functional Coverage | Buch | Sack Fachmedien

    Mehta System Verilog Assertions and Functional Coverage

    Guide to Language, Methodology and Applications
    3rd Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-24739-3
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mouheb / Debbabi / Pourzandi | Aspect-Oriented Security Hardening of UML Design Models | Buch | Sack Fachmedien

    Mouheb / Debbabi / Pourzandi Aspect-Oriented Security Hardening of UML Design Models

    Softcover Nachdruck of the original 1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-36894-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nakka / Iyer / Kalbarczyk | Dependable Computing | Buch | Sack Fachmedien

    Nakka / Iyer / Kalbarczyk Dependable Computing

    Design and Assessment
    1. Auflage 2024
    Verlag: John Wiley & Sons Inc
    ISBN: 978-1-118-70944-3
    Medium: Buch
    144,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barnat / Howar | Formal Methods for Industrial Critical Systems | Buch | Sack Fachmedien

    Barnat / Howar Formal Methods for Industrial Critical Systems

    23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-030-00243-5
    Medium: Buch
    53,49 € (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

    Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-88478-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kak | Designing with Objects | Buch | Sack Fachmedien

    Kak Designing with Objects

    Object-Oriented Design Patterns Explained with Stories from Harry Potter
    1. Auflage 2015
    Verlag: Wiley
    ISBN: 978-1-118-58120-9
    Medium: Buch
    94,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Oquendo / Batista / Leite | Software Architecture in Action | Buch | Sack Fachmedien

    Oquendo / Batista / Leite Software Architecture in Action

    Designing and Executing Architectural Models with SysADL Grounded on the OMG SysML Standard
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-44337-9
    Medium: Buch
    48,14 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bloem / Biere | Computer Aided Verification | Buch | Sack Fachmedien

    Bloem / Biere Computer Aided Verification

    26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-08866-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Veith / Sharygina | Computer Aided Verification | Buch | Sack Fachmedien

    Veith / Sharygina Computer Aided Verification

    25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-39798-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Starr / Mellor / Mangogna | Models to Code | Buch | Sack Fachmedien

    Starr / Mellor / Mangogna Models to Code

    With No Mysterious Gaps
    1. Auflage 2017
    Verlag: Apress
    ISBN: 978-1-4842-2216-4
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nickovic / ter Beek / Nickovic | Formal Methods for Industrial Critical Systems | Buch | Sack Fachmedien

    Nickovic / ter Beek / Nickovic Formal Methods for Industrial Critical Systems

    25th International Conference, FMICS 2020, Vienna, Austria, September 2¿3, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-58297-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rumpe / Calinescu | Software Engineering and Formal Methods | Buch | Sack Fachmedien

    Rumpe / Calinescu Software Engineering and Formal Methods

    13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-22968-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Joshi / D'Argenio / Siegle | Quantitative Evaluation of Systems | Buch | Sack Fachmedien

    Joshi / D'Argenio / Siegle Quantitative Evaluation of Systems

    10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-40195-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Steffen / Margaria | Leveraging Applications of Formal Methods, Verification and Validation. Verification | Buch | Sack Fachmedien

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

    8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-030-03420-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tkachuk / Rayadurgam | NASA Formal Methods | Buch | Sack Fachmedien

    Tkachuk / Rayadurgam NASA Formal Methods

    8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-40647-3
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Steffen / Margaria | Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice | Buch | Sack Fachmedien

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

    8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-030-03426-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Steffen / Margaria | Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems | Buch | Sack Fachmedien

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

    8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-030-03423-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Huynh / Denoeux / Pham | Knowledge and Systems Engineering | Buch | Sack Fachmedien

    Huynh / Denoeux / Pham Knowledge and Systems Engineering

    Proceedings of the Fifth International Conference KSE 2013, Volume 1
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-02740-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pötzsche / Rendl / Heuberger | System Modeling and Optimization | Buch | Sack Fachmedien

    Pötzsche / Rendl / Heuberger System Modeling and Optimization

    26th IFIP TC 7 Conference, CSMO 2013, Klagenfurt, Austria, September 9-13, 2013, Revised Selected Papers
    Softcover Nachdruck of the original 1. Auflage 2014
    Verlag: Springer
    ISBN: 978-3-662-52619-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pötzsche / Rendl / Heuberger | System Modeling and Optimization | Buch | Sack Fachmedien

    Pötzsche / Rendl / Heuberger System Modeling and Optimization

    26th IFIP TC 7 Conference, CSMO 2013, Klagenfurt, Austria, September 9-13, 2013, Revised Selected Papers
    2014
    Verlag: Springer
    ISBN: 978-3-662-45503-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jones / Sun / Pihlajasaari | FM 2014: Formal Methods | Buch | Sack Fachmedien

    Jones / Sun / Pihlajasaari FM 2014: Formal Methods

    19th International Symposium, Singapore, May 12-16, 2014. Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-06409-3
    Medium: Buch
    106,99 € (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

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