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