Verified Functional Programming in Agda このシリーズの他のブック

A Framework for Scientific Discovery through Video Games A Framework for Scientific Discovery through Video Games
A Framework for Scientific Discovery through Video Games
2014年
Trust Extension as a Mechanism for Secure Code Execution on Commodity Computers Trust Extension as a Mechanism for Secure Code Execution on Commodity Computers
Trust Extension as a Mechanism for Secure Code Execution on Commodity Computers
2014年
Embracing Interference in Wireless Systems Embracing Interference in Wireless Systems
Embracing Interference in Wireless Systems
2014年
Edmund Berkeley and the Social Responsibility of Computer Professionals Edmund Berkeley and the Social Responsibility of Computer Professionals
Edmund Berkeley and the Social Responsibility of Computer Professionals
2015年
Candidate Multilinear Maps Candidate Multilinear Maps
Candidate Multilinear Maps
2015年
Reactive Internet Programming Reactive Internet Programming
Reactive Internet Programming
2016年
Smarter Than Their Machines Smarter Than Their Machines
Smarter Than Their Machines
2014年
Text Data Management and Analysis Text Data Management and Analysis
Text Data Management and Analysis
2016年
The VR Book The VR Book
The VR Book
2015年
Ada's Legacy Ada's Legacy
Ada's Legacy
2015年
An Architecture for Fast and General Data Processing on Large Clusters An Architecture for Fast and General Data Processing on Large Clusters
An Architecture for Fast and General Data Processing on Large Clusters
2016年