1
Published 2006
Table of Contents: ... Few Constructions on Constructors -- Tactic-Based Optimized Compilation of Functional Programs...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... -- ML Modules and Haskell Type Classes: A Constructive Comparison -- The Essence of Form Abstraction...
View full text
Electronic eBook
3
Table of Contents: ... Operator Interfaces and Filtering -- Improving VEE Pro Program Productivity....
View full text
Electronic eBook
4
Published 2006
Table of Contents: ... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... -- MPI and Hybrid Programming Models for Petascale Computing -- Some Aspects of Message-Passing on Future...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...
View full text
Electronic eBook
7
Published 2014
Table of Contents: ... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...
View full text
Electronic eBook
8
Published 2008
Table of Contents: ... -- Interface Composition for Web Service Intermediaries -- Goal-Oriented Composition of Services -- Composing...
View full text
Electronic eBook
9
Published 2013
Table of Contents: ... -- Part VIII:WG The mathematics-industry interface -- Report on the Working Group -- Part IX: Selected...
View full text
Electronic eBook
10
by Carsetti, A., Carsetti, A.
Published 2013
Table of Contents: ... and the alternative splicing. - 2. The interface between ruler and coder -- 3. The recipe at work: the role...
View full text
Electronic eBook
11
Table of Contents: ... Interfaces, Delegates, and Events -- Advanced C# Type Construction Techniques -- Understanding Generics...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... Differential Evolution -- Comparison between Genetic Algorithm and Genetic Programming Performance...
View full text
Electronic eBook
13
Published 2008
Table of Contents: ... -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... Based Approach for Optimal Clustering of Distributed Program's Call Flow Graph -- Fuzzy Adaptive Swarm...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... in Distributed Systems -- Contributions in Mineral Floatation Modeling and Simulation -- Selecting the Optimal...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ... for Component and Service Markets -- Component Selection and Reuse Repository -- Recommending Typical Usage...
View full text
Electronic eBook
17
Table of Contents: ... Your Data -- PostgreSQL Command-Line and Graphical Tools -- Data Interfacing -- Advanced Data Selection...
View full text
Electronic eBook
18
Published 2013
Table of Contents: ... Design Patterns -- Building Correct by Construction SOA Design Patterns: Modeling and Refinement...
View full text
Electronic eBook
19
Published 2005
Table of Contents: ...-Time Systems -- Abstraction and Reduction Techniques -- Selective Search in Bounded Model Checking...
View full text
Electronic eBook
20
Published 2005
Table of Contents: ... Modeling – A ”Constructive” Exploration -- DynaMo-AID: A Design Process and a Runtime Architecture...
View full text
Electronic eBook