1
Published 2010
Table of Contents: ... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...
View full text
Electronic eBook
2
Table of Contents: ... -- Interfaces and Nested Classes -- Aspects of Programming -- Programming Style -- Testing and Debugging...
View full text
Electronic eBook
3
Table of Contents: ... -- Operators -- Arrays, Hashes, References, and Typeglobs -- Structure, Flow, and Control -- Subroutines...
View full text
Electronic eBook
4
Table of Contents: ... -- Arrays -- Object-Oriented PHP -- Advanced OOP Features -- Error and Exception Handling -- Strings...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... Footprinting -- Learning Network from High-Dimensional Array Data -- Computational Methods for Predicting...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... Satisfaction Problems -- On the Representation of Kleene Algebras with Tests -- From Three Ideas in TCS...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... Platform Based Context-Aware Services across Home -- Web Services Testing Approaches: A Survey and a...
View full text
Electronic eBook
9
Published 2007
Table of Contents: ...Keynote Speech -- Programming Challenges for Petascale and Multicore Parallel Systems -- Towards...
View full text
Electronic eBook
10
Table of Contents: ...The ALL Dataset -- R and Bioconductor Introduction -- Processing Affymetrix Expression Data -- Two...
View full text
Electronic eBook
11
Published 2005
Table of Contents: ... of Differential Gene Expression Studies -- Multiple Testing Procedures: the multtest Package and Applications...
View full text
Electronic eBook
12
Published 2007
Table of Contents: ... in Semidefinite Programming -- Expressive Power of LL(k) Boolean Grammars -- Complexity of Pebble Tree-Walking...
View full text
Electronic eBook
13
by Spear, Chris., Spear, Chris.
Published 2008
Table of Contents: ... Manual -- 1.3 Basic Testbench Functionality -- 1.4 Directed Testing -- 1.5 Methodology Basics -- 1.6...
View full text
Electronic eBook
14
Published 2015
Table of Contents: ...-To-End Authentication for Mobile Banking -- Improving Mutation Testing Process of Python Programs -- Task...
View full text
Electronic eBook
15
Published 2013
Table of Contents: ... and Prosody -- A Case Study in Romanian -- MAP: An Abstraction-Based Metaphor Analysis Program for Overcoming...
View full text
Electronic eBook
16
Published 2014
Table of Contents: ... for Vehicular Ad-hoc Networks -- A Study on Expressiveness of a Class of Array Token Petri Nets -- Non-dominated...
View full text
Electronic eBook
17
Published 2001
Table of Contents: ... Mutation Detection by Temperature-Programmed Capillary Electrophoresis -- Single-Nucleotide Primer...
View full text
Electronic eBook