Результаты поиска - ((function computation) or (functions computational)) programming querying method cases*

Альтернативы поиска:
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

Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings /

Опубликовано 2007

Оглавление: “... Queries -- Qualitative Probabilistic Modelling in Event-B -- Verifying Smart Card Applications: An ASM...”
Полный текст

Электронный ресурс eКнига

Computing and Combinatorics 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007, Proceedings /

Опубликовано 2007

Оглавление: “... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...”
Полный текст

Электронный ресурс eКнига

Innovations in Computing Sciences and Software Engineering

Опубликовано 2010

Оглавление: “... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...”
Полный текст

Электронный ресурс eКнига

SOFSEM 2007: Theory and Practice of Computer Science 33nd Conference on Current Trends in Theory...

Опубликовано 2007

Оглавление: “... Summarization Based on Cluster Using Non-negative Matrix Factorization -- A Program Slicing Based Method...”
Полный текст

Электронный ресурс eКнига

Towards the Internet of Services: The THESEUS Research Program

Опубликовано 2014

Оглавление: “... Interfaces in the Context of the Internet of Services -- Interactive Service Composition and Query...”
Полный текст

Электронный ресурс eКнига

Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers /

Опубликовано 2010

Оглавление: “...Invited Talks -- Games, Interaction and Computation -- Rôle of Domain Engineering in Software...”
Полный текст

Электронный ресурс eКнига

Reliable Implementation of Real Number Algorithms: Theory and Practice International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers /

Опубликовано 2008

Оглавление: “... -- Verified Methods in Stochastic Traffic Modelling -- Interval Arithmetic Using SSE-2 -- Worst Cases...”
Полный текст

Электронный ресурс eКнига

Hybrid Artificial Intelligent Systems, Part I 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010. Proceedings /

Опубликовано 2010

Оглавление: “... in Three-Dimensional Environment -- Markovian Ants in a Queuing System -- A Parametric Method Applied...”
Полный текст

Электронный ресурс eКнига

The Semantic Web - ISWC 2006 5th International Semantic Web Conference, ISWC 2006, Athens, GA, USA, November 5-9, 2006, Proceedings /

Опубликовано 2006

Оглавление: “... -- Block Matching for Ontologies -- A Relaxed Approach to RDF Querying -- Mining Information for Instance...”
Полный текст

Электронный ресурс eКнига

Conceptual Modeling - ER 2007 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007, Proceedings /

Опубликовано 2007

Оглавление: “... Dependencies -- Querying Incomplete Data with Logic Programs: ER Strikes Back -- Prioritized Preferences...”
Полный текст

Электронный ресурс eКнига

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007, Proceedings /

Опубликовано 2007

Оглавление: “... Uncertainty -- A Top-Down Query Answering Procedure for Normal Logic Programs Under the Any-World Assumption...”
Полный текст

Электронный ресурс eКнига

Case-Based Reasoning Research and Development 6th International Conference on Case-Based Reasoning, ICCBR 2005, Chicago, IL, USA, August 23-26, 2005, Proceedings /

Опубликовано 2005

Оглавление: “... a CBR-Agents Approach -- A Comparative Analysis of Query Similarity Metrics for Community-Based Web...”
Полный текст

Электронный ресурс eКнига

Сужение результатов поиска