בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
functional structures » functional structure, functional structural, functional status
program execution » program evaluation, process execution, project execution
https functional » cots functional, cuts functional, dots functional
execution https » exertion https, execution status, execution actors
1
תמונות העטיפה
יצא לאור 2007
תוכן הענינים: “...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
2
תמונות העטיפה
יצא לאור 2008
תוכן הענינים: “... Composition of Melodic and Harmonic Music by Answer Set Programming -- On the Efficient Execution of ProbLog...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
3
תמונות העטיפה
יצא לאור 2006
תוכן הענינים: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
4
תמונות העטיפה
יצא לאור 2007
תוכן הענינים: “... Programming Method Based on Structural Analysis and Design Technique -- Approximating Horn Knowledge Bases...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
5
תמונות העטיפה
יצא לאור 2013
תוכן הענינים: “... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
6
תמונות העטיפה
יצא לאור 2015
תוכן הענינים: “... for Probability Density Functions -- Segment Abstraction for Worst-Case Execution Time Analysis -- Automatic...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
7
תמונות העטיפה
תוכן הענינים: “...Fundamental Analysis -- Basic Concepts of Linear Genetic Programming -- Characteristics...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
8
תמונות העטיפה
מאת Lee, Kent D., Lee, Kent D.
יצא לאור 2014
תוכן הענינים: “...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
9
תמונות העטיפה
יצא לאור 2006
תוכן הענינים: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
10
תמונות העטיפה
יצא לאור 2006
תוכן הענינים: “... Multiplication with a Classifier Learning System -- A Language for the Compact Representation of Multiple Program...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
11
תמונות העטיפה
יצא לאור 2010
תוכן הענינים: “..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
12
תמונות העטיפה
יצא לאור 2008
תוכן הענינים: “...-Programming in a Mature Agile Team -- Conceptual Models of Agility -- Just Enough Structure at the Edge...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
13
תמונות העטיפה
יצא לאור 2010
תוכן הענינים: “...A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
14
תמונות העטיפה
מאת Hazay, Carmit., Hazay, Carmit., Lindell, Yehuda.
יצא לאור 2010
נושאים: “...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
15
תמונות העטיפה
יצא לאור 2008
תוכן הענינים: “... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
16
תמונות העטיפה
יצא לאור 2005
תוכן הענינים: “...: Extending the Recovery Algorithm -- Hash Functions for Datatype Signatures in MPI -- Extensions...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
17
תמונות העטיפה
יצא לאור 2014
תוכן הענינים: “... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
18
תמונות העטיפה
יצא לאור 2012
תוכן הענינים: “... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
19
תמונות העטיפה
מאת Kluge, Werner., Kluge, Werner.
יצא לאור 2005
תוכן הענינים: “...Algorithms and Programs -- An Algorithmic Language -- The ?-Calculus -- The se(m)cd Machine...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
20
תמונות העטיפה
יצא לאור 2005
תוכן הענינים: “... -- Implementing Minimum Cycle Basis Algorithms -- Rounding to an Integral Program -- Rectangle Covers Revisited...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
כלי חיפוש: קבל רסס (RSS) — שליחת חיפוש דרך דואל — שמירת חיפוש