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.
LibreCat
 

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.
LibreCat
 

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.
LibreCat
 

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.
LibreCat
 

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.
LibreCat
 

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.
LibreCat
 

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.
LibreCat
 

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.
LibreCat
 

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

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.
LibreCat
 

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.
LibreCat
 

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.
LibreCat
 

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.
LibreCat
 

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.
LibreCat
 

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.
LibreCat
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , Title
Citation Style: IEEE

Export / Embed