Home Advanced Search

Advanced Search - Page 1

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.)
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.)
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.)
Automata, Languages and Programming: 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Bernard Chazelle (auth.), Lars Arge, Christian Cachin, Tomasz Jurdziński, Andrzej Tarlecki (eds.)
Mathematical Foundations of Computer Science 2002: 27th International Symposium, MFCS 2002 Warsaw, Poland, August 26–30, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Michel Bidoit, Donald Sannella, Andrzej Tarlecki (auth.), Krzysztof Diks, Wojciech Rytter (eds.)
Automata, Languages and Programming: 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Bernard Chazelle (auth.), Lars Arge, Christian Cachin, Tomasz Jurdziński, Andrzej Tarlecki (eds.)
Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 – June 3, 1994 Selected Papers
  • DJVU
  • English
  • Year: 1995
  • Author: Leo Bachmair, Harald Ganzinger, Jürgen Stuber (auth.), Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki (eds.)
Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 – June 3, 1994 Selected Papers
  • PDF
  • English
  • Year: 1995
  • Author: Leo Bachmair, Harald Ganzinger, Jürgen Stuber (auth.), Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki (eds.)
search