Personensuche
X
?
2007 European Conference on Lasers and Electro-Optics and the International Quantum Electronics Conference ,
1
Record-Low Thermal Resistance, 12.5 Gbit/s Capable Flip-Chi..:
, In:
?
Prüfung von Papier, Pappe, Zellstoff und Holzstoff ,
2
Prüfung der Füllstoffe und Streichpigmente:
, In:
?
Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing ,
3
Quantifying Software Correctness by Combining Architecture ..:
, In:
?
Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) ,
5
Contract Automata: A Specification Language for Mode-Based ..:
, In:
?
Lecture Notes in Computer Science; Integrated Formal Methods ,
6
Verify This: Memcached—A Practical Long-Term Challenge for ..:
, In:
?
2023 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS) ,
7
Static Capability-Based Security for Smart Contracts:
, In:
?
10 Minuten Soziologie; 10 Minuten Soziologie: Gewalt ,
10
Policy-Cycle: Der politische Kampf gegen häusliche Gewalt:
, In:
?
Transformationen der Theaterlandschaft ,
12
4 Veränderte Arbeitsbedingungen in den Freien Darstellenden..:
, In:
?
Transformationen der Theaterlandschaft ,
13