Suche
Kategorie
Erscheinungsjahr
310 Treffer
×
Publikationen
×
< 2021
×
Universität Koblenz
×
Universität Trier
×
Katholische Hochschule Mainz
×
Hochschule Kaiserslautern
×
Hochschule Trier
×
Technische Hochschule Bingen
×
Hochschule Koblenz
- Silveira, Priscila; Sousa, Fernanda Gonçalves de; Böning, Philipp et al.
- Do aposematic species have larger range sizes? A case study with Neotropical poison frogs
- Cold Spring Harbor Laboratory
- Kotowski, Sven; Arndt-Lappe, Sabine; Filatkina, Natalia et al.
- The semantics of personal name blends in German and English.
- Meinel, C.; Sack, H.; Stangier, C.
- Overcoming Ordering Restrictions for Synthesizing Binary Decision Diagrams
- In Proc. of NORCHIP`99, Oslo, Norway 1999.
- Meinel, C.; Bern, J.
- Electronic Colloquia in the WWW - a New Form of Scientific Publications
- Proc. of SCI/ISAS`99, Orlando.
- 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
- Meinel, C.; Heuer, A.; Siemonsen, K. et al.
- Web-basierte Navigationssysteme für Datenbanken
- Meinel, C.; Hludov, S.; C., Schröter
- Adaptive Komprimierung von DICOM-Bildern
- 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