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