ENDOR - ODENDOR
In: Advanced materials for telecommunication, Jg. 1986, S. 117-124
Evaluation of methods for testing early social cognition from a pragmatic perspective
In: Interdisciplinary themes of sociolinguistic studies / Jiang, Xiaoming (Herausgeber), Seiten 1-16Executable specifications for language implementation
In: Programming language implementation and logic programming, Jg. 1993, S. 1-11Exposed fixpoints in order-structures
In: Aspects of mathematics and its applications, Jg. 1986, S. 359-376Fast algorithms for n-dimensional restrictions of hard problems
In: STOC 1985, Jg. 1985, S. 413-420Five valued quasi Boolean functions
In: Fifth European Meeting on Cybernetics and Systems Research / European Meeting on Cybernetics and Systems Research <5, 1980, Wien>, Jg. 35.1980, S. 2-5From single solitons to auto-Bäcklund transformations and hereditary symmetries
In: Topics in Soliton Theory and exactly solvable nonlinear Equations, Jg. 1987, S. 230-254Function algebras and a theorem of Mergelyan for vector-valued functions
In: Papers from the Summer Gathering on Function Algebras, University of Aarhus (Denmark), Various Publications Series No. 9, Jg. 1969, S. 1-10The GAG-system : A tool for compiler construction
In: Methods and tools for compiler construction, Jg. 1984, S. 165-181Generalized Hewitt-Nachbin spaces arising in state space completions
In: Functional analysis, holomorphy and approximation theory (Lecture notes in mathematics : 843), Jg. 1981, S. 296-318Hamiltonian structure and integrability
In: Nonlinear equations in the applied sciences (Mathematics in science and engineering : 185), Jg. 1992, S. 211-256The hardware description language DACAPO III
In: Fundamentals and standards in hardware description languages, Jg. 1993, S. 395-409Hashing strategies for simulating shared memory on distributed memory machines
In: Parallel architectures and their efficient use : proceedings, Jg. 1993, S. 20-29Hierarchical modular description of VLSI systems
In: Workshop report / VLSI and Software Engineering Workshop <1982, Port Chester, NY>, Jg. 1983, S. 112-116A hybrid knowledge processing architecture
In: Second International Conference on Intelligent Systems Engineering / International Conference on Intelligent Systems Engineering <2, 1994, Harburg, Hamburg>, Jg. 1994, S. 372-377The hyperboloid as ordered symmetric space
In: Seminar Sophus Lie, Jg. 1.1991, S. 135-141Imparting practical skills in software engineering
In: Technik und Informationsgesellschaft, Jg. 1987, S. 517-522The implementation of the computer hardware description language CAP and its applications
In: Proceedings / International Symposium on Hardware Description Languages and their Applications <1979, Palo Alto, CA>, Jg. 1979, S. 138-144Implementation of visit-oriented attribute evaluators
In: Attribute grammars, applications and systems (Lecture notes in computer science : 545), Jg. 1991, S. 114-139Improving the concurrency of integrity checks and write operations
In: Proceedings / ICDT '90, Third International Conference on Database Theory, Paris, France, December 12 - 14, 1990, Jg. 1990, S. 259-273