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 75, no. 3 (2003): 177–83. https://doi.org/10.1002/cite.200390035.
LibreCat
| DOI
2003 | Journal Article | LibreCat-ID: 26159
Artelt, C., Hans-Joachim Schmid, and W. Peukert. “On the Relevance of Accounting for the Evolution of the Fractal Dimension in Aerosol Process Simulations.” Journal of Aerosol Science 34, no. 5 (2003): 511–34. https://doi.org/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.” In Proc. 5th Conference on Real Numbers and Computers (RNC5), INRIA, 47–64, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 26277
Ziegler, Martin. “Computable Operators on Regular Sets.” In Computability and Complexity in Analysis, 302-8/2003:389–406. Informatik Berichte, 2003.
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 2 (2003): 13–15.
LibreCat
2003 | Book Chapter | LibreCat-ID: 26818
Hellmich, Frank, and Barbara Moschner. “Was interessiert Grundschulkinder an Mathematikaufgaben?” In Beiträge zum Mathematikunterricht 2003, edited by Hans-Wolfgang Henn, 285–88. Hildesheim: Franzbecker, 2003.
LibreCat
2003 | Journal Article | LibreCat-ID: 3236
Wehrheim, Heike. “Behavioral Subtyping Relations for Active Objects.” Formal Methods in System Design, no. 2 (2003): 143--170. https://doi.org/10.1023/A:1024764232069.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3237
Wehrheim, Heike. “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, edited by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, and Willem P. de Roever, 330--343. Lecture Notes in Computer Science, 2003. https://doi.org/10.1007/978-3-540-30101-1_16.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3238
Wehrheim, Heike. “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, edited by Elie Najm, Uwe Nestmann, and Perdita Stevens, 79--93. Lecture Notes in Computer Science, 2003. https://doi.org/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.” 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, edited by Elie Najm, Uwe Nestmann, and Perdita Stevens, 229--243. Lecture Notes in Computer Science, 2003. https://doi.org/10.1007/978-3-540-39958-2_16.
LibreCat
| DOI