1
Gepubliceerd in 2013
Inhoudsopgave: ... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...
Volledige tekst
Elektronisch E-boek
2
door Sharan, Kishori., Sharan, Kishori.
Gepubliceerd in 2014
Onderwerpen: ...Java (Computer program language)....
Volledige tekst
Elektronisch E-boek
3
Gepubliceerd in 2013
Inhoudsopgave: ...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...
Volledige tekst
Elektronisch E-boek
4
Gepubliceerd in 2013
Inhoudsopgave: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
Volledige tekst
Elektronisch E-boek
5
Gepubliceerd in 2015
Inhoudsopgave: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
Volledige tekst
Elektronisch E-boek
6
Gepubliceerd in 2014
Inhoudsopgave: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Volledige tekst
Elektronisch E-boek
7
Gepubliceerd in 2010
Inhoudsopgave: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Volledige tekst
Elektronisch E-boek
8
Gepubliceerd in 2014
Inhoudsopgave: ... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...
Volledige tekst
Elektronisch E-boek
9
Gepubliceerd in 2008
Inhoudsopgave: ... -- Parallel Coordinates: Visualization, Exploration and Classification of High-Dimensional Data -- Matrix...
Volledige tekst
Elektronisch E-boek
10
Gepubliceerd in 2005
Inhoudsopgave: ...) -- Letter Based Text Scoring Method for Language Identification -- Parallel and Distributed Data Processing...
Volledige tekst
Elektronisch E-boek