Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interactive evolutionary » objective evolutionary, interactive educational
programming programming » programming programmed, programming program
programming contracts » programming contract, programming constructs, programming constraints
https » http
interactive evolutionary » objective evolutionary, interactive educational
programming programming » programming programmed, programming program
programming contracts » programming contract, programming constructs, programming constraints
https » http
1
Published 2013
Table of Contents:
“... -- Using Contracts to Guide the Search-Based Verification of Concurrent Programs -- Planning Global...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”View full text
Electronic
eBook
3
Published 2015
Table of Contents:
“... Evolutionary Algorithm Based on Decomposition and Contraction for Many-objective Optimization Problems -- Cell...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... Constructive Models for Set Contraction -- Semantic Awareness in Automated Web Service Composition through...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... through Evolutionary Algorithms -- The Expressive Power of SPARQL -- Integrating Object-Oriented...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... Problems in Grid Resource Management Using an Evolutionary Algorithm -- Integrating Trust into Grid...”View full text
Electronic
eBook
7
Published 2006
Table of Contents:
“... with Differential Parsing -- Web Browsers as Service-Oriented Clients Integrated with Web Services -- Interaction...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“... -- Recursive Self-organizing Map as a Contractive Iterative Function System -- Differential Priors for Elastic...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... towards Speaker for Human-Robot Interaction -- Dialogue Model Specification and Interpretation...”View full text
Electronic
eBook
10
Published 2014
Table of Contents:
“... Secret Key Sequence -- Interactive Satellite Remote Education System Based on Bluetooth and GPRS -- A...”View full text
Electronic
eBook



