Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interactive computing » interactive computer
computing programming » computer programming, computers programming
problems interaction » problems interactive, probe interaction, problem intersection
https » http
interactive computing » interactive computer
computing programming » computer programming, computers programming
problems interaction » problems interactive, probe interaction, problem intersection
https » http
1
Published 2006
Table of Contents:
“... -- Enriques: Popularising Science and the Problems of Geometry -- Hilbert's Axiomatic Approach...”View full text
Electronic
eBook
2
Subjects:
“...Numerical and Computational Physics, Simulation. https://scigraph.springernature.com/ontologies...”
View full text
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
Published 2015
Table of Contents:
“... Solution to the Problem of Constant Acts in Savage -- Graph-Based Belief Merging -- Human strategic...”View full text
Electronic
eBook
7
Published 2013
Table of Contents:
“... Probability Problems with Computer-Generated Diagrams -- Establishing a Cognitive Map of Public Place...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“... Performative Interaction -- DiCoT: A Methodology for Applying Distributed Cognition to the Design...”View full text
Electronic
eBook
9
by Toselli, Alejandro Héctor., Toselli, Alejandro Héctor., Vidal, Enrique., Casacuberta, Francisco.
Published 2011
Table of Contents:
“...General Framework -- Computer Assisted Transcription: General Framework -- Computer Assisted...”Published 2011
View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... -- to Multiobjective Optimization: Interactive Approaches -- to Evolutionary Multiobjective Optimization -- Recent...”View full text
Electronic
eBook
11
12
Published 2010
Table of Contents:
“... -- Adaptive Multiscale Methods for Flow Problems: Recent Developments -- Interaction of Wing-Tip Vortices...”View full text
Electronic
eBook
13
Subjects:
“...Computational Intelligence. https://scigraph.springernature.com/ontologies/product-market-codes...”
View full text
View full text
Electronic
eBook
14
Table of Contents:
“...Discrete Problems from Applications -- Basics, Notation and Data Structures -- Minimum Spanning...”
View full text
View full text
Electronic
eBook
15
16
Published 2011
Table of Contents:
“... Programs -- Stochastic Calculus and Stochastic Simulation -- Genomic Sequence Comparison -- Genome...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“...Invited Talks -- Building Blocks for Mobile Manipulation -- Natural Human-Robot Interaction...”View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“...-temporal Reflectance Sharing for Relightable 3D Video -- Interactive Hierarchical Level of Detail Level...”View full text
Electronic
eBook
19
Subjects:
“...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
20
Published 2015
Table of Contents:
“... Decision Processes -- Trading Bounds for Memory in Games with Counters -- Decision Problems of Tree...”View full text
Electronic
eBook