1
Gepubliceerd in 2007
Inhoudsopgave: ... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...
Volledige tekst
Elektronisch E-boek
2
Gepubliceerd in 2013
Inhoudsopgave: ... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...
Volledige tekst
Elektronisch E-boek
3
Gepubliceerd in 2012
Inhoudsopgave: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
Volledige tekst
Elektronisch E-boek
4
door Karrenberg, Ralf., Karrenberg, Ralf.
Gepubliceerd in 2015
Onderwerpen: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Volledige tekst
Elektronisch E-boek
5
Gepubliceerd in 2011
Onderwerpen: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Volledige tekst
Elektronisch E-boek
6
Gepubliceerd in 2008
Inhoudsopgave: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
Volledige tekst
Elektronisch E-boek
7
Gepubliceerd in 2015
Inhoudsopgave: ... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...
Volledige tekst
Elektronisch E-boek
8
Gepubliceerd in 2012
Onderwerpen: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
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
Gepubliceerd in 2014
Inhoudsopgave: ...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...
Volledige tekst
Elektronisch E-boek
11
Gepubliceerd in 2013
Inhoudsopgave: ...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...
Volledige tekst
Elektronisch E-boek
12
Onderwerpen: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Volledige tekst
Elektronisch E-boek
13
door Pace, Larry., Pace, Larry., Wiley, Joshua.
Gepubliceerd in 2015
Onderwerpen: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Volledige tekst
Elektronisch E-boek
14
Gepubliceerd in 2010
Inhoudsopgave: ...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...
Volledige tekst
Elektronisch E-boek
15
Gepubliceerd in 2013
Inhoudsopgave: ... Functional Statistics in Logic Programming -- Reversible Language Extensions and Their Application...
Volledige tekst
Elektronisch E-boek
16
Gepubliceerd in 2007
Inhoudsopgave: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Volledige tekst
Elektronisch E-boek
17
Gepubliceerd in 2008
Inhoudsopgave: ... of Trivium -- Accelerating the Whirlpool Hash Function Using Parallel Table Lookup and Fast Cyclical...
Volledige tekst
Elektronisch E-boek
18
door Comninos, Peter., Comninos, Peter.
Gepubliceerd in 2006
Inhoudsopgave: ... Spaces or Linear Spaces -- Two-Dimensional Transformations -- Two-Dimensional Clipping -- Three...
Volledige tekst
Elektronisch E-boek
19
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
20
Gepubliceerd in 2008
Inhoudsopgave: ...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...
Volledige tekst
Elektronisch E-boek