Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
9730 Publications
2014 | Dissertation | LibreCat-ID: 51696
Werth G. Ziehen und Beweisen mit DGS. Welche Beweiskraft haben für Studierende die Erkenntnisse, die sie im Zugmodus gewinnen?; 2014.
LibreCat
| Download (ext.)
2014 | Journal Article | LibreCat-ID: 32025
Küster B. Discontinuity of the Fuglede-Kadison determinant on a group von Neumann algebra. Communications in Mathematics. 2014;22(2):141-149.
LibreCat
2014 | Book | LibreCat-ID: 48384
Wessel L. Fach-und sprachintegrierte Förderung durch Darstellungsvernetzung und Scaffolding: ein Entwicklungsforschungsprojekt zum Anteilbegriff. Vol 19. Springer-Verlag; 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 25164
Becker M, Müller W, Stroop J, Kiffmeier U. HeroeS - A Framework for Heterogeneous Software-Intensive System Design with SystemC. Design, Automation and Test in Europe DATE, University Booth, Dresden. Published online 2014.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25269
Khaluf Y, Birattari M, Rammig F-J. Probabilistic Analysis of Long-term Swarm Performance under Spatial Interferences. In: Theory and Practice of Natural Computing, Nr. 8273, 2nd International Conference on the Theory and Practice of Natural Computing, TPNC 2013. Vol 8273. Theory and Practice of Natural Computing, Nr. 8273. Springer; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25270
Joy M tech. MM, Müller W, Rammig F-J. Early Phase Memory Leak Detection in Embedded Software Designs with Virtual Memory Management Model. In: Proceedings of AVICPS 2013, Dez. 2013 IEEE Computer Society,. Linköping University Electronic Press; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25271
He D, Müller W. AN ENERGY-EFFICIENT HEURISTIC FOR HARD REAL- TIME SYSTEM ON MULTI-CORE PROCESSORS. In: Proceedings of International Conference on Applied Computing (AC). ; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25273
Wehrmeister MA, Pereira CE, Rammig F-J. Aspect-Oriented Model-Driven Engineering for Embedded Systems Applied to Automation Systems. In: IEEE Trans. on Industrial Informatics Vol. 9 (No. 4). ; 2013:2373-2386.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25274
Khaluf Y, Rammig F-J. Task Allocation Strategy for Time-Constrained Tasks in Robots Swarms. In: ECAL 2013, 12th European Conference on Artificial Life. ; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25277
Farshizadeh E, Briese H, Steinmann D, et al. Simulationsgestützter Entwurf für Elektrofahrzeuge. In: 8. Dortmunder Autotag, Sep. 2013. ; 2013.
LibreCat