Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
Andere Suchmöglichkeiten:
semantic function » semantic functions, semantics function, semantics functions
program semantic » program semantics, programs semantic, programs semantics
function https » functions https, fiction https
parallel java » parallel data, parallel scara, parallel a
java program » java programs, a program, java programming
semantic function » semantic functions, semantics function, semantics functions
program semantic » program semantics, programs semantic, programs semantics
function https » functions https, fiction https
parallel java » parallel data, parallel scara, parallel a
java program » java programs, a program, java programming
1
Veröffentlicht 2013
Inhaltsangabe:
“... Functional Formalizations – A Type-Theoretical Case Study in PVS -- Functional Semantics -- Why Functional...”Volltext
Elektronisch
E-Book
2
Veröffentlicht 2005
Inhaltsangabe:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”Volltext
Elektronisch
E-Book
3
Veröffentlicht 2013
Inhaltsangabe:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”Volltext
Elektronisch
E-Book
4
Veröffentlicht 2005
Inhaltsangabe:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Volltext
Elektronisch
E-Book
5
Veröffentlicht 2015
Inhaltsangabe:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”Volltext
Elektronisch
E-Book
6
Veröffentlicht 2014
Inhaltsangabe:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Volltext
Elektronisch
E-Book
7
Veröffentlicht 2013
Inhaltsangabe:
“... Framework for Modeling Automatic Offloading of Mobile Applications Using Genetic Programming -- Solving...”Volltext
Elektronisch
E-Book
8
Veröffentlicht 2005
Inhaltsangabe:
“... Oriented Approach -- Kreios: Towards Semantic Interoperable Systems -- Adaptive Architecture for Web Server...”Volltext
Elektronisch
E-Book
9
Veröffentlicht 2007
Inhaltsangabe:
“... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...”Volltext
Elektronisch
E-Book
10
Veröffentlicht 2008
Inhaltsangabe:
“... -- Probabilistically Guided Prefix Gene Expression Programming -- Flocking-based Document Clustering on the Graphics...”Volltext
Elektronisch
E-Book