Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
processing programming » processing programmed, processing programs, passing programming
computing processing » computing proceeding, computing proceedings, computer processing
programming contract » programming contracts, programming constructs, programming constraint
interval computing » intervals comparing, internet computing, interval counting
contract https » control https, conflict https, contract nets
processing programming » processing programmed, processing programs, passing programming
computing processing » computing proceeding, computing proceedings, computer processing
programming contract » programming contracts, programming constructs, programming constraint
interval computing » intervals comparing, internet computing, interval counting
contract https » control https, conflict https, contract nets
1
Published 2010
Table of Contents:
“... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“... Bounds on the Approximation of the Exemplar Conserved Interval Distance Problem of Genomes -- Computing...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... Recovery -- Formally Efficient Program Instrumentation -- Interval Analysis for Concurrent Trace Programs...”View full text
Electronic
eBook
4
Published 2015
Table of Contents:
“.... Modularity -- Analyzing Mutable Checkpointing -- High Performance Computing Applications using Parallel Data...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“...Comparison of Two Algorithms for Computing Page Importance -- The Invisible Hand for Risk Averse...”View full text
Electronic
eBook
6
Published 2013
Table of Contents:
“...-specific Characteristics -- The Application of Information Security on the Computer Terminals of 3rd...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... Evaluation -- Local Computations on Closed Unlabelled Edges: The Election Problem and the Naming Problem -- A...”View full text
Electronic
eBook
8
Published 2014
Table of Contents:
“... for Model Checking Trusted Computing Platforms -- The VerCors Tool for Verification of Concurrent Programs...”View full text
Electronic
eBook
9
Published 2013
Table of Contents:
“...: Combining Multivariate Time Series and Labelled Interval Sequences for Classification -- Knowledge Discovery...”View full text
Electronic
eBook