Home Advanced Search

Advanced Search - Page 1

Mathematical Foundations of Computer Science 1995: 20th International Symposium, MFCS '95 Prague, Czech Republic, August 28–September 1, 1995 Proceedings
  • DJVU
  • English
  • Year: 1995
  • Author: Micah Adler, John W. Byers, Richard M. Karp (auth.), Jiří Wiedermann, Petr Hájek (eds.)
Logic versus Approximation: Essays Dedicated to Michael M. Richter on the Occasion of his 65th Birthday
  • PDF
  • English
  • Year: 2004
  • Author: Petr Hájek (auth.), Wolfgang Lenski (eds.)
Theoretical Computer Science: 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Jiří Wiedermann (auth.), Jos C. M. Baeten, Tom Ball, Frank S. de Boer (eds.)
Theoretical Computer Science: 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Jiří Wiedermann (auth.), Jos C. M. Baeten, Tom Ball, Frank S. de Boer (eds.)
Theory and Applications of Models of Computation: 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: John Hopcroft (auth.), Jan Kratochvíl, Angsheng Li, Jiří Fiala, Petr Kolman (eds.)
Computer Science Logic: 12th International Workshop, CSL’98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998. Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: Petr Hájek (auth.), Georg Gottlob, Etienne Grandjean, Katrin Seyr (eds.)
SOFSEM 2000: Theory and Practice of Informatics: 27th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 25 – December 2, 2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Dines Bjørner (auth.), Václav Hlaváč, Keith G. Jeffery, Jiří Wiedermann (eds.)
Mechanizing Hypothesis Formation: Mathematical Foundations for a General Theory
  • PDF
  • English
  • Year: 1978
  • Author: Petr Hájek, Tomáš Havránek (auth.)
Metamathematics of Fuzzy Logic (Trends in Logic, 4)
  • PDF
  • English
  • Year: 2001
  • Author: Petr Hájek
Engineering Applications of Neural Networks: 14th International Conference, EANN 2013, Halkidiki, Greece, September 13-16, 2013 Proceedings, Part II
  • PDF
  • English
  • Year: 2013
  • Author: Petr Hájek, Vladimír Olej (auth.), Lazaros Iliadis, Harris Papadopoulos, Chrisina Jayne (eds.)
search