1
Publicerad 2005
Innehållsförteckning: ...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...
Hämta fulltext
Elektronisk E-bok
2
Publicerad 2005
Innehållsförteckning: ... Autonomic Grid Applications: Dynamic Composition, Coordination and Interaction -- Grassroots Approach...
Hämta fulltext
Elektronisk E-bok
3
Publicerad 2012
Innehållsförteckning: ... Benchmark -- Simulation and Applications A Comparison of Sampling Strategies for Parameter Estimation of a...
Hämta fulltext
Elektronisk E-bok
4
Publicerad 2010
Innehållsförteckning: ... -- Extending Coq with Imperative Features and Its Application to SAT Verification -- A Tactic Language...
Hämta fulltext
Elektronisk E-bok
5
Publicerad 2008
Innehållsförteckning: ... Memory Model -- Applications II -- Performance and Programmability Comparison Between OpenMP and MPI...
Hämta fulltext
Elektronisk E-bok
6
Publicerad 2006
Innehållsförteckning: ... Development Teams -- Effects of Pair Programming -- Investigating the Impact of Personality Types...
Hämta fulltext
Elektronisk E-bok
7
Publicerad 2010
Innehållsförteckning: ... -- Security Testing in Agile Web Application Development - A Case Study Using the EAST Methodology -- Adoption...
Hämta fulltext
Elektronisk E-bok
8
av Pawlak, Ralph R., Pawlak, Ralph R.
Publicerad 2014
Ämnen: ...Business and Management, general. https://scigraph.springernature.com/ontologies/product-market...
Hämta fulltext
Elektronisk E-bok
9
Publicerad 2005
Innehållsförteckning: ... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...
Hämta fulltext
Elektronisk E-bok
10
Publicerad 2013
Innehållsförteckning: ... Interaction Context-Based Bounding Volume Morphing in Pointing Gesture Application -- Gesture vs...
Hämta fulltext
Elektronisk E-bok
11
Publicerad 2008
Innehållsförteckning: ... Interactive Systems for Navigating 3D Environments in Museums -- An Attentive Groupware Device to Mitigate...
Hämta fulltext
Elektronisk E-bok
12
Publicerad 2013
Innehållsförteckning: ... -- Trustworthy and Inclusive Identity Management for Applications in Social Media -- Towards a Design Guideline...
Hämta fulltext
Elektronisk E-bok
13
Publicerad 2010
Innehållsförteckning: ...String Rearrangement Metrics: A Survey -- Maximal Words in Sequence Comparisons Based on Subword...
Hämta fulltext
Elektronisk E-bok
14
Publicerad 2015
Innehållsförteckning: ... and lg n + O(1) Comparisons for Pop -- Resolution Complexity of Perfect Matching Principles for Sparse...
Hämta fulltext
Elektronisk E-bok
15
Publicerad 2005
Innehållsförteckning: ... for Interaction Protocol Engineering -- Towards a Conversational Language for Artificial Agents in Mixed Community...
Hämta fulltext
Elektronisk E-bok
16
Publicerad 2014
Innehållsförteckning: ... Applications (IDPAWA) -- A Model to Promote Interaction between Humans and Data Fusion Intelligence to Enhance...
Hämta fulltext
Elektronisk E-bok
17
Publicerad 2008
Innehållsförteckning: ... Quasispecies Assembly Using Network Flows -- A Dynamic Programming Algorithm for De Novo Peptide Sequencing...
Hämta fulltext
Elektronisk E-bok
18
Publicerad 2005
Innehållsförteckning: ... -- An Application of Quantum Finite Automata to Interactive Proof Systems (Extended Abstract) -- Time and Space...
Hämta fulltext
Elektronisk E-bok
19
Publicerad 2010
Innehållsförteckning: ... Interaction Using Concept Hierarchies -- Estimating Top-k Destinations in Data Streams -- A Data Mining...
Hämta fulltext
Elektronisk E-bok
20
Publicerad 2010
Innehållsförteckning: ... Models and Compositional Models -- Bayesian Networks vs. Evidential Networks: An Application to Convoy...
Hämta fulltext
Elektronisk E-bok