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.
9174 Publications
1991 | Journal Article | LibreCat-ID: 17473
Ernst Schröder und die ,pasigraphischen Systeme‘ von Peano und Peirce
V. Peckhaus, Modern Logic 1 (1991) 174–205.
LibreCat
V. Peckhaus, Modern Logic 1 (1991) 174–205.
1991 | Conference Abstract | LibreCat-ID: 17822
Logic in Transition: The Logical Calculi of Hilbert (1905) and Zermelo (1908) [Abstract]
V. Peckhaus, in: Abstracts of the 9th International Congress of Logic, Methodology and Philosophy of Science, Uppsala, August 7–14, 1991, Bd. 2: General Philosophy of Science. Sections 6–9, o.O.u.J. (Uppsala), 1991, p. 158.
LibreCat
V. Peckhaus, in: Abstracts of the 9th International Congress of Logic, Methodology and Philosophy of Science, Uppsala, August 7–14, 1991, Bd. 2: General Philosophy of Science. Sections 6–9, o.O.u.J. (Uppsala), 1991, p. 158.
1991 | Conference Paper | LibreCat-ID: 39584
Contract-Oriented System Design and Specification
W. Müller, in: Proceedings of the Workshop on Practical Computer Based Systems Engineering - Its Scope and Methods, Grassau Germany, 1991.
LibreCat
W. Müller, in: Proceedings of the Workshop on Practical Computer Based Systems Engineering - Its Scope and Methods, Grassau Germany, 1991.
1991 | Conference Paper | LibreCat-ID: 39583
Validation of EXPRESS Models Using Prolog
G. Lehrenfeld, W. Müller, in: Proceedings of the 1st EXPRESS User’s Group Conference, Houston TX, USA, 1991.
LibreCat
G. Lehrenfeld, W. Müller, in: Proceedings of the 1st EXPRESS User’s Group Conference, Houston TX, USA, 1991.
1991 | Book Chapter | LibreCat-ID: 43478
Letzter Sonntag nach Epiphanias; Predigttext: 2. Korinther 4,6-10
H. Schroeter-Wittke, in: H. Nitschke (Ed.), Gottesdienstpraxis. Serie A. II. Perikopenreihe Band 1, Gütersloher Verlagshaus, Gütersloh, 1991.
LibreCat
H. Schroeter-Wittke, in: H. Nitschke (Ed.), Gottesdienstpraxis. Serie A. II. Perikopenreihe Band 1, Gütersloher Verlagshaus, Gütersloh, 1991.
1991 | Conference Paper | LibreCat-ID: 39922
Application and implementation of neural networks in microelectronics
K. Goser, U. Hilleringmann, U. Rückert, in: A. Prieto (Ed.), Artificial Neural Networks, Springer Berlin Heidelberg, Berlin, Heidelberg, 1991, pp. 243–259.
LibreCat
K. Goser, U. Hilleringmann, U. Rückert, in: A. Prieto (Ed.), Artificial Neural Networks, Springer Berlin Heidelberg, Berlin, Heidelberg, 1991, pp. 243–259.
1990 | Encyclopedia Article | LibreCat-ID: 19490
Maximilian von Löwenthal
N.O. Eke, in: W. Killy (Ed.), Literatur Lexikon. Autoren und Werke deutscher Sprache. Bd. 7, Gütersloh, München, 1990, p. 332.
LibreCat
N.O. Eke, in: W. Killy (Ed.), Literatur Lexikon. Autoren und Werke deutscher Sprache. Bd. 7, Gütersloh, München, 1990, p. 332.
1990 | Book Chapter | LibreCat-ID: 3050
Approximation of convex polygons
H. Alt, J. Blömer, H. Wagener, in: Automata, Languages and Programming, Springer-Verlag, Berlin/Heidelberg, 1990, pp. 703–716.
LibreCat
| DOI
H. Alt, J. Blömer, H. Wagener, in: Automata, Languages and Programming, Springer-Verlag, Berlin/Heidelberg, 1990, pp. 703–716.
1990 | Book | LibreCat-ID: 17445
Hilbertprogramm und Kritische Philosophie. Das Göttinger Modell interdisziplinärer Zusammenarbeit zwischen Mathematik und Philosophie
V. Peckhaus, Hilbertprogramm und Kritische Philosophie. Das Göttinger Modell interdisziplinärer Zusammenarbeit zwischen Mathematik und Philosophie, Vandenhoeck & Ruprecht, Göttingen, 1990.
LibreCat
V. Peckhaus, Hilbertprogramm und Kritische Philosophie. Das Göttinger Modell interdisziplinärer Zusammenarbeit zwischen Mathematik und Philosophie, Vandenhoeck & Ruprecht, Göttingen, 1990.
1990 | Book | LibreCat-ID: 19151
Nikolaus Lenau. Werke und Briefe. Historisch-kritische Gesamtausgabe. Bd. 6,1: Briefe 1838-1847. Teil 1: Text (Edition)
N.O. Eke, N. Oellers, K.J. Skrodzki, H. Steinecke, Nikolaus Lenau. Werke und Briefe. Historisch-kritische Gesamtausgabe. Bd. 6,1: Briefe 1838-1847. Teil 1: Text (Edition), Österreichischer Bundesverlag, Klett-Cotta, Wien, 1990.
LibreCat
N.O. Eke, N. Oellers, K.J. Skrodzki, H. Steinecke, Nikolaus Lenau. Werke und Briefe. Historisch-kritische Gesamtausgabe. Bd. 6,1: Briefe 1838-1847. Teil 1: Text (Edition), Österreichischer Bundesverlag, Klett-Cotta, Wien, 1990.
1990 | Conference Paper | LibreCat-ID: 7824
Formal Semantics of an Entity-Relationship Query Language
U. Hohenstein, G. Engels, in: Proceedings of the 9th International Conference on Entity-Relationship Approach (ER 90), Lausanne, Switzerland, ER Institute, 1990, pp. 177–188.
LibreCat
U. Hohenstein, G. Engels, in: Proceedings of the 9th International Conference on Entity-Relationship Approach (ER 90), Lausanne, Switzerland, ER Institute, 1990, pp. 177–188.
1990 | Conference Paper | LibreCat-ID: 8081
The Influence of the Capsulation on the Efficiency of PV-Modules.
S. Krauter, R. Hanitsch, in: Proceedings of the 1st World Renewable Energy Congress, Reading (UK), 23.–28. September 1990, Band 1, S. 141–144., 1990.
LibreCat
| DOI
S. Krauter, R. Hanitsch, in: Proceedings of the 1st World Renewable Energy Congress, Reading (UK), 23.–28. September 1990, Band 1, S. 141–144., 1990.
1990 | Conference Paper | LibreCat-ID: 8259
Elementary Actions on an Extended Entity-Relationship Database
G. Engels, in: Proceedings of the Workshop on Graph Grammars and Their Application to Computer Science (1990), Bremen (Germany), Springer, Berlin/Heidelberg, 1990, pp. 344–362.
LibreCat
| DOI
G. Engels, in: Proceedings of the Workshop on Graph Grammars and Their Application to Computer Science (1990), Bremen (Germany), Springer, Berlin/Heidelberg, 1990, pp. 344–362.
1990 | Book Chapter | LibreCat-ID: 16738
A new universal class of hash functions and dynamic hashing in real time
M. Dietzfelbinger, F. Meyer auf der Heide, in: Automata, Languages and Programming, Berlin/Heidelberg, 1990.
LibreCat
| DOI
M. Dietzfelbinger, F. Meyer auf der Heide, in: Automata, Languages and Programming, Berlin/Heidelberg, 1990.
1990 | Book Chapter | LibreCat-ID: 16739
Dynamic hashing strategies
F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Berlin/Heidelberg, 1990.
LibreCat
| DOI
F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Berlin/Heidelberg, 1990.
1990 | Book Chapter | LibreCat-ID: 16740
On the complexity of genuinely polynomial computation
M. Karpinski, F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Berlin/Heidelberg, 1990.
LibreCat
| DOI
M. Karpinski, F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Berlin/Heidelberg, 1990.
1990 | Conference Paper | LibreCat-ID: 16741
How to distribute a dictionary in a complete network
M. Dietzfelbinger, F. Meyer auf der Heide, in: Proceedings of the Twenty-Second Annual ACM Symposium on Theory of Computing - STOC ’90, 1990.
LibreCat
| DOI
M. Dietzfelbinger, F. Meyer auf der Heide, in: Proceedings of the Twenty-Second Annual ACM Symposium on Theory of Computing - STOC ’90, 1990.
1990 | Conference Paper | LibreCat-ID: 16742
Not all keys can be hashed in constant time
J. Gil, F. Meyer auf der Heide, A. Wigderson, in: Proceedings of the Twenty-Second Annual ACM Symposium on Theory of Computing - STOC ’90, 1990.
LibreCat
| DOI
J. Gil, F. Meyer auf der Heide, A. Wigderson, in: Proceedings of the Twenty-Second Annual ACM Symposium on Theory of Computing - STOC ’90, 1990.
1990 | Journal Article | LibreCat-ID: 16824
Das Heinz Nixdorf-Institut der Universität-GH Paderborn
F. Meyer auf der Heide, Informatik Spektrum 13 (1990) 231–232.
LibreCat
F. Meyer auf der Heide, Informatik Spektrum 13 (1990) 231–232.
1990 | Conference Paper | LibreCat-ID: 16913
IRAS On-Line Catalogs at CASA
G. Domik, E.W. Brugel, R.E. Stencel, in: Proceedings of the 176th Meeting of the American Astronomical Society, 1990.
LibreCat
G. Domik, E.W. Brugel, R.E. Stencel, in: Proceedings of the 176th Meeting of the American Astronomical Society, 1990.