Home Advanced Search

Advanced Search - Page 1

Mathematical Foundations of Computer Science 2009: 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Albert Atserias (auth.), Rastislav Královič, Damian Niwiński (eds.)
Mathematical Foundations of Computer Science 2006: 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Vincent Cremet, François Garillot, Sergueï Lenglet, Martin Odersky (auth.), Rastislav Královič, Paweł Urzyczyn (eds.)
Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Albert Atserias (auth.), Jerzy Marcinkowski, Andrzej Tarlecki (eds.)
Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004. Proceedings
  • DJVU
  • English
  • Year: 2004
  • Author: Albert Atserias (auth.), Jerzy Marcinkowski, Andrzej Tarlecki (eds.)
Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Albert Atserias (auth.), Jerzy Marcinkowski, Andrzej Tarlecki (eds.)
Theory and Applications of Satisfiability Testing – SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Albert Atserias (auth.), Matti Järvisalo, Allen Van Gelder (eds.)
SOFSEM 2019: Theory and Practice of Computer Science: 45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 27-30, 2019, Proceedings
  • PDF
  • English
  • Year: 2019
  • Author: Barbara Catania, Rastislav Královič, Jerzy Nawrocki, Giovanni Pighizzini
Teaching Fundamentals Concepts of Informatics: 4th International Conference on Informatics in Secondary Schools - Evolution and Perspectives, ISSEP 2010, Zurich, Switzerland, January 13-15, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Valentina Dagienė (auth.), Juraj Hromkovič, Richard Královič, Jan Vahrenhold (eds.)
Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Rastislav Bodik (auth.), Jens Palsberg, Zhendong Su (eds.)
Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Rastislav Bodik (auth.), Jens Palsberg, Zhendong Su (eds.)
search