Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
programming semantic » programming semantics, programming systematic, programming genetic
semantic function » semantic functions, semantics function, semantics functions
java programming » c programming
function https » functions https, fiction https
parallel java » parallel data, parallel scara, parallel a
programming semantic » programming semantics, programming systematic, programming genetic
semantic function » semantic functions, semantics function, semantics functions
java programming » c programming
function https » functions https, fiction https
parallel java » parallel data, parallel scara, parallel a
1
Publicat 2013
Taula de continguts:
“... Functional Formalizations – A Type-Theoretical Case Study in PVS -- Functional Semantics -- Why Functional...”Obtenir text complet
Electrònic
eBook
2
Publicat 2005
Taula de continguts:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”Obtenir text complet
Electrònic
eBook
3
Publicat 2013
Taula de continguts:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”Obtenir text complet
Electrònic
eBook
4
Publicat 2005
Taula de continguts:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Obtenir text complet
Electrònic
eBook
5
Publicat 2015
Taula de continguts:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”Obtenir text complet
Electrònic
eBook
6
Publicat 2014
Taula de continguts:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Obtenir text complet
Electrònic
eBook
7
Publicat 2013
Taula de continguts:
“... Framework for Modeling Automatic Offloading of Mobile Applications Using Genetic Programming -- Solving...”Obtenir text complet
Electrònic
eBook
8
Publicat 2005
Taula de continguts:
“... Oriented Approach -- Kreios: Towards Semantic Interoperable Systems -- Adaptive Architecture for Web Server...”Obtenir text complet
Electrònic
eBook
9
Publicat 2007
Taula de continguts:
“... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...”Obtenir text complet
Electrònic
eBook
10
Publicat 2008
Taula de continguts:
“... -- Probabilistically Guided Prefix Gene Expression Programming -- Flocking-based Document Clustering on the Graphics...”Obtenir text complet
Electrònic
eBook