Deakin University / All Locations

Add Marked to Bag Add All On Page Add Marked to My Lists
Subjects (1-5 of 5)
Logic design -- Computer programs.
1 2020 From Lambda Calculus to cybersecurity through program analysis : essays dedicated to Chris Hankin on the occasion of his retirement Cham : Springer, 2020 Rating: Electronic Resources
2 2006 Introduction to logic synthesis using Verilog HDL Reese, Robert B. (Robert Bryan), 1958- 1st ed Rating: Electronic Resources
3 2012 Trends in functional programming : 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, revised selected papers International Symposium on Trends in Functional Programming (12th : 2011 : Madrid, Spain) Rating: Electronic Resources More...
4 2013 Trends in functional programming : 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised selected papers International Symposium on Trends in Functional Programming (13th : 2012 : St. Andrews, Scotland) Heidelberg : Springer, 2013 Rating: Electronic Resources More...
5 2014 Trends in functional programming : 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers International Symposium on Trends in Functional Programming (14th : 2013 : Provo, Utah) Heidelberg : Springer, 2014 Rating: Electronic Resources More...
Add Marked to Bag Add All On Page Locate in results

From Lambda Calculus to cybersecurity through program analysis : essays dedicated to Chris Hankin on the occasion of his retirement