Chủ đề được đề xuất trong tìm kiếm của bạn.
Chủ đề được đề xuất trong tìm kiếm của bạn.
Tìm kiếm thay thế:
computing proceeding » computing proceedings, computing providing, computing protecting
integrals computing » integrated computing, interval computing, integration computing
program interaction » programs interaction, programs interactions, program integration
proceeding program » proceedings program, processing program, processing programs
https » http
computing proceeding » computing proceedings, computing providing, computing protecting
integrals computing » integrated computing, interval computing, integration computing
program interaction » programs interaction, programs interactions, program integration
proceeding program » proceedings program, processing program, processing programs
https » http
1
Được phát hành 2014
Mục lục:
“...Call-Based Dynamic Programming for the Precedence Constrained Line Traveling Salesman -- Stable...”lấy văn bản
Điện tử
eBook
2
Được phát hành 2013
Mục lục:
“... Computer Interaction with Episodic Memory in a Virtual Guide -- System of Generating Japanese Sound...”lấy văn bản
Điện tử
eBook
3
Được phát hành 2005
Mục lục:
“... -- Generating Path Conditions for Timed Systems -- Software Model Checking: Searching for Computations...”lấy văn bản
Điện tử
eBook
4
Được phát hành 2010
Mục lục:
“... for Declarative Proofs -- Programming Language Techniques for Cryptographic Proofs -- Nitpick: A Counterexample...”lấy văn bản
Điện tử
eBook
5
Được phát hành 2014
Mục lục:
“...-Computer Interaction -- Immediacy in User Interfaces: An Activity Theoretical Approach -- The Resilience...”lấy văn bản
Điện tử
eBook
6
Được phát hành 2014
Mục lục:
“... -- An Interactive Verification Tool Meets an IDE -- An Analysis Pathway for the Quantitative Evaluation of Public...”lấy văn bản
Điện tử
eBook
7
Được phát hành 2013
Mục lục:
“... Monitoring Solutions in an Ageing Society -- The Impact of Explanation Dialogues on Human-Computer Trust...”lấy văn bản
Điện tử
eBook
8
Được phát hành 2015
Mục lục:
“... -- Logic and Ethics. An Integrated Model for Norms, Intentions and Actions -- A General Framework for Modal...”lấy văn bản
Điện tử
eBook
9
Được phát hành 2008
Mục lục:
“... Computing, Crisis Management and Workflow Modelling -- A Method for Modeling Interactions on Task...”lấy văn bản
Điện tử
eBook
10
Được phát hành 2006
Mục lục:
“...Session: Interaction -- Perception of Audio-Generated and Custom Motion Programs in Multimedia...”lấy văn bản
Điện tử
eBook
11
Được phát hành 2014
Mục lục:
“... -- Showing Invariance Compositionally for a Process Algebra for Network Protocols -- A Computer-Algebra-Based...”lấy văn bản
Điện tử
eBook
12
Được phát hành 2008
Mục lục:
“... Knowledge Base System for an Integration of Logic Programming and Classical Logic -- SMS and ASP: Hype...”lấy văn bản
Điện tử
eBook
13
Được phát hành 2012
Mục lục:
“... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...”lấy văn bản
Điện tử
eBook
14
Được phát hành 2010
Mục lục:
“...Invited Talks -- Building Blocks for Mobile Manipulation -- Natural Human-Robot Interaction...”lấy văn bản
Điện tử
eBook
15
Được phát hành 2005
Mục lục:
“...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”lấy văn bản
Điện tử
eBook
16
Được phát hành 2008
Mục lục:
“... -- Integration of Distributed User Input to Extend Interaction Possibilities with Local Applications -- Reverse...”lấy văn bản
Điện tử
eBook
17
Được phát hành 2006
Mục lục:
“... Interactive Drama -- Integrating VR-Authoring and Context Sensing: Towards the Creation of Context-Aware...”lấy văn bản
Điện tử
eBook
18
Được phát hành 2010
Mục lục:
“... Datasets Using DescribeX -- Search Computing: Integrating Ranked Data in the Life Sciences....”lấy văn bản
Điện tử
eBook
19
Được phát hành 2007
Mục lục:
“... Workflow Nets for Grid Computing -- A Stochastic Semantics for BioAmbients -- A Categorical Observation...”lấy văn bản
Điện tử
eBook
20
Được phát hành 2014
Mục lục:
“... Secret Key Sequence -- Interactive Satellite Remote Education System Based on Bluetooth and GPRS -- A...”lấy văn bản
Điện tử
eBook