Suche
Kategorie
Erscheinungsjahr
Bücher (1505)
Uni Trier (15091)
15091 Treffer
×
Universität Trier
- Wöhrle, G.
- Die medizinische Theorie in Lukians Abdicatus
- Medizinhistorisches Journal. Bd. Medizinhistorisches Journal. 1990 S. 104 - 114
- Nehmer, J.; Sturm, P.
- Systemsoftware
- dppunkt-Verlag 1998
- Baentsch, Michael; Baum, L.; Molter, Georg et al.
- World wide web caching: the application-level view of the internet
- IEEE communications magazine. a publication of the IEEE Communications Society. Bd. 35. H. 6. New York, NY: IEEE 1997 S. 170 - 179
- Wöhrle, G.
- Eine sehr hübsche Mahnmumie...Zur Rezeption eines Herodoteischen Motivs
- Hermes. Bd. Hermes. 1990 S. 292 - 301
- Ley, M.; Jarke, M.; Pasedach, K. et al.
- Die Trierer Informatik-Bibliographie
- Jarke, M.; Pasedach, K.; Pohl, K. (Hrsg). Informatik '97, Informatik als Innovationsmotor, 27. Jahrestagung der Gesellschaft für Informatik. Springer 1997 S. 257 - 266
- Meinel, Christoph; Stangier, Christian
- Speeding up symbolic model checking by accelerating dynamic variable reordering
- Trier: Univ., Mathematik/Informatik 1999 13 S. (Trierer Forschungsberichte ; 99-28)
- Meinel, Ch; Theobald, Th
- On the influence of the state encoding on OBDD-representations of finite state machines
- Theoretical informatics and applications. Bd. 33. H. 1. Cambridge, Mass.: EDP Sciences 1999 S. 21 - 32
- Meinel, C.; Theobald, T.
- Geordnete binaere Entscheidungsgraphen und ihre Bedeutung im rechnergestuetzten Entwurf hochintegrierter Schaltkreise.
- Informatik-Spektrum. Organ der Gesellschaft für Informatik e.V. und mit ihr assoziierter Organisationen. Bd. 20. H. 5. Berlin: Springer 1997 S. 268 - 275
- Krampen, Günter; Freilinger, Josef; Wilmes, Louis
- Kreativitätstest für Vorschul- und Schulkinder (KVS) : Testentwicklung, Handanweisung, Testheft
- Trier: Univ. 1988 118 S. (Trierer psychologische Berichte ; 15,7)
- Meinel, Christoph; Somenzi, Fabio; Theobald, Thorsten
- Linear sifting of decision diagrams
- Trier: Univ., Mathematik/Informatik 1996 10 S. (Trierer Forschungsberichte ; 96-42)