בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
function function » function functional, functions functional, function dysfunction
program function » programme function, programs functional, program foundation
function https » functions https, fiction https
parallel p2p » parallel 2d, parallel 2, parallel pde
p2p program » prep program, pgmp program, psip program
function function » function functional, functions functional, function dysfunction
program function » programme function, programs functional, program foundation
function https » functions https, fiction https
parallel p2p » parallel 2d, parallel 2, parallel pde
p2p program » prep program, pgmp program, psip program
1
יצא לאור 2013
תוכן הענינים:
“... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
יצא לאור 2008
תוכן הענינים:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
יצא לאור 2010
תוכן הענינים:
“... -- A Novel Trust Evaluation Model for Mobile P2P Networks -- Session 4: Parallelization...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
יצא לאור 2007
תוכן הענינים:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
5
יצא לאור 2006
תוכן הענינים:
“...Implementions -- Parallel Programming Models for Irregular Algorithms -- Basic Approach to Parallel...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
6
יצא לאור 2005
תוכן הענינים:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
7
יצא לאור 2005
תוכן הענינים:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
8
יצא לאור 2005
תוכן הענינים:
“... -- Session 2: Peer-to-Peer Computing -- A Secure P2P Video Conference System for Enterprise Environments...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
9
תוכן הענינים:
“... Language -- SPIL: Simple Parallel, Imperative Language -- Closing -- Closing....”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
10
יצא לאור 2010
תוכן הענינים:
“...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
11
יצא לאור 2008
תוכן הענינים:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
12
יצא לאור 2005
תוכן הענינים:
“... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
13
יצא לאור 2005
תוכן הענינים:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
14
תוכן הענינים:
“...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
15
תוכן הענינים:
“...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
16
יצא לאור 2008
תוכן הענינים:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
17
יצא לאור 2013
תוכן הענינים:
“... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
18
תוכן הענינים:
“... to Programming Languages.-Introduction to Programming.-Arithmetic.-Arrays 1: Some Fundamentals.-Arrays 2: Further...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
19
יצא לאור 2006
תוכן הענינים:
“... Characterization of the Finite Power Property -- P-completeness of Cellular Automaton Rule 110 -- Small Sweeping 2...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
20
יצא לאור 2008
תוכן הענינים:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני