Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming programming » programming programmed
interactive computing » interactive computer
programming program » programming programmed, programming problem, programming problems
construct method » constructed method, construction method, constraint method
programming programming » programming programmed
interactive computing » interactive computer
programming program » programming programmed, programming problem, programming problems
construct method » constructed method, construction method, constraint method
1
by Nadimi-Shahraki, Mohammad-Hossein
Published 2010
Subjects:
“...Database management - Computer programs....”Published 2010
View full text
Thesis
2
Published 2008
Table of Contents:
“... -- Interacting Quantum Observables -- Perpetuality for Full and Safe Composition (in a Constructive Setting) -- A...”View full text
Electronic
eBook
3
Published 2007
Table of Contents:
“... -- Equational Systems and Free Constructions (Extended Abstract) -- Categorical Views on Computations on Trees...”View full text
Electronic
eBook
4
Table of Contents:
“...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...”
View full text
View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”View full text
Electronic
eBook
6
by Koh, Tieng Wei
Published 2012
Subjects:
“...Object-oriented programming (Computer science)...”Published 2012
View full text
Thesis
7
by Koohi, Sina Zangbari
Published 2020
Subjects:
“...Parallel programming (Computer science) - Research...”Published 2020
View full text
Thesis
8
Published 2010
Table of Contents:
“... for Declarative Proofs -- Programming Language Techniques for Cryptographic Proofs -- Nitpick: A Counterexample...”View full text
Electronic
eBook
9
Published 2014
Table of Contents:
“...-Computer Interaction -- Immediacy in User Interfaces: An Activity Theoretical Approach -- The Resilience...”View full text
Electronic
eBook
10
11
Published 2005
Table of Contents:
“... Abstract Programs as Boolean Satisfiability -- Efficient Communication Scheduling Methods for Irregular...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... Automata: The Case of Rule 90 -- Methods and Tools of Parallel Programming of Multicomputers -- Intensive...”View full text
Electronic
eBook
13
Table of Contents:
“...Basics -- Introducing Categories -- Building Categories -- Universal Constructions -- Functors...”
View full text
View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“... Understanding of Communication-Oriented Concerns in Human-Computer Interaction: A Lexicon-Based Approach -- A...”View full text
Electronic
eBook
15
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
16
Table of Contents:
“...Preliminaries -- The Technical Background -- On Programming -- Fundamentals -- Algorithm Extraction...”
View full text
View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“...-step EMG Classification Algorithm for Human-Computer Interaction -- Affective Assessment of a Computer...”View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“... Level Agreement Management in Federated Virtual Organizations -- Adaptation I -- Construction...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“... -- Focusing the Inverse Method for Linear Logic -- Towards a Typed Geometry of Interaction -- Constraints...”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“... CLUSTERING METHOD -- ACTIVATING IRREGULAR DIMENSIONS IN OLAP -- A NEW COMPUTATIONAL METHOD OF INTERSECTION...”View full text
Electronic
eBook