(1 - 6 von 6
)
Jannasch und Lenze vorn | Golf
www.hna.de
Im Nearest to the Pin gewannen Anne Zerrenner und Patrick Sittel. Mit dem Turnier von Krieger und Schramm, ausgetragen als Vierer mit Auswahldrive, ging die Golfwoche zu Ende Golfer aus
MBMV 2017
www.informatik.uni-bremen.de
Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen” ... Patrick Sittel, Martin Kumm, Konrad Möller, Martin Hardieck and Peter Zipf High-Level Synthesis for Model-Based Design with Automatic Folding including Combined Common Subcircuits:
Euro-Par | Conference | International European Conference on...
2019.euro-par.org
Julian Oppermann, Patrick Sittel, Martin Kumm, Melanie Reuter-Oppermann, Andreas Koch, Oliver Sinnen. Many of today's applications in parallel and ...
FG RSS-VERIFY - Gesellschaft für Informatik eVfg-rss-verify.gi.de › veranstaltung › methoden-und-beschreibungssprachen...
fg-rss-verify.gi.de
Universität Ulm; Patrick Sittel, Thomas Schönwälder, Martin Kumm and Peter Zipf ScaLP: A Light-Weighted (MI)LP-Library Universität Kassel. 17: :10.
sortiert nach Relevanz / Datum