1
יצא לאור 2006
תוכן הענינים: ...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
2
יצא לאור 2012
תוכן הענינים: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
3
יצא לאור 2010
תוכן הענינים: ... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
4
יצא לאור 2010
תוכן הענינים: ... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
5
יצא לאור 2013
תוכן הענינים: ... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
6
מאת VanderHart, Luke., VanderHart, Luke., Sierra, Stuart.
יצא לאור 2010
תוכן הענינים: ... -- Java Interoperability -- Parallel Programming -- Macros and Metaprogramming -- Datatypes and Protocols...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
7
יצא לאור 2010
תוכן הענינים: ...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
8
יצא לאור 2013
תוכן הענינים: ... Functional Statistics in Logic Programming -- Reversible Language Extensions and Their Application...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
9
יצא לאור 2008
תוכן הענינים: ...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
10
יצא לאור 2014
תוכן הענינים: ... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
11
יצא לאור 2010
תוכן הענינים: ...Invited Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
12
יצא לאור 2014
תוכן הענינים: ... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
13
יצא לאור 2015
תוכן הענינים: ... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
14
יצא לאור 2010
תוכן הענינים: ... of Stream Programs -- Characterising Effective Resource Analyses for Parallel and Distributed Coordination...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
15
יצא לאור 2005
תוכן הענינים: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
16
יצא לאור 2014
תוכן הענינים: ...-Specific Recombination -- Application of In-Fusion™ Cloning for the Parallel Construction of Escherichia...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
17
מאת Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
יצא לאור 2006
תוכן הענינים: ... Enhancements -- Fortran 2003 and the Enhanced Module Facility -- Parallel Programming -- Miscellaneous....
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
18
יצא לאור 2010
תוכן הענינים: ...: Open Problems in Theory and Practice -- Regret Minimization and Job Scheduling -- Lessons in Software...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
19
מאת Langtangen, Hans Petter., Langtangen, Hans Petter.
יצא לאור 2011
תוכן הענינים: ...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
20
מאת Langtangen, Hans Petter., Langtangen, Hans Petter.
יצא לאור 2012
תוכן הענינים: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני