Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interactive computer » interfaces computer, internet computer
program problems » programs problems, program problem, programs problem
problems care » problems case, problems carl, problems cases
care https » change https
interactive computer » interfaces computer, internet computer
program problems » programs problems, program problem, programs problem
problems care » problems case, problems carl, problems cases
care https » change https
1
Published 2007
Table of Contents:
“... and Identifying Use Error and Usability Problem -- User’s Expertise Differences When Interacting with Simple...”View full text
Electronic
eBook
2
Published 2013
Table of Contents:
“... Probability Problems with Computer-Generated Diagrams -- Establishing a Cognitive Map of Public Place...”View full text
Electronic
eBook
3
Published 2015
Table of Contents:
“... -- Higher-Order Imperative Programming Languages -- Transfinite Constructions in Classical Type Theory -- A...”View full text
Electronic
eBook
4
Published 2014
Table of Contents:
“... -- Showing Invariance Compositionally for a Process Algebra for Network Protocols -- A Computer-Algebra-Based...”View full text
Electronic
eBook
5
Published 2013
Table of Contents:
“... Resolution -- Formalizing Bounded Increase -- Formal Program Optimization in Nuprl Using Computational...”View full text
Electronic
eBook
6
7
Published 2015
Table of Contents:
“... Decision Processes -- Trading Bounds for Memory in Games with Counters -- Decision Problems of Tree...”View full text
Electronic
eBook
8
Published 2014
Table of Contents:
“... Tokens -- An Improved Interactive Streaming Algorithm for the Distinct Elements Problem -- A Faster...”View full text
Electronic
eBook
9
Published 2015
Table of Contents:
“... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...”View full text
Electronic
eBook
10
Published 2014
Table of Contents:
“... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... with Vampir NG -- ompP: A Profiling Tool for OpenMP -- On the Interaction of Tiling and Automatic...”View full text
Electronic
eBook
14
Published 2014
Table of Contents:
“... the Quorumcast Routing Problem as a Mixed Integer Program -- A New MIP Model for Parallel-Batch Scheduling...”View full text
Electronic
eBook
15
Published 2015
Table of Contents:
“... Satisfaction Problems with Answer Set Programming -- _Add Another Blue Stack of the Same Height!_: Plan Failure...”View full text
Electronic
eBook
16
Published 2013
Table of Contents:
“... -- Accurate Computation of Sensitizable Paths using Answer Set Programming -- HEX Semantics via Approximation...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“... -- Everything Is PSPACE-Complete in Interaction Systems -- A New Approach for the Construction of Multiway...”View full text
Electronic
eBook
18
Published 2012
Subjects:
“...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...”View full text
Electronic
eBook
19
Published 2013
Table of Contents:
“... in Hematopoeitic Cells -- Membrane Computing with Genetic Algorithm for the Travelling Salesman Problem -- Solving...”View full text
Electronic
eBook
20
Published 2012
Table of Contents:
“... Orthotropic Elliptic Problems.-A Computational Approach for the Earthquake Response of Cable-Braced Reinforced...”View full text
Electronic
eBook