Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Verlag
Publikation
- acronyms, initialisms & abbreviations dictionary 6 Treffer
- acronyms, initialisms, & abbreviations dictionary 1 Treffer
- acronyms, initialisms, and abbreviations dictionary 1 Treffer
- computer safety, reliability, and security : 42nd international conference, safecomp 2023, toulouse, france, september 20-22, 2023, proceedings 1 Treffer
- dynamics of polyatomic van der waals complexes 1 Treffer
-
3 weitere Werte:
- leveraging applications of formal methods, verification and validation. modeling : 8th international symposium, isola 2018, limassol, cyprus, november 5-9, 2018, proceedings, part i 1 Treffer
- leveraging applications of formal methods, verification and validation. verification principles : 11th international symposium, isola 2022, rhodes, greece, october 22-30, 2022, proceedings, part i 1 Treffer
- leveraging applications of formal methods, verification and validation: verification principles : 9th international symposium on leveraging applications of formal methods, isola 2020, rhodes, greece, october 20-30, 2020, proceedings, part i 1 Treffer
Sprache
12 Treffer
-
2015BuchZugriff:
-
2013BuchZugriff:
-
2012BuchZugriff:
-
2011BuchZugriff:
-
2010BuchZugriff:
-
2009BuchZugriff:
-
2008BuchZugriff:
-
2022Online E-BookZugriff:
-
2020Online E-BookZugriff:
-
2018Online E-BookZugriff:
-
1990Online E-BookZugriff: