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
Herausforderungen für die Lehre am Beispiel der mechanischen Verfahrenstechnik
W. Peukert, H.-J. Schmid, Chemie Ingenieur Technik 75 (2003) 177–183.
LibreCat
| DOI
W. Peukert, H.-J. Schmid, Chemie Ingenieur Technik 75 (2003) 177–183.
2003 | Journal Article | LibreCat-ID: 26159
On the relevance of accounting for the evolution of the fractal dimension in aerosol process simulations
C. Artelt, H.-J. Schmid, W. Peukert, Journal of Aerosol Science 34 (2003) 511–534.
LibreCat
| DOI
C. Artelt, H.-J. Schmid, W. Peukert, Journal of Aerosol Science 34 (2003) 511–534.
2003 | Conference Paper | LibreCat-ID: 26263
Stability versus Speed in a Computable Algebraic Model
M. Ziegler, in: Proc. 5th Conference on Real Numbers and Computers (RNC5), INRIA, 2003, pp. 47–64.
LibreCat
M. Ziegler, in: Proc. 5th Conference on Real Numbers and Computers (RNC5), INRIA, 2003, pp. 47–64.
2003 | Conference Paper | LibreCat-ID: 26277
Computable Operators on Regular Sets
M. Ziegler, in: Computability and Complexity in Analysis, 2003, pp. 389–406.
LibreCat
M. Ziegler, in: Computability and Complexity in Analysis, 2003, pp. 389–406.
2003 | Journal Article | LibreCat-ID: 26815
Viele Inhalte, viele Kontexte, viele Aktivitäten – eine Rahmenkonzeption für Sachaufgaben
M. Grüßing, F. Hellmich, Grundschulunterricht 2 (2003) 13–15.
LibreCat
M. Grüßing, F. Hellmich, Grundschulunterricht 2 (2003) 13–15.
2003 | Book Chapter | LibreCat-ID: 26818
Was interessiert Grundschulkinder an Mathematikaufgaben?
F. Hellmich, B. Moschner, in: H.-W. Henn (Ed.), Beiträge zum Mathematikunterricht 2003, Franzbecker, Hildesheim, 2003, pp. 285–288.
LibreCat
F. Hellmich, B. Moschner, in: H.-W. Henn (Ed.), Beiträge zum Mathematikunterricht 2003, Franzbecker, Hildesheim, 2003, pp. 285–288.
2003 | Journal Article | LibreCat-ID: 3236
Behavioral Subtyping Relations for Active Objects
H. Wehrheim, Formal Methods in System Design (2003) 143--170.
LibreCat
| DOI
H. Wehrheim, Formal Methods in System Design (2003) 143--170.
2003 | Conference Paper | LibreCat-ID: 3237
Preserving Properties Under Change
H. Wehrheim, 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, 2003, pp. 330--343.
LibreCat
| DOI
H. Wehrheim, 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, 2003, pp. 330--343.
2003 | Conference Paper | LibreCat-ID: 3238
Inheritance of Temporal Logic Properties
H. Wehrheim, 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, 2003, pp. 79--93.
LibreCat
| DOI
H. Wehrheim, 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, 2003, pp. 79--93.
2003 | Conference Paper | LibreCat-ID: 3239
Checking Consistency in {UML} Diagramms: Classes and State Machines
H. Rasch, H. Wehrheim, 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, 2003, pp. 229--243.
LibreCat
| DOI
H. Rasch, H. Wehrheim, 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, 2003, pp. 229--243.