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.

624 Publications


1999 | Conference Paper | LibreCat-ID: 3253
H. Wehrheim, “Data Abstraction for {CSP-OZ},” in FM’99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume {II}, 1999, pp. 1028--1047.
LibreCat | DOI
 

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 | Book Chapter | LibreCat-ID: 27936
K. Schlegel-Matthies, “Interkulturelle Bildung als Aufgabe haushaltsbezogenen Unterrichts,” in Internationale Perspektiven in Hauswirtschaft und Haushaltswissenschaft. 20 Jahre Beirat. Dokumentations- und Diskussionsbeiträge, M. Thiele-Wittig, Ed. Baltmannsweiler, 1999, pp. 25–31.
LibreCat
 

1999 | Conference (Editor) | LibreCat-ID: 7792
G. Engels, K. Beiersdörfer, and W. Schäfer, Eds., Informatik ’99: Informatik überwindet Grenzen. Tagungsband der 29. Jahrestagung der Gesellschaft für Informatik, Paderborn (Germany). Berlin/Heidelberg: Springer, 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 11805 | OA
M. J. Harris, X. L. Aubert, R. Haeb-Umbach, and P. Beyerlein, “A study of broadcast news audio stream segmentation and segment clustering,” in Eurospeech, 1999.
LibreCat | Download (ext.)
 

1999 | Conference Paper | LibreCat-ID: 17506
V. Peckhaus, “19th Century Logic: Between Philosophy and Mathematics,” in Proceedings of the Canadian Society for the History and Philosophy of Mathematics. Société Canadienne d’Histoire et Philosophie des Mathématiques, Bd. 11: Twenty-Fourth Annual Meeting. University of Ottawa. Ottawa, Ontario, May 29–31, 1998, 1999, pp. 1–20.
LibreCat
 

1999 | Book Review | LibreCat-ID: 17785
V. Peckhaus, “Gunter Scholtz (Hrsg.): Historismus am Ende des 20. Jahrhunderts. Eine Internationale Diskussion. Akademie-Verlag, Berlin 1997,” Philosophischer Literaturanzeiger, vol. 52. pp. 240–242, 1999.
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: 38343
R. Noé et al., “Polarization mode dispersion compensation at 10, 20, and 40 Gb/s with various optical equalizers,” JOURNAL OF LIGHTWAVE TECHNOLOGY, vol. 17, no. 9, pp. 1602–1616, 1999, doi: 10.1109/50.788566.
LibreCat | DOI
 

1999 | Journal Article | LibreCat-ID: 38293
R. Noé et al., “Polarization mode dispersion compensation at 10, 20, and 40 Gb/s with various optical equalizers,” JOURNAL OF LIGHTWAVE TECHNOLOGY, vol. 17, no. 9, pp. 1602–1616, 1999, doi: 10.1109/50.788566.
LibreCat | DOI
 

1998 | Conference (Editor) | LibreCat-ID: 7793
G. Engels, H. Ehrig, F. Orejas, and M. Wirsing, Eds., Semi-Formal and Formal Specification Techniques, vol. 218. Schloss Dagstuhl, Leibniz Center for Informatics, 1998.
LibreCat
 

1998 | Book (Editor) | LibreCat-ID: 15507
R. E. Hagengruber, Ed., Klassische philosophische Texte von Frauen. 2nd ed. München: dtv, Deutscher Taschenbuch Verlag, 1998.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 38446
R. Noé et al., “Fiber-based distributed PMD compensation at 20 Gb/s,” in 24TH EUROPEAN CONFERENCE ON OPTICAL COMMUNICATION, VOL 1-3: VOL 1: REGULAR AND INVITED PAPERS; VOL 2: TUTORIALS AND SYMPOSIUM PAPERS; VOL 3: POSTDEADLINE PAPERS, 1998, pp. B157–B159.
LibreCat
 

1998 | Book Review | LibreCat-ID: 18212 | OA
V. Peckhaus, “Spalt, Detlef D., „Exaktheit als Konstante, Begriffe im Wandel des mathematischen Denkens. Zur Analysis im 19. und 20. Jahrhundert“, in: Czermak (Hg.) 1993 [Zbl 0836.00022], 45–59,” zbMATH Open, Zbl. 0876.00012. 1998.
LibreCat | Download (ext.)
 

1997 | Conference Paper | LibreCat-ID: 3258
A. Rensink and H. Wehrheim, “Dependency-Based Action Refinement,” in Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, 1997, pp. 468--477.
LibreCat | DOI
 

1997 | Conference Paper | LibreCat-ID: 3259
A. Rensink and H. Wehrheim, “Dependency-Based Action Refinement,” in Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, 1997, pp. 468--477.
LibreCat | DOI
 

1997 | Conference Paper | LibreCat-ID: 16568
M. Fischer, F. Meyer auf der Heide, and W.-B. Strothmann, “Dynamic data structures for realtime management of large geometric scenes,” in 5th Annual European Symposium on Algorithms (ESA ’97), 1997, vol. 1284, pp. 1157–170, doi: 10.1007/3-540-63397-9_13.
LibreCat | DOI
 

1997 | Journal Article | LibreCat-ID: 13776
R. W. N. Nilen et al., “The anisotropic electron - positron momentum distribution in diamond,” Journal of Physics: Condensed Matter, vol. 9, pp. 6323–6333, 1997.
LibreCat | DOI
 

1997 | Book | LibreCat-ID: 17447 | OA
V. Peckhaus, Logik, Mathesis universalis und allgemeine Wissenschaft. Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert. Berlin: Akademie-Verlag, 1997.
LibreCat | Files available
 

1996 | Book Chapter | LibreCat-ID: 35049
J. Süßmann, “Zeitroman, mimetisch. Textgeschichte, Verfahren und Status von Marieluise Fleißers ›Mehlreisende Frieda Geier‹,” in Literatur und Leben. Stationen weiblichen Schreibens im 20. Jahrhundert. Unter Mitarbeit v. Lena Lindhoff, C. Bürger, Ed. Stuttgart: M&P, 1996, pp. 62–100.
LibreCat | DOI | Download (ext.)
 

Filters and Search Terms

%28project%3D78%29%20

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed