Foreslåede emner i din søgning.
Søg alternativer:
program functionality » protein functionality, programs functional, supra functionality
functionality using » functionality business, functionality design, functioning using
parallel hol » parallel half, parallel hpc, parallel co
hol program » whole program, school program, modul program
using https » using http, nursing https, aging https
1
Omslagsbillede
Udgivet 2013
Indholdsfortegnelse: “... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
2
Omslagsbillede
Udgivet 2006
Indholdsfortegnelse: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
3
Omslagsbillede
Udgivet 2014
Indholdsfortegnelse: “... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
4
Omslagsbillede
Udgivet 2010
Indholdsfortegnelse: “... Functions in the CoStLy C++ Class Library -- Standardized Interval Arithmetic and Interval Arithmetic Used...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
Søgeredskaber: ”Modtag RSS Feed — Email denne søgning — Gem søgning