1
Table of Contents: ... -- Java Interoperability -- Parallel Programming -- Macros and Metaprogramming -- Datatypes and Protocols...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...
View full text
Electronic eBook
3
Published 2014
Table of Contents: ... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... with Grammatical Evolution in Java -- Processing and Querying Description Logic Ontologies Using Cartographic...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... -- High-dimensional Data Visualization -- Multivariate Data Glyphs: Principles and Practice -- Linked...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ...Algorithms and Implementations -- Computing the Minkowski Value of the Exponential Function over a...
View full text
Electronic eBook
8
Published 2014
Table of Contents: ... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...
View full text
Electronic eBook
9
Published 2006
Table of Contents: ... -- The Robustness of Resource Allocations in Parallel and Distributed Computing Systems -- Pervasive Computing...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ...) -- Letter Based Text Scoring Method for Language Identification -- Parallel and Distributed Data Processing...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
View full text
Electronic eBook
12
Published 2013
Table of Contents: ... Components to Improve Harmony Search -- A Massive Parallel Cellular GPU Implementation of Neural Network...
View full text
Electronic eBook
13
Published 2006
Table of Contents: ...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...
View full text
Electronic eBook
14
Published 2014
Table of Contents: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
View full text
Electronic eBook