1
出版 2012
書本目錄: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
獲取全文
電子 電子書
2
出版 2008
書本目錄: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
獲取全文
電子 電子書
3
出版 2010
書本目錄: ... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...
獲取全文
電子 電子書
4
出版 2005
書本目錄: ... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...
獲取全文
電子 電子書
5
書本目錄: ... -- Introduction to Parallel Programming -- MPI - Message Passing Interface -- OpenMP -- Coarray Fortran -- C...
獲取全文
電子 電子書
6
出版 2005
書本目錄: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
獲取全文
電子 電子書
7
出版 2013
書本目錄: ... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...
獲取全文
電子 電子書
8
出版 2013
書本目錄: ... Functional Statistics in Logic Programming -- Reversible Language Extensions and Their Application...
獲取全文
電子 電子書
9
書本目錄: ...Opening -- Discrete Mathematics -- Numbers -- Sets -- Cartesians -- Types -- Functions -- A...
獲取全文
電子 電子書
10
主題: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
獲取全文
電子 電子書
11
出版 2010
書本目錄: ...Invited Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction...
獲取全文
電子 電子書
12
主題: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
獲取全文
電子 電子書
13
出版 2015
書本目錄: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
獲取全文
電子 電子書
14
書本目錄: ... and Exceptions -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming...
獲取全文
電子 電子書
15
出版 2010
書本目錄: ... -- Possibility Theory and Formal Concept Analysis: Context Decomposition and Uncertainty Handling -- A Parallel...
獲取全文
電子 電子書
16
出版 2008
書本目錄: ...Invited Talks -- Grounding Concrete Motion Concepts with a Linguistic Framework -- Emotion...
獲取全文
電子 電子書
17
Raynal, Michel., Raynal, Michel.
出版 2013
書本目錄: ... -- Chap. 2  Distributed Graph Algorithms -- Chap. 3  An Algorithmic Framework to Compute Global Functions...
獲取全文
電子 電子書
18
出版 2015
書本目錄: ... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...
獲取全文
電子 電子書
19
出版 2010
書本目錄: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
獲取全文
電子 電子書
20
出版 2008
書本目錄: ... Double Auction Market -- Parallel Reinforcement Learning with Linear Function Approximation -- Combining...
獲取全文
電子 電子書