Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functions computational » functions computation, directions computational, section computational
function computation » function computing, function decomposition, section computational
programming querying » programming merging, programming query, programming turing
querying method » querying methods, quenching method, queueing methods
method cases » method case, method cassels, method caused
functions computational » functions computation, directions computational, section computational
function computation » function computing, function decomposition, section computational
programming querying » programming merging, programming query, programming turing
querying method » querying methods, quenching method, queueing methods
method cases » method case, method cassels, method caused
1
Published 2007
Table of Contents:
“... Queries -- Qualitative Probabilistic Modelling in Event-B -- Verifying Smart Card Applications: An ASM...”View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...”View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“... Summarization Based on Cluster Using Non-negative Matrix Factorization -- A Program Slicing Based Method...”View full text
Electronic
eBook
5
Published 2014
Table of Contents:
“... Interfaces in the Context of the Internet of Services -- Interactive Service Composition and Query...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“...Invited Talks -- Games, Interaction and Computation -- Rôle of Domain Engineering in Software...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... -- Verified Methods in Stochastic Traffic Modelling -- Interval Arithmetic Using SSE-2 -- Worst Cases...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... in Three-Dimensional Environment -- Markovian Ants in a Queuing System -- A Parametric Method Applied...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“... -- Block Matching for Ontologies -- A Relaxed Approach to RDF Querying -- Mining Information for Instance...”View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“... Dependencies -- Querying Incomplete Data with Logic Programs: ER Strikes Back -- Prioritized Preferences...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“... Uncertainty -- A Top-Down Query Answering Procedure for Normal Logic Programs Under the Any-World Assumption...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“... a CBR-Agents Approach -- A Comparative Analysis of Query Similarity Metrics for Community-Based Web...”View full text
Electronic
eBook