搜索替代词:
programming programming » programming programmed, programming program
interactive computing » interactive computer
computing programming » computer programming, computers programming
programming construct » programming constructs, programming contract, programming constraint
construct method » constructed method, construction method, constraint method
1
主题: ...Database management - Computer programs....
获取全文
Thesis
2
出版 2008
书本目录: ... -- Interacting Quantum Observables -- Perpetuality for Full and Safe Composition (in a Constructive Setting) -- A...
获取全文
电子 电子书
3
出版 2014
书本目录: ...-Computer Interaction -- Immediacy in User Interfaces: An Activity Theoretical Approach -- The Resilience...
获取全文
电子 电子书
4
出版 2007
书本目录: ... -- Equational Systems and Free Constructions (Extended Abstract) -- Categorical Views on Computations on Trees...
获取全文
电子 电子书
5
6
出版 2005
书本目录: ... Understanding of Communication-Oriented Concerns in Human-Computer Interaction: A Lexicon-Based Approach -- A...
获取全文
电子 电子书
7
出版 2006
书本目录: ... CLUSTERING METHOD -- ACTIVATING IRREGULAR DIMENSIONS IN OLAP -- A NEW COMPUTATIONAL METHOD OF INTERSECTION...
获取全文
电子 电子书
8
书本目录: ...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...
获取全文
电子 电子书
9
出版 2014
书本目录: ... Cycle of Gesture Interaction, The Continuum between 2D and 3D -- iPanel: A Computer-Vision Based...
获取全文
电子 电子书
10
出版 2010
书本目录: ... for Declarative Proofs -- Programming Language Techniques for Cryptographic Proofs -- Nitpick: A Counterexample...
获取全文
电子 电子书
11
出版 2005
书本目录: ... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...
获取全文
电子 电子书
12
出版 2015
书本目录: ... -- The Potential of Logic Programming as a Computational Tool to Model Morality....
获取全文
电子 电子书
13
Cooke, D. John., Cooke, D. John.
出版 2005
书本目录: ...Preliminaries -- The Technical Background -- On Programming -- Fundamentals -- Algorithm Extraction...
获取全文
电子 电子书
14
出版 2005
书本目录: ... Abstract Programs as Boolean Satisfiability -- Efficient Communication Scheduling Methods for Irregular...
获取全文
电子 电子书
15
出版 2007
书本目录: ... Automata: The Case of Rule 90 -- Methods and Tools of Parallel Programming of Multicomputers -- Intensive...
获取全文
电子 电子书
16
17
出版 2008
书本目录: ... -- Everything Is PSPACE-Complete in Interaction Systems -- A New Approach for the Construction of Multiway...
获取全文
电子 电子书
18
出版 2010
书本目录: ...-step EMG Classification Algorithm for Human-Computer Interaction -- Affective Assessment of a Computer...
获取全文
电子 电子书
19
出版 2005
书本目录: ... -- Focusing the Inverse Method for Linear Logic -- Towards a Typed Geometry of Interaction -- Constraints...
获取全文
电子 电子书
20
出版 2005
书本目录: ... Segmentation -- An Interactive EA for Multifractal Bayesian Denoising -- Object Detection for Computer Vision...
获取全文
电子 电子书