Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function structures » functions structures, function structure, functional structures
https function » its function, sites function, ups function
program based » programs based, gram based, programming based
based https » based http
function structures » functions structures, function structure, functional structures
https function » its function, sites function, ups function
program based » programs based, gram based, programming based
based https » based http
1
Published 2006
Table of Contents:
“... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“...Invited Papers -- Programming with Multiple Paradigms in Lua -- Constraint Based Strategies...”View full text
Electronic
eBook
3
Published 2007
Table of Contents:
“...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...”View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“... in Cryptography -- Credentials-Based Authorization: Evaluation and Implementation -- Subexponential Parameterized...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“... I -- Delegate and Conquer: An LP-Based Approximation Algorithm for Minimum Degree MSTs -- Better...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”View full text
Electronic
eBook
8
Published 2013
Table of Contents:
“...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”View full text
Electronic
eBook
9
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
10
Published 2008
Table of Contents:
“... Theory of Regular Languages -- Reversible Flowchart Languages and the Structured Reversible Program...”View full text
Electronic
eBook
11
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Published 2007
Table of Contents:
“... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”View full text
Electronic
eBook
13
Published 2013
Table of Contents:
“... Grammars -- Functional Analysis of Large-Scale DNA Strand Displacement Circuits....”View full text
Electronic
eBook
14
Published 2014
Table of Contents:
“... retinoids functions -- Complexity of the RAR‐Mediated Transcriptional Regulatory Programs -- Index....”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... Structure -- Graph Seriation Using Semi-definite Programming -- Comparing String Representations...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“... Programming Method Based on Structural Analysis and Design Technique -- Approximating Horn Knowledge Bases...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”View full text
Electronic
eBook
20
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS...
Published 2013
Table of Contents:
“...Pattern Graphs and Rule-Based Models: The Semantics of Kappa -- History-Register Automata -- Fatal...”View full text
Electronic
eBook