Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
https functionality » its functionality, bags functionality, cross functionality
functionality based » functional based, functionality needs, functionality business
program comparing » program comparison, programs compiling, problem comparing
comparing https » computing https, comparing hst, comparing things
based https » based http
https functionality » its functionality, bags functionality, cross functionality
functionality based » functional based, functionality needs, functionality business
program comparing » program comparison, programs compiling, problem comparing
comparing https » computing https, comparing hst, comparing things
based https » based http
1
Published 2007
Table of Contents:
“... Strategies -- A Program Transformation for Tracing Functional Logic Computations -- Termination and Analysis...”View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”View full text
Electronic
eBook
3
Table of Contents:
“... -- Phylogenetic & Functional Beta Diversity -- Null Models -- Comparative Methods & Phylogenetic Signal...”
View full text
View full text
Electronic
eBook
4
Table of Contents:
“...Chapter 1: Is Dedekind a logicist?; Hourya Benis Sinaceur -- Chapter 2: Functions and Expressions...”
View full text
View full text
Electronic
eBook
5
Published 2015
Table of Contents:
“... For Gene Functional Enrichments -- A Comparative Study of Methodologies of Protein Secondary Structure -- A...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... Networks -- Rule Discovery Process Based on Rough Sets under the Belief Function Framework -- Independent...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”View full text
Electronic
eBook
8
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Published 2007
Table of Contents:
“... Calculus for a Comparative Analysis of Bio-inspired Calculi -- Applicative Programming -- A Rewriting...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“... I -- Delegate and Conquer: An LP-Based Approximation Algorithm for Minimum Degree MSTs -- Better...”View full text
Electronic
eBook
10
Published 2015
Table of Contents:
“... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... Selection Based on Soft Computing Techniques -- Obtaining the Compatibility between Musicians Using Soft...”View full text
Electronic
eBook
12
Table of Contents:
“...CDO: General Characteristics.- Credit Risk Modeling -- Copula Functions and Dependency Concepts...”
View full text
View full text
Electronic
eBook
13
Table of Contents:
“...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...”
View full text
View full text
Electronic
eBook
14
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Published 2006
Table of Contents:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”View full text
Electronic
eBook
15
Published 2013
Table of Contents:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“... Structure -- Graph Seriation Using Semi-definite Programming -- Comparing String Representations...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“... a CBR-Agents Approach -- A Comparative Analysis of Query Similarity Metrics for Community-Based Web...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“...Inductive Databases and Constraint-based Data Mining: Introduction and Overview -- Representing...”View full text
Electronic
eBook
20
Published 2014
Table of Contents:
“... Performance Development -- A Test-Driven Approach for Model-Based Development of Powertrain Functions -- Part...”View full text
Electronic
eBook