Czubayko, R. (2002). Rechnerinterne Repräsentation von informationsverarbeitenden Lösungselementen für die verteilte kooperative Produktentwicklung in der Mechatronik (Vol. 111). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat: /record/24598

Goldschmidt, S. (2002). Anwendung mengenorientierter numerischer Methoden zur Analyse nichtlinearer dynamischer Systeme am Beispiel der Spurführungsdynamik von Schienenfahrzeugen (Vol. 112). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat: /record/24599

Lehmann, T., &; Winter, K. (2002). Towards Device Driver Synthesis (Vol. 113). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat: /record/24600

Härtel, W. (2002). Issueorientierte Frühaufklärung (Vol. 114). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat: /record/24601

Betz, S. (2002). Das Lebensarbeitszeitkonzept als Alternative zur Mehrarbeitszeitzuschlagslösung. Zeitschrift für Planung, 13, 47–71.
LibreCat: /record/2589

Betz, S. (2002). Kontrollsystem. In H.-U. Küpper und A. Wagenhofer (Ed.), Handwörterbuch Unternehmensrechnung und Controlling (4th ed., pp. 986–995). Stuttgart.
LibreCat: /record/2590

Schiel, A., Weber, A. P., Kasper, G., &; Schmid, H.-J. (2002). In-Situ Determination of the Charging of Nanometer and Submicron Particles at High Temperatures. Particle &; Particle Systems Characterization, 19(6), 410–418.https://doi.org/10.1002/ppsc.200290004 
LibreCat: /record/26160
DOI: 10.1002/ppsc.200290004

Schmid, H.-J., Veith, S., &; Umhauer, H. (2002). In-Situ Measurement of Local Particle Flux Densities in a Complex Two-Phase Flow. Particle &; Particle Systems Characterization, 19(3), Article 203.https://doi.org/10.1002/1521-4117(200207)19:3&#60;203::aid-ppsc203&#62;3.0.co;2-7 
LibreCat: /record/26161
DOI: 10.1002/1521-4117(200207)19:3<203::aid-ppsc203>3.0.co;2-7

Schmid, H.-J. (2002). Trennprozesse: Abschnitt 7.5.3. In Handbuch der Mechanischen Verfahrenstechnik.https://doi.org/10.1002/3527603352.ch7r 
LibreCat: /record/26169
DOI: 10.1002/3527603352.ch7r

Volbert, K. (2002). A simulation environment for ad hoc networks using sector subdivision. Proceedings 10th Euromicro Workshop on Parallel, Distributed and Network-Based Processing.https://doi.org/10.1109/empdp.2002.994324 
LibreCat: /record/26412
DOI: 10.1109/empdp.2002.994324

Reiss, K., Hellmich, F., &; Thomas, J. (2002). Individuelle und schulische Bedingungsfaktoren für Argumentationen und Beweise im Mathematikunterricht. Zeitschrift für Pädagogik, 45, 51–64.https://doi.org/10.25656/01:3938 
LibreCat: /record/26826
DOI: 10.25656/01:3938

Hellmich, F., &; Hartmann, J. (2002). Materialgebundene versus computerunterstützte Förderung räumlicher Kompetenzen in der Grundschule. In W. Peschek (Ed.), Beiträge zum Mathematikunterricht 2002 (pp. 211–214). Franzbecker.
LibreCat: /record/26827

Hellmich, F., Hartmann, J., &; Reiss , K. (2002). Bedingungen für das Argumentieren und Begründen im Geometrieunterricht der Sekundarstufe I. In W. Peschek (Ed.), Beiträge zum Mathematikunterricht 2002 (pp. 231–234). Franzbecker.
LibreCat: /record/26831

Reiss, K., Hellmich, F., &; Reiss, M. (2002). Reasoning and proof in geometry: Prerequisites of knowledge acquisition in secondary school students. In A. D. Cockburn &; E. Nardi (Eds.), Proceedings of the 26th Conference of the International Group for the Psychology of Mathematics Education (pp. 113–120).  University of East Anglia.
LibreCat: /record/26835

Hellmich, F., &; Hartmann, J. (2002). Aspekte einer Förderung räumlicher Kompetenzen im Geometrieunterricht. Ergebnisse einer Trainingsstudie mit Sonderschülerinnen und -schülern. Zentralblatt für Didaktik der Mathematik, 34(2), 56–61.
LibreCat: /record/26838

Hellmich, F., Reiss, K., &; Thomas, J. (2002). Begründen und Beweisen in der Geometrie. Bedingungen des Wissensaufbaus bei Schülerinnen und Schülern der Sekundarstufe. Ergebnisbericht an die DFG. Carl von Ossietzky Universität Oldenburg.
LibreCat: /record/26842

Wehrheim, H. (2002). Relating State-based and Behaviour-oriented Subtyping. Nord. J. Comput., (4), 405--435.
LibreCat: /record/3241

Olderog, E.-R., &; Wehrheim, H. (2002). Specification and Inheritance in CSP-OZ. In F. S. de Boer, M. M. Bonsangue, S. Graf, &; W. P. de Roever (Eds.), Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures (pp. 361--379).https://doi.org/10.1007/978-3-540-39656-7_15 
LibreCat: /record/3242
DOI: 10.1007/978-3-540-39656-7_15

Wehrheim, H. (2002). Checking Behavioural Subtypes via Refinement. In B. Jacobs &; A. Rensink (Eds.), Formal Methods for Open Object-Based Distributed Systems V, IFIP T/W.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), March 20-22, 2002, Enschede, The Netherlands (pp. 79--93).
LibreCat: /record/3243

Harteis, C. (2002). Kompetenzfördernde Arbeitsbedingungen. Wiesbaden: Gabler.
LibreCat: /record/3645