447 Titles in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik 1
jump to filter-options447 Titles in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik
1
Bemerkungen zu den Minimumsätzen von H. Bauer
In: Archiv der Mathematik, Vol. 1971, page 287-290
Benutzerschnittstelle und Architektur der integrierten Datenbankentwurfsumgebung CADDY
In: Abstracts des Workshops Grundlagen von Datenbanken, Vol. 1989, page 1-2
Bericht vom 4. Weltkongreß über Computer im Unterricht
In: Zentralblatt für Didaktik der Mathematik, Vol. 1986, page 31-33
Ein Beweisverfahren für Datenbankprädikate
In: Proc. of the German Workshop on Artificial Intelligence, GW AI-85, Informatik-Fachberichte 118, Vol. 9.1985, page 164-175


Blockkorrespondenzen und p'-Normalteiler
In: Archiv der Mathematik, Vol. 1974, page 483-487
CAD auf Personal Computern
In: Hard and Soft, Vol. 1988 Issue Mai/Juni, page 60-67
CADDY-O
syntaxgestütztes, graphisches Entwerfen konzeptioneller DatenbankschemataIn: Notizen zu interaktiven Systemen, Vol. 17.1989 Issue 18, page 1-16
Characterizations of time-bounded computations by limited primitive recursion
In: Automata, languages and programming, Vol. 2.1974, page 280-293



A comparison of coherent and differentiaIly coherent detection schemes for fading channels
In: Telecommunications freedom - technology on the move / Vehicular Technology Conference <38, 1988, Philadelphia, Pa.>, Vol. 1988, page 364-370
Comparison of the two-soliton collision for several nonlinear evolution equations
In: Letters in Mathematical Physics, Vol. 1980, page 177-183
Compilation for instruction parallel processors
In: Compiler compilers, Vol. 1990, page 179-192

The complexity of embedding graphs into binary trees
In: Fundamentals of computation theory, Vol. 5, page 300-309
Contra Logo
In: Die Grundschule, Vol. 1986, page 34-35
Controllability on real reductive Lie groups
In: Mathematische Zeitschrift, Vol. 1992, page 463-466
