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
W. Peukert and H.-J. Schmid, “Herausforderungen für die Lehre am Beispiel der mechanischen Verfahrenstechnik,” Chemie Ingenieur Technik, vol. 75, no. 3, pp. 177–183, 2003, doi: 10.1002/cite.200390035.
LibreCat | DOI
 

2003 | Journal Article | LibreCat-ID: 26159
C. Artelt, H.-J. Schmid, and W. Peukert, “On the relevance of accounting for the evolution of the fractal dimension in aerosol process simulations,” Journal of Aerosol Science, vol. 34, no. 5, pp. 511–534, 2003, doi: 10.1016/s0021-8502(03)00005-3.
LibreCat | DOI
 

2003 | Conference Paper | LibreCat-ID: 26263
M. Ziegler, “Stability versus Speed in a Computable Algebraic Model,” in Proc. 5th Conference on Real Numbers and Computers (RNC5), INRIA, 2003, pp. 47–64.
LibreCat
 

2003 | Conference Paper | LibreCat-ID: 26277
M. Ziegler, “Computable Operators on Regular Sets,” in Computability and Complexity in Analysis, 2003, vol. 302–8/2003, pp. 389–406.
LibreCat
 

2003 | Journal Article | LibreCat-ID: 26815
M. Grüßing and F. Hellmich, “Viele Inhalte, viele Kontexte, viele Aktivitäten – eine Rahmenkonzeption für Sachaufgaben,” Grundschulunterricht, vol. 2, pp. 13–15, 2003.
LibreCat
 

2003 | Book Chapter | LibreCat-ID: 26818
F. Hellmich and B. Moschner, “Was interessiert Grundschulkinder an Mathematikaufgaben?,” in Beiträge zum Mathematikunterricht 2003, H.-W. Henn, Ed. Hildesheim: Franzbecker, 2003, pp. 285–288.
LibreCat
 

2003 | Journal Article | LibreCat-ID: 3236
H. Wehrheim, “Behavioral Subtyping Relations for Active Objects,” Formal Methods in System Design, no. 2, pp. 143--170, 2003.
LibreCat | DOI
 

2003 | Conference Paper | LibreCat-ID: 3237
H. Wehrheim, “Preserving Properties Under Change,” in 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
 

2003 | Conference Paper | LibreCat-ID: 3238
H. Wehrheim, “Inheritance of Temporal Logic Properties,” in 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
 

2003 | Conference Paper | LibreCat-ID: 3239
H. Rasch and H. Wehrheim, “Checking Consistency in {UML} Diagramms: Classes and State Machines,” in 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
 

Filters and Search Terms

year=2003

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed