| Communities of computing |
- doi : 10.1145/2973856
- isbn : 978-1-970001-86-0
|
Fulltext
|
| Verified functional programming in Agda |
- doi : 10.1145/2841316
- isbn : 978-1-970001-26-6
|
Fulltext
|
| The VR Book |
- doi : 10.1145/2792790
- isbn : 978-1-62705-114-3
|
Fulltext
|
| Text data management and analysis |
- doi : 10.1145/2915031
- isbn : 978-1-970001-18-1
|
Fulltext
|
| Reactive Internet Programming |
- doi : 10.1145/2872585
- isbn : 978-1-970001-78-5
|
Fulltext
|
| An architecture for fast and general data processing on large clusters |
- doi : 10.1145/2886107
- isbn : 978-1-970001-58-7
|
Fulltext
|
| Smarter than their machines |
- doi : 10.1145/2663015
- isbn : 978-1-62705-552-9
|
Fulltext
|
| Edmund Berkeley and the social responsibility of computer professionals |
- doi : 10.1145/2787754
- isbn : 978-1-970001-38-9
|
Fulltext
|
| Candidate Multilinear Maps |
- doi : 10.1145/2714451
- isbn : 978-1-62705-548-2
|
Fulltext
|
| Ada's legacy |
- doi : 10.1145/2809523
- isbn : 978-1-970001-50-1
|
Fulltext
|