Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionality testing » functionality setting, functional testing, functionality using
programs competition » program composition, programs cooperation, programming competition
https functionality » its functionality, bags functionality, cross functionality
competition https » computation https, competition horses, competition bottom
testing https » teaching https, being https, writing https
functionality testing » functionality setting, functional testing, functionality using
programs competition » program composition, programs cooperation, programming competition
https functionality » its functionality, bags functionality, cross functionality
competition https » computation https, competition horses, competition bottom
testing https » teaching https, being https, writing https
1
Published 2008
Table of Contents:
“... Verification of C Programs -- Test Construction for Mathematical Functions -- Model-Based Testing Service...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”View full text
Electronic
eBook
4
Published 2015
Table of Contents:
“... Bounds -- Quantifying Competitiveness in Paging with Locality of Reference -- Approximation Algorithms...”View full text
Electronic
eBook
5
Published 2013
Table of Contents:
“... Functional Programs -- Tool Demonstrations Polyglot: Systematic Analysis for Multiple Statechart Formalisms...”View full text
Electronic
eBook
6
Published 2013
Table of Contents:
“... and Designs for Modelling Invariant Functions: From Group Invariance to Additivity -- Optimal Design for Count...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... for the Maximum Node-Capacitated Multiflow Problem -- Linear Time Planarity Testing and Embedding of Strongly...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“... Automated Trading -- Genetic Programming in Statistical Arbitrage -- Evolutionary System for Generating...”View full text
Electronic
eBook
9
Published 2015
Table of Contents:
“... -- The Connection Between Intelligence Tests and Theory of Intelligence -- Assessing Intellectual Knowledge...”View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“... -- Implementing Minimum Cycle Basis Algorithms -- Rounding to an Integral Program -- Rectangle Covers Revisited...”View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“... or receptive behavior in female meadow voles, Microtus pennsylvanicus -- The signalling of competitive ability...”View full text
Electronic
eBook
15
Published 2015
Table of Contents:
“...Chapter 1. A Dynamic Conditional Correlation analysis based approach to test Financial Contagion...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... of Bipartite Ranking Functions -- Stability and Generalization of Bipartite Ranking Algorithms -- Loss Bounds...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“... Technologies -- Automatic Testing of Object-Oriented Software -- Architecture-Based Reasoning About...”View full text
Electronic
eBook
19
Published 2014
Table of Contents:
“...An Exact Algorithm for Non-preemptive Peak Demand Job Scheduling -- An Asymptotic Competitive...”View full text
Electronic
eBook
20
Published 2013
Table of Contents:
“... to the Design of Urban Public Spaces: Day Lighting in the Squares -- Some Results in Automatic Functional Test...”View full text
Electronic
eBook