Rekommenderade teman
Rekommenderade teman
Menade du:
processing programs » processing programmed, processing problems, processing products
computer processing » computer programming
interval computer » interface computer, interval computing, internet computer
programs contract » programme contract, programs abstract, programs compact
contract https » control https, conflict https, contract nets
processing programs » processing programmed, processing problems, processing products
computer processing » computer programming
interval computer » interface computer, interval computing, internet computer
programs contract » programme contract, programs abstract, programs compact
contract https » control https, conflict https, contract nets
1
Publicerad 2010
Innehållsförteckning:
“... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...”Hämta fulltext
Elektronisk
E-bok
2
Publicerad 2006
Innehållsförteckning:
“... Bounds on the Approximation of the Exemplar Conserved Interval Distance Problem of Genomes -- Computing...”Hämta fulltext
Elektronisk
E-bok
3
Publicerad 2013
Innehållsförteckning:
“...-specific Characteristics -- The Application of Information Security on the Computer Terminals of 3rd...”Hämta fulltext
Elektronisk
E-bok
4
Publicerad 2005
Innehållsförteckning:
“... Evaluation -- Local Computations on Closed Unlabelled Edges: The Election Problem and the Naming Problem -- A...”Hämta fulltext
Elektronisk
E-bok
5
Publicerad 2015
Innehållsförteckning:
“.... Modularity -- Analyzing Mutable Checkpointing -- High Performance Computing Applications using Parallel Data...”Hämta fulltext
Elektronisk
E-bok
6
Publicerad 2010
Innehållsförteckning:
“... Recovery -- Formally Efficient Program Instrumentation -- Interval Analysis for Concurrent Trace Programs...”Hämta fulltext
Elektronisk
E-bok
7
Publicerad 2010
Innehållsförteckning:
“...Comparison of Two Algorithms for Computing Page Importance -- The Invisible Hand for Risk Averse...”Hämta fulltext
Elektronisk
E-bok
8
Publicerad 2014
Innehållsförteckning:
“... for Model Checking Trusted Computing Platforms -- The VerCors Tool for Verification of Concurrent Programs...”Hämta fulltext
Elektronisk
E-bok
9
Publicerad 2013
Innehållsförteckning:
“...: Combining Multivariate Time Series and Labelled Interval Sequences for Classification -- Knowledge Discovery...”Hämta fulltext
Elektronisk
E-bok