Home Advanced Search

Advanced Search - Page 1

Functional and Logic Programming: 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Michael Codish (auth.), Tom Schrijvers, Peter Thiemann (eds.)
Programming Languages and Systems: 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
  • PDF
  • English
  • Year: 2016
  • Author: Peter Thiemann (eds.)
Bloody Pacific: American Soldiers at War with Japan
  • PDF
  • English
  • Year: 2010
  • Author: Peter Schrijvers (auth.)
Bloody Pacific: American Soldiers at War with Japan
  • PDF
  • English
  • Year: 2010
  • Author: Peter Schrijvers (auth.)
Constraint Handling Rules: Current Research Topics
  • PDF
  • English
  • Year: 2008
  • Author: Thom Frühwirth (auth.), Tom Schrijvers, Thom Frühwirth (eds.)
Constraint Handling Rules: Current Research Topics
  • PDF
  • English
  • Year: 2008
  • Author: Thom Frühwirth (auth.), Tom Schrijvers, Thom Frühwirth (eds.)
Functional and Logic Programming: 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
  • PDF
  • English
  • Year: 2014
  • Author: Michael Codish, Eijiro Sumii (eds.)
Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Michael Codish, Yoav Fekete, Amit Metodi (auth.), Valeria Bertacco, Axel Legay (eds.)
Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Michael Codish, Yoav Fekete, Amit Metodi (auth.), Valeria Bertacco, Axel Legay (eds.)
Partial Evaluation: Practice and Theory DIKU 1998 International Summer School Copenhagen, Denmark, June 29 – July 10, 1998
  • PDF
  • English
  • Year: 1999
  • Author: Torben Æ Mogensen (auth.), John Hatcliff, Torben Æ Mogensen, Peter Thiemann (eds.)
search