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.
646 Publications
2002 | Dissertation | LibreCat-ID: 24598
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
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.
2002 | Dissertation | LibreCat-ID: 24599
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
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.
2002 | Dissertation | LibreCat-ID: 24600
Towards Device Driver Synthesis
T. Lehmann, K. Winter, Towards Device Driver Synthesis, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2002.
LibreCat
T. Lehmann, K. Winter, Towards Device Driver Synthesis, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2002.
2002 | Dissertation | LibreCat-ID: 24601
Issueorientierte Frühaufklärung
W. Härtel, Issueorientierte Frühaufklärung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2002.
LibreCat
W. Härtel, Issueorientierte Frühaufklärung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2002.
2002 | Journal Article | LibreCat-ID: 2589
Das Lebensarbeitszeitkonzept als Alternative zur Mehrarbeitszeitzuschlagslösung
S. Betz, Zeitschrift für Planung 13 (2002) 47–71.
LibreCat
S. Betz, Zeitschrift für Planung 13 (2002) 47–71.
2002 | Book Chapter | LibreCat-ID: 2590
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
S. Betz, in: H.-U. Küpper und A. Wagenhofer (Ed.), Handwörterbuch Unternehmensrechnung und Controlling, 4th ed., Stuttgart, 2002, pp. 986–995.
2002 | Journal Article | LibreCat-ID: 26160
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
| DOI
A. Schiel, A.P. Weber, G. Kasper, H.-J. Schmid, Particle & Particle Systems Characterization 19 (2002) 410–418.
2002 | Journal Article | LibreCat-ID: 26161
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
| DOI
H.-J. Schmid, S. Veith, H. Umhauer, Particle & Particle Systems Characterization 19 (2002).
2002 | Book Chapter | LibreCat-ID: 26169
Trennprozesse: Abschnitt 7.5.3
H.-J. Schmid, in: Handbuch Der Mechanischen Verfahrenstechnik, 2002.
LibreCat
| DOI
H.-J. Schmid, in: Handbuch Der Mechanischen Verfahrenstechnik, 2002.
2002 | Conference Paper | LibreCat-ID: 26412
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
| DOI
K. Volbert, in: Proceedings 10th Euromicro Workshop on Parallel, Distributed and Network-Based Processing, 2002.
2002 | Journal Article | LibreCat-ID: 26826
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
| DOI
K. Reiss, F. Hellmich, J. Thomas, Zeitschrift für Pädagogik 45 (2002) 51–64.
2002 | Book Chapter | LibreCat-ID: 26827
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
F. Hellmich, J. Hartmann, in: W. Peschek (Ed.), Beiträge zum Mathematikunterricht 2002, Franzbecker, Hild, 2002, pp. 211–214.
2002 | Book Chapter | LibreCat-ID: 26831
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
F. Hellmich, J. Hartmann, K. Reiss , in: W. Peschek (Ed.), Beiträge zum Mathematikunterricht 2002, Franzbecker, Hildesheim, 2002, pp. 231–234.
2002 | Book Chapter | LibreCat-ID: 26835
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
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.
2002 | Journal Article | LibreCat-ID: 26838
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
F. Hellmich, J. Hartmann, Zentralblatt für Didaktik der Mathematik 34 (2002) 56–61.
2002 | Book | LibreCat-ID: 26842
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
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.
2002 | Journal Article | LibreCat-ID: 3241
Relating State-based and Behaviour-oriented Subtyping
H. Wehrheim, Nord. J. Comput. (2002) 405--435.
LibreCat
H. Wehrheim, Nord. J. Comput. (2002) 405--435.
2002 | Conference Paper | LibreCat-ID: 3242
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
| DOI
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.
2002 | Conference Paper | LibreCat-ID: 3243
Checking Behavioural Subtypes via Refinement
H. Wehrheim, in: B. Jacobs, A. Rensink (Eds.), Formal Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.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
H. Wehrheim, in: B. Jacobs, A. Rensink (Eds.), Formal Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.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.
2002 | Book | LibreCat-ID: 3645
Kompetenzfördernde Arbeitsbedingungen
C. Harteis, Kompetenzfördernde Arbeitsbedingungen, Gabler, Wiesbaden, 2002.
LibreCat
C. Harteis, Kompetenzfördernde Arbeitsbedingungen, Gabler, Wiesbaden, 2002.