Suche
Kategorie
Erscheinungsjahr
28741 Treffer
- Bender, Tom; Müller, Maximilian Leonard; Pinger, Christian et al.
- Experimental study on the artificial aging and degradation of wood species for the development of resistance treatment and coating systems in timber rehabilitation
- Gijon. Gijon
- Sofronie-Stokkermans, Viorica
- Sheaves and geometric logic and applications to the modular verification of complex systems
- S. 1 - 30
- Sofronie-Stokkermans, Viorica
- Interpolation in local theory extensions
- S. 1 - 31
- Dupressoir, François; Gordon, Andrew D.; Jürjens, Jan et al.
- Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols
- S. 1 - 39
- Steimers, André; Schneider, Moritz
- Vertrauenswürdige Künstliche Intelligenz.
- sicher ist sicher: Erich Schmidt Verlag GmbH & Co. KG sicher ist sicher
- Sofronie-Stokkermans, Viorica
- On Interpolation and Symbol Elimination in Theory Extensions
- S. 1 - 41
- Furbach, Ulrich; Schon, Claudia; Stolzenburg, Frieder
- Automated Reasoning for Robot Ethics
- S. 1 - 5
- Herberg, Evelyn; Hinze, Michael; Schumacher, Henrik
- Maximal discrete sparsity in parabolic optimal control with measures
- S. 1 - 30
- Oravec, Lina; Recklies, Erik
- Let's just do it! Pre-Service music teachers' attitudes towards inclusion. Insights into the university project All-In-Band.
- Busch, Thomas; Bosch, Mercé (Hrsg). Musik für alle. Schule und Musikhochschule auf dem Weg zur Inklusion. München: Kopaed München