Suggestion de sujets dans votre recherche.
Suggestion de sujets dans votre recherche.
Recherches alternatives:
programs functionals » programs functional, programming functionals, program functionality
functionals function » function function, functions functional, function dysfunction
parallel valued » parallel volume
valued programs » value programs, based programs, valued problems
function https » functions https, fiction https
programs functionals » programs functional, programming functionals, program functionality
functionals function » function function, functions functional, function dysfunction
parallel valued » parallel volume
valued programs » value programs, based programs, valued problems
function https » functions https, fiction https
1
Publié 2007
Table des matières:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”Accéder au texte intégral
Électronique
eBook
2
Publié 2010
Table des matières:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”Accéder au texte intégral
Électronique
eBook
3
Publié 2005
Table des matières:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Accéder au texte intégral
Électronique
eBook
4
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Publié 2014
Table des matières:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”Accéder au texte intégral
Électronique
eBook
5
Publié 2010
Table des matières:
“... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”Accéder au texte intégral
Électronique
eBook
6
Publié 2013
Table des matières:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”Accéder au texte intégral
Électronique
eBook
7
Publié 2005
Table des matières:
“... Regular J-inner Matrix-valued Functions and Inverse Problems for Canonical Systems -- Regularization...”Accéder au texte intégral
Électronique
eBook
8
Table des matières:
“... ?-Calculus -- Algebras -- Mathematical Logic -- Simple RSL -- Atomic Types and Values in RSL -- Function...”
Accéder au texte intégral
Accéder au texte intégral
Électronique
eBook
9
Sujets:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Accéder au texte intégral
Accéder au texte intégral
Électronique
eBook
10
Publié 2015
Table des matières:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”Accéder au texte intégral
Électronique
eBook
11
Publié 2010
Table des matières:
“... for Similarity and Distance Measures -- Comparing Partitions by Subset Similarities -- Finitely Valued...”Accéder au texte intégral
Électronique
eBook
12
Publié 2015
Table des matières:
“... -- On Parallel Scalable Uniform SAT Witness Generation -- Approximate Counting in SMT and Value Estimation...”Accéder au texte intégral
Électronique
eBook
13
Publié 2015
Table des matières:
“... and Internal Layers -- The Finite Difference Method for Boundary Value Problem with Singularity...”Accéder au texte intégral
Électronique
eBook
14
Publié 2008
Table des matières:
“... Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization...”Accéder au texte intégral
Électronique
eBook
15
Publié 2008
Table des matières:
“... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”Accéder au texte intégral
Électronique
eBook
16
Publié 2008
Table des matières:
“... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...”Accéder au texte intégral
Électronique
eBook
17
Publié 2012
Table des matières:
“... for Set-Valued Mappings.-Optimal Control of Multibody Systems in Resistive Media.-Classical and Relaxed...”Accéder au texte intégral
Électronique
eBook
18
Publié 2005
Table des matières:
“... with Infinite Strategic Space -- On the Online Dial-A-Ride Problem with Time-Windows -- Semidefinite Programming...”Accéder au texte intégral
Électronique
eBook
19
Publié 2014
Table des matières:
“... CFL Functions Are Refined by Single-Valued Functions -- Characterizing Polynomial and Exponential...”Accéder au texte intégral
Électronique
eBook
20
Publié 2015
Table des matières:
“... Requirements in Function-Centered Engineering of Embedded Systems -- Estimating the Implementation Risk...”Accéder au texte intégral
Électronique
eBook