בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
programs functionality » program functionality, programs functional, properties functionality
functionality setting » functionality testing, functionality securing, functional setting
parallel function » parallel functional, parallel auction, parallel union
function programs » functions programs, function program, functional programs
setting https » being https, writing https, feeding https
programs functionality » program functionality, programs functional, properties functionality
functionality setting » functionality testing, functionality securing, functional setting
parallel function » parallel functional, parallel auction, parallel union
function programs » functions programs, function program, functional programs
setting https » being https, writing https, feeding https
1
יצא לאור 2006
תוכן הענינים:
“...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
יצא לאור 2007
תוכן הענינים:
“... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
יצא לאור 2010
תוכן הענינים:
“... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
יצא לאור 2005
תוכן הענינים:
“... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
5
יצא לאור 2008
תוכן הענינים:
“... Answer Set Programming for Knowledge Representation and Reasoning: Future Directions -- Building a...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
6
יצא לאור 2006
תוכן הענינים:
“... Frameworks -- Regular Talks Theory -- Tableau Calculi for Answer Set Programming -- Declarative Semantics...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
7
יצא לאור 2005
תוכן הענינים:
“... in Answer-Set Programming -- Hybrid Probabilistic Logic Programs with Non-monotonic Negation -- Reducing...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
8
יצא לאור 2010
תוכן הענינים:
“... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
9
יצא לאור 2010
תוכן הענינים:
“... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
10
יצא לאור 2014
תוכן הענינים:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
11
יצא לאור 2008
תוכן הענינים:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
12
יצא לאור 2006
תוכן הענינים:
“... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
13
יצא לאור 2014
תוכן הענינים:
“...Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
14
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
יצא לאור 2006
תוכן הענינים:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
15
תוכן הענינים:
“...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
16
יצא לאור 2005
תוכן הענינים:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
17
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
יצא לאור 2013
תוכן הענינים:
“... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
18
יצא לאור 2010
תוכן הענינים:
“... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
19
תוכן הענינים:
“...Set Theory Survival Kit -- Vector Algebra Survival Kit -- Matrix Algebra Survival Kit -- Vector...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
20
יצא לאור 2013
תוכן הענינים:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני