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.
645 Publications
2003 | Journal Article | LibreCat-ID: 26158
Peukert W, Schmid H-J. Herausforderungen für die Lehre am Beispiel der mechanischen Verfahrenstechnik. Chemie Ingenieur Technik. 2003;75(3):177-183. doi:10.1002/cite.200390035
LibreCat
| DOI
2003 | Journal Article | LibreCat-ID: 26159
Artelt C, Schmid H-J, Peukert W. On the relevance of accounting for the evolution of the fractal dimension in aerosol process simulations. Journal of Aerosol Science. 2003;34(5):511-534. doi:10.1016/s0021-8502(03)00005-3
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 26263
Ziegler M. Stability versus Speed in a Computable Algebraic Model. In: Proc. 5th Conference on Real Numbers and Computers (RNC5), INRIA. ; 2003:47-64.
LibreCat
2003 | Conference Paper | LibreCat-ID: 26277
Ziegler M. Computable Operators on Regular Sets. In: Computability and Complexity in Analysis. Vol 302-8/2003. Informatik Berichte. ; 2003:389-406.
LibreCat
2003 | Journal Article | LibreCat-ID: 26815
Grüßing M, Hellmich F. Viele Inhalte, viele Kontexte, viele Aktivitäten – eine Rahmenkonzeption für Sachaufgaben. Grundschulunterricht. 2003;2:13-15.
LibreCat
2003 | Book Chapter | LibreCat-ID: 26818
Hellmich F, Moschner B. Was interessiert Grundschulkinder an Mathematikaufgaben? In: Henn H-W, ed. Beiträge zum Mathematikunterricht 2003. Franzbecker; 2003:285-288.
LibreCat
2003 | Journal Article | LibreCat-ID: 3236
Wehrheim H. Behavioral Subtyping Relations for Active Objects. Formal Methods in System Design. 2003;(2):143--170. doi:10.1023/A:1024764232069
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3237
Wehrheim H. Preserving Properties Under Change. In: S. de Boer F, M. Bonsangue M, Graf S, P. de Roever W, eds. Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures. Lecture Notes in Computer Science. ; 2003:330--343. doi:10.1007/978-3-540-30101-1_16
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3238
Wehrheim H. Inheritance of Temporal Logic Properties. In: Najm E, Nestmann U, Stevens P, eds. Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings. Lecture Notes in Computer Science. ; 2003:79--93. doi:10.1007/978-3-540-39958-2_6
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3239
Rasch H, Wehrheim H. Checking Consistency in {UML} Diagramms: Classes and State Machines. In: Najm E, Nestmann U, Stevens P, eds. Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings. Lecture Notes in Computer Science. ; 2003:229--243. doi:10.1007/978-3-540-39958-2_16
LibreCat
| DOI