Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interactive computing » interactive computer
computing programming » computer programming, computers programming
constructing https » construction https, consulting https, constructing better
a constructing » _ constructing, 4 constructing, 3 constructing
interactive computing » interactive computer
computing programming » computer programming, computers programming
constructing https » construction https, consulting https, constructing better
a constructing » _ constructing, 4 constructing, 3 constructing
1
Published 2005
Table of Contents:
“... Understanding of Communication-Oriented Concerns in Human-Computer Interaction: A Lexicon-Based Approach -- A...”View full text
Electronic
eBook
2
Published 2014
Table of Contents:
“... Cycle of Gesture Interaction, The Continuum between 2D and 3D -- iPanel: A Computer-Vision Based...”View full text
Electronic
eBook
3
Published 2015
Table of Contents:
“... -- The Potential of Logic Programming as a Computational Tool to Model Morality....”View full text
Electronic
eBook
4
Published 2014
Table of Contents:
“... Study on Their Words -- A Knowledge-Construction Perspective on Human Computing, Collaborative Behavior...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... for Declarative Proofs -- Programming Language Techniques for Cryptographic Proofs -- Nitpick: A Counterexample...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... for Probabilistic Systems -- Simple O(m logn) Time Markov Chain Lumping -- Model Checking Interactive Markov Chains...”View full text
Electronic
eBook
7
Published 2012
Table of Contents:
“...MetiTarski: Past and Future -- Computer-Aided Cryptographic Proofs -- A Differential Operator...”View full text
Electronic
eBook
8
Table of Contents:
“...Preliminaries -- The Technical Background -- On Programming -- Fundamentals -- Algorithm Extraction...”
View full text
View full text
Electronic
eBook
9
Published 2015
Table of Contents:
“... -- Higher-Order Imperative Programming Languages -- Transfinite Constructions in Classical Type Theory -- A...”View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“... for Higher-Order Concurrent Programs -- A Region Graph Based Approach to Termination Proofs -- Verifying...”View full text
Electronic
eBook
11
Table of Contents:
“... Structure and Algorithm -- Concept Types and Concept Tokens -- Forms of Thinking -- The Major Constructions...”
View full text
View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... Program Extraction in the Calculus of Constructions -- Building Decision Procedures in the Calculus...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... -- Interacting Quantum Observables -- Perpetuality for Full and Safe Composition (in a Constructive Setting) -- A...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...”View full text
Electronic
eBook
15
Published 2014
Table of Contents:
“... Tokens -- An Improved Interactive Streaming Algorithm for the Distinct Elements Problem -- A Faster...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“...: MPI Support for Computational Grids -- A Practical Tool for Detecting Races in OpenMP Programs...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“... Workflow Nets for Grid Computing -- A Stochastic Semantics for BioAmbients -- A Categorical Observation...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“...Invited Talk -- From Quantum Physics to Programming Languages: A Process Algebraic Approach...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“... of Computer Networks -- A Comparative Study of Fuzzy Inference Systems, Neural Networks and Adaptive Neuro...”View full text
Electronic
eBook
20
by Potter, Granville Bud., Potter, Granville Bud., Gibbs, John C., Robbins, Molly., Langdon, Peter E.
Published 2015
Table of Contents:
“... Another Think and Act Responsibly -- Chapter 3. Cultivating a Responsible Adult Culture through Mutual...”Published 2015
View full text
Electronic
eBook