Suggestion de sujets dans votre recherche.
Suggestion de sujets dans votre recherche.
Recherches alternatives:
language functionals » language functional, language functions, languages functional
functionals function » function function, functions functional, function dysfunction
parallel problem » parallel program, parallel programs, parallel robots
problem language » program language, program languages, prorgram language
function https » functions https, fiction https
language functionals » language functional, language functions, languages functional
functionals function » function function, functions functional, function dysfunction
parallel problem » parallel program, parallel programs, parallel robots
problem language » program language, program languages, prorgram language
function https » functions https, fiction https
1
Publié 2010
Table des matières:
“... Satisfaction Problems with SAT Technology -- Refereed Papers -- A Church-Style Intermediate Language for ML F...”Accéder au texte intégral
Électronique
eBook
2
Publié 2015
Table des matières:
“... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...”Accéder au texte intégral
Électronique
eBook
3
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
4
Publié 2014
Table des matières:
“... -- Constraint Logic Programming for Resolution of Relative Time Expressions -- Maximal Parallelism in Membrane...”Accéder au texte intégral
Électronique
eBook
5
Publié 2010
Table des matières:
“... for Solving Multiprocessor Scheduling Problem -- Online Scheduling of Parallel Jobs on Hypercubes: Maximizing...”Accéder au texte intégral
Électronique
eBook
6
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Publié 2015
Table des matières:
“... as an Abstract Data Type -- Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages -- Type...”Accéder au texte intégral
Électronique
eBook
7
Publié 2014
Table des matières:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Accéder au texte intégral
Électronique
eBook
8
Publié 2008
Table des matières:
“... Hybrid Systems (Extended Abstract) -- From Parallel Virtual Machine to Virtual Parallel Machine...”Accéder au texte intégral
Électronique
eBook
9
Publié 2005
Table des matières:
“... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...”Accéder au texte intégral
Électronique
eBook
10
Publié 2015
Table des matières:
“... -- Combinatorics on Words -- Complexity and Recursive Functions -- Compression, Inference, Pattern Matching...”Accéder au texte intégral
Électronique
eBook
11
Publié 2013
Table des matières:
“...Complexity Dichotomy for Counting Problems.- Algorithms for Analyzing and Verifying Infinite-State...”Accéder au texte intégral
Électronique
eBook
12
Sujets:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Accéder au texte intégral
Accéder au texte intégral
Électronique
eBook
13
Publié 2008
Table des matières:
“...Invited Lectures -- Graph Structure and Monadic Second-Order Logic: Language Theoretical Aspects...”Accéder au texte intégral
Électronique
eBook
14
Publié 2006
Table des matières:
“...Invited Lectures -- Additive Approximation for Edge-Deletion Problems (Abstract) -- Graph Theory I...”Accéder au texte intégral
Électronique
eBook
15
Publié 2013
Table des matières:
“... are Processed in the Inferior Colliculus -- Chapter 9. Language Parallels in New World Primates -- Chapter 10...”Accéder au texte intégral
Électronique
eBook
16
Publié 2006
Table des matières:
“... Session 2 -- Translation Selection Through Machine Learning with Language Resources -- Acquiring...”Accéder au texte intégral
Électronique
eBook
17
Table des matières:
“... -- Unmanaged Code Interoperability -- Commonly Used Interfaces and Patterns -- Windows Integration -- Parallel...”
Accéder au texte intégral
Accéder au texte intégral
Électronique
eBook
18
Publié 2006
Table des matières:
“... and Artificial Life -- Using Computational Intelligence and Parallelism to Solve an Industrial Design Problem...”Accéder au texte intégral
Électronique
eBook
19
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
20
Computing with New Resources Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday /
Publié 2014
Table des matières:
“... -- Computing Boolean Functions via Quantum Hashing -- Complexity of Promise Problems on Classical and Quantum...”Accéder au texte intégral
Électronique
eBook