90 Titles in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik 1
jump to filter-options90 Titles in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik
1
About the derivation languages of grammars and machines
In: Automata, languages and programming, Vol. 4.1977, page 337-351
Abstract interfaces for compiler generating tools
In: Compiler compilers and high speed compilation, Vol. 1989, page 103-114Advanced hysteresis control of brushless DC Motors
In: Proceedings of Germany-Korea Symposium, page 55-59Elektronische Ressource,ALSI : Eine höhere Programmiersprache zur Transformation von ALGOL-68-Verbunden in SIMULA-Klassen
In: Fachtagung über Programmiersprachen, Vol. 3, page 162-172An alternative dynamical description of quantum systems
In: Quantum groups and related topics : proceedings of the First Max Born Symposium (Mathematical physics studies : 13), Vol. 1992, page 165-178Anschauliches Beweisen im Geometrie-Unterricht
unter besonderer Berücksichtigung von (stetigen) Bewegungen bzw. VerformungenIn: Anschauliches Beweisen, Vol. 1989, page 95-145Applications of Lie semigroups in analysis
In: The analytical and topological theory of semigroups : trends and developments, Vol. 1990, page 27-50The approximation property for weighted function spaces
In: Function Spaces and Dense Approximation : Proc. Conference Bonn 1974 (Bonner Math. Schriften : 81), Vol. 1975, page 3-25The approximation-theoretic localization of Schwartz's approximation property for weighted locally convex function spaces and some examples
In: Functional Analysis, Holomorphy and Approximation Theory (Springer Lecture Notes in Mathematics : 843), Vol. 1981, page 93-149Attribute grammars as a specification method
In: Attribute grammars, applications and systems (Lecture notes in computer science : 545), Vol. 1991, page 16-47Attribute grammars system in a compiler construction environment
In: Attribute grammars, applications and systems, Vol. 1991, page 380-400Attribute inheritance implemented on top of a relational database system
In: Data engineering / International Conference on Data Engineering <6, 1990, Los Angeles, Calif.>, Vol. 1990, page 503-509Ausbildung von Grundvorstellungen und Grundverständnissen
ein tragendes didaktisches Konzept für den Mathematikunterricht, erläutert an Beispielen aus den Sekundarstufen, insbesondere der SIIIn: Beiträge zum Mathematikunterricht, Vol. 1990, page 73-76Ausbildung von Grundvorstellungen und Grundverständnissen
ein tragendes didaktisches Konzept für den Mathematikunterricht, erläutert an Beispielen aus den SekundarstufenIn: Mathematik lehren und lernen : Festschrift für Heinz Griesel, Vol. 1991, page 48-60Benutzerschnittstelle und Architektur der integrierten Datenbankentwurfsumgebung CADDY
In: Abstracts des Workshops Grundlagen von Datenbanken, Vol. 1989, page 1-2Ein 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-175Characterizations of time-bounded computations by limited primitive recursion
In: Automata, languages and programming, Vol. 2.1974, page 280-293Compilation for instruction parallel processors
In: Compiler compilers, Vol. 1990, page 179-192The complexity of embedding graphs into binary trees
In: Fundamentals of computation theory, Vol. 5, page 300-309Convexity Properties of Graßmannians
In: Seminar Sophus Lie, Vol. 2.1992, page 13-20