الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
interactive computing » interactive computer
program constructing » program construction, diagram constructing, programs conducting
proceedings program » proceedings from
constructing https » construction https, consulting https, constructing better
interactive computing » interactive computer
program constructing » program construction, diagram constructing, programs conducting
proceedings program » proceedings from
constructing https » construction https, consulting https, constructing better
1
منشور في 2014
جدول المحتويات:
“... Cycle of Gesture Interaction, The Continuum between 2D and 3D -- iPanel: A Computer-Vision Based...”احصل على النص الكامل
الكتروني
كتاب الكتروني
2
منشور في 2010
جدول المحتويات:
“... for Declarative Proofs -- Programming Language Techniques for Cryptographic Proofs -- Nitpick: A Counterexample...”احصل على النص الكامل
الكتروني
كتاب الكتروني
3
منشور في 2014
جدول المحتويات:
“...-Computer Interaction -- Immediacy in User Interfaces: An Activity Theoretical Approach -- The Resilience...”احصل على النص الكامل
الكتروني
كتاب الكتروني
4
منشور في 2012
جدول المحتويات:
“...MetiTarski: Past and Future -- Computer-Aided Cryptographic Proofs -- A Differential Operator...”احصل على النص الكامل
الكتروني
كتاب الكتروني
5
منشور في 2010
جدول المحتويات:
“... for Probabilistic Systems -- Simple O(m logn) Time Markov Chain Lumping -- Model Checking Interactive Markov Chains...”احصل على النص الكامل
الكتروني
كتاب الكتروني
6
منشور في 2015
جدول المحتويات:
“... -- Higher-Order Imperative Programming Languages -- Transfinite Constructions in Classical Type Theory -- A...”احصل على النص الكامل
الكتروني
كتاب الكتروني
7
منشور في 2006
جدول المحتويات:
“... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”احصل على النص الكامل
الكتروني
كتاب الكتروني
8
منشور في 2007
جدول المحتويات:
“... -- Equational Systems and Free Constructions (Extended Abstract) -- Categorical Views on Computations on Trees...”احصل على النص الكامل
الكتروني
كتاب الكتروني
9
منشور في 2014
جدول المحتويات:
“...-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum...”احصل على النص الكامل
الكتروني
كتاب الكتروني
10
منشور في 2008
جدول المحتويات:
“... -- Interacting Quantum Observables -- Perpetuality for Full and Safe Composition (in a Constructive Setting) -- A...”احصل على النص الكامل
الكتروني
كتاب الكتروني
11
منشور في 2005
جدول المحتويات:
“...: MPI Support for Computational Grids -- A Practical Tool for Detecting Races in OpenMP Programs...”احصل على النص الكامل
الكتروني
كتاب الكتروني
12
منشور في 2007
جدول المحتويات:
“... in Embedded Systems -- Variable Reassignment in the T++ Parallel Programming Language -- Parallel Construction...”احصل على النص الكامل
الكتروني
كتاب الكتروني
13
منشور في 2005
جدول المحتويات:
“... of Deterministic Tree Languages -- Constructive Reasoning and Computational Mathematics -- Complexity...”احصل على النص الكامل
الكتروني
كتاب الكتروني
14
منشور في 2007
جدول المحتويات:
“... Program Extraction in the Calculus of Constructions -- Building Decision Procedures in the Calculus...”احصل على النص الكامل
الكتروني
كتاب الكتروني
15
منشور في 2005
جدول المحتويات:
“... Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative...”احصل على النص الكامل
الكتروني
كتاب الكتروني
16
منشور في 2013
جدول المحتويات:
“... -- Accurate Computation of Sensitizable Paths using Answer Set Programming -- HEX Semantics via Approximation...”احصل على النص الكامل
الكتروني
كتاب الكتروني
17
منشور في 2008
جدول المحتويات:
“... Resources and Constructing Classic Analysis Systems -- What Types of Translations Hide in Wikipedia...”احصل على النص الكامل
الكتروني
كتاب الكتروني
18
منشور في 2013
جدول المحتويات:
“... -- Computability and randomness -- Logical foundations of programming -- Logical aspects of computational...”احصل على النص الكامل
الكتروني
كتاب الكتروني
19
منشور في 2006
جدول المحتويات:
“... Interactions in a Tangible Programming Space -- The Usability of Digital Ink Technologies for Children...”احصل على النص الكامل
الكتروني
كتاب الكتروني
20
منشور في 2008
جدول المحتويات:
“... -- Everything Is PSPACE-Complete in Interaction Systems -- A New Approach for the Construction of Multiway...”احصل على النص الكامل
الكتروني
كتاب الكتروني