1 |
![Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings](Cover.cls?type=cover&isbn=9783319681672&size=100) |
Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings [E-Book]
|
|
2017 |
500258149
|
.
|
2 |
![Collaboration and Technology: 23rd International Conference, CRIWG 2017, Saskatoon, SK, Canada, August 9-11, 2017, Proceedings Collaboration and Technology: 23rd International Conference, CRIWG 2017, Saskatoon, SK, Canada, August 9-11, 2017, Proceedings](Cover.cls?type=cover&isbn=9783319638744&size=100) |
Collaboration and Technology: 23rd International Conference, CRIWG 2017, Saskatoon, SK, Canada, August 9-11, 2017, Proceedings [E-Book]
|
|
2017 |
500255527
|
.
|
3 |
![Complexity Management in Fuzzy Systems: A Rule Base Compression Approach Complexity Management in Fuzzy Systems: A Rule Base Compression Approach](Cover.cls?type=cover&isbn=9783540388852&size=100) |
Complexity Management in Fuzzy Systems: A Rule Base Compression Approach [E-Book]
|
|
2007 |
|
.
|
4 |
![Computer Safety, Reliability, and Security: 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings Computer Safety, Reliability, and Security: 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings](Cover.cls?type=cover&isbn=9783319662664&size=100) |
Computer Safety, Reliability, and Security: 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings [E-Book]
|
|
2017 |
500256213
|
.
|
5 |
![Computer Safety, Reliability, and Security: SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings Computer Safety, Reliability, and Security: SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings](Cover.cls?type=cover&isbn=9783319662848&size=100) |
Computer Safety, Reliability, and Security: SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings [E-Book]
|
|
2017 |
500257454
|
.
|
6 |
![Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings](Cover.cls?type=cover&isbn=9783319671130&size=100) |
Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings [E-Book]
|
|
2017 |
500257469
|
.
|
7 |
![Dynamic Analysis of Petri Net-Based Discrete Systems Dynamic Analysis of Petri Net-Based Discrete Systems](Cover.cls?type=cover&isbn=9783540715603&size=100) |
Dynamic Analysis of Petri Net-Based Discrete Systems [E-Book]
|
|
2007 |
|
.
|
8 |
![Embedded Systems Design Based on Formal Models of Computation Embedded Systems Design Based on Formal Models of Computation](Cover.cls?type=cover&isbn=9789400715943&size=100) |
Embedded Systems Design Based on Formal Models of Computation [E-Book]
|
Radojevic, Ivan
|
2011 |
|
.
|
9 |
![](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7) |
Formal aspects of computing: applicable formal methods [Buch]
|
|
1989 |
|
.
|
10 |
![Formal methods for safety and security: case studies for aerospace applications Formal methods for safety and security: case studies for aerospace applications](Cover.cls?type=cover&isbn=9789811041211&size=100) |
Formal methods for safety and security: case studies for aerospace applications [E-Book]
|
Application of Formal Methods for Safety and Security Critical Systems<Veranstaltung> <1., 2016, Bangalore>
|
2018 |
|
.
|
11 |
![Formale Grundlagen der Programmierung Formale Grundlagen der Programmierung](Cover.cls?type=cover&isbn=9783834822963&size=100) |
Formale Grundlagen der Programmierung [E-Book]
|
Nebel, Markus
|
2012 |
|
.
|
12 |
![Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation](Cover.cls?type=cover&isbn=9783834895950&size=100) |
Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation [E-Book]
|
Kleuker, Stephan
|
2009 |
|
.
|
13 |
![FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems](Cover.cls?type=cover&isbn=9783642142611&size=100) |
FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems [E-Book]
|
Schnieder, Eckehard
|
2011 |
|
.
|
14 |
![Kreativität und Form: Programm eines Glasperlenspiels zum Experimentieren mit Wissen Kreativität und Form: Programm eines Glasperlenspiels zum Experimentieren mit Wissen](Cover.cls?type=cover&isbn=9783642275210&size=100) |
Kreativität und Form: Programm eines Glasperlenspiels zum Experimentieren mit Wissen [E-Book]
|
Zimmermann, Rainer E.
|
2012 |
|
.
|
15 |
![Modellierung komplexer Prozesse durch naturanaloge Verfahren: Komplexe adaptive Systeme — Modellbildungen und -theorie — neuronale Netze — Soft Computing und verwandte Techniken Modellierung komplexer Prozesse durch naturanaloge Verfahren: Komplexe adaptive Systeme — Modellbildungen und -theorie — neuronale Netze — Soft Computing und verwandte Techniken](Cover.cls?type=cover&isbn=9783834892379&size=100) |
Modellierung komplexer Prozesse durch naturanaloge Verfahren: Komplexe adaptive Systeme — Modellbildungen und -theorie — neuronale Netze — Soft Computing und verwandte Techniken [E-Book]
|
|
2009 |
|
.
|
16 |
![Modellierung komplexer Prozesse durch naturanaloge Verfahren: Soft Computing und verwandte Techniken Modellierung komplexer Prozesse durch naturanaloge Verfahren: Soft Computing und verwandte Techniken](Cover.cls?type=cover&isbn=9783834825100&size=100) |
Modellierung komplexer Prozesse durch naturanaloge Verfahren: Soft Computing und verwandte Techniken [E-Book]
|
Klüver, Christina
|
2012 |
|
.
|
17 |
![Modellierung komplexer Prozesse durch naturanaloge Verfahren: künstliche Intelligenz und künstliches Leben Modellierung komplexer Prozesse durch naturanaloge Verfahren: künstliche Intelligenz und künstliches Leben](Cover.cls?type=cover&isbn=9783658352769&size=100) |
Modellierung komplexer Prozesse durch naturanaloge Verfahren: künstliche Intelligenz und künstliches Leben [E-Book]
|
Klüver, Christina
|
2021 |
|
.
|
18 |
![Runtime Verification: 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings Runtime Verification: 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings](Cover.cls?type=cover&isbn=9783319675312&size=100) |
Runtime Verification: 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings [E-Book]
|
|
2017 |
500257479
|
.
|
19 |
![Software Design for Resilient Computer Systems Software Design for Resilient Computer Systems](Cover.cls?type=cover&isbn=9783319294650&size=100) |
Software Design for Resilient Computer Systems [E-Book]
|
Schagaev, Igor
|
2016 |
|
.
|
20 |
![Software Engineering for Resilient Systems: 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings Software Engineering for Resilient Systems: 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings](Cover.cls?type=cover&isbn=9783319659480&size=100) |
Software Engineering for Resilient Systems: 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings [E-Book]
|
|
2017 |
500256208
|
.
|