Ergebnisse filtern
- Fachgebiet
- Medium
-
- 609
- 27
- 4
- 1
- Erscheinungsjahr
-
- 2
- 9
- 9
- 6
- 10
- 20
- 11
- 16
- 34
- 19
- 72
- 66
- 95
- 96
- 65
- 12
- 24
- 6
- 7
- 6
- 5
- 5
- 5
- 7
- 4
- 6
- 3
- 2
- 6
- 2
- 1
- 3
- 1
- 1
- Autoren
-
- 3
- 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
- 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
- 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
- 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
- 2
- 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
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 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
- 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
- 4
- 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
- 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
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 3
- 4
- 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
- 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
- 1
- 2
- 1
- 1
- 2
- 2
- 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
- 3
- 1
- 2
- 1
- 1
- 3
- 1
- 2
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 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
- 1
- 4
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 2
- 1
- 3
- 1
- 2
- 2
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 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
- 1
- 1
- 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
- 2
- 2
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 3
- 1
- 2
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 4
- 2
- 1
- 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
- 2
- 3
- 2
- Verlag
-
- 1
- 17
- 3
- 1
- 5
- 14
- 5
- 20
- 3
- 2
- 11
- 3
- 1
- 2
- 10
- 5
- 2
- 2
- 6
- 1
- 1
- 9
- 2
- 4
- 1
- 1
- 2
- 3
- 1
- 3
- 2
- 1
- 430
- 1
- 4
- 1
- 3
- 4
- 2
- 1
- 4
- 3
- 1
- 1
- 13
- 22
- 1
- 1
- 1
- 2
- 2
- Preis
-
- 12
- 105
- 347
- 177
- Sprachen
-
- 553
- 91
- Verfügbarkeit
-
- 635
- 6
- Katalog
-
- 641
- 77
-
Lang / Flammini Formal Methods for Industrial Critical Systems
19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-10701-1Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage51,36 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Pinho / González Harbour Reliable Software Technologies -- Ada-Europe 2006
11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-34663-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Yamada Software Reliability Modeling
Fundamentals and ApplicationsErscheinungsjahr 2013Verlag: SpringerISBN: 978-4-431-54564-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Haddad / Pomello Application and Theory of Petri Nets
33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-31130-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bellatreche / Manolopoulos Model and Data Engineering
5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-23780-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation
5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II1. Auflage 2012Verlag: SpringerISBN: 978-3-642-34031-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kroening / Pasareanu / Pasareanu Computer Aided Verification
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II1. Auflage 2015Verlag: SpringerISBN: 978-3-319-21667-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cerone / Roveri Software Engineering and Formal Methods
SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers1. Auflage 2018Verlag: SpringerISBN: 978-3-319-74780-4Medium: Buch79,18 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,18 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gheorghe / Katina Gamification for Resilience
Resilient Informed Decision Making1. Auflage 2023Verlag: WileyISBN: 978-1-394-15774-7Medium: Buch120,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen120,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Chen / Qin / Koo System-Level Validation
High-Level Modeling and Directed Test Generation Techniques1. Auflage 2012Verlag: SpringerISBN: 978-1-4614-1358-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Reisig Understanding Petri Nets
Modeling Techniques, Analysis Methods, Case Studies1. Auflage 2013Verlag: SpringerISBN: 978-3-642-33277-7Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage74,89 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Molter SynDEVS Co-Design Flow
A Hardware / Software Co-Design Flow Based on the Discrete Event System Specification Model of Computation1. Auflage 2012Verlag: SpringerISBN: 978-3-658-00396-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Rumpe Agile Modellierung mit UML
Codegenerierung, Testfälle, Refactoring2. Auflage 2012Verlag: SpringerISBN: 978-3-642-22429-4Medium: Buch54,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage54,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Mehta System Verilog Assertions and Functional Coverage
Guide to Language, Methodology and ApplicationsThird Auflage 2020Verlag: SpringerISBN: 978-3-030-24736-2Medium: Buch149,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage149,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Mehta System Verilog Assertions and Functional Coverage
Guide to Language, Methodology and ApplicationsThird Auflage 2020Verlag: SpringerISBN: 978-3-030-24739-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Singh Using Event-B for Critical Device Software Systems
1. Auflage 2013Verlag: SpringerISBN: 978-1-4471-5259-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chen / Qin / Koo System-Level Validation
High-Level Modeling and Directed Test Generation TechniquesErscheinungsjahr 2014Verlag: SpringerISBN: 978-1-4899-8629-0Medium: Buch109,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage109,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dennis / Wixom / Roth Systems Analysis and Design
6th AuflageVerlag: John Wiley & Sons IncISBN: 978-1-118-89784-3Medium: Buch214,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen214,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Muccini / Avgeriou / Buhnova Software Architecture
14th European Conference, ECSA 2020 Tracks and Workshops, L'Aquila, Italy, September 14-18, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-59154-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Rauh / Auer Modeling, Design, and Simulation of Systems with Uncertainties
Erscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-26856-4Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Fairley Systems Engineering of Software-Enabled Systems
1. Auflage 2019Verlag: WileyISBN: 978-1-119-53501-0Medium: Buch130,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen130,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Boulanger Industrial Use of Formal Methods
Formal Verification1. Auflage 2012Verlag: WileyISBN: 978-1-84821-363-0Medium: Buch166,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen166,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Ambler Agile Modeling
Effective Practices for Extreme Programming and the Unified Process1. Auflage 2002Verlag: WileyISBN: 978-0-471-20282-0Medium: Buch51,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen51,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Oestereich / Scheithauer Die UML-Kurzreferenz 2.5 für die Praxis
kurz, bündig, ballastfrei6. Auflage 2014Verlag: De GruyterISBN: 978-3-486-74909-0Medium: Buch44,95 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage44,95 € (inkl. MwSt.)
sofort versandfertig, Lieferfrist: 1-3 Werktage -
Systems Analysis and Design
International Student VersionVerlag: WileyISBN: 978-0-471-74271-5Medium: Buch54,90 € (inkl. MwSt.)
vorbestellbar54,90 € (inkl. MwSt.)
vorbestellbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort