בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
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 methods » queueing methods, quenching methods, drying methods
methods cases » methods case, methods classes, methods lasers
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 methods » queueing methods, quenching methods, drying methods
methods cases » methods case, methods classes, methods lasers
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...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני