Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
intersections computer » interactions computer, interventions computer, intersections completes
programs programme » programmes programme, programs program, programs programming
programme function » programming function, programme action, programs functional
computer programs » computer program
function https » functions https, fiction https
intersections computer » interactions computer, interventions computer, intersections completes
programs programme » programmes programme, programs program, programs programming
programme function » programming function, programme action, programs functional
computer programs » computer program
function https » functions https, fiction https
1
Published 2007
Table of Contents:
“... for Polynomial Time Computing -- Strong Normalization and Equi-(Co)Inductive Types -- Semantics...”View full text
Electronic
eBook
2
Published 2013
Table of Contents:
“... the Sorted-Set Intersection Problem onto a Graphics Processing Unit -- A Novel Double Dynamic Stress...”View full text
Electronic
eBook