1
Published 2008
Subjects: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ... to Dimension Zero-One Laws -- The Connectivity of Boolean Satisfiability: Computational and Structural...
View full text
Electronic eBook
4
Published 2007
Table of Contents: ... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...
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 2015
Table of Contents: ... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...
View full text
Electronic eBook
7
Table of Contents: ...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...
View full text
Electronic eBook
8
Table of Contents: ... Abstraction -- The Object-Oriented Paradigm -- The Functional Paradigm -- The Logic Programming Paradigm -- A...
View full text
Electronic eBook
9
Published 2006
Table of Contents: ... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
View full text
Electronic eBook
11
Subjects: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
View full text
Electronic eBook
12
Published 2014
Table of Contents: ... to Support Continuous Integration: A Multiple Case Study -- Comparing a Hybrid Testing Process with Scripted...
View full text
Electronic eBook
13
Published 2007
Table of Contents: ..., High Reading Error Rate and Low Coverage -- Two Birds, One Stone: Selecting Functionally Informative...
View full text
Electronic eBook
14
Published 2005
Table of Contents: ... -- Exploring an Unknown Graph Efficiently -- Online Routing in Faulty Meshes with Sub-linear Comparative Time...
View full text
Electronic eBook
15
by Anthony, Greg., Anthony, Greg.
Published 2005
Table of Contents: ... and Structures -- Part Two Bi-design; Function-oriented Designing Strategies -- Part Three Untangled Web; One...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ... World: Issues of Quality of Service -- Comparing the Expressiveness of Timed Automata and Timed...
View full text
Electronic eBook
17
Published 2014
Table of Contents: ... Comparator -- Performance Enhancement of Brillouin Distributed Temperature Sensor Using Optimized Fiber...
View full text
Electronic eBook
18
Published 2006
Table of Contents: ... Techniques -- Similarity-Based Text Clustering: A Comparative Study -- Clustering Very Large Data Sets...
View full text
Electronic eBook
19
Published 2006
Table of Contents: ... -- Distributed Data Structures: A Survey on Informative Labeling Schemes -- From Deduction Graphs to Proof Nets...
View full text
Electronic eBook
20
Published 2008
Table of Contents: ... Function -- A Robust Methodology for Comparing Performances of Clustering Validity Criteria -- Natural...
View full text
Electronic eBook