1
Published 2007
Table of Contents: ... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ...Invited Lectures -- Graph Structure and Monadic Second-Order Logic: Language Theoretical Aspects...
View full text
Electronic eBook
3
Published 2015
Table of Contents: ...Probabilistic Programs as Spreadsheet Queries -- Static Analysis of Spreadsheet Applications...
View full text
Electronic eBook
4
Published 2015
Table of Contents: ... Bounds -- Quantifying Competitiveness in Paging with Locality of Reference -- Approximation Algorithms...
View full text
Electronic eBook
5
Table of Contents: ... for Power Plants -- 8. The L-Shaped BONUS Algorithm -- 9. The Environmental Trading Problem -- 10. Water...
View full text
Electronic eBook
6
Table of Contents: ... Programs -- Average-Case Analysis of MOQA programs -- Distri-Track Joint with D. Hickey and M. Boubekeur...
View full text
Electronic eBook
7
Table of Contents: ...Overview -- to Computer Systems -- to Operating Systems -- to Using a Computer System -- to Problem...
View full text
Electronic eBook
8
Table of Contents: ...Introduction to Programming in Fortran -- Control Constructs -- Modules and Procedures -- Arrays...
View full text
Electronic eBook
9
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
10
Published 2013
Table of Contents: ... of Second-Order Functionals -- Deconstructing General References via Game Semantics -- Separation Logic...
View full text
Electronic eBook
11
Subjects: ...Complex Systems. https://scigraph.springernature.com/ontologies/product-market-codes/P33000...
View full text
Electronic eBook
12
Subjects: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
View full text
Electronic eBook
13
by Zygiaris, Sotirios,
Published 2018
Subjects: ...SQL*PLUS (Computer program language)...
View full text
eBook
14
by Rosen, Alon., Rosen, Alon.
Published 2006
Table of Contents: ... Requires Logarithmically Many Rounds -- Conclusions and Open Problems -- A Brief Account of Other...
View full text
Electronic eBook
15
Table of Contents: ... -- Characterization of Value Functions -- Optimal Strategies -- Numerical Examples -- References -- Appendix A...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... Structures -- Regular Papers -- Temporal Reasoning for Procedural Programs -- Improved Model Checking...
View full text
Electronic eBook
17
Subjects: ...Algorithm Analysis and Problem Complexity. https://scigraph.springernature.com/ontologies/product...
View full text
Electronic eBook
18
Table of Contents: ...Preface -- 1 Equilibrium and Reactions -- 2 Truss Structures -- 3 Statics of Beams and Frames -- 4...
View full text
Electronic eBook
19
Table of Contents: ... and Open Problems -- References -- Index....
View full text
Electronic eBook
20
Published 2011
Table of Contents: ... Programs -- Stochastic Calculus and Stochastic Simulation -- Genomic Sequence Comparison -- Genome...
View full text
Electronic eBook