Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
processing program » processing programs, processing programmed, proceedings program
coding processing » curing processing, coatings processing, growing processing
intervals coding » intervals using, intervals comparing, interval counting
program contract » programme contract, program abstract, program controls
contract https » control https, conflict https, contract nets
processing program » processing programs, processing programmed, proceedings program
coding processing » curing processing, coatings processing, growing processing
intervals coding » intervals using, intervals comparing, interval counting
program contract » programme contract, program abstract, program controls
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 2010
Table of Contents:
“...Invited Papers -- Automatic Requirement Extraction from Test Cases -- Code Contracts for .NET...”View full text
Electronic
eBook
3
Published 2015
Table of Contents:
“... in Event-B -- From Event-B Models to Dafny Code Contracts....”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... with Interval Data -- The (K,k)-Capacitated Spanning Tree Problem -- Optimal Algorithms for the Economic Lot...”View full text
Electronic
eBook
5
Published 2014
Table of Contents:
“...Validity Checking of Put back Transformations in Bidirectional Programming -- Proof Engineering...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... Lattice Polygons/Trees and Diameter-4 Trees -- Restricted Mesh Simplification Using Edge Contractions...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... -- Interval-Valued Data Structures and Their Application to e-Learning -- Boolean Functions with a Low...”View full text
Electronic
eBook
8
Published 2013
Table of Contents:
“... -- Aggregation Operators of Interval Grey Numbers and Their use in Grey Multi-attribute Decision- Making...”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