主题: German Federal Court of Justice
主题: Karlsruhe
作者: Kißener, Michael
相似书籍: Justiz im Umbruch
- Das Gefängnis schreiben
- New Horizons in Artificial Intelligence in Libraries
- The Significance of Locality in the Poetry of Friedrich Hölderlin
- Conocimiento, poder y transformación digital en América Latina
- Procesos de variación y cambio en el español de Sevilla y Las Palmas de Gran Canaria
- Gender and Violence in Iain Banks’ Fiction
相似书籍: Specification and verification of object-oriented software components
- Automated Reasoning with Analytic Tableaux and Related Methods
- Fundamental Approaches to Software Engineering
- Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023
- Computer Aided Verification
- Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
- Fundamental Approaches to Software Engineering: 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings