251 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik 2
zu den Filteroptionen251 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik
2
Graph transformation planning with time and concurrency
Elektronische Ressource, Paderborn, 2016Group theoretical aspects of Gödel's cosmological model
In: Jahrbuch der Gödel Gesellschaft, Jg. 1991, S. 3-11Hamiltonian structure and integrability
In: Nonlinear equations in the applied sciences (Mathematics in science and engineering : 185), Jg. 1992, S. 211-256High power LLC resonant converter optimized for high efficiency and industrial use
Elektronische Ressource, Paderborn, 2016How to find long paths efficiently
In: Annals of Discrete Mathematics, Jg. 25.1985, S. 239-254The 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-273Induction-based Verification of Timed Systems
Elektronische Ressource, Paderborn, 2016An 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