בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
programming functionals » programming functional, programming function, programming fundamentals
concurrent programming » constraint programming, concurrent programs
functionals function » function function, functions functional, function dysfunction
parallel concurrent » parallel constraint
function https » functions https, fiction https
1
תמונות העטיפה
יצא לאור 2010
תוכן הענינים: “... Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs -- Solving Constraint...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
2
תמונות העטיפה
יצא לאור 2006
תוכן הענינים: “...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
3
תמונות העטיפה
מאת Freeman, Adam., Freeman, Adam.
יצא לאור 2010
תוכן הענינים: “...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
4
תמונות העטיפה
יצא לאור 2006
תוכן הענינים: “... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
5
תמונות העטיפה
יצא לאור 2010
תוכן הענינים: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
6
תמונות העטיפה
יצא לאור 2010
תוכן הענינים: “... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
7
תמונות העטיפה
יצא לאור 2008
תוכן הענינים: “... Programs -- Engineering an Incremental ASP Solver -- Concurrent and Local Evaluation of Normal Programs...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
8
תמונות העטיפה
יצא לאור 2005
תוכן הענינים: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
9
תמונות העטיפה
יצא לאור 2006
תוכן הענינים: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
10
תמונות העטיפה
יצא לאור 2015
תוכן הענינים: “... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
11
תמונות העטיפה
יצא לאור 2014
תוכן הענינים: “... and Call-by-Value λ-Calculi -- Grounding Synchronous Deterministic Concurrency in Sequential Programming...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
12
תמונות העטיפה
יצא לאור 2013
תוכן הענינים: “... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
13
תמונות העטיפה
יצא לאור 2013
תוכן הענינים: “... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
14
תמונות העטיפה
מאת Bjørner, Dines., Bjørner, Dines.
יצא לאור 2006
תוכן הענינים: “... -- Concurrent Specification Programming -- And So On! -- Etcetera!....”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
15
תמונות העטיפה
מאת Bjørner, Dines., Bjørner, Dines.
יצא לאור 2006
תוכן הענינים: “... -- Modularisation -- Automata and Machines -- Concurrency and Temporality -- Petri Nets -- Message and Live Sequence...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
16
תמונות העטיפה
יצא לאור 2010
תוכן הענינים: “...Invited Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
17
תמונות העטיפה
יצא לאור 2006
תוכן הענינים: “... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
18
תמונות העטיפה
יצא לאור 2008
תוכן הענינים: “... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
19
תמונות העטיפה
יצא לאור 2005
תוכן הענינים: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
20
תמונות העטיפה
תוכן הענינים: “... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
כלי חיפוש: קבל רסס (RSS) — שליחת חיפוש דרך דואל — שמירת חיפוש