Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs cooperation » programs comparative, program operations, programs operational
cooperation https » conservation https, computation https, cooperating http
function function » function functional, functions functional, function dysfunction
https function » its function, sites function, ups function
function https » functions https, fiction https
programs cooperation » programs comparative, program operations, programs operational
cooperation https » conservation https, computation https, cooperating http
function function » function functional, functions functional, function dysfunction
https function » its function, sites function, ups function
function https » functions https, fiction https
1
Published 2006
Table of Contents:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”View full text
Electronic
eBook
2
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...
Published 2008
Table of Contents:
“... Encodings and Dependent Types -- Functional and Logic Programming -- Programming in JoCaml (Tool...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... -- Probabilistically Guided Prefix Gene Expression Programming -- Flocking-based Document Clustering on the Graphics...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... A1. Game Theory -- The Cooperative Game Theory Foundations of Network Bargaining Games...”View full text
Electronic
eBook
5
Table of Contents:
“...Convex sets and convex functions: the fundamentals -- Continuity and ?(X) -- The derivatives...”
View full text
View full text
Electronic
eBook
6
Published 2013
Table of Contents:
“... mutation paradigm for Genetic Programming -- Introducing an Age-Varying Fitness Estimation Function -- EC...”View full text
Electronic
eBook
7
Published 2014
Table of Contents:
“... Portfolio using Genetic Programming-based Load Models -- Maintenance of a Long Running Distributed Genetic...”View full text
Electronic
eBook
8
Subjects:
“...Entrepreneurship. https://scigraph.springernature.com/ontologies/product-market-codes/514000...”
View full text
View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... for Mobile Nodes: A Cooperative Middleware and an Experimentation Platform -- 2. Architecting Systems...”View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“... -- A Model of Component-Based Programming -- Contract Based Multi-party Service Composition...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“... Decomposition in a Rely/Guarantee Context -- A Verification Approach for System-Level Concurrent Programs...”View full text
Electronic
eBook
12
Published 2014
Subjects:
“...Building Types and Functions. https://scigraph.springernature.com/ontologies/product-market-codes/K...”View full text
Electronic
eBook
13
Published 2006
Table of Contents:
“...-Balanced Semi-matchings for Weighted Bipartite Graphs -- Analyzing Chain Programs over Difference...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“...: An Update -- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice...”View full text
Electronic
eBook
15
Published 2007
Table of Contents:
“... -- Specification and Verification of Institutions Through Status Functions -- NORMATIVE MODELS AND ISSUES...”View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“...: Extending the Recovery Algorithm -- Hash Functions for Datatype Signatures in MPI -- Extensions...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“...: A Case-Study with Organisations -- Enacting and Deacting Roles in Agent Programming -- A Platform...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... and Space Reuse -- Optimization of Triangular Matrix Functions in BLAS Library on Loongson2F -- Exposing...”View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“... Verification with Quasar -- Proving Functional Equivalence for Program Slicing in SPARKTM -- Ada and Education...”View full text
Electronic
eBook