Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function structures » functions structures, function structure, functional structures
program devices » program review, program designs, program divide
https function » its function, sites function, ups function
function structures » functions structures, function structure, functional structures
program devices » program review, program designs, program divide
https function » its function, sites function, ups function
1
Published 2013
Table of Contents:
“... -- Probabilistic Reasoning with an Enzyme-Driven DNA Device -- Staged Self-assembly and Polyomino Context-Free...”View full text
Electronic
eBook
2
Published 2014
Table of Contents:
“...An Introduction to Smart Cards and RFIDs -- Embedded DSP Devices -- Microprocessors...”View full text
Electronic
eBook
3
Published 2007
Table of Contents:
“... Parity Games -- Tree Automata with Memory, Visibility and Structural Constraints -- Enriched ?-Calculi...”View full text
Electronic
eBook
4
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS...
Published 2013
Table of Contents:
“... of Second-Order Functionals -- Deconstructing General References via Game Semantics -- Separation Logic...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“... Answers Using Genetic Programming -- Blindbuilder: A New Encoding to Evolve Lego-Like Structures...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... Contribution to Programming (1946–1950) -- A Miniaturisation of Ramsey’s Theorem -- Graph Structures...”View full text
Electronic
eBook
7
Published 2006
Table of Contents:
“... -- Compositional Reasoning for Pointer Structures -- Progress in Deriving Concurrent Programs: Emphasizing the Role...”View full text
Electronic
eBook
8
Published 2014
Table of Contents:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”View full text
Electronic
eBook
9
Published 2015
Table of Contents:
“... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“...: Efficient Verification via Secure Computation -- Session 3-Track A1. Data Structures -- Mergeable...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“.... Semantics -- Game Semantics for Call-by-Value Polymorphism -- What Is a Pure Functional? -- Example-Guided...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... and Thermal Stress/Slip Functions for Scaled Device Design Phase -- Compact Modeling of Phase-Change Memories...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“... Structure for Incremental Tabled Evaluation -- Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs...”View full text
Electronic
eBook
14
Published 2006
Table of Contents:
“... Multiplication with a Classifier Learning System -- A Language for the Compact Representation of Multiple Program...”View full text
Electronic
eBook
15
Table of Contents:
“...Overview of Object-Oriented Programming -- Designing OOP Solutions: Identifying the Class Structure...”
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 2008
Table of Contents:
“... by Integer Linear Programming -- An Efficient Lagrangian Relaxation for the Contact Map Overlap Problem -- A...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“...Expression -- Spectral Clustering Gene Ontology Terms to Group Genes by Function -- Dynamic De-Novo...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“..., High Reading Error Rate and Low Coverage -- Two Birds, One Stone: Selecting Functionally Informative...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”View full text
Electronic
eBook