Wimmer, Ralf
[HerausgeberIn]
;
Gesellschaft für Informatik,
Informationstechnische Gesellschaft,
Gesellschaft Mikroelektronik, Mikro- und Feinwerktechnik,
MBMV 19. 2016 Freiburg im Breisgau
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
University of Freiburg: FreiDok, 2011
Mayer, Ralf
[VerfasserIn]
;
Thompson, Christiane
[Sonstige Person, Familie und Körperschaft];
Wimmer, Michael
[Sonstige Person, Familie und Körperschaft]
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
University of Freiburg: FreiDok, 2018
Erschienen in:Measurement, Modelling and Evaluation of Computing Systems. - Cham : German, Reinhard (Hrsg., u.a.), 2018. - 19-34, ISBN: 978-3-319-74946-4
Supplie, Lotti Marianna
[VerfasserIn]
;
Nave, Klaus-Armin
[AkademischeR BetreuerIn];
Wimmer, Ernst A.
[Sonstige Person, Familie und Körperschaft];
Heinrich, Ralf
[Sonstige Person, Familie und Körperschaft];
Ehrenreich, Hannelore
[Sonstige Person, Familie und Körperschaft]
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Göttingen: Niedersächsische Staats- und Universitätsbibliothek Göttingen, 2011
Li, Jianwei
[VerfasserIn]
;
Wimmer, Ernst
[AkademischeR BetreuerIn];
Wimmer, Ernst
[Sonstige Person, Familie und Körperschaft];
Bucher, Gregor
[Sonstige Person, Familie und Körperschaft];
Schuh, Reinhard
[Sonstige Person, Familie und Körperschaft];
Stumpner, Andreas
[Sonstige Person, Familie und Körperschaft];
Heinrich, Ralf
[Sonstige Person, Familie und Körperschaft];
Dosch, Roland
[Sonstige Person, Familie und Körperschaft]
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
2013
Supplie, Lotti Marianna
[VerfasserIn]
;
Nave, Klaus-Armin
[AkademischeR BetreuerIn];
Wimmer, Ernst
[Sonstige Person, Familie und Körperschaft];
Heinrich, Ralf
[Sonstige Person, Familie und Körperschaft];
Ehrenreich, Hannelore
[Sonstige Person, Familie und Körperschaft]
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
2016
Ahmed, Hassan Mutasim Mohammed
[VerfasserIn]
;
Wimmer, Ernst A.
[AkademischeR BetreuerIn];
Wimmer, Ernst A.
[Sonstige Person, Familie und Körperschaft];
Bucher, Gregor
[Sonstige Person, Familie und Körperschaft];
Schuh, Reinhard
[Sonstige Person, Familie und Körperschaft];
Heinrich, Ralf
[Sonstige Person, Familie und Körperschaft];
Jackson, Daniel John
[Sonstige Person, Familie und Körperschaft];
Dosch, Roland
[Sonstige Person, Familie und Körperschaft]
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Göttingen: Niedersächsische Staats- und Universitätsbibliothek Göttingen, 2020
Wimmer, Ralf
[VerfasserIn];
Karrenbauer, Andreas
[VerfasserIn];
Becker, Ruben
[VerfasserIn];
Scholl, Christoph
[VerfasserIn];
Becker, Bernd
[VerfasserIn]
;
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen Workshop 21 2018 Tübingen
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
University of Freiburg: FreiDok, 2017
Erschienen in:Theory and applications of satisfiability testing - SAT 2017 : 20th International Conference,. - Cham, Switzerland : Gaspers, Serge (Hrsg., u.a.), 2017. - 326-343, ISBN: 978-3-319-66262-6
Khan, Niamat
[VerfasserIn]
;
Groß, Uwe
[AkademischeR BetreuerIn];
Pöggeler, Stefanie
[Sonstige Person, Familie und Körperschaft];
Asif, Abdul Rahman
[Sonstige Person, Familie und Körperschaft];
Dressel, Ralf
[Sonstige Person, Familie und Körperschaft];
Kramer, Wilfried
[Sonstige Person, Familie und Körperschaft];
Rohlfs, Marko
[Sonstige Person, Familie und Körperschaft];
Wimmer, Ernst A.
[Sonstige Person, Familie und Körperschaft]
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Göttingen: Niedersächsische Staats- und Universitätsbibliothek Göttingen, 2016
Galinski, Sabrina
[VerfasserIn]
;
Rossner, Moritz
[AkademischeR BetreuerIn];
Rossner, Moritz
[Sonstige Person, Familie und Körperschaft];
Göpfert, Martin
[Sonstige Person, Familie und Körperschaft];
Wimmer, Ernst A.
[Sonstige Person, Familie und Körperschaft];
Sereda, Michael
[Sonstige Person, Familie und Körperschaft];
Heinrich, Ralf
[Sonstige Person, Familie und Körperschaft];
Willig, Katrin
[Sonstige Person, Familie und Körperschaft]