Personensuche
X
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
1
Make Flows Small Again: Revisiting the Flow Framework:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
2
nekton: A Linearizability Proof Checker:
, In:
?
Programming Languages and Systems; Lecture Notes in Computer Science ,
3
Model-Based Fault Classification for Automotive Software:
, In:
?
2020 Fifteenth International Conference on Ecological Vehicles and Renewable Energies (EVER) ,
4
Review of Trends and Potentials in the Vehicle Concept Deve..:
, In:
?
2019 8th International Conference on Power Science and Engineering (ICPSE) ,
5
Impact of Electric Machine Design Parameters and Loss Types..:
, In:
?
Kultur und soziale Praxis; Kämpfe um Migrationspolitik ,
7
I. MULTISKALARE KRÄFTEVERHÄLTNISSE IN EUROPA: Vorbemerkung ..:
, In:
?
?
Exkursionsdidaktik. Geographische Bildung in der Grundschule. ,
9
"Warum will jemand hier wohnen?" - Rollenexkursionen im Sac..:
, In:
?
International Yearbook of Soil Law and Policy 2019; International Yearbook of Soil Law and Policy ,
13
The Future of International Soil Governance:
, In:
?
Late Treatment Effects and Cancer Survivor Care in the Young ,
15