Yazar
Shun, Julian, author.
Abstract with links to full text http://dx.doi.org/10.1145/3018787
Format:
Electronic Resources
Alıntı:
Parallel programming (Computer science)
Yazar
Stump, Aaron., author.
Abstract with links to full text http://dl.acm.org/citation.cfm?id=2841316
Format:
Electronic Resources
Alıntı:
Verified functional programming in Agda / Stump, Aaron., author.
View Other Search Results
Yazar
Stump, Aaron., author.
Abstract with links to full text http://dl.acm.org/citation.cfm?id=2841316
Format:
Electronic Resources
Alıntı:
Verified functional programming in Agda / Stump, Aaron., author.
Yazar
Barbier, Franck., author.
Abstract with links to full text http://dx.doi.org/10.1145/2872585
Format:
Electronic Resources
Alıntı:
Reactive Internet programming : State Chart XML in action / Barbier, Franck., author.
Yazar
Larsen, Per, 1980- author.
Abstract with links to full text http://dx.doi.org/10.1145/3129743
Format:
Electronic Resources
Alıntı:
Computer security.