Suche
Kategorie
Erscheinungsjahr
282 Treffer
- Bläsius, Karl H.
- Deduktionssysteme : Automatisierung des logischen Denkens
- München [u.a.]: Oldenbourg 1987 0 S.
- Bardmann, Manfred
- Die Preistypdebatte, ihre Grundlagen und ihr Einfluß auf die praktische Ausgestaltung des Preissystems der DDR
- Berlin: Spitz 1986 99 S. (Staatliche Planungen ; 6)
- Ernst, Georg; Moussiopoulos, Nicolas; Zellner, Klaus
- Simulation der Diffusion von Schadstoffen und der Ausbildung photochemischen Smogs in Ballungsgebieten
- Karlsruhe: Kernforschungszentrum 1986 58 S. (KfK-PEF ; 8)
- Bläsius, Karl-Hans
- Construction of equality graphs
- Kaiserslautern: Fachb. Informatik, Univ. 1986 23 S. (Seki Report. SR ; 86,1)
- Bläsius, Karl Hans
- Equality reasoning based on graphs
- 1986 162 S.
- Threuter, Christina
- Mainz bleibt Mainz? : Überlegungen zur Stadtgestalt
- Mainz: Backoffen 1984 138 S.
- Linn, R.
- Kompositionsvollständigkeit von Algebren mit (m,n)-stelligen Operationen
- Giessen: Selbstverl. des Math. Inst. 1983 115 S. (Mitteilungen aus dem Mathematischen Seminar Giessen ; 160)
- Gemmar, Peter; Palomino, Faustino
- Untersuchung von Prozessorstrukturen für die Bildverarbeitung
- Als Ms. gedr. Aufl. Eggenstein-Leopoldshafen: Fachinformationszentrum Energie, Physik, Mathematik 1981 91 S.
- Fremd, R.
- Die Lösung der reaktorkinetischen Gleichungen in zwei und drei Dimensionen mit der Methode der finiten Elemente
- Stuttgart: Inst. für Kernenergetik und Energiesysteme, Univ. 1981 126 S. (Bericht ; 4-100)