Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
problem construction » program construction, proper construction, project construction
construction https » instruction https, conservation https, construction history
https function » its function, sites function, ups function
function java » function jane, function jason, function james
problem construction » program construction, proper construction, project construction
construction https » instruction https, conservation https, construction history
https function » its function, sites function, ups function
function java » function jane, function jason, function james
1
Published 2010
Table of Contents:
“... -- Approximating the Pareto Front of Multi-criteria Optimization Problems -- Decision Procedures -- An Alternative...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... Distribution Protocols -- Generic Constructions of Biometric Identity Based Encryption Systems -- Design...”View full text
Electronic
eBook
3
Published 2013
Table of Contents:
“... -- Generating Artificial Neural Networks for Value Function Approximation in a Domain Requiring a Shifting...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... for Solving Multiprocessor Scheduling Problem -- Online Scheduling of Parallel Jobs on Hypercubes: Maximizing...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“...Invited Talks -- Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... on Java Session-Id Generation -- Update on SHA-1 -- A Fast Correlation Attack on the Shrinking Generator...”View full text
Electronic
eBook
7
Published 2014
Table of Contents:
“... Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley -- Heuristic Search Over...”View full text
Electronic
eBook
8
Published 2007
Table of Contents:
“... on Satisfiability Modulo Theories -- A JML Tutorial: Modular Specification and Verification of Functional Behavior...”View full text
Electronic
eBook
9
Table of Contents:
“... Results -- Java Solver Results of DP Problems -- Other Solver Results -- Conclusions....”
View full text
View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... Challenge -- A Structured Set of Higher-Order Problems -- Formal Modeling of a Slicing Algorithm for Java...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... Application to the Protein Folding Problem -- Disjunctive Constraint Lambda Calculi -- Computational Issues...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... Systems -- Tools -- JML4: Towards an Industrial Grade IVE for Java and Next Generation Research Platform...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“... Random Boolean Function -- Concurrent Constraint-Based Memory Machines: A Framework for Java Memory...”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“...Algorithms and Implementations -- Computing the Minkowski Value of the Exponential Function over a...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... Logical Systems -- The Description Logic for Relational Databases -- Non-Functional Requirements...”View full text
Electronic
eBook
16
Published 2007
Table of Contents:
“... of Novel Stochastic Methods of Function Recovery -- Automatic Face Analysis System Based on Face...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“...Roadmapping and i-Systems -- Exploring Computational Scheme of Complex Problem Solving Based...”View full text
Electronic
eBook
18
Published 2014
Table of Contents:
“... -- The Diagonal Reduction Algorithm Using Fast Givens -- Constructing Generalized Bent Functions from Trace Forms...”View full text
Electronic
eBook