בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
functionals function » function function, functions functional, function dysfunction
program functionals » programs functional, program functionality, problem functionals
parallel variable » parallel particle, parallel cable, parallel serial
variable program » variable programs, variables problem, variable problems
function https » functions https, fiction https
1
תמונות העטיפה
יצא לאור 2007
תוכן הענינים: “... in Embedded Systems -- Variable Reassignment in the T++ Parallel Programming Language -- Parallel Construction...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
2
תמונות העטיפה
יצא לאור 2010
תוכן הענינים: “...? -- Distance Constrained Mapping to Support NoC Platforms Based on Source Routing -- Parallel Variable-Length...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
3
תמונות העטיפה
יצא לאור 2006
תוכן הענינים: “... for CHR -- Overlapping Rules and Logic Variables in Functional Logic Programs -- Towards “Propagation...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
4
תמונות העטיפה
יצא לאור 2008
תוכן הענינים: “... Existential Variables from Constraint Logic Programs -- Negative Ternary Set-Sharing -- Termination...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
5
תמונות העטיפה
יצא לאור 2010
תוכן הענינים: “... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
6
תמונות העטיפה
יצא לאור 2015
תוכן הענינים: “... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
7
תמונות העטיפה
יצא לאור 2014
תוכן הענינים: “...-Programs with Existential Quantification -- Introducing Real Variables and Integer Objective Functions...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
8
תמונות העטיפה
מאת Langtangen, Hans Petter., Langtangen, Hans Petter.
יצא לאור 2011
תוכן הענינים: “...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
9
תמונות העטיפה
מאת Langtangen, Hans Petter., Langtangen, Hans Petter.
יצא לאור 2012
תוכן הענינים: “...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
10
תמונות העטיפה
מאת Langtangen, Hans Petter., Langtangen, Hans Petter.
יצא לאור 2014
תוכן הענינים: “...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
11
תמונות העטיפה
יצא לאור 2010
תוכן הענינים: “... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
12
תמונות העטיפה
יצא לאור 2013
תוכן הענינים: “... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
13
תמונות העטיפה
יצא לאור 2007
תוכן הענינים: “...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
14
תמונות העטיפה
מאת Sharan, Kishori., Sharan, Kishori.
יצא לאור 2014
נושאים: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
15
תמונות העטיפה
תוכן הענינים: “... and Exceptions -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
16
תמונות העטיפה
יצא לאור 2010
תוכן הענינים: “... to Fuzzy Random Variables -- Correlation of Intuitionistic Fuzzy Sets -- A Correlation Ratio...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
17
תמונות העטיפה
יצא לאור 2005
תוכן הענינים: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
18
תמונות העטיפה
יצא לאור 2010
תוכן הענינים: “... Support for Model Transformations -- A Coordination-Based Model-Driven Method for Parallel Application...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
19
תמונות העטיפה
יצא לאור 2013
תוכן הענינים: “... Programming -- Domain Types: Abstract-Domain Selection Based on Variable Usage -- Efficient Analysis...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
20
תמונות העטיפה
יצא לאור 2010
תוכן הענינים: “... for Tera-Scale Multi-core Microprocessors -- Process Variability and Degradation: New Frontier...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
כלי חיפוש: קבל רסס (RSS) — שליחת חיפוש דרך דואל — שמירת חיפוש