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.

14342 Publications

1999 | Conference Abstract | LibreCat-ID: 17881
V. Peckhaus, “Mathematische vs. Axiomatische Methode [Abstract],” in Deutsche Mathematiker-Vereinigung. Jahrestagung 1999. 5.–11. September an der Johannes Gutenberg-Universität in Mainz. Programm, 1999, p. 289.

1999 | Journal Article | LibreCat-ID: 20989
O. Hahn, A. Peetz, and G. Meschut, “Mechanische Eigenschaften stanzgenieteter und geklebter Aluminiumfeinbleche,” Schweißen und Schneiden, vol. 51, no. 7, pp. 398–405, 1999.

1999 | Conference Paper | LibreCat-ID: 3254
C. Fischer and H. Wehrheim, “Model-Checking {CSP-OZ} Specifications with {FDR},” in Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999, 1999, pp. 315--334.

1999 | Conference Paper | LibreCat-ID: 7859
R. Heckel, “Modeling Agent-Based Systems with Graph Transformation and UML,” in Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design for Software Intensive Systems, 1999, no. 258.

1999 | Journal Article | LibreCat-ID: 17508
V. Peckhaus, “Moral Integrity During a Difficult Period: Beth and Scholz,” Philosophia Scientiae (Nancy) 3 (4) (1998/1999) Themenheft: Un logicien consciencieux. La philosophie de Evert Willem Beth, pp. 151–173, 1999.

1999 | Book Chapter | LibreCat-ID: 2008
M. Brune, A. Keller, and A. Reinefeld, “Multi-User System Management on SCI Cluster,” in SCI - Scalable Coherent Interface: Architecture and Software for High Performance Compute Clusters, H. Hellwagner and A. Reinefeld, Eds. 1999, pp. 443–460.
LibreCat | DOI

1999 | Conference Paper | LibreCat-ID: 8326
G. Engels and S. Sauer, “MVC-Based Modeling Support for Embedded Real-Time Systems,” in Proceedings of OMER Workshop, Herrsching, Germany, 1999, no. 01, pp. 11–14.

1999 | Book Chapter | LibreCat-ID: 19405
N. O. Eke, “Nachwort,” in Thomas Valentin: Grabbes letzter Sommer, N. O. Eke, Ed. Oldenburg: Igel, 1999, pp. 127–144.

1999 | Conference Paper | LibreCat-ID: 18959
T. Lukovszki, “New Results on Fault Tolerant Geometric Spanners,” in Proceedings of the 6th Workshop on Algorithms an Data Structures (WADS’99), LNCS, 1999, pp. 193–204.
LibreCat | DOI

1999 | Dissertation | LibreCat-ID: 18942
T. Lukovszki, New Results on Geometric Spanners and Their Applications. Universität Paderborn, 1999.
LibreCat | Files available

1999 | Encyclopedia Article | LibreCat-ID: 19461
N. O. Eke, “Nikolaus Lenau: Savonarola. Ein Gedicht; Die Albigenser. Freie Dichtungen,” in Reclams Romanlexikon. Bd. 2: Von der Romantik bis zum Naturalismus, F. R. Max and C. Ruhrberg, Eds. Stuttgart: Reclam, 1999, pp. 235–238.

1999 | Journal Article | LibreCat-ID: 10189
E. Steffen, “Non-bicritical critical snarks,” Graphs Comb., vol. 15, pp. 473–480, 1999.

1999 | Journal Article | LibreCat-ID: 16199
E. Hüllermeier, “Numerical methods for fuzzy initial value problems,” International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, vol. 7, no. 5, pp. 439–461, 1999.

1999 | Conference Paper | LibreCat-ID: 8322
S. Sauer and G. Engels, “OMMMA: An Object-Oriented Approach for Modeling Multimedia Information Systems,” in Proceedings of the workshop on Multimedia Information Systems (MIS 1999), Indian Wells, CA (USA), 1999, pp. 64–71.

1999 | Conference Abstract | LibreCat-ID: 17880
V. Peckhaus, “On Deepening Foundations: Hilbert’s Axiomatic Program Between Pragmatics and Naturalism [Abstract],” in International Union of History and Philosophy of Science. 11th International Congress of Logic, Methodology and Philosophy of Science. Volume of Abstracts. August 20–26, 1999, Cracow, Poland, 1999, p. 447.

1999 | Journal Article | LibreCat-ID: 16537
M. Dellnitz and O. Junge, “On the Approximation of Complicated Dynamical Behavior,” SIAM Journal on Numerical Analysis, pp. 491–515, 1999.
LibreCat | DOI

1999 | Conference Paper | LibreCat-ID: 3024
J. Blömer and J.-P. Seifert, “On the complexity of computing short linearly independent vectors and short bases in a lattice,” in Proceedings of the thirty-first annual ACM symposium on Theory of computing  - STOC ’99, 1999.
LibreCat | Files available | DOI

1999 | Conference Paper | LibreCat-ID: 8328
K. Mehner and A. Wagner, “On the Role of Method Families in Aspect Oriented Programming,” in Proceedings of the ECOOP Workshop on Aspect Oriented Programming, Lisboa (Spain), 1999, vol. 1743, pp. 305–306.

1999 | Conference Paper | LibreCat-ID: 8121
S. Krauter and U. Schmid, “Optical and Thermal Improvements of PV Performance by a Flowing Film of Water at the Frontside of PV Generators. ,” in Proceedings of the 9th Sede Boquer Symposium on Solar Electricity Production, Sede Boquer (Israel), 12.–13. Juli 1999, S. 123–126, 1999.

1999 | Book Review | LibreCat-ID: 18331
V. Peckhaus, “Otte, Michael, ‘A Controversy on the Axiomatization of Arithmetic in Its Philosophical Context’, in: Conference on the History of Mathematics. Papers from the Conference Cetraro, Italy, September 8–12, 1988, hg. v. Massimo Galuzzi, Editoria Elettronica: Rende 1991, 465–485,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 921.01017]. 1999.

Filters and Search Terms



Filter Publications

Display / Sort

Sorted by: Publishing Year , Title
Citation Style: IEEE

Export / Embed