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.

14326 Publications


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

1999 | Journal Article | LibreCat-ID: 7401
Andries, M., Engels, G., Habel, A., Hoffmann, B., Kreowski, H.-J., Kuske, S., … Taentzer, G. (1999). Graph Transformation for Specification and Programming. Science of Computer Programming, 34(1), 1–54. http://dx.doi.org/10.1016/S0167-6423(98)00023-9
LibreCat | DOI
 

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

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

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

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

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

1999 | Conference Paper | LibreCat-ID: 8322
Sauer, S., & Engels, G. (1999). 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) (pp. 64–71). Indian Wells, California, USA.
LibreCat
 

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

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

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

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

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

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

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

1999 | Book Review | LibreCat-ID: 18312
Peckhaus, V. (1999). Frascolla, Pascquale, Wittgenstein’s Philosophy of Mathematics, Routledge: London/New York 1994. Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 901.03004].
LibreCat
 

1999 | Book Review | LibreCat-ID: 18331
Peckhaus, V. (1999). 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].
LibreCat
 

1999 | Book Review | LibreCat-ID: 18329
Peckhaus, V. (1999). van Dalen, Dirk, “The Role of Language in Brouwer’s Work”, in: Ewa Orłowska (Hg.), Logic at Work. Essays Dedicated to the Memory of Helena Rasiowa, Physica-Verlag: Heidelberg 1999, 3–14. Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 918.01015].
LibreCat
 

1999 | Book Review | LibreCat-ID: 18317
Peckhaus, V. (1999). Stelzner, Werner, Gottlob Frege. Jena und die Geburt der modernen Logik, ReFIT: Jena 1996. Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 908.01013].
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 17864
Fischer, M., Lukovszki, T., & Ziegler, M. (1999). Partitioned neighborhood spanners of minimal outdegree. In Proceedings of the 11th Canadian Conference on Computational Geometry. Vancouver.
LibreCat | Files available
 

Filters and Search Terms

year<=2030 AND year>=1980

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed