Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program testing » programs testing, progeny testing, program trading
function making » function mining, function aging, function marina
https function » its function, sites function, ups function
testing https » teaching https, being https, writing https
making https » banking https, imaging https, smoking https
program testing » programs testing, progeny testing, program trading
function making » function mining, function aging, function marina
https function » its function, sites function, ups function
testing https » teaching https, being https, writing https
making https » banking https, imaging https, smoking https
1
Published 2010
Table of Contents:
“... in Program Verification -- Proving and Visualizing OCL Invariant Independence by Automatically Generated Test...”View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“... Elimination – Making Index Vectors Affordable -- Functional–Based Synthesis of a Systolic Array for GCD...”View full text
Electronic
eBook
3
Published 2007
Table of Contents:
“... Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs -- Explaining...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“...1. Invited Talks -- The Big Deal: Applying Constraint Satisfaction Technologies Where It Makes...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“...Testing Components Context-Independently -- Testing Polymorphic Behavior of Framework Components...”View full text
Electronic
eBook
6
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Published 2015
Table of Contents:
“...Probabilistic Programs as Spreadsheet Queries -- Static Analysis of Spreadsheet Applications...”View full text
Electronic
eBook
7
Table of Contents:
“...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...”
View full text
View full text
Electronic
eBook
8
Table of Contents:
“... Firing -- Event-Based Interaction Patterns -- Functional Roles -- Case Study 1: A System Browser -- Case...”
View full text
View full text
Electronic
eBook
9
Table of Contents:
“...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...”
View full text
View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... -- Contributed Papers -- Probabilistic Space Partitioning in Constraint Logic Programming -- Chi-Square Matrix...”View full text
Electronic
eBook
11
Table of Contents:
“...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...”
View full text
View full text
Electronic
eBook
12
Published 2013
Table of Contents:
“... -- Translating Answer-Set Programs into Bit-Vector Logic -- Making Use of Advances in Answer-Set Programming...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...”View full text
Electronic
eBook
14
by Leeflang, Peter S.H., Leeflang, Peter S.H., Wieringa, Jaap E., Bijmolt, Tammo H.A., Pauwels, Koen H.
Published 2015
Table of Contents:
“...Building models for markets -- Model specification -- Data -- Estimation and testing -- Validation...”Published 2015
View full text
Electronic
eBook
15
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“...Invited Talks -- How Can We Make Industry Adopt Formal Methods? -- Programmers Ain’t Mathematicians...”View full text
Electronic
eBook
17
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
18
Table of Contents:
“...Principles and Philosophy -- Advanced Basics -- Functions -- Classes -- Common Protocols -- Object...”
View full text
View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... with Different Species -- Computationally Sound Symbolic Secrecy in the Presence of Hash Functions -- Some...”View full text
Electronic
eBook
20
by Debbabi, Mourad., Debbabi, Mourad., Saleh, Mohamed., Talhi, Chamseddine., Zhioua, Sami.
Published 2007
Subjects:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”Published 2007
View full text
Electronic
eBook