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.
647 Publications
2002 | Dissertation | LibreCat-ID: 24598
Czubayko R. Rechnerinterne Repräsentation von informationsverarbeitenden Lösungselementen für die verteilte kooperative Produktentwicklung in der Mechatronik. Vol 111. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2002.
LibreCat
2002 | Dissertation | LibreCat-ID: 24599
Goldschmidt S. Anwendung mengenorientierter numerischer Methoden zur Analyse nichtlinearer dynamischer Systeme am Beispiel der Spurführungsdynamik von Schienenfahrzeugen. Vol 112. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2002.
LibreCat
2002 | Dissertation | LibreCat-ID: 24600
Lehmann T, Winter K. Towards Device Driver Synthesis. Vol 113. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2002.
LibreCat
2002 | Dissertation | LibreCat-ID: 24601
Härtel W. Issueorientierte Frühaufklärung. Vol 114. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2002.
LibreCat
2002 | Journal Article | LibreCat-ID: 2589
Betz S. Das Lebensarbeitszeitkonzept als Alternative zur Mehrarbeitszeitzuschlagslösung. Zeitschrift für Planung. 2002;13:47-71.
LibreCat
2002 | Book Chapter | LibreCat-ID: 2590
Betz S. Kontrollsystem. In: Küpper und A. Wagenhofer H-U, ed. Handwörterbuch Unternehmensrechnung und Controlling. 4th ed. Stuttgart; 2002:986-995.
LibreCat
2002 | Journal Article | LibreCat-ID: 26160
Schiel A, Weber AP, Kasper G, Schmid H-J. In-Situ Determination of the Charging of Nanometer and Submicron Particles at High Temperatures. Particle & Particle Systems Characterization. 2002;19(6):410-418. doi:10.1002/ppsc.200290004
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 26161
Schmid H-J, Veith S, Umhauer H. In-Situ Measurement of Local Particle Flux Densities in a Complex Two-Phase Flow. Particle & Particle Systems Characterization. 2002;19(3). doi:10.1002/1521-4117(200207)19:3<203::aid-ppsc203>3.0.co;2-7
LibreCat
| DOI
2002 | Book Chapter | LibreCat-ID: 26169
Schmid H-J. Trennprozesse: Abschnitt 7.5.3. In: Handbuch Der Mechanischen Verfahrenstechnik. ; 2002. doi:10.1002/3527603352.ch7r
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 26412
Volbert K. A simulation environment for ad hoc networks using sector subdivision. In: Proceedings 10th Euromicro Workshop on Parallel, Distributed and Network-Based Processing. ; 2002. doi:10.1109/empdp.2002.994324
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 26826
Reiss K, Hellmich F, Thomas J. Individuelle und schulische Bedingungsfaktoren für Argumentationen und Beweise im Mathematikunterricht. Zeitschrift für Pädagogik. 2002;45:51-64. doi:10.25656/01:3938
LibreCat
| DOI
2002 | Book Chapter | LibreCat-ID: 26827
Hellmich F, Hartmann J. Materialgebundene versus computerunterstützte Förderung räumlicher Kompetenzen in der Grundschule. In: Peschek W, ed. Beiträge zum Mathematikunterricht 2002. Franzbecker; 2002:211-214.
LibreCat
2002 | Book Chapter | LibreCat-ID: 26831
Hellmich F, Hartmann J, Reiss K. Bedingungen für das Argumentieren und Begründen im Geometrieunterricht der Sekundarstufe I. In: Peschek W, ed. Beiträge zum Mathematikunterricht 2002. Franzbecker; 2002:231-234.
LibreCat
2002 | Book Chapter | LibreCat-ID: 26835
Reiss K, Hellmich F, Reiss M. Reasoning and proof in geometry: Prerequisites of knowledge acquisition in secondary school students. In: Cockburn AD, Nardi E, eds. Proceedings of the 26th Conference of the International Group for the Psychology of Mathematics Education. University of East Anglia; 2002:113-120.
LibreCat
2002 | Journal Article | LibreCat-ID: 26838
Hellmich F, Hartmann J. Aspekte einer Förderung räumlicher Kompetenzen im Geometrieunterricht. Ergebnisse einer Trainingsstudie mit Sonderschülerinnen und -schülern. Zentralblatt für Didaktik der Mathematik. 2002;34(2):56-61.
LibreCat
2002 | Book | LibreCat-ID: 26842
Hellmich F, Reiss K, Thomas J. 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; 2002.
LibreCat
2002 | Journal Article | LibreCat-ID: 3241
Wehrheim H. Relating State-based and Behaviour-oriented Subtyping. Nord J Comput. 2002;(4):405--435.
LibreCat
2002 | Conference Paper | LibreCat-ID: 3242
Olderog E-R, Wehrheim H. Specification and Inheritance in {CSP-OZ}. In: S. de Boer F, M. Bonsangue M, Graf S, P. de Roever W, eds. Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures. Lecture Notes in Computer Science. ; 2002:361--379. doi:10.1007/978-3-540-39656-7_15
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 3243
Wehrheim H. Checking Behavioural Subtypes via Refinement. In: Jacobs B, Rensink A, 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. {IFIP} Conference Proceedings. ; 2002:79--93.
LibreCat
2002 | Book | LibreCat-ID: 3645
Harteis C. Kompetenzfördernde Arbeitsbedingungen. Wiesbaden: Gabler; 2002.
LibreCat