Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interactive computing » interactive computer
computing problems » compounding problems, routing problems, computers problems
problems program » problems programs, problem program, problems progress
program using » programs using, programming using
using https » using http, nursing https, aging https
interactive computing » interactive computer
computing problems » compounding problems, routing problems, computers problems
problems program » problems programs, problem program, problems progress
program using » programs using, programming using
using https » using http, nursing https, aging https
1
Publicado 2013
Table of Contents:
“... Probability Problems with Computer-Generated Diagrams -- Establishing a Cognitive Map of Public Place...”Ligazón do recurso
Electrónico
eBook
2
Subjects:
“...Numerical and Computational Physics, Simulation. https://scigraph.springernature.com/ontologies...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
3
Subjects:
“...Business and Management, general. https://scigraph.springernature.com/ontologies/product-market...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
4
Publicado 2013
Table of Contents:
“... Resolution -- Formalizing Bounded Increase -- Formal Program Optimization in Nuprl Using Computational...”Ligazón do recurso
Electrónico
eBook
5
Publicado 2014
Table of Contents:
“... -- Showing Invariance Compositionally for a Process Algebra for Network Protocols -- A Computer-Algebra-Based...”Ligazón do recurso
Electrónico
eBook
6
Publicado 2011
Table of Contents:
“... of Coalescent Theory -- Networks in Computational Systems Biology -- Practical Use of the Gene Ontology...”Ligazón do recurso
Electrónico
eBook
7
Publicado 2008
Table of Contents:
“... Interactive and Preference-Based Approaches -- Interactive Multiobjective Optimization Using a Set of Additive...”Ligazón do recurso
Electrónico
eBook
8
Publicado 2006
Table of Contents:
“... -- Sketches and Templates -- Natural Modelling of Interactive Applications -- Task Model Simulation Using...”Ligazón do recurso
Electrónico
eBook
9
Publicado 2007
Table of Contents:
“... for Computational Effort Comparisons -- Crossover Bias in Genetic Programming -- Density Estimation with Genetic...”Ligazón do recurso
Electrónico
eBook
10
Publicado 2014
Table of Contents:
“... Small Local Memory -- Lower Bounds for Oblivious Subspace Embedding -- Secure Computation Using Leaky...”Ligazón do recurso
Electrónico
eBook
11
Publicado 2015
Table of Contents:
“... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...”Ligazón do recurso
Electrónico
eBook
12
Publicado 2008
Table of Contents:
“... for Ecological Inventory & Monitoring Programs -- Visualization and Interactive Exploration of Large...”Ligazón do recurso
Electrónico
eBook
13
Publicado 2014
Table of Contents:
“... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...”Ligazón do recurso
Electrónico
eBook
14
Publicado 2008
Table of Contents:
“... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”Ligazón do recurso
Electrónico
eBook
15
Publicado 2010
Table of Contents:
“... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”Ligazón do recurso
Electrónico
eBook
16
Publicado 2011
Table of Contents:
“... Exploration in Search Computing -- Trends in Search Interaction -- Interaction Design:- Context and Action...”Ligazón do recurso
Electrónico
eBook
17
Publicado 2010
Table of Contents:
“...Visions -- 1: Search Computing -- 2: Next Generation Web Search -- 3: Search for Knowledge...”Ligazón do recurso
Electrónico
eBook
18
Publicado 2010
Table of Contents:
“...Invited Talks -- Building Blocks for Mobile Manipulation -- Natural Human-Robot Interaction...”Ligazón do recurso
Electrónico
eBook
19
Publicado 2008
Table of Contents:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”Ligazón do recurso
Electrónico
eBook
20
Publicado 2007
Table of Contents:
“... to Dispersive Electromagnetic Problem -- Strategies for Development of a Parallel Program for Protoplanetary...”Ligazón do recurso
Electrónico
eBook