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.
2632 Publications
2007 | Bachelorsthesis | LibreCat-ID: 47653 | 
J. Klose, Ein erschöpfende Suche vermeidender Algorithmus für allgemeines k-SAT. 2007.
LibreCat
| Files available
2007 | Bachelorsthesis | LibreCat-ID: 47652 |
M. Niemeier, Reduktionen von CVP mit wenigen Lösungen auf CVP mit eindeutigen Lösungen. 2007.
LibreCat
| Files available
2007 | Bachelorsthesis | LibreCat-ID: 47654 |
S. Birkner, Behandlung von Korrekturtermen in der Methode von Coppersmith. 2007.
LibreCat
| Files available
2007 | Conference Paper | LibreCat-ID: 11893 |
J. Schmalenstroeer and R. Haeb-Umbach, “Joint Speaker Segmentation, Localization and Identification for Streaming Audio,” 2007.
LibreCat
| Download (ext.)
2007 | Conference Paper | LibreCat-ID: 11901 |
J. Schmalenstroeer, V. Leutnant, and R. Haeb-Umbach, “Amigo Context Management Service with Applications in Ambient Communication Scenarios,” 2007.
LibreCat
| Download (ext.)
2007 | Conference Paper | LibreCat-ID: 11933 |
E. Warsitz, R. Haeb-Umbach, and J. Schmalenstroeer, “Zweistufige Sprache/Pause-Detektion in stark gestoerter Umgebung,” 2007.
LibreCat
| Download (ext.)
2007 | Conference Paper | LibreCat-ID: 11902 |
J. Schmalenstroeer, E. Warsitz, and R. Haeb-Umbach, “Projekt Amigo - Sprachsignalverarbeitung im vernetzten Haus,” 2007.
LibreCat
| Download (ext.)
2007 | Dissertation | LibreCat-ID: 36496 |
A. Taschl-Erber, Maria von Magdala – erste Apostolin? Joh 20,1–18: Tradition und Relecture , vol. 51. 2007.
LibreCat
| Files available
2007 | Journal Article | LibreCat-ID: 50516 |
L. Riedl and K. Cachay, “Riedl, L. & Cachay, K. (2007). Sportwissenschaft und Schulsport: Trends und Orientierungen (8). Sportsoziologie,” Sportunterricht, vol. 56, no. 12, pp. 355–365, 2007.
LibreCat
| Download (ext.)
2007 | Book Review | LibreCat-ID: 54343 |
C. Hartig, “Kindheit und Jugend im Exil. Ein Generationenthema (= Exilforschung. Ein internationales Jahrbuch 24) hrsg. von Claus-Dieter Rotermund, Erwin; Winckler, Lutz; Koepke, Wulf im Auftrag der Gesellschaft für Exilforschung, München 2004,” H-Soz-Kult. 2007.
LibreCat
| Download (ext.)
2007 | Book Review | LibreCat-ID: 18650 |
V. Peckhaus, “Bolzano, Bernard, Briefe an Josef Sommer und andere (1812–1848), hg. v. Jan Berg, Frommann-Holzboog: Stuttgart-Bad Cannstatt 2005 (Bernard Bolzano-Gesamtausgabe, III.5.1),” zbMATH Open, Zbl. 1123.01019. 2007.
LibreCat
| Download (ext.)
2007 | Book Review | LibreCat-ID: 18649 |
V. Peckhaus, “Bolzano, Bernard, Miscellanea mathematica 21, hg. v. Bob van Rootselar/Jan Berg, Frommann-Holzboog: Stuttgart-Bad Cannstatt 2007 (Bernard Bolzano-Gesamtausgabe; II.B.1.2),” zbMATH Open, Zbl. 1123.01018. 2007.
LibreCat
| Download (ext.)
2007 | Book Review | LibreCat-ID: 18647 |
V. Peckhaus, “Visser, Henk, ‘Transpositions’, in: Johan van Benthem (Hg.), The Age of Alternative Logics. Assessing Philosophy of Logic and Mathematics Today. Based on the Conference on Philosophical Insights into Logic and Mathematics, Nancy, France, September 30–October 4, 2002, Dordrecht: Springer 2006, 75–86,” zbMATH Open, Zbl. 1122.00009. 2007.
LibreCat
| Download (ext.)
2007 | Book Review | LibreCat-ID: 18640 |
V. Peckhaus, “Bolzano-Bibliographie und Editionsprinzipien der Gesamtausgabe, 2. Abt. (Bernard Bolzano-Gesamtausgabe. Einleitungsband, 2. Tl., 2. Abt., hg. v. Pavel Křivský/Marie Pavlíková/Jaromír Loužil, Friedrich Frommann Verlag (Günther Holzboog): Stuttgart-Bad Cannstatt 2006,” zbMATH Open, Zbl. 1102.01026. 2007.
LibreCat
| Download (ext.)
2007 | Book Review | LibreCat-ID: 18646 |
V. Peckhaus, “Ferreirós, José, Labyrinth of Thought. A History of Set Theory and its Role in Modern Mathematics, 2nd rev. ed., Birkhäuser: Basel 2007,” zbMATH Open, Zbl. 1119.03044. 2007.
LibreCat
| Download (ext.)
2007 | Book Review | LibreCat-ID: 18642 |
V. Peckhaus, “Kushner, Boris A., ‘The Constructive Mathematics of A.A. Markov’, American Mathematical Monthly 113 (2006), 559–566,” zbMATH Open, Zbl. 1110.01009. 2007.
LibreCat
| Download (ext.)
2007 | Book Review | LibreCat-ID: 18641 |
V. Peckhaus, “Linnebo, Øystein, ‘Frege’s Proof of Referentiality’, Notre Dame Journal of Formal Logic 45 (2004), 73–98,” zbMATH Open, Zbl. 1104.03005. 2007.
LibreCat
| Download (ext.)
2007 | Book Review | LibreCat-ID: 18643 |
V. Peckhaus, “Vollmar, Roland, „Von Zielen und Grenzen der Informatik“, Abh. Braunschw. Wiss. Ges. 51 (2002), 9–24,” zbMATH Open, Zbl. 1111.68301 [Wiederabdruck von MR 2003d:68002]. 2007.
LibreCat
| Download (ext.)
2007 | Book Review | LibreCat-ID: 18645 |
V. Peckhaus, “Cook, John W., The Undiscovered Wittgenstein. The Twentieth Century’s Most Misunderstood Philosopher, Humanity Books: New York 2005,” zbMATH Open, Zbl. 1118.00004. 2007.
LibreCat
| Download (ext.)
2007 | Book Review | LibreCat-ID: 18644 |
V. Peckhaus, “Rescher, Nicholas, Collected Papers, Bd. 10: Studies in the History of Logic, Ontos Verlag: Frankfurt a.M. 2006,” zbMATH Open, Zbl. 1117.03005. 2007.
LibreCat
| Download (ext.)