221 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik 1
zu den Filteroptionen221 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik
1
Attribute grammars as a specification method
In: Attribute grammars, applications and systems (Lecture notes in computer science : 545), Jg. 1991, S. 16-47
Attribute grammars system in a compiler construction environment
In: Attribute grammars, applications and systems, Jg. 1991, S. 380-400Attribute inheritance implemented on top of a relational database system
In: Data engineering / International Conference on Data Engineering <6, 1990, Los Angeles, Calif.>, Jg. 1990, S. 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, Jg. 1990, S. 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, Jg. 1991, S. 48-60The bandwidth-minimization problem for caterpillars with hair length 3 is NP-complete
In: SIAM journal on algebraic and discrete methods, Jg. 7.1986 H. 4, S. 505-512Die Begrifflichkeit des Bezugsfachs in der angewandten Mathematik und ihrer Didaktik diskutiert am Beispiel des internen Zinssatzes von Investitionen
In: Journal für Mathematik-Didaktik, Jg. 1988, S. 205-204Eine Bemerkung zu Derivationen von Potenzreihen
In: Mathematisch Physikalische Semesterberichte, Jg. 1980, S. 143-145Bemerkungen zu den Minimumsätzen von H. Bauer
In: Archiv der Mathematik, Jg. 1971, S. 287-290Benutzerschnittstelle und Architektur der integrierten Datenbankentwurfsumgebung CADDY
In: Abstracts des Workshops Grundlagen von Datenbanken, Jg. 1989, S. 1-2Bericht vom 4. Weltkongreß über Computer im Unterricht
In: Zentralblatt für Didaktik der Mathematik, Jg. 1986, S. 31-33Ein Beweisverfahren für Datenbankprädikate
In: Proc. of the German Workshop on Artificial Intelligence, GW AI-85, Informatik-Fachberichte 118, Jg. 9.1985, S. 164-175Blockkorrespondenzen und p'-Normalteiler
In: Archiv der Mathematik, Jg. 1974, S. 483-487CAD auf Personal Computern
In: Hard and Soft, Jg. 1988 H. Mai/Juni, S. 60-67CADDY-O
syntaxgestütztes, graphisches Entwerfen konzeptioneller DatenbankschemataIn: Notizen zu interaktiven Systemen, Jg. 17.1989 H. 18, S. 1-16Characterizations of time-bounded computations by limited primitive recursion
In: Automata, languages and programming, Jg. 2.1974, S. 280-293A 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.>, Jg. 1988, S. 364-370Comparison of the two-soliton collision for several nonlinear evolution equations
In: Letters in Mathematical Physics, Jg. 1980, S. 177-183Compilation for instruction parallel processors
In: Compiler compilers, Jg. 1990, S. 179-192The complexity of embedding graphs into binary trees
In: Fundamentals of computation theory, Jg. 5, S. 300-309