Home Advanced Search

Advanced Search - Page 1

Programming Languages and Systems: 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Koen Claessen (auth.), Zhenjiang Hu (eds.)
Programming Languages and Systems: 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Koen Claessen (auth.), Zhenjiang Hu (eds.)
Automated Deduction – CADE-23: 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Koen Claessen (auth.), Nikolaj Bjørner, Viorica Sofronie-Stokkermans (eds.)
Automated Deduction – CADE-23: 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Koen Claessen (auth.), Nikolaj Bjørner, Viorica Sofronie-Stokkermans (eds.)
Functional and Logic Programming: 6th International Symposium, FLOPS 2002 Aizu, Japan, September 15–17, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Kokichi Futatsugi (auth.), Zhenjiang Hu, Mario Rodríguez-Artalejo (eds.)
Theory and Practice of Model Transformations: 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: James F. Terwilliger, Anthony Cleve, Carlo A. Curino (auth.), Zhenjiang Hu, Juan de Lara (eds.)
Hardware/Software Co-design for Heterogeneous Multi-core Platforms: The hArtes Toolchain
  • PDF
  • English
  • Year: 2012
  • Author: Koen Bertels (auth.), Koen Bertels (eds.)
Aquatic Biodiversity: A Celebratory Volume in Honour of Henri J. Dumont
  • PDF
  • English
  • Year: 2003
  • Author: Koen Martens (auth.), Koen Martens (eds.)
Hardware/Software Co-design for Heterogeneous Multi-core Platforms: The hArtes Toolchain
  • PDF
  • English
  • Year: 2012
  • Author: Koen Bertels (auth.), Koen Bertels (eds.)
Hardware/Software Co-design for Heterogeneous Multi-core Platforms: The hArtes Toolchain
  • PDF
  • English
  • Year: 2012
  • Author: Koen Bertels (auth.), Koen Bertels (eds.)
search