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., and Hans-Joachim Schmid. “Herausforderungen Für Die Lehre Am Beispiel Der Mechanischen Verfahrenstechnik.” Chemie Ingenieur Technik, vol. 75, no. 3, 2003, pp. 177–83, doi:10.1002/cite.200390035.
LibreCat
| DOI
2003 | Journal Article | LibreCat-ID: 26159
Artelt, C., et al. “On the Relevance of Accounting for the Evolution of the Fractal Dimension in Aerosol Process Simulations.” Journal of Aerosol Science, vol. 34, no. 5, 2003, pp. 511–34, doi:10.1016/s0021-8502(03)00005-3.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 26263
Ziegler, Martin. “Stability versus Speed in a Computable Algebraic Model.” Proc. 5th Conference on Real Numbers and Computers (RNC5), INRIA, 2003, pp. 47–64.
LibreCat
2003 | Conference Paper | LibreCat-ID: 26277
Ziegler, Martin. “Computable Operators on Regular Sets.” Computability and Complexity in Analysis, vol. 302-8/2003, 2003, pp. 389–406.
LibreCat
2003 | Journal Article | LibreCat-ID: 26815
Grüßing, Meike, and Frank Hellmich. “Viele Inhalte, viele Kontexte, viele Aktivitäten – eine Rahmenkonzeption für Sachaufgaben.” Grundschulunterricht, vol. 2, 2003, pp. 13–15.
LibreCat
2003 | Book Chapter | LibreCat-ID: 26818
Hellmich, Frank, and Barbara Moschner. “Was interessiert Grundschulkinder an Mathematikaufgaben?” Beiträge zum Mathematikunterricht 2003, edited by Hans-Wolfgang Henn, Franzbecker, 2003, pp. 285–88.
LibreCat
2003 | Journal Article | LibreCat-ID: 3236
Wehrheim, Heike. “Behavioral Subtyping Relations for Active Objects.” Formal Methods in System Design, no. 2, 2003, pp. 143--170, doi:10.1023/A:1024764232069.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3237
Wehrheim, Heike. “Preserving Properties Under Change.” Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures, edited by Frank S. de Boer et al., 2003, pp. 330--343, doi:10.1007/978-3-540-30101-1_16.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3238
Wehrheim, Heike. “Inheritance of Temporal Logic Properties.” Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, edited by Elie Najm et al., 2003, pp. 79--93, doi:10.1007/978-3-540-39958-2_6.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3239
Rasch, Holger, and Heike Wehrheim. “Checking Consistency in {UML} Diagramms: Classes and State Machines.” Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, edited by Elie Najm et al., 2003, pp. 229--243, doi:10.1007/978-3-540-39958-2_16.
LibreCat
| DOI