Search
Now showing items 1-10 of 29
Jahresbericht der Universität Ulm 2012
Ebeling, Karl Joachim (2013)
Bericht
kiz Jahresbericht 2012
Hölting, Guido (2013)
Bericht
Facebook für Ältere
Bardroff, Otto et al. (2013)
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
Synfire graphs: from spike patterns to automata of spiking neurons
Wennekers, Thomas (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
Project report - Creating the USPG collection at Bodleian Library Oxford
Seemann, Dominik (2013)
Bericht