Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function blocking » junction blocking, functional blocking, function block
programs testing » programs using, progeny testing
https function » its function, sites function, ups function
blocking https » blocking steps, banking https, blocking sets
testing https » teaching https, being https, writing https
function blocking » junction blocking, functional blocking, function block
programs testing » programs using, progeny testing
https function » its function, sites function, ups function
blocking https » blocking steps, banking https, blocking sets
testing https » teaching https, being https, writing https
1
Table of Contents:
“... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
View full text
View full text
Electronic
eBook
2
Published 2013
Table of Contents:
“... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... Width Formulas -- Proof Complexity of Propositional Default Logic -- Automated Testing and Debugging...”View full text
Electronic
eBook
4
Published 2012
Table of Contents:
“... Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis...”View full text
Electronic
eBook
5
Published 2015
Table of Contents:
“... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”View full text
Electronic
eBook
6
Published 2014
Table of Contents:
“...A cost based reweighed scheme of Principal Support Vector Machine -- Power assessment of a new test...”View full text
Electronic
eBook
7
Published 2013
Table of Contents:
“... Dataflow Sensitive Specifications -- Proof -- A Proof Slicing Framework for Program Verification...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... and Applications -- Optimal Tableau Algorithms for Coalgebraic Logics -- Blocked Clause Elimination -- Tools I...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”View full text
Electronic
eBook
10
Published 2012
Table of Contents:
“... (Marino M., Palumbo F., Tortora C.) -- Clustering geostatistical functional data (Romano E., Verde R...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... -- Research Issues in the Automated Testing of Ajax Applications -- Essential Performance Drivers in Native...”View full text
Electronic
eBook
12
Published 2014
Table of Contents:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”View full text
Electronic
eBook
13
Table of Contents:
“... -- Testing for randomness, agreement and interaction -- Block Designs -- General Theory of Hypothesis Testing...”
View full text
View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”View full text
Electronic
eBook
15
Table of Contents:
“... (Putting It All Together) -- Block-Level Testing -- Chip-Level Testing -- Things to Remember -- Examples...”
View full text
View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“...Constraint Satisfaction -- Efficient Pruning Technique Based on Linear Relaxations -- Inter-block...”View full text
Electronic
eBook
17
Table of Contents:
“...Select -- Insert, Update, Delete -- Transactions, Locking, Blocking, and Deadlocking -- Tables...”
View full text
View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“... Automated Trading -- Genetic Programming in Statistical Arbitrage -- Evolutionary System for Generating...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“..., High Reading Error Rate and Low Coverage -- Two Birds, One Stone: Selecting Functionally Informative...”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“...) Probability Function for FMS IP Trace-Back Technique -- A Mechanism for Detection and Prevention...”View full text
Electronic
eBook