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