Suggestion de sujets dans votre recherche.
Suggestion de sujets dans votre recherche.
Recherches alternatives:
function structure » functional structure, functional structures, functional structural
programs generic » programs general, programs negeri, programs ericd
structure https » structures https
https function » its function, sites function, ups function
generic https » genetics https, general https, genomics https
function structure » functional structure, functional structures, functional structural
programs generic » programs general, programs negeri, programs ericd
structure https » structures https
https function » its function, sites function, ups function
generic https » genetics https, general https, genomics https
1
Publié 2007
Table des matières:
“...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...”Accéder au texte intégral
Électronique
eBook
2
Publié 2013
Table des matières:
“... -- Optimisation of Generic Programs through Inlining -- A Type-and Control-Flow Analysis for System F...”Accéder au texte intégral
Électronique
eBook
3
Publié 2006
Table des matières:
“... Tight Bound for EMAC -- Constructing Single- and Multi-output Boolean Functions with Maximal Algebraic...”Accéder au texte intégral
Électronique
eBook
4
Publié 2005
Table des matières:
“... Structure for Incremental Tabled Evaluation -- Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs...”Accéder au texte intégral
Électronique
eBook
5
Publié 2007
Table des matières:
“... -- On Finitely Recursive Programs -- Minimal Logic Programs -- Generic Tableaux for Answer Set Programming...”Accéder au texte intégral
Électronique
eBook
6
Table des matières:
“... Structured Specifications -- Proof-theoretic Properties of SSL -- Structured Proofs-as-Programs -- Generic...”
Accéder au texte intégral
Accéder au texte intégral
Électronique
eBook
7
Publié 2006
Table des matières:
“... and Data Refinement -- Contributed Papers -- Towards Generic Programming with Sized Types -- Relational...”Accéder au texte intégral
Électronique
eBook
8
Publié 2012
Table des matières:
“... Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis...”Accéder au texte intégral
Électronique
eBook
9
Table des matières:
“... -- Functions -- Control Structures -- Characters -- Complex -- Logical -- Introduction to Derived Types...”
Accéder au texte intégral
Accéder au texte intégral
Électronique
eBook
10
Publié 2006
Table des matières:
“...Keynote -- Design Patterns – 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable...”Accéder au texte intégral
Électronique
eBook
11
Publié 2010
Table des matières:
“..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...”Accéder au texte intégral
Électronique
eBook
12
Table des matières:
“... with a Real-Time C++ Program on a Board -- 3 An Easy Jump-Start in Real-Time C++ -- 4 Object-Oriented...”
Accéder au texte intégral
Accéder au texte intégral
Électronique
eBook
13
Publié 2005
Table des matières:
“...: Extending the Recovery Algorithm -- Hash Functions for Datatype Signatures in MPI -- Extensions...”Accéder au texte intégral
Électronique
eBook
14
Publié 2005
Table des matières:
“... Problems with CLP( ) -- Improved Fusion for Optimizing Generics -- The Program Inverter LRinv and Its...”Accéder au texte intégral
Électronique
eBook
15
Publié 2010
Table des matières:
“... -- Prediction of Business Process Model Quality Based on Structural Metrics -- Modelling Functional Requirements...”Accéder au texte intégral
Électronique
eBook
16
Publié 2012
Table des matières:
“... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...”Accéder au texte intégral
Électronique
eBook
17
Publié 2006
Table des matières:
“... Components in Mechatronic UML -- Annotating UML Models with Non-functional Properties for Quantitative...”Accéder au texte intégral
Électronique
eBook
18
Publié 2007
Table des matières:
“... of Software Architectures -- Formal Design of Structural and Dynamic Features of Publish/Subscribe...”Accéder au texte intégral
Électronique
eBook
19
Table des matières:
“.... Operators -- 7. Flow Control -- 8. Functions and Closures -- 9. Classes and Structures -- 10. Methods -- 11...”
Accéder au texte intégral
Accéder au texte intégral
Électronique
eBook
20
Publié 2006
Table des matières:
“... Functional Worst Case Constant Time Catenable Sorted Lists -- Taxes for Linear Atomic Congestion Games...”Accéder au texte intégral
Électronique
eBook