Suche
Kategorie
Erscheinungsjahr
Bücher (1506)
Uni Trier (15102)
15102 Treffer
×
Universität Trier
- Seidl, Helmut; Fecht, Christian
- Interprocedural analyses: a comparison
- The journal of logic programming. Bd. 43. H. 2. New York, NY: North-Holland 2000 S. 123 - 156
- Ferdinand, C.; Seidl, H.; Wilhelm, R.
- Tree automata for code selection
- Acta informatica. Bd. 31. H. 8. Berlin: Springer 1994 S. 741 - 760
- Kleber, Hermann
- Die französischen Mémoires : Geschichte einer literarischen Gattung von den Anfängen bis zum Zeitalter Ludwigs XIV.
- Berlin: Schmidt 1999 382 S. (Studienreihe Romania ; 14)
- Meinel, Christoph
- Do we really need common variable orders for synthesizing OBDDs?
- Trier: Univ., Mathematik/Informatik 1998 6 S. (Trierer Forschungsberichte ; Nr. 98-29)
- Meinel, C.; Bern, J.
- Electronic Colloquia in the WWW - a New Form of Scientific Publications
- Proc. of SCI/ISAS`99, Orlando.
- Bern, Jochen; Meinel, Christoph
- One step further : integrating electronic submission and the reviewing process
- Trier: Univ., Mathematik/Informatik 1999 5 S. (Trierer Forschungsberichte ; Nr. 99-16)
- Cabodi, Gianpiero; Meinel, Christoph
- Binary decision diagrams and the multiple variable order problem
- Trier: Univ., Mathematik/Informatik 1998 9 S. (Trierer Forschungsberichte ; 98-22)
- Meinel, Christoph; Sack, Harald
- Algorithmic considerations for [Mod2]-OBDD reordering
- Trier: Univ., Mathematik/Informatik 1999 7 S. (Trierer Forschungsberichte ; Nr. 99-19)
- Meinel, C.; Sack, H.; Stangier, C.
- Overcoming Ordering Restrictions for Synthesizing Binary Decision Diagrams
- In Proc. of NORCHIP`99, Oslo, Norway 1999.