en
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.
13318 Publications
1997 | Journal Article | LibreCat-ID: 17494
The Way of Logic into Mathematics
V. Peckhaus, Theoria. Segunda Época (Seccion Monografica Sobre La Historia de La Lógica Matemática, Hg. v. Luis Vega Reñon) 12 (1997) 39–64.
LibreCat
V. Peckhaus, Theoria. Segunda Época (Seccion Monografica Sobre La Historia de La Lógica Matemática, Hg. v. Luis Vega Reñon) 12 (1997) 39–64.
1997 | Book Review | LibreCat-ID: 18202
Frege, Gottlob; Gabriel, Gottfried (ed.), „Vorlesungen über Begriffsschrift“, History and Philosophy of Logic 17, No. 1 (1996), iii–xvi, 1–48
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 860.01036] (1997).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 860.01036] (1997).
1997 | Book Review | LibreCat-ID: 18199
Gödel, Kurt, Unpublished Philosophical Essays, hg. v. Francisco A. Rodríguez-Consuegra, Birkhäuser: Basel 1995
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 854.01046] (1997).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 854.01046] (1997).
1997 | Encyclopedia Article | LibreCat-ID: 19483
DDR-Literatur
N.O. Eke, in: H. Brunner, R. Moritz (Eds.), Literaturwissenschaftliches Lexikon. Grundbegriffe der Germanistik, Berlin, 1997, pp. 64–68.
LibreCat
N.O. Eke, in: H. Brunner, R. Moritz (Eds.), Literaturwissenschaftliches Lexikon. Grundbegriffe der Germanistik, Berlin, 1997, pp. 64–68.
1997 | Conference Paper | LibreCat-ID: 2175
Optimal Wormhole Routing in the (n, d)-Torus
S. Bock, F. Meyer auf der Heide, C. Scheideler, in: IPPS, IEEE Computer Society, 1997, pp. 326--332.
LibreCat
| Files available
S. Bock, F. Meyer auf der Heide, C. Scheideler, in: IPPS, IEEE Computer Society, 1997, pp. 326--332.
1997 | Journal Article | LibreCat-ID: 20738
Determination of the thermal conductivity of bonded joints
O. Hahn, G. Meschut, Welding in the World 39 (1997) 111–116.
LibreCat
O. Hahn, G. Meschut, Welding in the World 39 (1997) 111–116.
1997 | Report | LibreCat-ID: 20740
Untersuchungen zur Wärmeleitfähigkeit und zum Festigkeits- und Alterungsverhalten von Klebverbindungen mit und ohne Füllstoffzusatz im Klebstoff
O. Hahn, G. Meschut, Untersuchungen Zur Wärmeleitfähigkeit Und Zum Festigkeits- Und Alterungsverhalten von Klebverbindungen Mit Und Ohne Füllstoffzusatz Im Klebstoff, 1997.
LibreCat
O. Hahn, G. Meschut, Untersuchungen Zur Wärmeleitfähigkeit Und Zum Festigkeits- Und Alterungsverhalten von Klebverbindungen Mit Und Ohne Füllstoffzusatz Im Klebstoff, 1997.
1996 | Conference Paper | LibreCat-ID: 11853
FRESCO: The French Telephone Speech Data Collection - Part of the European SpeechDat(M) Project
D. Langmann, R. Haeb-Umbach, in: ICSLP, Philadelphia, 1996.
LibreCat
| Download (ext.)
D. Langmann, R. Haeb-Umbach, in: ICSLP, Philadelphia, 1996.
1996 | Misc | LibreCat-ID: 13087
Using Embedded Processors for BIST
S. Hellebrand, H.-J. Wunderlich, Using Embedded Processors for BIST, 3rd IEEE International Test Synthesis Workshop, Santa Barbara, CA, 1996.
LibreCat
S. Hellebrand, H.-J. Wunderlich, Using Embedded Processors for BIST, 3rd IEEE International Test Synthesis Workshop, Santa Barbara, CA, 1996.
1996 | Conference Paper | LibreCat-ID: 13602
A Multi-DSP System with Dynamically Reconfigurable Processors
E. Lind, M. Platzner, B. Rinner, in: Proceedings of the 7th International Conference on Signal Processing Applications & Technology (ICSPAT), 1996.
LibreCat
E. Lind, M. Platzner, B. Rinner, in: Proceedings of the 7th International Conference on Signal Processing Applications & Technology (ICSPAT), 1996.
1996 | Journal Article | LibreCat-ID: 13784
Optical Properties of Ordered As Layers on InP(110) Surfaces
P.V. Santos, B. Koopmans, N. Esser, W.G. Schmidt, F. Bechstedt, Physical Review Letters 77 (1996) 759–762.
LibreCat
| DOI
P.V. Santos, B. Koopmans, N. Esser, W.G. Schmidt, F. Bechstedt, Physical Review Letters 77 (1996) 759–762.
1996 | Journal Article | LibreCat-ID: 13789
Structure of the diamond (111) surface: Single-dangling-bond versus triple-dangling-bond face
A. Scholze, W.G. Schmidt, F. Bechstedt, Physical Review B 53 (1996) 13725–13733.
LibreCat
| DOI
A. Scholze, W.G. Schmidt, F. Bechstedt, Physical Review B 53 (1996) 13725–13733.
1996 | Journal Article | LibreCat-ID: 13791
Diamond (111) and (100) surface reconstructions
A. Scholze, W.G. Schmidt, F. Bechstedt, Thin Solid Films 281–282 (1996) 256–259.
LibreCat
| DOI
A. Scholze, W.G. Schmidt, F. Bechstedt, Thin Solid Films 281–282 (1996) 256–259.
1996 | Conference Paper | LibreCat-ID: 15292
Approminate probabilistic reasoning with fuzzy constraints
E. Hüllermeier, in: H.J. Zimmermann (Ed.), In Proceedings EUFIT-96 4th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, 1996.
LibreCat
E. Hüllermeier, in: H.J. Zimmermann (Ed.), In Proceedings EUFIT-96 4th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, 1996.
1996 | Journal Article | LibreCat-ID: 16699
Strongly adaptive token distribution
F. Meyer auf der Heide, B. Oesterdiekhoff, R. Wanka, Algorithmica (1996) 413–427.
LibreCat
| DOI
F. Meyer auf der Heide, B. Oesterdiekhoff, R. Wanka, Algorithmica (1996) 413–427.
1996 | Book (Editor) | LibreCat-ID: 16702
Automata, Languages and Programming, 23rd International Colloquium, ICALP96
F. Meyer auf der Heide, B. Monien, eds., Automata, Languages and Programming, 23rd International Colloquium, ICALP96, Berlin, Heidelberg, 1996.
LibreCat
| DOI
F. Meyer auf der Heide, B. Monien, eds., Automata, Languages and Programming, 23rd International Colloquium, ICALP96, Berlin, Heidelberg, 1996.
1996 | Conference Paper | LibreCat-ID: 2443
Sequential Performance versus Scalability: Optimizing Parallel LU-Decomposition
J. Simon, J.-M. Wierum, in: Proc. Int. Conf. on High-Performance Computing and Networking (HPCN-Europe), Springer, Berlin / Heidelberg, 1996, pp. 627–632.
LibreCat
| DOI
J. Simon, J.-M. Wierum, in: Proc. Int. Conf. on High-Performance Computing and Networking (HPCN-Europe), Springer, Berlin / Heidelberg, 1996, pp. 627–632.
1996 | Book Chapter | LibreCat-ID: 6229
Flexibility in Germany
W. Weber, R. Kabst, in: C. Brewster (Ed.), Working Time and Contract Flexibility in the E.U., Cranfield Center for European Human Resource Management, Bedford, 1996, pp. 20–57.
LibreCat
W. Weber, R. Kabst, in: C. Brewster (Ed.), Working Time and Contract Flexibility in the E.U., Cranfield Center for European Human Resource Management, Bedford, 1996, pp. 20–57.
1996 | Book | LibreCat-ID: 6534
Windatlas für die Stadt Steinheim
J. Bendfeld, S.O. Gärtner, T. Winkelmann, E. Ortjohann, Windatlas für die Stadt Steinheim, Universität - GH Paderborn, Fachgebiet Elektrische Energieversorgung, 1996.
LibreCat
J. Bendfeld, S.O. Gärtner, T. Winkelmann, E. Ortjohann, Windatlas für die Stadt Steinheim, Universität - GH Paderborn, Fachgebiet Elektrische Energieversorgung, 1996.
1996 | Report | LibreCat-ID: 6399
Personalwesen im europäischen Vergleich – Ergebnisbericht 1995, Paderborn 1996.
W. Weber, R. Kabst, Personalwesen Im Europäischen Vergleich – Ergebnisbericht 1995, Paderborn 1996., 1996.
LibreCat
W. Weber, R. Kabst, Personalwesen Im Europäischen Vergleich – Ergebnisbericht 1995, Paderborn 1996., 1996.
1996 | Conference (Editor) | LibreCat-ID: 7796
Special Issue on Graph Transformations
G. Engels, H. Ehrig, G. Rozenberg, A. Skowron, eds., Special Issue on Graph Transformations, IOS Press, Amsterdam, 1996.
LibreCat
G. Engels, H. Ehrig, G. Rozenberg, A. Skowron, eds., Special Issue on Graph Transformations, IOS Press, Amsterdam, 1996.
1996 | Conference Paper | LibreCat-ID: 7835
Behavioral Constraints for Loose Graph Transformation Systems
R. Heckel, in: Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, Technical University of Berlin, 1996, pp. 12–13.
LibreCat
R. Heckel, in: Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, Technical University of Berlin, 1996, pp. 12–13.
1996 | Journal Article | LibreCat-ID: 7405
Horizontal and Vertical Structuring of Typed Graph Transformation Systems
R. Heckel, A. Corradini, H. Ehrig, M. Löwe, Mathematical Structures in Computer Science 6 (1996) 613–648.
LibreCat
R. Heckel, A. Corradini, H. Ehrig, M. Löwe, Mathematical Structures in Computer Science 6 (1996) 613–648.
1996 | Report | LibreCat-ID: 8198
Definition of an Encapsulated Hierarchical Graph Data Model: Static Aspects, Part 1.
G. Busatto, G. Engels, Definition of an Encapsulated Hierarchical Graph Data Model: Static Aspects, Part 1., Vakgroep Informatica, Rijksuniversiteit Leiden, 1996.
LibreCat
G. Busatto, G. Engels, Definition of an Encapsulated Hierarchical Graph Data Model: Static Aspects, Part 1., Vakgroep Informatica, Rijksuniversiteit Leiden, 1996.
1996 | Book Chapter | LibreCat-ID: 8105
Lernen im Internet am Beispiel der Solarenergie
S. Krauter, in: D. Beste, M. Kälke (Eds.), Bildung Im Netz, VDI–Verlag, Düsseldorf, 1996, pp. 115–120.
LibreCat
S. Krauter, in: D. Beste, M. Kälke (Eds.), Bildung Im Netz, VDI–Verlag, Düsseldorf, 1996, pp. 115–120.
1996 | Conference Paper | LibreCat-ID: 8275
Automatic Integration of Safety Invariants into Z Specifications
R. Heckel, M. Conrad, G. Egger, J. Hiemer, in: Proceedings of the Workshop on Tools for System Development and Verifcation, Shaker Verlag, Bremen, Germany, 1996, pp. 70–83.
LibreCat
| Download (ext.)
R. Heckel, M. Conrad, G. Egger, J. Hiemer, in: Proceedings of the Workshop on Tools for System Development and Verifcation, Shaker Verlag, Bremen, Germany, 1996, pp. 70–83.
1996 | Book Chapter | LibreCat-ID: 8403
Existenzgründung
H.-H. Kremer, 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 , 1996, pp. 1–30.
LibreCat
H.-H. Kremer, 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 , 1996, pp. 1–30.
1996 | Conference Paper | LibreCat-ID: 16896
An Experimental Comparison of 3D Display Modes
S. Volbracht, G. Domik-Kienegger, K. Shahrbabaki, G. Fels, in: Proceedings of IEEE Visualization , 1996, pp. 8–11.
LibreCat
S. Volbracht, G. Domik-Kienegger, K. Shahrbabaki, G. Fels, in: Proceedings of IEEE Visualization , 1996, pp. 8–11.
1996 | Conference Paper | LibreCat-ID: 17419
A lower bound for randomized algebraic decision trees
D. Grigoriev, M. Karpinski, F. Meyer auf der Heide, R. Smolensky, in: Proc. of 28th ACM-STOC, Eurographics Symposium on Parallel Graphics and Visualization, 1996, pp. 612–621.
LibreCat
D. Grigoriev, M. Karpinski, F. Meyer auf der Heide, R. Smolensky, in: Proc. of 28th ACM-STOC, Eurographics Symposium on Parallel Graphics and Visualization, 1996, pp. 612–621.
1996 | Encyclopedia Article | LibreCat-ID: 17642
Wiener [Ludwig Christian]
V. Peckhaus, in: J. Mittelstraß (Ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 4: Sp–Z, J.B. Metzler, Stuttgart/Weimar, 1996, pp. 693–694.
LibreCat
V. Peckhaus, in: J. Mittelstraß (Ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 4: Sp–Z, J.B. Metzler, Stuttgart/Weimar, 1996, pp. 693–694.
1996 | Conference Abstract | LibreCat-ID: 17844
Die Wurzeln der deutschen Algebra der Logik
V. Peckhaus, in: Deutsche Mathematiker-Vereinigung. Jahrestagung 1996. 15.–21. September 1996 in Jena, o.O.u.J. (Jena), 1996, p. 196.
LibreCat
V. Peckhaus, in: Deutsche Mathematiker-Vereinigung. Jahrestagung 1996. 15.–21. September 1996 in Jena, o.O.u.J. (Jena), 1996, p. 196.
1996 | Book Review | LibreCat-ID: 17919
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)
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 836.00023] (1996).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 836.00023] (1996).
1996 | Book Review | LibreCat-ID: 17921
Quesada, Daniel, “State of Affairs and the Evolution of Carnap’s Semantics”, Logique & Analyse Nouv. Sér. 36 (1993), 149–157
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 836.01018] (1996).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 836.01018] (1996).
1996 | Book Review | LibreCat-ID: 17940
Dathe, Uwe, „Gottlob Frege und Rudolf Eucken — Gesprächspartner in der Herausbildungsphase der modernen Logik“, History and Philosophy of Logic 16 (1995), 245–255
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 846.01006] (1996).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 846.01006] (1996).
1996 | Book Review | LibreCat-ID: 17926
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
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 840.01019] (1996).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 840.01019] (1996).
1996 | Book Review | LibreCat-ID: 17933
Woleński, Jan, “Mathematical Logic in Poland 1900–1939: People, Circles, Institutions, Ideas”, Modern Logic 5 (1995), 363–405
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 843.03001] (1996).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 843.03001] (1996).
1996 | Book Review | LibreCat-ID: 17938
Hintikka, Jaakko, “Why Parallel Processing?”, in: Casati/Smith/White (Hgg.) 1994 [9.39], 265–272
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 845.68039] (1996).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 845.68039] (1996).
1996 | Book Review | LibreCat-ID: 17945
MacLane, Saunders, “The Protean Character of Mathematics”, in: J. Echeverria et al. (eds.), The Space of Mathematics, Walter de Gruyter: Berlin 1992, 1–13
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 848.00006] (1996).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 848.00006] (1996).
1996 | Book Review | LibreCat-ID: 17952
Detlefsen, Michael, “The Kantian Character of Hilbert’s Formalism”, in: Czermak (Hg.) 1993 [9.4], 195–205
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl 849.00016] (1996).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl 849.00016] (1996).
1996 | Conference Paper | LibreCat-ID: 17483
A Realistic Cost Model for the Communication Time in Parallel Programs
M. Fischer, J. Rethmann, A. Wachsmann, in: 3rd Workshop on Abstract Machine Models for Parallel and Distributed Computing (AMW ’96), IOS Press, Amsterdam, 1996, pp. 13–27.
LibreCat
| Files available
M. Fischer, J. Rethmann, A. Wachsmann, in: 3rd Workshop on Abstract Machine Models for Parallel and Distributed Computing (AMW ’96), IOS Press, Amsterdam, 1996, pp. 13–27.
1996 | Misc | LibreCat-ID: 19047
Fotografie: Peter Singer (Erlangen, 22.6.1993), die tageszeitung v. 8.5.1996
V. Peckhaus, Fotografie: Peter Singer (Erlangen, 22.6.1993), die tageszeitung v. 8.5.1996, 1996.
LibreCat
V. Peckhaus, Fotografie: Peter Singer (Erlangen, 22.6.1993), die tageszeitung v. 8.5.1996, 1996.
1996 | Journal Article | LibreCat-ID: 19314
Geometrische Muster zwischen frühneuzeitlicher Utopie und russischer Avantgarde
E.-M. Seng, R. Saage, Zeitschrift für Geschichtswissenschaft, Heft 8, (1996) 677–602.
LibreCat
E.-M. Seng, R. Saage, Zeitschrift für Geschichtswissenschaft, Heft 8, (1996) 677–602.
1996 | Book Review | LibreCat-ID: 19554
Stefan Scherer: Richard Beer-Hofmann und die Wiener Moderne. Tübingen: Max Niemeyer Verlag, 1993
N.O. Eke, Zeitschrift für deutsche Philologie 115 (1996) 307–310.
LibreCat
N.O. Eke, Zeitschrift für deutsche Philologie 115 (1996) 307–310.
1996 | Conference Paper | LibreCat-ID: 2183
Deterministic Routing with Bounded Buffers: Turning Offline into Online Protocols
F. Meyer auf der Heide, C. Scheideler, in: FOCS, 1996, pp. 370--379.
LibreCat
| Files available
F. Meyer auf der Heide, C. Scheideler, in: FOCS, 1996, pp. 370--379.
1996 | Journal Article | LibreCat-ID: 19958
Routing on Networks of Optical Crossbars (Extended Abstract).
F. Schwarze, F. Meyer auf der Heide, K. Schröder, Euro-Par 1996 I (1996) 299–306.
LibreCat
F. Schwarze, F. Meyer auf der Heide, K. Schröder, Euro-Par 1996 I (1996) 299–306.
1996 | Journal Article | LibreCat-ID: 10197
Counterexamples to a conjecture about bottlenecks in non-Tait-colourable cubic graphs
E. Steffen, Discrete Mathematics 161 (1996) 315.
LibreCat
E. Steffen, Discrete Mathematics 161 (1996) 315.
1996 | Conference Paper | LibreCat-ID: 11854
Robust Rejection Modeling for a Small-Vocabulary Application
D. Langmann, R. Haeb-Umbach, T. Eisele, in: ITG Fachtagung Sprachkommunikation, Frankfurt, 1996.
LibreCat
D. Langmann, R. Haeb-Umbach, T. Eisele, in: ITG Fachtagung Sprachkommunikation, Frankfurt, 1996.
1996 | Misc | LibreCat-ID: 13088
Mixed-Mode BIST Using Embedded Processors
S. Hellebrand, H.-J. Wunderlich, A. Hertwig, Mixed-Mode BIST Using Embedded Processors, 2nd IEEE International On-Line Testing Workshop. Biarritz, France, 1996.
LibreCat
S. Hellebrand, H.-J. Wunderlich, A. Hertwig, Mixed-Mode BIST Using Embedded Processors, 2nd IEEE International On-Line Testing Workshop. Biarritz, France, 1996.
1996 | Journal Article | LibreCat-ID: 13785
Atomic structures of GaAs(100)-(2 × 4) reconstructions
W.G. Schmidt, F. Bechstedt, Surface Science 360 (1996) L473–L477.
LibreCat
| DOI
W.G. Schmidt, F. Bechstedt, Surface Science 360 (1996) L473–L477.
1996 | Journal Article | LibreCat-ID: 13792
Phonons at III–V (110) surfaces
W.G. Schmidt, F. Bechstedt, G.P. Srivastava, Surface Science 352–354 (1996) 83–88.
LibreCat
| DOI
W.G. Schmidt, F. Bechstedt, G.P. Srivastava, Surface Science 352–354 (1996) 83–88.
1996 | Conference Paper | LibreCat-ID: 15293
A fuzzy simulation method
E. Hüllermeier, in: P.G. Anderson, K. Warwick (Eds.), International Symposium on Soft Computing, Reading U.K., ICSC Academic Press, 1996, pp. B230–B236.
LibreCat
E. Hüllermeier, in: P.G. Anderson, K. Warwick (Eds.), International Symposium on Soft Computing, Reading U.K., ICSC Academic Press, 1996, pp. B230–B236.
1996 | Book | LibreCat-ID: 1605
Europäisches Arbeitsrecht
D. Krimphove, Europäisches Arbeitsrecht, Franz Vahlen, München, 1996.
LibreCat
D. Krimphove, Europäisches Arbeitsrecht, Franz Vahlen, München, 1996.
1996 | Conference Paper | LibreCat-ID: 16816
Computer Visualization - Concepts, Trends and Current Research
G. Domik-Kienegger, in: K. G. Jeffery, J. Kr{\’{a}}l, M. Bartosek (Eds.), {SOFSEM} ’96: Theory and Practice of Informatics, 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23-30, 1996, Proceedings, Springer, 1996, pp. 178–196.
LibreCat
| DOI
G. Domik-Kienegger, in: K. G. Jeffery, J. Kr{\’{a}}l, M. Bartosek (Eds.), {SOFSEM} ’96: Theory and Practice of Informatics, 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23-30, 1996, Proceedings, Springer, 1996, pp. 178–196.
1996 | Book Chapter | LibreCat-ID: 16703
Fault-tolerant shared memory simulations
P. Berenbrink, F. Meyer auf der Heide, V. Stemann, in: STACS 96, Berlin, Heidelberg, 1996.
LibreCat
| DOI
P. Berenbrink, F. Meyer auf der Heide, V. Stemann, in: STACS 96, Berlin, Heidelberg, 1996.
1996 | Conference Paper | LibreCat-ID: 2444
Performance Prediction of Benchmark Programs for Massively Parallel Architectures
J. Simon, J.-M. Wierum, in: Proc. Annual Int. Conf. on High-Performance Computers (HPCS), 1996.
LibreCat
J. Simon, J.-M. Wierum, in: Proc. Annual Int. Conf. on High-Performance Computers (HPCS), 1996.
1996 | Book Chapter | LibreCat-ID: 3529
A Dynamic Model of a Reconstruction Economy
T. Gries, in: J.W. Owsinski, Z. Nahorski (Eds.), Modelling and Analysing Economies in Transition, 1996.
LibreCat
T. Gries, in: J.W. Owsinski, Z. Nahorski (Eds.), Modelling and Analysing Economies in Transition, 1996.
1996 | Book | LibreCat-ID: 6535
Windatlas für den Kreis Lippe
J. Bendfeld, S.O. Gärtner, T. Winkelmann, E. Ortjohann, Windatlas für den Kreis Lippe, Universität - GH Paderborn, Fachgebiet Elektrische Energieversorgung, 1996.
LibreCat
J. Bendfeld, S.O. Gärtner, T. Winkelmann, E. Ortjohann, Windatlas für den Kreis Lippe, Universität - GH Paderborn, Fachgebiet Elektrische Energieversorgung, 1996.
1996 | Journal Article | LibreCat-ID: 7406
A Hybrid Query Language for the Extended Entity Relationship Model
M. Andries, G. Engels, Journal of Visual Languages and Computing 7 (1996) 321–352.
LibreCat
| DOI
M. Andries, G. Engels, Journal of Visual Languages and Computing 7 (1996) 321–352.
1996 | Book Chapter | LibreCat-ID: 7514
Tight Integration on One Document: The Programming Environment
G. Engels, M. Nagl, W. Schäfer, B. Westfechtel, in: Building Tightly Integrated Software Development Environments: The IPSEN Approach, Springer, Berlin/Heidelberg, 1996, pp. 170–177.
LibreCat
G. Engels, M. Nagl, W. Schäfer, B. Westfechtel, in: Building Tightly Integrated Software Development Environments: The IPSEN Approach, Springer, Berlin/Heidelberg, 1996, pp. 170–177.
1996 | Conference Paper | LibreCat-ID: 7836
Industrial maintenance modelled in SOCCA: an experience report
T. de Bunje, G. Engels, L. Groenewegen, A. Matsinger, M. Rijnbeek, in: Proceedings of the Fourth International Conference on the Software Process (ICSP 1996), Brighton (UK), IEEE Computer Society, Washington, DC, USA, 1996, pp. 13–26.
LibreCat
| DOI
T. de Bunje, G. Engels, L. Groenewegen, A. Matsinger, M. Rijnbeek, in: Proceedings of the Fourth International Conference on the Software Process (ICSP 1996), Brighton (UK), IEEE Computer Society, Washington, DC, USA, 1996, pp. 13–26.
1996 | Journal Article | LibreCat-ID: 8101
Actual Optical and Thermal Performance of PV Modules
S. Krauter, R. Hanitsch, Solar Energy Materials and Solar Cells 41/42 (1996) 557–574.
LibreCat
S. Krauter, R. Hanitsch, Solar Energy Materials and Solar Cells 41/42 (1996) 557–574.
1996 | Report | LibreCat-ID: 8199
Object-oriented Specification of Coordinated Collaboration
G. Engels, L. Groenewegen, G. Kappel, Object-Oriented Specification of Coordinated Collaboration, Vakgroep Informatica, Rijksuniversiteit Leiden, 1996.
LibreCat
G. Engels, L. Groenewegen, G. Kappel, Object-Oriented Specification of Coordinated Collaboration, Vakgroep Informatica, Rijksuniversiteit Leiden, 1996.
1996 | Book | LibreCat-ID: 8372
Meisterprüfung - Lernen für die Praxis. Unternehmensführung im Handwerk 2. Dozentenhandbuch für Teil lll der Meisterprüfung. Finanz- und Rechnungswesen.
H.-H. Kremer, P.F.E. Sloane, Meisterprüfung - Lernen für die Praxis. Unternehmensführung im Handwerk 2. Dozentenhandbuch für Teil lll der Meisterprüfung. Finanz- und Rechnungswesen., 1st ed., Düsseldorf, 1996.
LibreCat
H.-H. Kremer, P.F.E. Sloane, Meisterprüfung - Lernen für die Praxis. Unternehmensführung im Handwerk 2. Dozentenhandbuch für Teil lll der Meisterprüfung. Finanz- und Rechnungswesen., 1st ed., Düsseldorf, 1996.
1996 | Conference Paper | LibreCat-ID: 8896
Schwingungsverhalten eines Schaufelkranzes mit Reibelementen bei Frequenzverstimmung
K. Popp, W. Sextro, in: Forschungsvereinigung Verbrennungskraftmaschinen (FW) - Lnformationstagung Turbinen, Frankfurt am Main, Germany, 1996, pp. 53–76.
LibreCat
K. Popp, W. Sextro, in: Forschungsvereinigung Verbrennungskraftmaschinen (FW) - Lnformationstagung Turbinen, Frankfurt am Main, Germany, 1996, pp. 53–76.
1996 | Conference Paper | LibreCat-ID: 8271
Towards Measurable Process Models
T. de Bunje, G. Engels, L. Groenewegen, M. Heus, A. Matsinger, in: Proceedings of the Workshop on Software Process Technology (EWSPT 1996), Nancy (France), Springer, Berlin/Heidelberg, 1996, pp. 183–187.
LibreCat
| DOI
T. de Bunje, G. Engels, L. Groenewegen, M. Heus, A. Matsinger, in: Proceedings of the Workshop on Software Process Technology (EWSPT 1996), Nancy (France), Springer, Berlin/Heidelberg, 1996, pp. 183–187.
1996 | Encyclopedia Article | LibreCat-ID: 17643
Zermelo-Fraenkelsches Axiomensystem
V. Peckhaus, C. Thiel, in: J. Mittelstraß (Ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 4: Sp–Z, J.B. Metzler, Stuttgart/Weimar, 1996, pp. 843–845.
LibreCat
V. Peckhaus, C. Thiel, in: J. Mittelstraß (Ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 4: Sp–Z, J.B. Metzler, Stuttgart/Weimar, 1996, pp. 843–845.
1996 | Book Review | LibreCat-ID: 17915
Bolzano, Bernard, Miscellanea mathematica 10, hg. v. Bob van Rootselar/Anna van der Lugt, Frommann-Holzboog: Stuttgart-Bad Cannstatt 1995 (Bernard Bolzano-Gesamtausgabe; II.B.6.2)
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 833.01035] (1996).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 833.01035] (1996).
1996 | Book Review | LibreCat-ID: 17922
Hintikka, Jaakko, “The Original Sinn of Wittgenstein’s Philosophy of Mathematics”, in: Puhl (Hg.) 1993 [9.5], 24–51
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 837.00005] (1996).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 837.00005] (1996).
1996 | Book Review | LibreCat-ID: 17939
Heinzmann, Gerhard, Zwischen Objektkonstruktion und Strukturanalyse. Zur Philosophie der Mathematik bei Jules Poincaré, Vandenhoeck & Ruprecht: Göttingen 1995 (= Studien zur Wissenschafts-, Sozial- und Bildungsgeschichte der Mathematik; 10)
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 846.00002] (1996).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 846.00002] (1996).
1996 | Book Review | LibreCat-ID: 17927
Rodríguez-Consuegra, Francisco A., “Russell, Gödel and Logicism”, in: Czermak (Hg.) 1993 [9.4], 233–242
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 840.01023] (1996).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 840.01023] (1996).
1996 | Book Review | LibreCat-ID: 17941
Torretti, Roberto, “Mathematical Structures and Physical Necessity”, in: J. Echeverria et al. (eds.), The Space of Mathematics, Walter de Gruyter: Berlin 1992, 132–140
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 847.00006] (1996).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 847.00006] (1996).
1996 | Book Review | LibreCat-ID: 17946
Otte, Michael, “Constructivism and Objects in Mathematical Theory”, in: J. Echeverria et al. (eds.), The Space of Mathematics, Walter de Gruyter: Berlin 1992, 296–313
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 848.00007] (1996).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 848.00007] (1996).
1996 | Book Review | LibreCat-ID: 17953
Grattan-Guinness, Ivor, “Structure-Similarity: Between Mathematics and Philosophy”, in: Czermak (Hg.) 1993 [9.4], 317–333
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 849.00017] (1996).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 849.00017] (1996).
1996 | Conference Paper | LibreCat-ID: 2184
Communication in Parallel Systems
F. Meyer auf der Heide, C. Scheideler, in: SOFSEM, Springer, 1996, pp. 16--33.
LibreCat
| Files available
F. Meyer auf der Heide, C. Scheideler, in: SOFSEM, Springer, 1996, pp. 16--33.
1996 | Journal Article | LibreCat-ID: 10198
Star chromatic numbers of graphs
E. Steffen, X. Zhu, Combinatorica 16 (1996) 439–448.
LibreCat
E. Steffen, X. Zhu, Combinatorica 16 (1996) 439–448.
1996 | Conference Paper | LibreCat-ID: 11761
A Comparative Study of Linear Feature Transformation Techniques for Automatic Speech Recognition
T. Eisele, R. Haeb-Umbach, D. Langmann, in: ICSLP , Philadelphia, 1996.
LibreCat
| Download (ext.)
T. Eisele, R. Haeb-Umbach, D. Langmann, in: ICSLP , Philadelphia, 1996.
1996 | Conference Paper | LibreCat-ID: 13010
Mixed-Mode BIST Using Embedded Processors
S. Hellebrand, H.-J. Wunderlich, A. Hertwig, in: {IEEE International Test Conference (ITC’96)}, {IEEE}, Washington, DC, USA, 1996, pp. 195–204.
LibreCat
| DOI
S. Hellebrand, H.-J. Wunderlich, A. Hertwig, in: {IEEE International Test Conference (ITC’96)}, {IEEE}, Washington, DC, USA, 1996, pp. 195–204.
1996 | Journal Article | LibreCat-ID: 13786
Adatoms and vacancies on the diamond(111) surface
F. Bechstedt, W.G. Schmidt, A. Scholze, Europhysics Letters (EPL) 35 (1996) 585–590.
LibreCat
| DOI
F. Bechstedt, W.G. Schmidt, A. Scholze, Europhysics Letters (EPL) 35 (1996) 585–590.
1996 | Journal Article | LibreCat-ID: 13793
Dimerized, buckled, or ideal chains on the diamond (111)2 × 1 surface?
W.G. Schmidt, A. Scholze, F. Bechstedt, Surface Science 351 (1996) 183–188.
LibreCat
| DOI
W.G. Schmidt, A. Scholze, F. Bechstedt, Surface Science 351 (1996) 183–188.
1996 | Conference Paper | LibreCat-ID: 15167
An Experimental Comparison of 3-D Display Modes
S. Volbracht, G. Domik, K. Shahrbabaki, G. Fels, in: IEEE Visualization, 1996, pp. 8–11.
LibreCat
S. Volbracht, G. Domik, K. Shahrbabaki, G. Fels, in: IEEE Visualization, 1996, pp. 8–11.
1996 | Journal Article | LibreCat-ID: 1663
Der "Diplom Wirtschaftsjurist (FH)" oder die Reform der Juristenausbildung von Unten?
D. Krimphove, Zeitschrift Für Rechtspolitik (ZRP) (1996) 249 ff.
LibreCat
D. Krimphove, Zeitschrift Für Rechtspolitik (ZRP) (1996) 249 ff.
1996 | Conference Paper | LibreCat-ID: 2445
Accurate Performance Prediction for Massively Parallel Systems and its Applications
J. Simon, J.-M. Wierum, in: Proc. European Conf. on Parallel Processing (Euro-Par), Springer, Berlin / Heidelberg, 1996, pp. 675–688.
LibreCat
| DOI
J. Simon, J.-M. Wierum, in: Proc. European Conf. on Parallel Processing (Euro-Par), Springer, Berlin / Heidelberg, 1996, pp. 675–688.
1996 | Dissertation | LibreCat-ID: 3260
Specifying reactive systems with action dependencies: modelling and hierarchical design
H. Wehrheim, Specifying Reactive Systems with Action Dependencies: Modelling and Hierarchical Design, University of Hildesheim, Germany, 1996.
LibreCat
H. Wehrheim, Specifying Reactive Systems with Action Dependencies: Modelling and Hierarchical Design, University of Hildesheim, Germany, 1996.
1996 | Book | LibreCat-ID: 3385
Repetitorium Mikroökonomik
T. Gries, G. Sieg, H. Strulik, Repetitorium Mikroökonomik, Springer-Verlag, Berlin Heidelberg, 1996.
LibreCat
T. Gries, G. Sieg, H. Strulik, Repetitorium Mikroökonomik, Springer-Verlag, Berlin Heidelberg, 1996.
1996 | Book | LibreCat-ID: 6536
Windatlas für die Stadt Willebadessen
J. Bendfeld, S.O. Gärtner, T. Winkelmann, E. Ortjohann, Windatlas für die Stadt Willebadessen, Universität - GH Paderborn, Fachgebiet Elektrische Energieversorgung, 1996.
LibreCat
J. Bendfeld, S.O. Gärtner, T. Winkelmann, E. Ortjohann, Windatlas für die Stadt Willebadessen, Universität - GH Paderborn, Fachgebiet Elektrische Energieversorgung, 1996.
1996 | Conference Paper | LibreCat-ID: 7837
A View-Based Approach to System Modelling
G. Engels, H. Ehrig, R. Heckel, G. Taentzer, A. Corradini, in: Report on Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, Technical University of Berlin, 1996, p. 11.
LibreCat
G. Engels, H. Ehrig, R. Heckel, G. Taentzer, A. Corradini, in: Report on Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, Technical University of Berlin, 1996, p. 11.
1996 | Journal Article | LibreCat-ID: 8102
Actual Optical and Thermal Performance of PV Modules
S. Krauter, R. Hanitsch, Fuel and Energy Abstracts 37 (1996) 436.
LibreCat
S. Krauter, R. Hanitsch, Fuel and Energy Abstracts 37 (1996) 436.
1996 | Conference Paper | LibreCat-ID: 8272
Pragmatic and Semantic Aspects of a Module Concept for Graph Transformation Systems
H. Ehrig, G. Engels, in: Selected Papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science, Williamsburg, VA (USA), Springer, Berlin/Heidelberg, 1996, pp. 137–154.
LibreCat
| Download (ext.)
H. Ehrig, G. Engels, in: Selected Papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science, Williamsburg, VA (USA), Springer, Berlin/Heidelberg, 1996, pp. 137–154.
1996 | Conference Paper | LibreCat-ID: 880
ReGTime - Rent Gigaflops someTimes
B. Dreier, A. Huber, H. Karl, T. Ungerer, M. Zahn, in: Trends in Distributed Systems: CORBA and Beyond, International Workshop TreDS ’96, Aachen, Germany, October 1-2, 1996, Proceedings, 1996, pp. 84--93.
LibreCat
| DOI
B. Dreier, A. Huber, H. Karl, T. Ungerer, M. Zahn, in: Trends in Distributed Systems: CORBA and Beyond, International Workshop TreDS ’96, Aachen, Germany, October 1-2, 1996, Proceedings, 1996, pp. 84--93.
1996 | Conference Paper | LibreCat-ID: 8897
Dynamical Behaviour of a Bladed Disk with Friction Dampers
K. Popp, W. Sextro, in: The 2nd European Nonlinear Oscillation Conference - Proceedings of EUROMECH, Prag, 1996, pp. 157–183.
LibreCat
K. Popp, W. Sextro, in: The 2nd European Nonlinear Oscillation Conference - Proceedings of EUROMECH, Prag, 1996, pp. 157–183.
1996 | Book Chapter | LibreCat-ID: 8373
Einführung für den Dozenten
D. Euler, H.-H. Kremer, in: U. Braukmann, A. Diettrich, D. Euler, H.-H. Kremer, P.F.E. Sloane (Eds.), Meisterprüfung - Lernen für die Praxis. Unternehmensführung im Handwerk 1. Dozentenhandbuch für Teil lll der Meisterprüfung. Personalwirtschaft. , Düsseldorf, 1996, pp. 9–32.
LibreCat
D. Euler, H.-H. Kremer, in: U. Braukmann, A. Diettrich, D. Euler, H.-H. Kremer, P.F.E. Sloane (Eds.), Meisterprüfung - Lernen für die Praxis. Unternehmensführung im Handwerk 1. Dozentenhandbuch für Teil lll der Meisterprüfung. Personalwirtschaft. , Düsseldorf, 1996, pp. 9–32.
1996 | Book Chapter | LibreCat-ID: 16533
The Computation of Unstable Manifolds Using Subdivision and Continuation
M. Dellnitz, A. Hohmann, in: Nonlinear Dynamical Systems and Chaos, Basel, 1996.
LibreCat
| DOI
M. Dellnitz, A. Hohmann, in: Nonlinear Dynamical Systems and Chaos, Basel, 1996.
1996 | Encyclopedia Article | LibreCat-ID: 17644
Zermelosches Axiom
V. Peckhaus, in: J. Mittelstraß (Ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 4: Sp–Z, J.B. Metzler, Stuttgart/Weimar, 1996, p. 846.
LibreCat
V. Peckhaus, in: J. Mittelstraß (Ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 4: Sp–Z, J.B. Metzler, Stuttgart/Weimar, 1996, p. 846.
1996 | Book Review | LibreCat-ID: 17930
Tichy, Matthias, “Mathematics and Philosophy in Wittgenstein: Dissolution of a Reflectional Relationship”, in: Puhl (Hg.) 1993 [9.5], 144–150
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 842.0007] (1996).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 842.0007] (1996).
1996 | Book Review | LibreCat-ID: 17928
Franchella, Miriam, “Griss’ Contribution to Intuitionism”, in: Czermak (Hg.) 1993 [9.4], 119–126
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 840.01026] (1996).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 840.01026] (1996).
1996 | Book Review | LibreCat-ID: 17923
Majer, Ulrich, “Different Forms of Finitism”, in: Czermak (Hg.) 1993 [9.4], 185–194
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 838.03003] (1996).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 838.03003] (1996).
1996 | Book Review | LibreCat-ID: 17947
Echeverria, Javier, “Observations, Problems and Conjectures in Number Theory — The History of the Prime Number Theorem”, in: J. Echeverria et al. (eds.), The Space of Mathematics, Walter de Gruyter: Berlin 1992, 230–252
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 848.00008] (1996).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 848.00008] (1996).
1996 | Book Review | LibreCat-ID: 17942
Howson, Colin, “Mathematics in Philosophy”, in: J. Echeverria et al. (eds.), The Space of Mathematics, Walter de Gruyter: Berlin 1992, 192–201
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 847.00007] (1996).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 847.00007] (1996).
1996 | Book Review | LibreCat-ID: 17954
Code, Murray, “Understanding, Intuition, and the Philosophy of Mathematics”, in: Czermak (Hg.) 1993 [9.4], 335–342
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 849.00018] (1996).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 849.00018] (1996).
1996 | Book (Editor) | LibreCat-ID: 18553
Texte – Konstitution, Verarbeitung, Typik
S. Michaelis, D. Tophinke, eds., Texte – Konstitution, Verarbeitung, Typik, Lincom, München, 1996.
LibreCat
S. Michaelis, D. Tophinke, eds., Texte – Konstitution, Verarbeitung, Typik, Lincom, München, 1996.