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.
744 Publications
2005 | Conference Paper | LibreCat-ID: 2414
Birkenheuer, Georg, et al. “PIRANHA – Hunter of Idle Resources.” Proc. GI Informatiktage, vol. 2, Gesellschaft für Informatik (GI), 2005, pp. 91–94.
LibreCat
2005 | Journal Article | LibreCat-ID: 25931
Buyken, Anette, et al. “Glycaemic Index and Glycaemic Load in the Diet of Healthy Schoolchildren: Trends from 1990 to 2002, Contribution of Different Carbohydrate Sources and Relationships to Dietary Quality.” Br J Nutr, vol. 94, no. 5, 2005, pp. 796–803, doi:10.1079/bjn20051537.
LibreCat
| DOI
| PubMed | Europe PMC
2005 | Journal Article | LibreCat-ID: 26149
Schwarzer, Hans-Christoph, et al. “Predictive Simulation of Nanoparticle Precipitation Based on the Population Balance Equation.” Chemical Engineering Science, vol. 61, no. 1, 2005, pp. 167–81, doi:10.1016/j.ces.2004.11.064.
LibreCat
| DOI
2005 | Journal Article | LibreCat-ID: 26151
Schmid, Hans-Joachim, et al. “Evolution of the Fractal Dimension for Simultaneous Coagulation and Sintering.” Chemical Engineering Science, vol. 61, no. 1, 2005, pp. 293–305, doi:10.1016/j.ces.2004.11.068.
LibreCat
| DOI
2005 | Journal Article | LibreCat-ID: 26153
Artelt, C., et al. “On the Impact of Accessible Surface and Surface Energy on Particle Formation and Growth from the Vapour Phase.” Journal of Aerosol Science, vol. 36, no. 2, 2005, pp. 147–72, doi:10.1016/j.jaerosci.2004.08.003.
LibreCat
| DOI
2005 | Working Paper | LibreCat-ID: 2622
Betz, Stefan. Unscharfe Break-Even-Analyse bei Einproduktproduktion. Vol. Nr. 87, 2005.
LibreCat
2005 | Journal Article | LibreCat-ID: 26278
Ziegler, Martin, and Benno Fuchssteiner. “Nonlinear Reformulation of Heisenberg’s Dynamics.” International Journal of Theoretical Physics, 2005, pp. 693–717, doi:10.1007/s10773-005-7048-9.
LibreCat
| DOI
2005 | Book | LibreCat-ID: 26722
Hellmich, Frank. Interessen, Selbstkonzepte und Kompetenzen. Untersuchungen zum Lernen von Mathematik bei Grundschulkindern. BIS/DIZ, 2005.
LibreCat
2005 | Book (Editor) | LibreCat-ID: 26732
Hellmich, Frank, editor. Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht. BIS, 2005.
LibreCat
2005 | Working Paper | LibreCat-ID: 2676
Betz, Stefan. Unscharfe Produktionsprogrammplanung Bei Alternativproduktion. Vol. Nr. 86, 2005.
LibreCat
2005 | Book Chapter | LibreCat-ID: 26801
Hellmich, Frank. “Förderung selbstregulativer Fähigkeiten in der Grundschule.” Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht , edited by Frank Hellmich, BIS, 2005, pp. 265–76.
LibreCat
2005 | Book Chapter | LibreCat-ID: 26802
Hellmich, Frank. “Was bedeuten die IGLU-Befunde für das Lehren und Lernen in der Grundschule?” Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht, edited by Frank Hellmich, BIS, 2005, pp. 13–29.
LibreCat
2005 | Book Chapter | LibreCat-ID: 26803
Hellmich, Frank. “What about Rituale im Grundschulunterricht?” Rituale im Grundschulunterricht, edited by Ilona Bohlen, Didaktisches Zentrum (Oldenburger VorDrucke 514), 2005, p. 4.
LibreCat
2005 | Book | LibreCat-ID: 26804
Hellmich, Frank, et al. „Und alles wird anders werden!“ – Vorstellungen von Kindergartenkindern über `Schule´. Didaktisches Zentrum (Oldenburger VorDrucke 509), 2005.
LibreCat
2005 | Book Chapter | LibreCat-ID: 26806
Steckmann, J., and Frank Hellmich. “Zu den gegenwärtigen Bildungschancen von Kindern mit Migrationshintergrund.” Lehren und Lernen nach IGLU - Grundschulunterricht heute, edited by Frank Hellmich, BIS, 2005, pp. 103–15.
LibreCat
2005 | Journal Article | LibreCat-ID: 3227
Olderog, Ernst-Rüdiger, and Heike Wehrheim. “Specification and (Property) Inheritance in {CSP-OZ}.” Sci. Comput. Program., no. 1–3, 2005, pp. 227--257, doi:10.1016/j.scico.2004.05.017.
LibreCat
| DOI
2005 | Journal Article | LibreCat-ID: 3228
Wehrheim, Heike. “Slicing Techniques for Verification Re-Use.” Theor. Comput. Sci., no. 3, 2005, pp. 509--528, doi:10.1016/j.tcs.2005.06.020.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 3229
Rasch, Holger, and Heike Wehrheim. “Checking the Validity of Scenarios in {UML} Models.” Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings, edited by Martin Steffen and Gianluigi Zavattaro, 2005, pp. 67--82, doi:10.1007/11494881_5.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 3230
Brückner, Ingo, and Heike Wehrheim. “Slicing an Integrated Formal Method for Verification.” Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings, edited by Kung{-}Kiu Lau and Richard Banach, 2005, pp. 360--374, doi:10.1007/11576280_25.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 3231
Derrick, John, and Heike Wehrheim. “Non-Atomic Refinement in {Z} and {CSP}.” {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, edited by Helen Treharne et al., 2005, pp. 24--44, doi:10.1007/11415787_3.
LibreCat
| DOI