Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
computational structural » computational structures, computational social
https computational » hts computational, phelps computational, status computational
program computing » program comparing, programs compiling, problem computing
structural https » structural http, structures https, structure https
computational structural » computational structures, computational social
https computational » hts computational, phelps computational, status computational
program computing » program comparing, programs compiling, problem computing
structural https » structural http, structures https, structure https
1
2
Udgivet 2015
Indholdsfortegnelse:
“...Algorithms and models for computation on biomolecular Systems -- Computational processes in vitro...”Få fuldtekst
Electronisk
eBog
3
Udgivet 2013
Indholdsfortegnelse:
“...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”Få fuldtekst
Electronisk
eBog
4
5
Udgivet 2014
Indholdsfortegnelse:
“...Design Principles for Single-Stranded RNA Origami Structures -- Fast Algorithmic Self-assembly...”Få fuldtekst
Electronisk
eBog
6
7
Udgivet 2007
Indholdsfortegnelse:
“... Parity Games -- Tree Automata with Memory, Visibility and Structural Constraints -- Enriched ?-Calculi...”Få fuldtekst
Electronisk
eBog
8
Udgivet 2006
Indholdsfortegnelse:
“... Logic of Reachable Patterns in Linked Data-Structures -- Distributed Computation -- Dynamic Policy...”Få fuldtekst
Electronisk
eBog
9
Udgivet 2010
Indholdsfortegnelse:
“...FoSSaCS 2010 Invited Talk -- to Decidability of Higher-Order Matching -- Semantics of Programming...”Få fuldtekst
Electronisk
eBog
10
Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS...
Udgivet 2015
Indholdsfortegnelse:
“... + Computation -- Compositional Metric Reasoning with Probabilistic Process Calculi -- Semantics of Programming...”Få fuldtekst
Electronisk
eBog
11
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS...
Udgivet 2013
Indholdsfortegnelse:
“... Bisimulation Theory for Computations and Values -- Checking Bisimilarity for Attributed Graph Transformation...”Få fuldtekst
Electronisk
eBog
12
Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS...
Udgivet 2014
Indholdsfortegnelse:
“... for Nominal Exceptions -- Complexity of Model-Checking Call-by-Value Programs -- Resource Reachability Games...”Få fuldtekst
Electronisk
eBog
13
Udgivet 2011
Fag:
“...Programming languages (Electronic computers)....”Få fuldtekst
Electronisk
eBog
14
Udgivet 2005
Indholdsfortegnelse:
“...Invited Talks -- Model Checking for Nominal Calculi -- Mathematical Models of Computational...”Få fuldtekst
Electronisk
eBog
15
Udgivet 2012
Fag:
“...Programming languages (Electronic computers)....”Få fuldtekst
Electronisk
eBog
16
Udgivet 2008
Indholdsfortegnelse:
“...-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract...”Få fuldtekst
Electronisk
eBog
17
Udgivet 2010
Indholdsfortegnelse:
“...Invited Talks -- Regular Labelings and Geometric Structures -- Algorithmic Aspects of Secure...”Få fuldtekst
Electronisk
eBog
18
Udgivet 2010
Indholdsfortegnelse:
“...Session 6A. Data Structure and Algorithm II -- D2-Tree: A New Overlay with Deterministic Bounds...”Få fuldtekst
Electronisk
eBog
19
Udgivet 2008
Indholdsfortegnelse:
“...Algorithms and Data Structures -- Efficient Compression of Web Graphs -- Damaged BZip Files...”Få fuldtekst
Electronisk
eBog
20
Udgivet 2005
Indholdsfortegnelse:
“... -- On the Use of Gröbner Bases for Computing the Structure of Finite Abelian Groups -- Normal Forms...”Få fuldtekst
Electronisk
eBog