Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
computational programming » computational program, computing programming, computational processing
computation programming » communication programming, computation programmatic, computing programming
recursion using » recession using, version using, recursion counting
computational programming » computational program, computing programming, computational processing
computation programming » communication programming, computation programmatic, computing programming
recursion using » recession using, version using, recursion counting
1
Publicat 2006
Taula de continguts:
“... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”Obtenir text complet
Electrònic
eBook
2
Publicat 2007
Taula de continguts:
“... Handling Rules -- Computing Fuzzy Answer Sets Using dlvhex -- The Use of a Logic Programming Language...”Obtenir text complet
Electrònic
eBook
3
Publicat 2012
Taula de continguts:
“... Algorithms of Computational -- Geometry Blending Functions for Hermite Interpolation by Beta-Function B...”Obtenir text complet
Electrònic
eBook
4
Publicat 2008
Taula de continguts:
“... of the Tiling Problem -- Remote Entrusting by Run-Time Software Authentication -- Trusted Computing — Special...”Obtenir text complet
Electrònic
eBook
5
Publicat 2007
Taula de continguts:
“... in the Plane -- On the Fractional Chromatic Number of Monotone Self-dual Boolean Functions -- On the Complexity...”Obtenir text complet
Electrònic
eBook
6
Publicat 2008
Taula de continguts:
“... Recursive Programs with Exact Predicate Abstraction -- Loop Summarization Using Abstract Transformers...”Obtenir text complet
Electrònic
eBook
7
Publicat 2015
Taula de continguts:
“...: Termination and Memory Safety of C Programs -- Cascade -- CPAchecker with Support for Recursive Programs...”Obtenir text complet
Electrònic
eBook
8
Publicat 2010
Taula de continguts:
“... Approach Using Burr’s Distribution Function for High Speed On-Chip RC Interconnects -- Wavelet-Domain L...”Obtenir text complet
Electrònic
eBook