Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function function » function functional, functions functional, function dysfunction
parallel program » parallel programs, parallel problem, parallel programming
function https » functions https, fiction https
role function » sole function, role's function, node function
program role » program rule, programs carole, program robin
function function » function functional, functions functional, function dysfunction
parallel program » parallel programs, parallel problem, parallel programming
function https » functions https, fiction https
role function » sole function, role's function, node function
program role » program rule, programs carole, program robin
1
Published 2013
Table of Contents:
“... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... with the TSP -- The Role of Syntactic and Semantic Locality of Crossover in Genetic Programming -- The Layered...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”View full text
Electronic
eBook
6
Published 2014
Table of Contents:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”View full text
Electronic
eBook
7
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Published 2013
Table of Contents:
“... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“... Their Roles in Object Oriented Programming....”View full text
Electronic
eBook
10
Table of Contents:
“...How to Obtain, Install, and Use F# -- Functional Programming -- Imperative Programming -- Object...”
View full text
View full text
Electronic
eBook
11
Published 2015
Table of Contents:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“...-functional Requirements -- Coordination Systems in Role-Based Adaptive Software -- Coordination...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... Computations for Finding Universal Denominators -- A Role of Symbolic Computations in Beam Physics -- Thomas...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...”View full text
Electronic
eBook
16
Published 2014
Subjects:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... and the Role of Medical Informatics in Stomatology -- Stability Analysis of an SVLI Epidemic Model -- A New...”View full text
Electronic
eBook
18
Published 2015
Table of Contents:
“... Requirements in Function-Centered Engineering of Embedded Systems -- Estimating the Implementation Risk...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“... Configuration for QoS in Reliable Parallel Servers -- Session 2A: Practical Experience Reports and Tools I...”View full text
Electronic
eBook