Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program function » programme function, programs functional, program foundation
function against » fraction against, sanctions against, fractions against
function https » functions https, fiction https
https function » its function, sites function, ups function
against https » against http, against herpes, against hate
program function » programme function, programs functional, program foundation
function against » fraction against, sanctions against, fractions against
function https » functions https, fiction https
https function » its function, sites function, ups function
against https » against http, against herpes, against hate
1
Published 2010
Table of Contents:
“...The NUTRA-SNACKS Project: Basic Research and Biotechnological Programs on Nutraceutics -- Overview...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”View full text
Electronic
eBook
4
Published 2015
Table of Contents:
“... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”View full text
Electronic
eBook
5
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Published 2013
Table of Contents:
“... and Verification of GPU Kernels -- Verifying Concurrent Programs against Sequential Specifications...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... Global Path Planning in Time Varying Environments Based on a Cost Evaluation Function -- Grammar...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... Synchronizing Automata and Digraphs -- Weights of Exact Threshold Functions -- Proof Systems and Transformation...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... Architecture for Dynamic Function Patterns -- Reconfigurable Components for Application-Specific Processor...”View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“... Programming -- A Functional Program for Agents, Actions, and Deontic Specifications....”View full text
Electronic
eBook
12
Published 2006
Table of Contents:
“...-Based Analysis of Global Function Computation -- Checking a Multithreaded Algorithm with ?+?CAL...”View full text
Electronic
eBook
13
Published 2014
Table of Contents:
“... -- Symbolic Resource Bound Inference for Functional Programs -- Proving Non-termination Using Max-SMT...”View full text
Electronic
eBook
14
Table of Contents:
“... -- XQuery -- XQuery Functions and Operators and XML DML -- Indexing XML -- XSLT and the SQLCLR -- HTTP SOAP...”
View full text
View full text
Electronic
eBook
15
Table of Contents:
“... -- Basic Pipelined Processor Design -- Transforming the Sequential Design -- Scheduling Functions -- Use...”
View full text
View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... -- Semidefinite Programming and Approximation Algorithms: A Survey -- Strictly-Regular Number System and Data...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... Pathetic Lower Bounds -- Testing Boolean Function Isomorphism -- Better Size Estimation for Sparse Matrix...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“...) Probability Function for FMS IP Trace-Back Technique -- A Mechanism for Detection and Prevention...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... Hash Function Designs -- The Hash Function Family LAKE -- SWIFFT: A Modest Proposal for FFT Hashing...”View full text
Electronic
eBook