Search
Now showing items 1-10 of 189
Case study: engine control application
Frey, Patrick (2011)
Bericht
Towards a UML profile on formal semantics for modeling multimodal interactive systems - concepts for modeling interactive systems using standard tools of software engineering
Dausend, Marcel (2012)
Bericht
Flexibilisierung Service-orientierter Architekturen
Buchwald, Stephan; Bauer, Thomas; Reichert, Manfred (2012)
Bericht
Ensuring business process compliance along the process life cycle
Knuplesch, David; Reichert, Manfred (2012)
Bericht
News in the history of astronomy
Keim, Frank (2014)
Bericht
On sets bounded truth-table reducible to P-selective sets
Thierauf, Thomas; Toda, Seinosuke; Watanabe, Osamu (2010)
Bericht
Stellungnahme des Autors zu den Rezensionen zu seinem Buch "Keim, Frank: Die Entdeckung der Jupitermonde 105 Jahre vor Galileo Galilei. - Frankfurt a.M.: Peter Lang, 2009"
Keim, Frank (2013)
Bericht
Mission Copernicus beendet!
Keim, Frank (2019)
Bericht
VHDL-Komplexitätsanalyse
Menhorn, Benjamin; Slomka, Frank (2015)
Bericht
Theorems from compiler verification: a problem set for automated theorem provers
Schellhorn, Gerhard; Reif, Wolfgang (2013)
Bericht