Suche
Kategorie
Erscheinungsjahr
22509 Treffer
- Klein, J.; Antos, G.; Sendlmeier, W.F.
- Zeitschrift für Angewandte Linguistik. Hefte 30/1999-34/2001
- Klein, J.; Antos, G.; Sendlmeier, W.F. (Hrsg). Frankfurt a. M. et al.: Peter Lang Frankfurt a. M. et al
- Mehler-Bicher, Anett; Bräutigam, J.; Behrens, S.
- Portal Powerpay – A Promising Investment
- European Case Clearing House.
- Tamajo, Alberto; Plaß, Bastian; Klauer, Thomas
- Shrinking unit: a Graph Convolution-Based Unit for CNN-like 3D Point Cloud Feature Extractors
- 12 S.
- Kuroczyński, Piotr; Hauck, Oliver; Dworak, Daniel
- Digital Reconstruction of Cultural Heritage – Questions of documentation and visualisation standards for 3D content
- Digital Heritage: Progress in Cultural Heritage. Documentation, Preservation, and Protection5th International Conference, EuroMed 2014, Limassol, Cyprus, November 3-8, 2014, Proceedings.
- 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
- 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