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