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 | 
Klose, Jaroslaw. Ein erschöpfende Suche vermeidender Algorithmus für allgemeines k-SAT, 2007.
LibreCat
| Files available
2007 | Bachelorsthesis | LibreCat-ID: 47652 |
Niemeier, Martin. Reduktionen von CVP mit wenigen Lösungen auf CVP mit eindeutigen Lösungen, 2007.
LibreCat
| Files available
2007 | Bachelorsthesis | LibreCat-ID: 47654 |
Birkner, Stefan. Behandlung von Korrekturtermen in der Methode von Coppersmith, 2007.
LibreCat
| Files available
2007 | Conference Paper | LibreCat-ID: 11893 |
Schmalenstroeer, Joerg, and Reinhold Haeb-Umbach. “Joint Speaker Segmentation, Localization and Identification for Streaming Audio.” In Interspeech 2007, 2007.
LibreCat
| Download (ext.)
2007 | Conference Paper | LibreCat-ID: 11901 |
Schmalenstroeer, Joerg, Volker Leutnant, and Reinhold Haeb-Umbach. “Amigo Context Management Service with Applications in Ambient Communication Scenarios.” In AMI-07 - European Conference on Ambient Intelligence, 2007.
LibreCat
| Download (ext.)
2007 | Conference Paper | LibreCat-ID: 11933 |
Warsitz, Ernst, Reinhold Haeb-Umbach, and Joerg Schmalenstroeer. “Zweistufige Sprache/Pause-Detektion in Stark Gestoerter Umgebung.” In 33. Deutsche Jahrestagung Fuer Akustik (DAGA 2007), 2007.
LibreCat
| Download (ext.)
2007 | Conference Paper | LibreCat-ID: 11902 |
Schmalenstroeer, Joerg, Ernst Warsitz, and Reinhold Haeb-Umbach. “Projekt Amigo - Sprachsignalverarbeitung Im Vernetzten Haus.” In 33. Deutsche Jahrestagung Fuer Akustik (DAGA 2007), 2007.
LibreCat
| Download (ext.)
2007 | Dissertation | LibreCat-ID: 36496 |
Taschl-Erber, Andrea. Maria von Magdala – erste Apostolin? Joh 20,1–18: Tradition und Relecture . Vol. 51, 2007.
LibreCat
| Files available
2007 | Journal Article | LibreCat-ID: 50516 |
Riedl, Lars, and Klaus Cachay. “Riedl, L. & Cachay, K. (2007). Sportwissenschaft und Schulsport: Trends und Orientierungen (8). Sportsoziologie.” Sportunterricht 56, no. 12 (2007): 355–65.
LibreCat
| Download (ext.)
2007 | Book Review | LibreCat-ID: 54343 |
Hartig, Christine. “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 |
Peckhaus, Volker. “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 |
Peckhaus, Volker. “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 |
Peckhaus, Volker. “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 |
Peckhaus, Volker. “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 |
Peckhaus, Volker. “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 |
Peckhaus, Volker. “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 |
Peckhaus, Volker. “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 |
Peckhaus, Volker. “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 |
Peckhaus, Volker. “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 |
Peckhaus, Volker. “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.)