Personensuche
X
?
2022 IEEE International Power Modulator and High Voltage Conference (IPMHVC) ,
1
Improvements of a Branch Module for an Inductive Voltage Ad..:
, In:
?
2006 43rd ACM/IEEE Design Automation Conference ,
2
Fast falsification based on symbolic bounded property check..:
, In:
?
Proceedings of the conference on Design, automation and test in Europe ,
3
Simulation-guided property checking based on a multi-valued..:
, In:
?
Proceedings of the conference on Design, automation and test in Europe ,
4
The simulation semantics of systemC:
, In:
?
Proceedings of the 1997 European conference on Design and Test ,
5
Using MTBDDs for Discrete Timed Symbolic Model Checking:
, In:
?
Wirklichkeit als Fiktion - Fiktion als Wirklichkeit ,
6
Ästhetische Inskriptionen. Dürrenmatt, medientheoretisch ge..:
, In:
?
Lecture Notes in Civil Engineering; Proceedings of the 7th International Conference on Geotechnics, Civil Engineering and Structures, CIGOS 2024, 4-5 April, Ho Chi Minh City, Vietnam ,
7
An Investigation on the Embodied Energy of Cement Concrete ..:
, In:
?
Medien- und Gestaltungsästhetik; Bildung, Praxistransfer und Kooperation ,
8
Praktiken (digital-)ästhetischer Kommunikation:
, In:
?
Applied Economic Research and Trends; Springer Proceedings in Business and Economics ,
9
Using Enterprise Social Media Networks to Foster Team-Level..:
, In:
?
Renewable Energy Resources and Conservation; Green Energy and Technology ,
12
Assessing Carbon Footprint Estimations of ChatGPT:
, In:
?
2024 International Conference on Machine Intelligence for GeoAnalytics and Remote Sensing (MIGARS) ,
15