Zobrazeno 1 - 10
of 14
pro vyhledávání: '"Ulla Scheler"'
Autor:
Mihai Herda, Michael Kirsten, Etienne Brunner, Joana Plewnia, Ulla Scheler, Chiara Staudenmaier, Benedikt Wagner, Pascal Zwick, Bernhard Beckert
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 296, Iss Proc. HCVS/PERR 2019, Pp 6-13 (2019)
Software verification is a tedious process that involves the analysis of multiple failed verification attempts, and adjustments of the program or specification. This is especially the case for complex requirements, e.g., regarding security or fairnes
Externí odkaz:
https://doaj.org/article/5377181ba45c4c6096e6ca8ad8716f54
Autor:
Benedikt Wagner, Pascal Zwick, Mihai Herda, Michael Kirsten, Etienne Brunner, Bernhard Beckert, Joana Plewnia, Ulla Scheler, Chiara Staudenmaier
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 296, Iss Proc. HCVS/PERR 2019, Pp 6-13 (2019)
HCVS/PERR@ETAPS
HCVS/PERR@ETAPS
Software verification is a tedious process that involves the analysis of multiple failed verification attempts, and adjustments of the program or specification. This is especially the case for complex requirements, e.g., regarding security or fairnes
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::37d1f6aeaab295ca23b7c09062b06997
https://doaj.org/article/5377181ba45c4c6096e6ca8ad8716f54
https://doaj.org/article/5377181ba45c4c6096e6ca8ad8716f54
Autor:
Liesefeld, Heinrich René1,2 (AUTHOR) Heinrich.Liesefeld@psy.lmu.de, Liesefeld, Anna M.1 (AUTHOR), Müller, Hermann J.1,3 (AUTHOR)
Publikováno v:
Visual Cognition. Mar/Apr2019, Vol. 27 Issue 3/4, p247-259. 13p.
Autor:
Wegmann, Ute
Publikováno v:
KJL&M Forschung Schule Bibliothek. 2018 Extra, Vol. 70, p109-117. 9p.
Publikováno v:
Biomedical Engineering / Biomedizinische Technik; 2020 supplement, Vol. 65, p58-62, 5p
Autor:
Ferragud Sáez, Juan
Treball Final de Grau en Traducció i Interpretació. Codi: TI0983. Curs: 2017/2018 El trabajo consiste en la traducción del alemán al español de un fragmento de la novela de Ulla Scheler Es ist gefährlich, bei Sturm zu schwimmen, publicada en 20
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1500::346f7d68e492934a055dcd033709aab2
Publikováno v:
Biomedical Engineering / Biomedizinische Technik; 2020 supplement, Vol. 65, pi-li, 1p
Autor:
Katja Brandis
Der Islandurlaub mit ihrer neuen Patchworkfamilie ist genauso anstrengend wie Kari sich das vorgestellt hat. Doch als ihr ein silberner Falke begegnet und sie ins Reich Isslar gebracht wird, verändert sich alles. Ehe Kari sich versieht, steckt sie m
I. Von den VDP zur AJuM - Instanzen und Organe der KJL-Kritik in historischer Perspektive Christian Pommerening Heinrich Wolgast - Reformer und Streiter für ästhetische Erziehung Reiner Lehberger Hamburg: Vorort der Schulreform um 1900 Gina Weinkau