Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
programming functionals » programming functional, programming function, programming fundamentals
function implications » functions applications, union implications, function application
parallel programming » parallel processing
functionals function » function function, functions functional, function dysfunction
implications https » complications https, applications https, implications held
programming functionals » programming functional, programming function, programming fundamentals
function implications » functions applications, union implications, function application
parallel programming » parallel processing
functionals function » function function, functions functional, function dysfunction
implications https » complications https, applications https, implications held
1
Publicat 2007
Taula de continguts:
“... -- Implication-Based Approximating Bounded Model Checking -- Logical Bisimulations and Functional Languages...”Obtenir text complet
Electrònic
eBook
2
Publicat 2010
Taula de continguts:
“... Aggregation Functions and Their Derived S-Implications -- Aggregation Functions with Stronger Types...”Obtenir text complet
Electrònic
eBook
3
Publicat 2008
Taula de continguts:
“... and Limiting Ratio of Boolean Functions over Implication -- Succinctness of Regular Expressions...”Obtenir text complet
Electrònic
eBook
4
Publicat 2014
Taula de continguts:
“... -- Implicational Rewriting Tactics in HOL -- A Heuristic Prover for Real Inequalities -- A Formal Library...”Obtenir text complet
Electrònic
eBook
5
Publicat 2013
Taula de continguts:
“... -- Natural Killer cell Licensing during Viral Infection -- Bridging Innate NK cell Functions with Adaptive...”Obtenir text complet
Electrònic
eBook
6
Publicat 2008
Taula de continguts:
“... of a Novel Integer Programming Model to Deal with Energy Consumption in Heterogeneous Wireless Sensor...”Obtenir text complet
Electrònic
eBook
7
Publicat 2013
Taula de continguts:
“... on Different Penalty Functions with DIRECT Algorithm.- Multilocal Programming: A Derivative-Free Filter...”Obtenir text complet
Electrònic
eBook
8
Publicat 2006
Taula de continguts:
“... Algorithms -- A Survey of Probabilistic Model Building Genetic Programming -- Efficiency Enhancement...”Obtenir text complet
Electrònic
eBook
9
Publicat 2007
Taula de continguts:
“... Ontology of ‘Cultures’ and ‘Ethnic Groups’ Based on Type Theory and Functional Programming -- Capturing a...”Obtenir text complet
Electrònic
eBook
10
Publicat 2014
Taula de continguts:
“...-University Exchange and Cooperation on Doctoral Programs in Southeast Asia: Naoki Umemiya, Akiyoshi Yonezawa...”Obtenir text complet
Electrònic
eBook