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

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

Towards Device Driver Synthesis
T. Lehmann, K. Winter, Towards Device Driver Synthesis, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2002.
LibreCat: /record/24600

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

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

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

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

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

Trennprozesse: Abschnitt 7.5.3
H.-J. Schmid, in: Handbuch Der Mechanischen Verfahrenstechnik, 2002.
LibreCat: /record/26169
DOI: 10.1002/3527603352.ch7r

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

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

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

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

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

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

Begründen und Beweisen in der Geometrie. Bedingungen des Wissensaufbaus bei Schülerinnen und Schülern der Sekundarstufe. Ergebnisbericht an die DFG
F. Hellmich, K. Reiss, J. Thomas, 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, Oldenburg, 2002.
LibreCat: /record/26842

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

Specification and Inheritance in CSP-OZ
E.-R. Olderog, H. Wehrheim, 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, 2002, pp. 361--379.
LibreCat: /record/3242
DOI: 10.1007/978-3-540-39656-7_15

Checking Behavioural Subtypes via Refinement
H. Wehrheim, 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, 2002, pp. 79--93.
LibreCat: /record/3243

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