Search
Now showing items 1-10 of 29
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
kiz Jahresbericht 2012
Hölting, Guido (2013)
Bericht
Facebook für Ältere
Bardroff, Otto et al. (2013)
Bericht
Jahresbericht der Universität Ulm 2012
Ebeling, Karl Joachim (2013)
Bericht
Theorems from compiler verification: a problem set for automated theorem provers
Schellhorn, Gerhard; Reif, Wolfgang (2013)
Bericht
Variable Migration von Workflows in ADEPT
Bauer, Thomas; Dadam, Peter (2013)
Bericht
Formal verification of a coordinated atomic action based design
Canver, Ercüment (2013)
Bericht
Proving properties of directed graphs: a problem set for automated theorem provers
Schellhorn, Gerhard (2013)
Bericht
Synfire graphs: from spike patterns to automata of spiking neurons
Wennekers, Thomas (2013)
Bericht
A formal semantics of time patterns for process-aware information systems
Lanz, Andreas; Reichert, Manfred; Weber, Barbara (2013)
Bericht