Önerilen Konular
Önerilen Konular
Şunu mu demek istediniz:
functionally function » functionals function, functional functions, functionaries function
first functionally » first functional, its functionally, from functionally
parallel programs » parallel programming
programs first » program first, programs fast, programs finite
function https » functions https, fiction https
functionally function » functionals function, functional functions, functionaries function
first functionally » first functional, its functionally, from functionally
parallel programs » parallel programming
programs first » program first, programs fast, programs finite
function https » functions https, fiction https
1
Baskı/Yayın Bilgisi 2013
İçindekiler:
“... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”Tam Metin Erişim
Elektronik
Ekitap
2
İçindekiler:
“...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...”
Tam Metin Erişim
Tam Metin Erişim
Elektronik
Ekitap
3
Baskı/Yayın Bilgisi 2010
İçindekiler:
“... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”Tam Metin Erişim
Elektronik
Ekitap
4
Baskı/Yayın Bilgisi 2010
İçindekiler:
“... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”Tam Metin Erişim
Elektronik
Ekitap
5
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
6
Baskı/Yayın Bilgisi 2008
İçindekiler:
“... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”Tam Metin Erişim
Elektronik
Ekitap
7
Baskı/Yayın Bilgisi 2006
İçindekiler:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Tam Metin Erişim
Elektronik
Ekitap
8
Baskı/Yayın Bilgisi 2010
İçindekiler:
“... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”Tam Metin Erişim
Elektronik
Ekitap
9
İçindekiler:
“....-Operator overloading.-Mathematical examples -- Object Oriented Programming.-Introduction to parallel...”
Tam Metin Erişim
Tam Metin Erişim
Elektronik
Ekitap
10
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Baskı/Yayın Bilgisi 2006
İçindekiler:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”Tam Metin Erişim
Elektronik
Ekitap
11
Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009...
Baskı/Yayın Bilgisi 2010
İçindekiler:
“... of Stream Programs -- Characterising Effective Resource Analyses for Parallel and Distributed Coordination...”Tam Metin Erişim
Elektronik
Ekitap
12
İçindekiler:
“...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...”
Tam Metin Erişim
Tam Metin Erişim
Elektronik
Ekitap
13
İçindekiler:
“...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Tam Metin Erişim
Tam Metin Erişim
Elektronik
Ekitap
14
Baskı/Yayın Bilgisi 2005
İçindekiler:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Tam Metin Erişim
Elektronik
Ekitap
15
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Baskı/Yayın Bilgisi 2013
İçindekiler:
“... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”Tam Metin Erişim
Elektronik
Ekitap
16
İçindekiler:
“...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Tam Metin Erişim
Tam Metin Erişim
Elektronik
Ekitap
17
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
18
Baskı/Yayın Bilgisi 2005
İçindekiler:
“... with Infinite Strategic Space -- On the Online Dial-A-Ride Problem with Time-Windows -- Semidefinite Programming...”Tam Metin Erişim
Elektronik
Ekitap
19
Baskı/Yayın Bilgisi 2008
İçindekiler:
“... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...”Tam Metin Erişim
Elektronik
Ekitap
20
Baskı/Yayın Bilgisi 2010
İçindekiler:
“... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...”Tam Metin Erişim
Elektronik
Ekitap