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.

14279 Publications


1996 | Conference Paper | LibreCat-ID: 8275
Heckel, R., Conrad, M., Egger, G., & Hiemer, J. (1996). Automatic Integration of Safety Invariants into Z Specifications. In Proceedings of the Workshop on Tools for System Development and Verifcation (Vol. 1, pp. 70–83). Bremen, Germany: Shaker Verlag.
LibreCat | Download (ext.)
 

1996 | Book Chapter | LibreCat-ID: 8403
Kremer, H.-H. (1996). Existenzgründung. In H.-H. Kremer & E. Stickling (Eds.), Meisterprüfung - Lernen für die Praxis. Unternehmensführung im Handwerk 1. Dozentenhandbuch für Teil lll der Meisterprüfung - Existenzgründung, Marketing (pp. 1–30).
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 17419
Grigoriev, D., Karpinski, M., Meyer auf der Heide, F., & Smolensky, R. (1996). A lower bound for randomized algebraic decision trees. In Proc. of 28th ACM-STOC (Vol. 65453, pp. 612–621). Eurographics Symposium on Parallel Graphics and Visualization.
LibreCat
 

1996 | Encyclopedia Article | LibreCat-ID: 17642
Peckhaus, V. (1996). Wiener [Ludwig Christian]. In J. Mittelstraß (Ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 4: Sp–Z (pp. 693–694). Stuttgart/Weimar: J.B. Metzler.
LibreCat
 

1996 | Conference Abstract | LibreCat-ID: 17844
Peckhaus, V. (1996). Die Wurzeln der deutschen Algebra der Logik. In Deutsche Mathematiker-Vereinigung. Jahrestagung 1996. 15.–21. September 1996 in Jena (p. 196). o.O.u.J. (Jena).
LibreCat
 

1996 | Book Review | LibreCat-ID: 17919
Peckhaus, V. (1996). Puhl, Klaus (Hg.), Philosophy of Mathematics. Proceedings of the 15th International Witt-genstein-Symposium, 16–23 August 1992, Kirchberg am Wechsel, Austria, Part 2, Hölder-Pichler-Tempsky: Wien 1993 (= Schriftenreihe der Wittgenstein-Gesellschaft; 20/II). Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 836.00023].
LibreCat
 

1996 | Book Review | LibreCat-ID: 17921
Peckhaus, V. (1996). Quesada, Daniel, “State of Affairs and the Evolution of Carnap’s Semantics”, Logique & Analyse Nouv. Sér. 36 (1993), 149–157. Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 836.01018].
LibreCat
 

1996 | Book Review | LibreCat-ID: 17940
Peckhaus, V. (1996). Dathe, Uwe, „Gottlob Frege und Rudolf Eucken — Gesprächspartner in der Herausbildungsphase der modernen Logik“, History and Philosophy of Logic 16 (1995), 245–255. Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 846.01006].
LibreCat
 

1996 | Book Review | LibreCat-ID: 17926
Peckhaus, V. (1996). Karl, Birgit, „Einführung des Begriffes ,Topologie‘ in die Mathematik durch J.B. Listing im Jahre 1847“, in: Czermak (Hg.) 1993 [9.4], 60–66. Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 840.01019].
LibreCat
 

1996 | Book Review | LibreCat-ID: 17933
Peckhaus, V. (1996). Woleński, Jan, “Mathematical Logic in Poland 1900–1939: People, Circles, Institutions, Ideas”, Modern Logic 5 (1995), 363–405. Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 843.03001].
LibreCat
 

1996 | Book Review | LibreCat-ID: 17938
Peckhaus, V. (1996). Hintikka, Jaakko, “Why Parallel Processing?”, in: Casati/Smith/White (Hgg.) 1994 [9.39], 265–272. Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 845.68039].
LibreCat
 

1996 | Book Review | LibreCat-ID: 17945
Peckhaus, V. (1996). MacLane, Saunders, “The Protean Character of Mathematics”, in: J. Echeverria et al. (eds.), The Space of Mathematics, Walter de Gruyter: Berlin 1992, 1–13. Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 848.00006].
LibreCat
 

1996 | Book Review | LibreCat-ID: 17952
Peckhaus, V. (1996). Detlefsen, Michael, “The Kantian Character of Hilbert’s Formalism”, in: Czermak (Hg.) 1993 [9.4], 195–205. Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl 849.00016].
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 17483
Fischer, M., Rethmann, J., & Wachsmann, A. (1996). A Realistic Cost Model for the Communication Time in Parallel Programs. In 3rd Workshop on Abstract Machine Models for Parallel and Distributed Computing (AMW ’96) (pp. 13–27). Amsterdam: IOS Press.
LibreCat | Files available
 

1996 | Misc | LibreCat-ID: 19047
Peckhaus, V. (1996). Fotografie: Peter Singer (Erlangen, 22.6.1993), die tageszeitung v. 8.5.1996.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 19314
Seng, E.-M., & Saage, R. (1996). Geometrische Muster zwischen frühneuzeitlicher Utopie und russischer Avantgarde. Zeitschrift für Geschichtswissenschaft, Heft 8, (Heft 8), 677–602.
LibreCat
 

1996 | Book Review | LibreCat-ID: 19554
Eke, N. O. (1996). Stefan Scherer: Richard Beer-Hofmann und die Wiener Moderne. Tübingen: Max Niemeyer Verlag, 1993. Zeitschrift für deutsche Philologie.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 2183
Meyer auf der Heide, F., & Scheideler, C. (1996). Deterministic Routing with Bounded Buffers: Turning Offline into Online Protocols. In FOCS (pp. 370--379).
LibreCat | Files available
 

1996 | Journal Article | LibreCat-ID: 19958
Schwarze, F., Meyer auf der Heide, F., & Schröder, K. (1996). Routing on Networks of Optical Crossbars (Extended Abstract). Euro-Par 1996, I, 299–306.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 16896
Volbracht, S., Domik, G., Shahrbabaki, K., & Fels, G. (1996). An Experimental Comparison of 3D Display Modes. In Proceedings of IEEE Visualization (pp. 8–11). San Francisco, USA.
LibreCat
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed