Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
computational structures » computational studies, occupational structure
https computational » hts computational, phelps computational, status computational
program computing » program comparing, programs compiling, problem computing
computational structures » computational studies, occupational structure
https computational » hts computational, phelps computational, status computational
program computing » program comparing, programs compiling, problem computing
1
Published 2011
Subjects:
“...Data structures (Computer science)....”View full text
Electronic
eBook
2
Published 2015
Table of Contents:
“...Algorithms and models for computation on biomolecular Systems -- Computational processes in vitro...”View full text
Electronic
eBook
3
Published 2013
Table of Contents:
“...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”View full text
Electronic
eBook
4
Published 2012
Subjects:
“...Data structures (Computer science)....”View full text
Electronic
eBook
5
Published 2014
Table of Contents:
“...Design Principles for Single-Stranded RNA Origami Structures -- Fast Algorithmic Self-assembly...”View full text
Electronic
eBook
6
Published 2011
Subjects:
“...Data structures (Computer science)....”View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“... Parity Games -- Tree Automata with Memory, Visibility and Structural Constraints -- Enriched ?-Calculi...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“... Logic of Reachable Patterns in Linked Data-Structures -- Distributed Computation -- Dynamic Policy...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“...FoSSaCS 2010 Invited Talk -- to Decidability of Higher-Order Matching -- Semantics of Programming...”View full text
Electronic
eBook
10
Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS...
Published 2015
Table of Contents:
“... + Computation -- Compositional Metric Reasoning with Probabilistic Process Calculi -- Semantics of Programming...”View full text
Electronic
eBook
11
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS...
Published 2013
Table of Contents:
“... Bisimulation Theory for Computations and Values -- Checking Bisimilarity for Attributed Graph Transformation...”View full text
Electronic
eBook
12
Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS...
Published 2014
Table of Contents:
“... for Nominal Exceptions -- Complexity of Model-Checking Call-by-Value Programs -- Resource Reachability Games...”View full text
Electronic
eBook
13
Published 2011
Subjects:
“...Programming languages (Electronic computers)....”View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“...Invited Talks -- Model Checking for Nominal Calculi -- Mathematical Models of Computational...”View full text
Electronic
eBook
15
Published 2012
Subjects:
“...Programming languages (Electronic computers)....”View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“...-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“...Invited Talks -- Regular Labelings and Geometric Structures -- Algorithmic Aspects of Secure...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“...Session 6A. Data Structure and Algorithm II -- D2-Tree: A New Overlay with Deterministic Bounds...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“...Algorithms and Data Structures -- Efficient Compression of Web Graphs -- Damaged BZip Files...”View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“...: Programming Models -- Can Transactions Enhance Parallel Programs? -- Design and Use of htalib – A Library...”View full text
Electronic
eBook