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.
605 Publications
1998 | Conference (Editor) | LibreCat-ID: 7793
Semi-Formal and Formal Specification Techniques
G. Engels, H. Ehrig, F. Orejas, M. Wirsing, eds., Semi-Formal and Formal Specification Techniques, Schloss Dagstuhl, Leibniz Center for Informatics, 1998.
LibreCat
G. Engels, H. Ehrig, F. Orejas, M. Wirsing, eds., Semi-Formal and Formal Specification Techniques, Schloss Dagstuhl, Leibniz Center for Informatics, 1998.
1998 | Book (Editor) | LibreCat-ID: 15507
Klassische philosophische Texte von Frauen. 2nd ed
R.E. Hagengruber, ed., Klassische philosophische Texte von Frauen. 2nd ed, dtv, Deutscher Taschenbuch Verlag, München, 1998.
LibreCat
R.E. Hagengruber, ed., Klassische philosophische Texte von Frauen. 2nd ed, dtv, Deutscher Taschenbuch Verlag, München, 1998.
1998 | Book Review | LibreCat-ID: 18212
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
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
1998 | Conference Paper | LibreCat-ID: 38446
Fiber-based distributed PMD compensation at 20 Gb/s
R. Noé, D. Sandel, M. Yoshida-Dierolf, S. Hinz, C. Glingener, C. Scheerer, A. Schopflin, G. Fischer, 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
R. Noé, D. Sandel, M. Yoshida-Dierolf, S. Hinz, C. Glingener, C. Scheerer, A. Schopflin, G. Fischer, 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.
1999 | Encyclopedia Article | LibreCat-ID: 19473
Richard Beer-Hofmann: Der Tod Georgs
N.O. Eke, in: F.R. Max, C. Ruhrberg (Eds.), Reclams Romanlexikon. Bd. 3: 20. Jahrhundert I, Reclam, Stuttgart, 1999, pp. 85–87.
LibreCat
N.O. Eke, in: F.R. Max, C. Ruhrberg (Eds.), Reclams Romanlexikon. Bd. 3: 20. Jahrhundert I, Reclam, Stuttgart, 1999, pp. 85–87.
1999 | Conference Paper | LibreCat-ID: 3253
Data Abstraction for {CSP-OZ}
H. Wehrheim, in: J. M. Wing, J. Woodcock, J. Davies (Eds.), 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
H. Wehrheim, in: J. M. Wing, J. Woodcock, J. Davies (Eds.), 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.
1999 | Conference Paper | LibreCat-ID: 3254
Model-Checking {CSP-OZ} Specifications with {FDR}
C. Fischer, H. Wehrheim, in: K. Araki, A. Galloway, K. Taguchi (Eds.), 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
C. Fischer, H. Wehrheim, in: K. Araki, A. Galloway, K. Taguchi (Eds.), 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 | Book Chapter | LibreCat-ID: 27936
Interkulturelle Bildung als Aufgabe haushaltsbezogenen Unterrichts
K. Schlegel-Matthies, in: M. Thiele-Wittig (Ed.), Internationale Perspektiven in Hauswirtschaft und Haushaltswissenschaft. 20 Jahre Beirat. Dokumentations- und Diskussionsbeiträge, Baltmannsweiler, 1999, pp. 25–31.
LibreCat
K. Schlegel-Matthies, in: M. Thiele-Wittig (Ed.), Internationale Perspektiven in Hauswirtschaft und Haushaltswissenschaft. 20 Jahre Beirat. Dokumentations- und Diskussionsbeiträge, Baltmannsweiler, 1999, pp. 25–31.
1999 | Conference (Editor) | LibreCat-ID: 7792
Informatik '99: Informatik überwindet Grenzen. Tagungsband der 29. Jahrestagung der Gesellschaft für Informatik, Paderborn (Germany)
G. Engels, K. Beiersdörfer, W. Schäfer, eds., Informatik ’99: Informatik Überwindet Grenzen. Tagungsband Der 29. Jahrestagung Der Gesellschaft Für Informatik, Paderborn (Germany), Springer, Berlin/Heidelberg, 1999.
LibreCat
G. Engels, K. Beiersdörfer, W. Schäfer, eds., Informatik ’99: Informatik Überwindet Grenzen. Tagungsband Der 29. Jahrestagung Der Gesellschaft Für Informatik, Paderborn (Germany), Springer, Berlin/Heidelberg, 1999.
1999 | Conference Paper | LibreCat-ID: 11805 |
A study of broadcast news audio stream segmentation and segment clustering
M.J. Harris, X.L. Aubert, R. Haeb-Umbach, P. Beyerlein, in: Eurospeech, 1999.
LibreCat
| Download (ext.)
M.J. Harris, X.L. Aubert, R. Haeb-Umbach, P. Beyerlein, in: Eurospeech, 1999.