90 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik 1
zu den Filteroptionen90 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik
1
Coupling of completely integrable systems
the perturbation bundleIn: Applications of analytic and geometric methods to nonlinear differential equations : [proceedings of the NATO Advanced Research Workshop on Applications of Analytic and Geometric Methods to Nonlinear Differential Equations, Exeter, U.K., July 14 - 19, 1992] (NATO ASI series : Series C, Computer and physical sciences : 413), Jg. 1993, S. 125-138
Development and programming of deductive databases with PROTOS-L
In: How knowledge engineering methods can be applied to software engineering, and how software engineering methods can be applied to knowledge engineering, Jg. 1990, S. 171-176Die didaktischen und pädagogischen Erwartungen an den Computer klein halten!
In: Kleincomputer und Mathematikunterricht, Jg. 1989, S. 124-135Disintegration methods in mathematical economics
In: Game theory and related topics : proceedings of the Seminar on Game Theory and Related Topics, Bonn/Hagen, 26 - 29 September, 1978, Jg. 1981, S. 193-204The dynamical behavior of inteacting solitons
In: Nonlinear evolutions : proceedings of the 4. Workshop on Nonlinear Evolution Equations and Dynamical Systems, Balaruc-les-Bains, France, 11 - 25 June 1987, Jg. 1988, S. 13-32Effektiver Zinssatz, Preisangabenverordnung, Anspardarlehen
In: Beiträge zum Mathematikunterricht, Jg. 1987, S. 87-90Eigenschaften von Programmiersprachen
definiert durch attributierte GrammatikenIn: Programmiersprachen und Programmentwicklung, Jg. 6, S. 157-174Elementary actions on an extended entity-relationship database
In: Graph grammars and their application to computer science, Jg. 1991, S. 344-362The endocategory of a module
In: Representation theory of algebras (Conference proceedings / Canadian Mathematical Society : 18), Jg. 1996, S. 419-432Executable 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-376From 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 hyperboloid as ordered symmetric space
In: Seminar Sophus Lie, Jg. 1.1991, S. 135-141Implementation 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-273An inference engine for function free logic programs
In: Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, Jg. 1990, S. 885-890