1
Được phát hành 2010
Mục lục: ...The NUTRA-SNACKS Project: Basic Research and Biotechnological Programs on Nutraceutics -- Overview...
lấy văn bản
Điện tử eBook
2
Được phát hành 2008
Mục lục: ... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...
lấy văn bản
Điện tử eBook
3
Được phát hành 2008
Mục lục: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
lấy văn bản
Điện tử eBook
4
Được phát hành 2015
Mục lục: ... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...
lấy văn bản
Điện tử eBook
5
Được phát hành 2013
Mục lục: ... and Verification of GPU Kernels -- Verifying Concurrent Programs against Sequential Specifications...
lấy văn bản
Điện tử eBook
6
Được phát hành 2005
Mục lục: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
lấy văn bản
Điện tử eBook
7
Được phát hành 2008
Mục lục: ... Global Path Planning in Time Varying Environments Based on a Cost Evaluation Function -- Grammar...
lấy văn bản
Điện tử eBook
8
Được phát hành 2010
Mục lục: ... Synchronizing Automata and Digraphs -- Weights of Exact Threshold Functions -- Proof Systems and Transformation...
lấy văn bản
Điện tử eBook
9
Được phát hành 2010
Mục lục: ... Architecture for Dynamic Function Patterns -- Reconfigurable Components for Application-Specific Processor...
lấy văn bản
Điện tử eBook
10
Được phát hành 2008
Mục lục: ... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...
lấy văn bản
Điện tử eBook
11
Bằng Coles, Michael., Coles, Michael.
Được phát hành 2008
Mục lục: ... -- XQuery -- XQuery Functions and Operators and XML DML -- Indexing XML -- XSLT and the SQLCLR -- HTTP SOAP...
lấy văn bản
Điện tử eBook
12
Được phát hành 2006
Mục lục: ...-Based Analysis of Global Function Computation -- Checking a Multithreaded Algorithm with ?+?CAL...
lấy văn bản
Điện tử eBook
13
Được phát hành 2006
Mục lục: ... Programming -- A Functional Program for Agents, Actions, and Deontic Specifications....
lấy văn bản
Điện tử eBook
14
Mục lục: ... -- Basic Pipelined Processor Design -- Transforming the Sequential Design -- Scheduling Functions -- Use...
lấy văn bản
Điện tử eBook
15
Được phát hành 2010
Mục lục: ... -- Semidefinite Programming and Approximation Algorithms: A Survey -- Strictly-Regular Number System and Data...
lấy văn bản
Điện tử eBook
16
Được phát hành 2010
Mục lục: ... Pathetic Lower Bounds -- Testing Boolean Function Isomorphism -- Better Size Estimation for Sparse Matrix...
lấy văn bản
Điện tử eBook
17
Được phát hành 2010
Mục lục: ... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...
lấy văn bản
Điện tử eBook
18
Được phát hành 2006
Mục lục: ...) Probability Function for FMS IP Trace-Back Technique -- A Mechanism for Detection and Prevention...
lấy văn bản
Điện tử eBook
19
Được phát hành 2008
Mục lục: ... Hash Function Designs -- The Hash Function Family LAKE -- SWIFFT: A Modest Proposal for FFT Hashing...
lấy văn bản
Điện tử eBook
20
Bằng Ruan, Xiaoyu., Ruan, Xiaoyu.
Được phát hành 2014
Những chủ đề: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
lấy văn bản
Điện tử eBook