Treffer 1 - 20 von 23 für Suche 'Turrini, Andrea', Suchdauer: 0,22s
Treffer weiter einschränken
-
1von Turini, Andrea
Veröffentlicht 1543
UnknownFormat -
2
-
3von Turini, Andrea
Veröffentlicht 1537
UnknownFormat -
4von Turini, Andrea
Veröffentlicht 1542
UnknownFormat -
5
-
6von Turini, Andrea
Veröffentlicht 1542
UnknownFormat -
7von Turini, Andrea
Veröffentlicht 1545
UnknownFormat -
8von Turini, Andrea
Veröffentlicht 1545
Volltext // Exemplar mit der Signatur: München, Bayerische Staatsbibliothek -- 2 Path. 100#Beibd.1
Volltext // Exemplar mit der Signatur: München, Bayerische Staatsbibliothek -- 2 A.lat.b. 559 o#Beibd.1
Volltext // Exemplar mit der Signatur: München, Bayerische Staatsbibliothek -- 2 A.lat.b. 559 o#Beibd.1
UnknownFormat -
9
-
10
-
11
-
12
-
13
-
14von Li, Yong
Veröffentlicht in ATVA (18. : 2020 : Online) Automated technology for verification and analysis (2020)UnknownFormat -
15von Chen, Yu-Fang
Veröffentlicht in APLAS (18. : 2020 : Online) Programming languages and systems (2020)UnknownFormat -
16von Feng, Weizhi
Veröffentlicht in SETTA (6. : 2020 : Online) Dependable software engineering (2020)UnknownFormat -
17von Havlena, Vojtěch
Veröffentlicht in TACAS (29. : 2023 : Paris) Tools and algorithms for the construction and analysis of systems ; Part 1 (2023)UnknownFormat -
18von Li, Yong
Veröffentlicht in International Conference on Computer-Aided Verification (34. : 2022 : Haifa) Computer aided verification ; Part 2 (2022)UnknownFormat -
19UnknownFormat
-
20von Fu, Chen
Veröffentlicht in VMCAI (23. : 2022 : Philadelphia, Pa.) Verification, Model Checking, and Abstract Interpretation (2022)UnknownFormat