Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs computing » programs compiling, programs conducting, problems computing
function measuring » functions measuring, functioning measuring, function measurement
measuring https » measuring hope, measuring things
https function » its function, sites function, ups function
programs computing » programs compiling, programs conducting, problems computing
function measuring » functions measuring, functioning measuring, function measurement
measuring https » measuring hope, measuring things
https function » its function, sites function, ups function
1
Table of Contents:
“...Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites...”
View full text
View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... the Functional Size in PRiM -- Implementing Software Measurement Programs in Non Mature Small Settings -- Non...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... Case Point Method -- Session A2 – Measurement Programs -- Software Measurement @ Siemens – A Practical...”View full text
Electronic
eBook
4
Published 2014
Table of Contents:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”View full text
Electronic
eBook
5
Published 2015
Table of Contents:
“... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... Recursive Functions with Object Oriented Genetic Programming -- Negative Slope Coefficient: A Measure...”View full text
Electronic
eBook
7
Table of Contents:
“... Programs -- Stochastic Integer Programs -- Evaluating and Approximating Expectations -- Monte Carlo Methods...”
View full text
View full text
Electronic
eBook
8
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Published 2014
Table of Contents:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... Information -- Rewriting Measurement-Based Quantum Computations with Generalised Flow -- The Compositional...”View full text
Electronic
eBook
10
Published 2015
Table of Contents:
“... in Extended Measurement-based Quantum Computation -- A Fully Fault-Tolerant Representation of Quantum Circuits...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... in Concurrent Programs -- Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations...”View full text
Electronic
eBook
13
Table of Contents:
“...Measures and Integration: An Informal Introduction -- Measures -- Integration -- Lp-Spaces...”
View full text
View full text
Electronic
eBook
14
Published 2006
Table of Contents:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”View full text
Electronic
eBook
15
Table of Contents:
“... -- 3.1 About Functional Diversity Indices and Measures -- 3.2 Species Diversity Indices -- 3.3 Single...”
View full text
View full text
Electronic
eBook
16
Published 2015
Table of Contents:
“... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... Trust in Cloud Computing -- SegSlice: Towards a New Class of Secure Programming Primitives...”View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“...: Distributed Computing and Algorithms I -- Programmer-Centric Conditions for Itanium Memory Consistency -- A...”View full text
Electronic
eBook
19
Published 2015
Table of Contents:
“... Needs -- Why the Development Outcome Does Not Meet the Product Owners’ Expectations? -- Functional Size...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“...Machine Learning and Data Mining -- Towards a Conscious Choice of a Fuzzy Similarity Measure: A...”View full text
Electronic
eBook