Name | Identifiers | Coverage |
---|---|---|
Communities of computing |
|
Fulltext |
Verified functional programming in Agda |
|
Fulltext |
The VR Book |
|
Fulltext |
Text data management and analysis |
|
Fulltext |
Reactive Internet Programming |
|
Fulltext |
An architecture for fast and general data processing on large clusters |
|
Fulltext |
Smarter than their machines |
|
Fulltext |
Edmund Berkeley and the social responsibility of computer professionals |
|
Fulltext |
Candidate Multilinear Maps |
|
Fulltext |
Ada's legacy |
|
Fulltext |