Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
intersection function » intersection fusion, interactions functions, interflation functions
program functionality » protein functionality, programs functional, supra functionality
functionality based » functional based, functionality needs, functionality business
function program » functional program, functions programs, functional programs
based https » based http
intersection function » intersection fusion, interactions functions, interflation functions
program functionality » protein functionality, programs functional, supra functionality
functionality based » functional based, functionality needs, functionality business
function program » functional program, functions programs, functional programs
based https » based http
1
Published 2006
Table of Contents:
“... Compiler from ?-Protocol to 2-Move Deniable Zero-Knowledge -- New Extensions of Pairing-Based Signatures...”View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“... Minimization over Base Polytopes -- Computational Geometric Approach to Submodular Function Minimization...”View full text
Electronic
eBook
3
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Published 2006
Table of Contents:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“...Inductive Databases and Constraint-based Data Mining: Introduction and Overview -- Representing...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... Contexts -- Proof Contexts with Late Binding -- The -Calculus. Functional Programming with Higher-Order...”View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“... for Intuitionistic Arithmetic Based on Tarski Games with Retractable Moves -- The Safe Lambda Calculus...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“... Abstraction -- Combining Shape Analyses by Intersecting Abstractions -- A Complete Abstract Interpretation...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“...-Based Protocols in the Type 1 and Type 4 Settings -- Functions, Equations and Modular Multiplication...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... with Index Dependency -- Anonymous Fuzzy Identity-Based Encryption for Similarity Search -- Improved...”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“... Functions for Flow Time Scheduling Based on Active Job Count -- Facility Location in Dynamic Geometric Data...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... of Intersecting Families and Directed Connectivity Problems -- Better Approximations for the Minimum Common...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... Algorithm Based on Classification Closeness Function....”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“... Model by High-Resolution Central-Upwind Scheme -- User-Controllable GPGPU-Based Target-Driven Smoke...”View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“... Sámi Speller Based on TWOL Technology -- A Programming Language for Finite State Transducers -- FIRE...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“... for an Ontology-Based Methodological Approach for Multi-agent Systems -- DDEMAS: A Domain Design Technique...”View full text
Electronic
eBook
20
Published 2015
Table of Contents:
“... and reparatory functions in women -- Pst-traumatic stress disorder: early impact on brain function...”View full text
Electronic
eBook