Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program functionality » protein functionality, programs functional, supra functionality
functionality testing » functionality setting, functional testing, functionality using
integer processing » integrated processing, water processing, filter processing
processing program » processing programs, processing programmed, proceedings program
testing https » teaching https, being https, writing https
program functionality » protein functionality, programs functional, supra functionality
functionality testing » functionality setting, functional testing, functionality using
integer processing » integrated processing, water processing, filter processing
processing program » processing programs, processing programmed, proceedings program
testing https » teaching https, being https, writing https
1
Published 2007
Table of Contents:
“... Algorithms for 2-Stage Stochastic Scheduling Problems -- Session 5 -- On Integer Programming and the Branch...”View full text
Electronic
eBook
2
Table of Contents:
“... -- Generating Functions -- Nonnegative Difference Equations -- Leslie’s Population Matrix Model -- Matrix...”
View full text
View full text
Electronic
eBook
3
Published 2013
Table of Contents:
“... of Procedure Summaries for Integer Programs -- Runtime Verification Based on Register Automata -- Unbounded...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... Complexity -- The MSO Theory of Connectedly Communicating Processes -- Reachability of Hennessy-Milner...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... -- Approximating Multi-criteria Max-TSP -- An Integer Programming Algorithm for Routing Optimization in IP Networks...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... for Scheduling with Resource Dependent Processing Times -- Approximating Buy-at-Bulk and Shallow-Light k-Steiner...”View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“... Dodgson-Election Winners -- Reductions for Monotone Boolean Circuits -- Generalised Integer Programming...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching...”View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“... - Low Power Design Techniques -- Template Vertical Dictionary-Based Program Compression Scheme...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“... Integer Programming Problem....”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... Technologies -- Automatic Testing of Object-Oriented Software -- Architecture-Based Reasoning About...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... Risk Measures -- Computing with Words and Systemic Functional Linguistics: Linguistic Data Summaries...”View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“... on the Signed Sliding Window Integer Recoding and a Left-to-Right Analogue -- Fast Irreducibility Testing...”View full text
Electronic
eBook
15
Published 2012
Table of Contents:
“... of Privacy-Protected Deleted Data -- Detecting Encryption Functions via Process Emulation and IL-Based...”View full text
Electronic
eBook