1
Publié 2014
Table des matières: ... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...
Accéder au texte intégral
Électronique eBook
2
Publié 2010
Table des matières: ... -- Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden -- Fast Generalized Bruhat...
Accéder au texte intégral
Électronique eBook
3
Publié 2014
Sujets: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
Accéder au texte intégral
Électronique eBook
4
Publié 2010
Table des matières: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Accéder au texte intégral
Électronique eBook