الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
functions computational » functions computation, directions computational, section computational
function computation » function computing, function decomposition, section computational
programming query » programming querying, programming quasi, programming quick
query method » theory method, slurry method
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 query » programming querying, programming quasi, programming quick
query method » theory method, slurry method
method cases » method case, method cassels, method caused
1
منشور في 2007
جدول المحتويات:
“... Queries -- Qualitative Probabilistic Modelling in Event-B -- Verifying Smart Card Applications: An ASM...”احصل على النص الكامل
الكتروني
كتاب الكتروني
2
منشور في 2007
جدول المحتويات:
“... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...”احصل على النص الكامل
الكتروني
كتاب الكتروني
3
منشور في 2010
جدول المحتويات:
“... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...”احصل على النص الكامل
الكتروني
كتاب الكتروني
4
منشور في 2007
جدول المحتويات:
“... Summarization Based on Cluster Using Non-negative Matrix Factorization -- A Program Slicing Based Method...”احصل على النص الكامل
الكتروني
كتاب الكتروني
5
منشور في 2014
جدول المحتويات:
“... Interfaces in the Context of the Internet of Services -- Interactive Service Composition and Query...”احصل على النص الكامل
الكتروني
كتاب الكتروني
6
منشور في 2010
جدول المحتويات:
“...Invited Talks -- Games, Interaction and Computation -- Rôle of Domain Engineering in Software...”احصل على النص الكامل
الكتروني
كتاب الكتروني
7
منشور في 2008
جدول المحتويات:
“... -- Verified Methods in Stochastic Traffic Modelling -- Interval Arithmetic Using SSE-2 -- Worst Cases...”احصل على النص الكامل
الكتروني
كتاب الكتروني
8
منشور في 2010
جدول المحتويات:
“... in Three-Dimensional Environment -- Markovian Ants in a Queuing System -- A Parametric Method Applied...”احصل على النص الكامل
الكتروني
كتاب الكتروني
9
منشور في 2006
جدول المحتويات:
“... -- Block Matching for Ontologies -- A Relaxed Approach to RDF Querying -- Mining Information for Instance...”احصل على النص الكامل
الكتروني
كتاب الكتروني
10
منشور في 2007
جدول المحتويات:
“... Dependencies -- Querying Incomplete Data with Logic Programs: ER Strikes Back -- Prioritized Preferences...”احصل على النص الكامل
الكتروني
كتاب الكتروني
11
منشور في 2007
جدول المحتويات:
“... Uncertainty -- A Top-Down Query Answering Procedure for Normal Logic Programs Under the Any-World Assumption...”احصل على النص الكامل
الكتروني
كتاب الكتروني
12
منشور في 2005
جدول المحتويات:
“... a CBR-Agents Approach -- A Comparative Analysis of Query Similarity Metrics for Community-Based Web...”احصل على النص الكامل
الكتروني
كتاب الكتروني