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.
13542 Publications
1997 | Book Review | LibreCat-ID: 18206
DePauli-Schimanovich, Werner/Weibel, Peter, Kurt Gödel: ein mathematischer Mythos, Hölder-Pichler-Tempski: Wien 1997
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 872.01030] (1997).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 872.01030] (1997).
1997 | Book Chapter | LibreCat-ID: 18427
Zum Problem der Gattungsgrenze – Möglichkeiten einer prototypentheoretischen Lösung
D. Tophinke, in: B. Frank, T. Haye, D. Tophinke (Eds.), Gattungen mittelalterlicher Schriftlichkeit, Narr, Tübingen, 1997, pp. 161–182.
LibreCat
D. Tophinke, in: B. Frank, T. Haye, D. Tophinke (Eds.), Gattungen mittelalterlicher Schriftlichkeit, Narr, Tübingen, 1997, pp. 161–182.
1997 | Book | LibreCat-ID: 19019
Signaturen der Revolution. Frankreich – Deutschland: deutsche Zeitgenossenschaft und deutsches Drama zur Französischen Revolution um 1800
N.O. Eke, Signaturen der Revolution. Frankreich – Deutschland: deutsche Zeitgenossenschaft und deutsches Drama zur Französischen Revolution um 1800, Fink, München, 1997.
LibreCat
N.O. Eke, Signaturen der Revolution. Frankreich – Deutschland: deutsche Zeitgenossenschaft und deutsches Drama zur Französischen Revolution um 1800, Fink, München, 1997.
1997 | Conference Paper | LibreCat-ID: 2179
Simple, Efficient Routing Schemes for All-Optical Networks
M. Flammini, C. Scheideler, in: SPAA, 1997, pp. 170--179.
LibreCat
| Files available
M. Flammini, C. Scheideler, in: SPAA, 1997, pp. 170--179.
1997 | Conference Paper | LibreCat-ID: 11819
European Speech Databases for Telephone Applications
H. Hoege, H.S. Tropf, R. Winsky, H. van den Heuvel, R. Haeb-Umbach, K. Choukri, in: ICASSP, Munich, 1997.
LibreCat
| Download (ext.)
H. Hoege, H.S. Tropf, R. Winsky, H. van den Heuvel, R. Haeb-Umbach, K. Choukri, in: ICASSP, Munich, 1997.
1997 | Conference Paper | LibreCat-ID: 11852
Acoustic Front Ends for Speaker-Independent Digit Recognition in Car Environments
D. Langmann, A. Fischer, F. Wuppermann, R. Haeb-Umbach, T. Eisele, in: Eurospeech, 1997.
LibreCat
| Download (ext.)
D. Langmann, A. Fischer, F. Wuppermann, R. Haeb-Umbach, T. Eisele, in: Eurospeech, 1997.
1997 | Journal Article | LibreCat-ID: 13776
The anisotropic electron - positron momentum distribution in diamond
R.W.N. Nilen, S.H. Connell, D.T. Britton, C.G. Fischer, E.J. Sendezera, P. Schaaff, W.G. Schmidt, J.P.F. Sellschop, W.S. Verwoerd, Journal of Physics: Condensed Matter 9 (1997) 6323–6333.
LibreCat
| DOI
R.W.N. Nilen, S.H. Connell, D.T. Britton, C.G. Fischer, E.J. Sendezera, P. Schaaff, W.G. Schmidt, J.P.F. Sellschop, W.S. Verwoerd, Journal of Physics: Condensed Matter 9 (1997) 6323–6333.
1997 | Conference Paper | LibreCat-ID: 15291
Approximation of fuzzy functions
E. Hüllermeier, in: A. Grauel, W. Becker, F. Belli (Eds.), In Proceedings 4.Internationaler Workshop Fuzzy-Neuro-Systeme. Soest Germany, 1997, pp. 374–381.
LibreCat
E. Hüllermeier, in: A. Grauel, W. Becker, F. Belli (Eds.), In Proceedings 4.Internationaler Workshop Fuzzy-Neuro-Systeme. Soest Germany, 1997, pp. 374–381.
1997 | Conference Paper | LibreCat-ID: 15811
Modellierung und Simulation unsicherer dynamischer Systeme und Anwendungen in der Diagnose
E. Hüllermeier, in: D.P.F. Möller, O. Richter (Eds.), In Proceedings ASIM Fachgruppentagung Soft Computing, 1997.
LibreCat
E. Hüllermeier, in: D.P.F. Möller, O. Richter (Eds.), In Proceedings ASIM Fachgruppentagung Soft Computing, 1997.
1997 | Journal Article | LibreCat-ID: 16201
A new approach to modelling and simulation of uncertain dynamical systems
E. Hüllermeier, International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 5 (1997) 117–137.
LibreCat
E. Hüllermeier, International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 5 (1997) 117–137.
1997 | Book Review | LibreCat-ID: 1691
Rademacher, Ulf: Der Europäische Betriebsrat. Die Richtlinie 94 / 45 / EG des Rates vom 22. 4. 1994 und ihre Umsetzung in nationales Recht; Nomos: Universitätsschriften Recht 1997
D. Krimphove, Recht Der Arbeit (RdA) (1997) 310.
LibreCat
D. Krimphove, Recht Der Arbeit (RdA) (1997) 310.
1997 | Book Chapter | LibreCat-ID: 16605
Communication efficient parallel searching
A. Bäumker, F. Meyer auf der Heide, in: Solving Irregularly Structured Problems in Parallel, Berlin, Heidelberg, 1997.
LibreCat
| DOI
A. Bäumker, F. Meyer auf der Heide, in: Solving Irregularly Structured Problems in Parallel, Berlin, Heidelberg, 1997.
1997 | Journal Article | LibreCat-ID: 1665
Europäisches Arbeitsrecht - Konsequenzen für die betriebliche Praxis
D. Krimphove, Kommunale Aufgaben Und Umweltrecht (1997) 49 ff.
LibreCat
D. Krimphove, Kommunale Aufgaben Und Umweltrecht (1997) 49 ff.
1997 | Book Chapter | LibreCat-ID: 16693
Parallel Computing in Paderborn: The SFB 376 “Massive Parallelism — Algorithms, Design Methods, Applications”
F. Meyer auf der Heide, T. Decker, in: Informatik ’97 Informatik Als Innovationsmotor, Berlin, Heidelberg, 1997.
LibreCat
| DOI
F. Meyer auf der Heide, T. Decker, in: Informatik ’97 Informatik Als Innovationsmotor, Berlin, Heidelberg, 1997.
1997 | Conference Paper | LibreCat-ID: 2442
The MOL Project: An Open, Extensible Metacomputer
A. Reinefeld, R. Baraglia, T. Decker, J. Gehring, D. Laforenza, F. Ramme, T. Römke, J. Simon, in: Proc. Heterogenous Computing Workshop (HCW), IEEE Computer Society, 1997, pp. 17–31.
LibreCat
| DOI
A. Reinefeld, R. Baraglia, T. Decker, J. Gehring, D. Laforenza, F. Ramme, T. Römke, J. Simon, in: Proc. Heterogenous Computing Workshop (HCW), IEEE Computer Society, 1997, pp. 17–31.
1997 | Journal Article | LibreCat-ID: 3527
Amerikanisches Job-Wunder versus deutsches Produktivitätswunder: Ein Vergleich der Arbeitsmarktstrategien
T. Gries, A. Birk, Wirtschaftsdienst – Zeitschrift Für Wirtschaftspolitik (1949 - 2007) 77 (1997) 99–106.
LibreCat
T. Gries, A. Birk, Wirtschaftsdienst – Zeitschrift Für Wirtschaftspolitik (1949 - 2007) 77 (1997) 99–106.
1997 | Book Chapter | LibreCat-ID: 6228
Personalwirtschaftliche Strategien im europäischen Vergleich – Eine Analyse organisations- und landesspezifischer Prädiktoren
W. Weber, R. Kabst, in: R. Klimecki, A. Remer (Eds.), Personal Als Strategie, 1997, pp. 20–45.
LibreCat
W. Weber, R. Kabst, in: R. Klimecki, A. Remer (Eds.), Personal Als Strategie, 1997, pp. 20–45.
1997 | Book Chapter | LibreCat-ID: 7517
Algebraic Approaches to Graph Transformation, Part I: Basic Concepts and Double Pushout Approach
A. Corradini, U. Montanari, F. Rossi, H. Ehrig, R. Heckel, M. Löwe, in: Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations, World Scientific, Singapore, 1997, pp. 163–245.
LibreCat
A. Corradini, U. Montanari, F. Rossi, H. Ehrig, R. Heckel, M. Löwe, in: Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations, World Scientific, Singapore, 1997, pp. 163–245.
1997 | Conference Paper | LibreCat-ID: 7841
Integrating the Specification Techniques of Graph Transformation and Temporal Logic
R. Heckel, H. Ehrig, U. Wolter, A. Corradini, in: Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science (MFCS 1997), Bratislava (Slovakia), Springer, London, UK, 1997, pp. 219–228.
LibreCat
| DOI
R. Heckel, H. Ehrig, U. Wolter, A. Corradini, in: Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science (MFCS 1997), Bratislava (Slovakia), Springer, London, UK, 1997, pp. 219–228.
1997 | Conference (Editor) | LibreCat-ID: 7795
Themenheft: Softwaretechnik
G. Engels, ed., Themenheft: Softwaretechnik, Springer, Berlin/Heidelberg, 1997.
LibreCat
| DOI
G. Engels, ed., Themenheft: Softwaretechnik, Springer, Berlin/Heidelberg, 1997.
1997 | Conference Paper | LibreCat-ID: 7839
A View-Oriented Approach to System Modelling Using Graph Transformations
G. Engels, R. Heckel, G. Taentzer, H. Ehrig, in: M. Jazayeri, H. Schauer (Eds.), Proceedings European Software Engineering Conference (ESEC 1997), Zürich (Switzerland), Springer, Berlin/Heidelberg, 1997, pp. 327–343.
LibreCat
| DOI
G. Engels, R. Heckel, G. Taentzer, H. Ehrig, in: M. Jazayeri, H. Schauer (Eds.), Proceedings European Software Engineering Conference (ESEC 1997), Zürich (Switzerland), Springer, Berlin/Heidelberg, 1997, pp. 327–343.
1997 | Conference Paper | LibreCat-ID: 8902
Schwingungsverhalten von verstimmten Beschaufelungen mit Reibelementen
K. Popp, W. Sextro, in: Forschungsvereinigung Verbrennungskraftmaschinen (FW) -Lnformationstagung Turbinen, Frankfurt am Main, Germany, 1997, pp. 131–142.
LibreCat
K. Popp, W. Sextro, in: Forschungsvereinigung Verbrennungskraftmaschinen (FW) -Lnformationstagung Turbinen, Frankfurt am Main, Germany, 1997, pp. 131–142.
1997 | Book Chapter | LibreCat-ID: 8421
Grundfragen der Berufsbildung
D. Euler, H.-H. Kremer, M. Theis, in: D. Euler, H.-H. Kremer, M. Theis (Eds.), Meisterprüfung - Lernen für die Praxis, Ausbilden im Handwerk, 3rd ed., Düsseldorf, 1997, pp. 13–42.
LibreCat
D. Euler, H.-H. Kremer, M. Theis, in: D. Euler, H.-H. Kremer, M. Theis (Eds.), Meisterprüfung - Lernen für die Praxis, Ausbilden im Handwerk, 3rd ed., Düsseldorf, 1997, pp. 13–42.
1997 | Conference Paper | LibreCat-ID: 8279
Compositional Development and Verification of Graph Transformation Systems Based on Views and View Integration
R. Heckel, in: Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France), 1997.
LibreCat
R. Heckel, in: Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France), 1997.
1997 | Journal Article | LibreCat-ID: 16535
Almost Invariant Sets in Chua's Circuit
M. Dellnitz, O. Junge, International Journal of Bifurcation and Chaos (1997) 2475–2485.
LibreCat
| DOI
M. Dellnitz, O. Junge, International Journal of Bifurcation and Chaos (1997) 2475–2485.
1997 | Book Review | LibreCat-ID: 17780
Witold Marciszewski/Roman Murawski. Mechanization of Reasoning in a Historical Perspective. Amsterdam/Atlanta, GA: Rodopi 1995. (Poznań Studies in the Philosophy of the Sciences and the Humanities; 43)
V. Peckhaus, Modern Logic 7 (1997) 402–409.
LibreCat
V. Peckhaus, Modern Logic 7 (1997) 402–409.
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.