1
Wydane 2010
Spis treści: ...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...
Dokumenty pełnotekstowe
Elektroniczne E-book
2
Wydane 2006
Spis treści: ... Procedures -- To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function...
Dokumenty pełnotekstowe
Elektroniczne E-book
3
Wydane 2015
Spis treści: ... for Probability Density Functions -- Segment Abstraction for Worst-Case Execution Time Analysis -- Automatic...
Dokumenty pełnotekstowe
Elektroniczne E-book
4
Wydane 2006
Spis treści: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
Dokumenty pełnotekstowe
Elektroniczne E-book
5
Wydane 2006
Spis treści: ... of Executing Star Operators in XPath Query Expressions -- Exploit Sequencing to Accelerate XML Twig Query...
Dokumenty pełnotekstowe
Elektroniczne E-book
6
Wydane 2013
Spis treści: ... Grounded Procedure for Managing Data and Sample Size of a Home Medical Device Assessment -- Usability...
Dokumenty pełnotekstowe
Elektroniczne E-book