Home Advanced Search

Advanced Search - Page 1

Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers
  • PDF
  • English
  • Year: 2008
  • Author: Michael Codish (auth.), Andy King (eds.)
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.)
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.)
England and Scotland in the Fourteenth Century: New Perspectives
  • PDF
  • English
  • Year: 2007
  • Author: Andy King & Michael A. Penman
Functional and Logic Programming: 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings
  • PDF
  • English
  • Year: 2016
  • Author: Oleg Kiselyov, Andy King (eds.)
Edward I a new King Arthur?
  • EPUB
  • English
  • Year: 2018;2016
  • Author: King, Andy
Programming the Internet of Things
  • EPUB
  • English
  • Year: 2021
  • Author: Andy King
Programming the Internet of Things: An Introduction to Building Integrated, Device-to-Cloud IoT Solutions
  • PDF
  • English
  • Year: 2021
  • Author: Andy King
search