Suche
Kategorie
Erscheinungsjahr
31362 Treffer
×
Publikationen
×
Universität Koblenz
×
Hochschule Mainz
×
Hochschule Kaiserslautern
×
Hochschule Trier
×
Technische Hochschule Bingen
×
Hochschule Koblenz
×
Hochschule für Wirtschaft und Gesellschaft Ludwigshafen
- Hinze, Michael; Vierling, Morten
- Variational discretization and semi-smooth Newton methods; implementation, convergence and globalization in pde constrained optimization with control constraints
- S. 1 - 14
- Wagner, Stefan; Jürjens, Jan; Koller, Claudia et al.
- Comparing Bug Finding Tools with Reviews and Tests
- CoRR. S. 1 - 16
- Gaggl, Sarah Alice; Thimm, Matthias
- Proceedings of the Second Summer School on Argumentation: Computational and Linguistic Perspectives (SSA'16)
- S. 1 - 32
- Hunter, Anthony; Thimm, Matthias
- Probabilistic Argumentation with Epistemic Extensions and Incomplete Information
- S. 1 - 17
- Zhao, Zhixue; Zhang, Ziqi; Hopfgartner, Frank
- Detecting Toxic Content Online and the Effect of Training Data on Classification Performance
- S. 1 - 14
- Aizatulin, Mihhail; Gordon, Andrew D.; Jürjens, Jan
- Extracting and Verifying Cryptographic Models from C Protocol Code by Symbolic Execution
- CoRR. S. 1 - 29
- Heß, Heiko; Reichert, L.; Röth, H. et al.
- Entwicklung eines Laser-Scanning-Vibrometers
- Forschungsbericht der Hochschule Kaiserslautern. Kaiserslautern. Kaiserslautern
- Remsperger, Regina
- Feinfühligkeit im Umgang mit Kindern
- Freiburg, Br.: Herder Freiburg, Br. 58 S. (Kindergarten heute / Spezial ; Nr. 109)
- Fay, Damien; Kunegis, Jérôme; Yoneki, Eiko
- On Joint Diagonalisation for Dynamic Network Analysis
- S. 1 - 10