6 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik
Klassifikation
Schliessen

Generating processors from specifications of instruction sets
Dreesen, Ralf
2011
Generische Refactoring-Spezifikation für Korrektheitsbeweise in mehrsichtigen Modellsprachen
Ruhroth, Thomas
2011
Geometric analysis of the condition of the convex feasibility problem
Amelunxen, Dennis
2011
Geometric complexity theory, tensor rank, and Littlewood-Richardson coefficients
Ikenmeyer, Christian
2012
Goal-oriented business process engineering
Nagel, Benjamin
2015
Graph transformation planning with time and concurrency
Ziegert, Steffen ; Wehrheim, Heike ; Schäfer, Wilhelm
Elektronische Ressource, Paderborn, 2016