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.

17400 Publications


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 | Book Review | LibreCat-ID: 18506
Peckhaus, Volker. “Smith, David Woodruff, ‘Mathematical Form in the World’, Philosophia Mathematica (3) 10 (2002), 102–129.” Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 1055.00008], Zbl. 1055.00008, 2005.
LibreCat
 

2005 | Journal Article | LibreCat-ID: 7379
Doberkat, Ernst-Erich, et al. “Software Engineering and ELearning: The MuSofT Project.” E-Learning and Education (Eleed) Journal, vol. 2, 2005.
LibreCat
 

2005 | Journal Article | LibreCat-ID: 23496
Reichelt, Matthias, et al. “Spatially Inhomogeneous Optical Gain in Semiconductor Photonic-Crystal Structures.” Physical Review B, 2005, doi:10.1103/physrevb.71.035346.
LibreCat | DOI
 

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 | Conference Paper | LibreCat-ID: 11802
Haeb-Umbach, Reinhold, and Joerg Schmalenstroeer. “Speech Processing in the Networked Home Environment - A View on the Amigo Project.” Interspeech 2005, 2005.
LibreCat | Download (ext.)
 

2005 | Journal Article | LibreCat-ID: 8678
Hövel, S., et al. “Spin Controlled Optically Pumped Vertical Cavity Surface Emitting Laser.” Electronics Letters, 251, 2005, doi:10.1049/el:20057675.
LibreCat | DOI
 

2005 | Encyclopedia Article | LibreCat-ID: 2072
Krimphove, Dieter. “Sponsoring.” Sjurtz: Wörterbuch Der Medienwirtschaft , Gabler-Verlag, 2005.
LibreCat
 

2005 | Journal Article | LibreCat-ID: 15058
Ziegler, Martin. “Stability versus Speed in a Computable Algebraic Model.” Theoretical Computer Science, 2005, pp. 14–26, doi:10.1016/j.tcs.2005.09.053.
LibreCat | DOI
 

2005 | Book Review | LibreCat-ID: 19526
Eke, Norbert Otto. “Stefan Pokroppa: Sprache jenseits von Sprache. Textanalysen zu Werner Fritschs Steinbruch, Fleischwolf, Cherubim und Chroma. Bielefeld: Aisthesis, 2003.” Germanistik, vol. 46, no. H. 1/2, 2005, p. 481f.
LibreCat
 

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , Title
Citation Style: MLA

Export / Embed