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.

773 Publications


2005 | Conference Paper | LibreCat-ID: 2414
PIRANHA – Hunter of Idle Resources
G. Birkenheuer, W. Hagelweide, B. Hagemeier, V. Japs, M. Keller, N. Mayr, J. Meyer, T. Schumacher, K. Voß, M. Zajac, in: Proc. GI Informatiktage, Gesellschaft für Informatik (GI), Bonn, Germany, 2005, pp. 91–94.
LibreCat
 
 

2005 | Journal Article | LibreCat-ID: 26149
Predictive simulation of nanoparticle precipitation based on the population balance equation
H.-C. Schwarzer, F. Schwertfirm, M. Manhart, H.-J. Schmid, W. Peukert, Chemical Engineering Science 61 (2005) 167–181.
LibreCat | DOI
 

2005 | Journal Article | LibreCat-ID: 26151
Evolution of the fractal dimension for simultaneous coagulation and sintering
H.-J. Schmid, B. Al-Zaitone, C. Artelt, W. Peukert, Chemical Engineering Science 61 (2005) 293–305.
LibreCat | DOI
 

2005 | Journal Article | LibreCat-ID: 26153
On the impact of accessible surface and surface energy on particle formation and growth from the vapour phase
C. Artelt, H.-J. Schmid, W. Peukert, Journal of Aerosol Science 36 (2005) 147–172.
LibreCat | DOI
 

2005 | Working Paper | LibreCat-ID: 2622
Unscharfe Break-Even-Analyse bei Einproduktproduktion
S. Betz, Unscharfe Break-Even-Analyse bei Einproduktproduktion, Paderborn, 2005.
LibreCat
 

2005 | Journal Article | LibreCat-ID: 26278
Nonlinear Reformulation of Heisenberg's Dynamics
M. Ziegler, B. Fuchssteiner, International Journal of Theoretical Physics (2005) 693–717.
LibreCat | DOI
 

2005 | Book | LibreCat-ID: 26722
Interessen, Selbstkonzepte und Kompetenzen. Untersuchungen zum Lernen von Mathematik bei Grundschulkindern
F. Hellmich, Interessen, Selbstkonzepte und Kompetenzen. Untersuchungen zum Lernen von Mathematik bei Grundschulkindern, BIS/DIZ, Oldenburg, 2005.
LibreCat
 

2005 | Book (Editor) | LibreCat-ID: 26732
Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht
F. Hellmich, ed., Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht, BIS, Oldenburg, 2005.
LibreCat
 

2005 | Working Paper | LibreCat-ID: 2676
Unscharfe Produktionsprogrammplanung bei Alternativproduktion
S. Betz, Unscharfe Produktionsprogrammplanung Bei Alternativproduktion, Paderborn, 2005.
LibreCat
 

2005 | Book Chapter | LibreCat-ID: 26801
Förderung selbstregulativer Fähigkeiten in der Grundschule
F. Hellmich, in: F. Hellmich (Ed.), Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht , BIS, Oldenburg, 2005, pp. 265–276.
LibreCat
 

2005 | Book Chapter | LibreCat-ID: 26802
Was bedeuten die IGLU-Befunde für das Lehren und Lernen in der Grundschule?
F. Hellmich, in: F. Hellmich (Ed.), Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht, BIS, Oldenburg, 2005, pp. 13–29.
LibreCat
 

2005 | Book Chapter | LibreCat-ID: 26803
What about Rituale im Grundschulunterricht?
F. Hellmich, in: I. Bohlen (Ed.), Rituale im Grundschulunterricht, Didaktisches Zentrum (Oldenburger VorDrucke 514), Oldenburg, 2005, p. 4.
LibreCat
 

2005 | Book | LibreCat-ID: 26804
„Und alles wird anders werden!“ – Vorstellungen von Kindergartenkindern über `Schule´
F. Hellmich, M. Abt, H. Bruns, „Und alles wird anders werden!“ – Vorstellungen von Kindergartenkindern über `Schule´, Didaktisches Zentrum (Oldenburger VorDrucke 509), Oldenburg, 2005.
LibreCat
 

2005 | Book Chapter | LibreCat-ID: 26806
Zu den gegenwärtigen Bildungschancen von Kindern mit Migrationshintergrund
J. Steckmann, F. Hellmich, in: F. Hellmich (Ed.), Lehren und Lernen nach IGLU - Grundschulunterricht heute, BIS, Oldenburg, 2005, pp. 103–115.
LibreCat
 

2005 | Journal Article | LibreCat-ID: 3227
Specification and (property) inheritance in {CSP-OZ}
E.-R. Olderog, H. Wehrheim, Sci. Comput. Program. (2005) 227--257.
LibreCat | DOI
 

2005 | Journal Article | LibreCat-ID: 3228
Slicing techniques for verification re-use
H. Wehrheim, Theor. Comput. Sci. (2005) 509--528.
LibreCat | DOI
 

2005 | Conference Paper | LibreCat-ID: 3229
Checking the Validity of Scenarios in {UML} Models
H. Rasch, H. Wehrheim, in: M. Steffen, G. Zavattaro (Eds.), Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings, 2005, pp. 67--82.
LibreCat | DOI
 

2005 | Conference Paper | LibreCat-ID: 3230
Slicing an Integrated Formal Method for Verification
I. Brückner, H. Wehrheim, in: K.-}Kiu Lau, R. Banach (Eds.), Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings, 2005, pp. 360--374.
LibreCat | DOI
 

2005 | Conference Paper | LibreCat-ID: 3231
Non-atomic Refinement in {Z} and {CSP}
J. Derrick, H. Wehrheim, in: H. Treharne, S. King, M. C. Henson, S. A. Schneider (Eds.), {ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings, 2005, pp. 24--44.
LibreCat | DOI
 

Filters and Search Terms

year=2005

Search

Filter Publications

Display / Sort

Export / Embed