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.

10401 Publications


1999 | Book | LibreCat-ID: 3339
Propositional Logic : Deduction and Algorithms
T. Lettmann, H. Kleine Büning, Propositional Logic : Deduction and Algorithms, Cambridge Univ. Press, 1999.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 7401
Graph Transformation for Specification and Programming
M. Andries, G. Engels, A. Habel, B. Hoffmann, H.-J. Kreowski, S. Kuske, D. Plump, A. Schürr, G. Taentzer, Science of Computer Programming 34 (1999) 1–54.
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 7850
Tile Transition Systems as Structured Coalgebras
A. Corradini, R. Heckel, U. Montanari, in: Proceedings of the 12th International Symposium on Fundamentals of Computation Theory (FCT ’99), Springer, Berlin/Heidelberg, 1999, pp. 13–38.
LibreCat
 

1999 | Book Chapter | LibreCat-ID: 7519
Classification and Comparison of Module Concepts for Graph Transformation Systems
R. Heckel, G. Engels, H. Ehrig, G. Taentzer, in: Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools, World Scientific, Singapore, 1999, pp. 669–689.
LibreCat
 

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
 

1999 | Conference Paper | LibreCat-ID: 8118
Set-up of a Laboratory for Research and Education in Solar Energy in Rio de Janeiro
S. Krauter, R. Stephan, L. Bastos, in: Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999, S. II-288, 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8120
The Use of Solar Energy: Considerations for Calculations of Greenhouse Gas Reduction by Photovoltaics
S. Krauter, in: Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999, II-375., 1999.
LibreCat
 

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

1999 | Conference Paper | LibreCat-ID: 8327
An Assessment of Aspect Language Design
K. Mehner, A. Wagner, in: Proceedings of the Young Researchers Workshop (Satellite Event of the Generative and Component-Based Software Engineering (GCSE 1999)), Erfurt (Germany), 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8909
Schwingungsanalyse von vorgespannten Schaufeln mit Deckplatten im Schaufelkranz
K. Popp, W. Sextro, in: Forschungsvereinigung Verbrennungskraftmaschinen (FW) -Lnformationstagung Turbinen, Heidelberg, 1999, pp. 21–38.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8911
Forced Vibration of Elastic Structures with Friction Contacts
W. Sextro, in: ASME Design Engineering Technical Conferences, Las Vegas, Nevada, USA, 1999, pp. 1–10.
LibreCat
 

1999 | Book Chapter | LibreCat-ID: 8459
Realisierung fächer- und lernortübergreifender Ausbildungskonzepte
H.-H. Kremer, in: P.F.E. Sloane, R. Bader, G. Straka (Eds.), Lehren und Lernen in der Aus- und Weiterbildung, Opladen, 1999.
LibreCat
 

1999 | Book Review | LibreCat-ID: 9666
Falk, P. / C. Campbell (Hg.): The Shopping Experience, 1997
M. Tönnies, Journal for the Study of British Cultures 6 (1999) 211–213.
LibreCat
 

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

1999 | Journal Article | LibreCat-ID: 17511
19th Century Logic: Between Philosophy and Mathematics (Wiederabdruck)
V. Peckhaus, The Bulletin of Symbolic Logic 5 (1999) 433–450.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 17509
Abduktion und Heuristik
V. Peckhaus, in: J. Nida-Rümelin (Ed.), Rationalität, Realismus, Revision.Vorträge des 3. Internationalen Kongresses der Gesellschaft für Analytische Philosophie, Walter de Gruyter, Berlin/New York, 1999, pp. 833–841.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 11780
Investigations on inter-speaker variability in the feature space
R. Haeb-Umbach, in: ICASSP99 Phoenix, AZ, 1999.
LibreCat | Download (ext.)
 

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

1999 | Conference Paper | LibreCat-ID: 11728
The Philips/RWTH system for transcription of broadcast news
P. Beyerlein, X.L. Aubert, R. Haeb-Umbach, M.J. Harris, D. Klakow, A. Wendemuth, S. Molau, M. Pitz, A. Sixtus, in: Eurospeech, 1999.
LibreCat | Download (ext.)
 

1999 | Book | LibreCat-ID: 13065
Selbsttestbare Steuerwerke - Strukturen und Syntheseverfahren
S. Hellebrand, Selbsttestbare Steuerwerke - Strukturen Und Syntheseverfahren, Verlag Dr. Kovac, Hamburg, Verlag Dr. Kovac, Hamburg, 1999.
LibreCat
 

Search

Filter Publications

Display / Sort

Export / Embed