関連のトピックス ...
関連のトピックス ...
提案スペルによる検索:
interface specifications » interface specification, service specifications, interface applications
specifications program » specification program, specifications property, specifications from
program programs » program program, programs program, program progress
computer https » computers https, computer arts, computer hosts
interface specifications » interface specification, service specifications, interface applications
specifications program » specification program, specifications property, specifications from
program programs » program program, programs program, program progress
computer https » computers https, computer arts, computer hosts
1
出版事項 2014
目次:
“....- Steps towards Scenario-Based Programming with a Natural Language Interface.- Assembly Theories...”全文の入手
電子媒体
eBook
2
出版事項 2012
目次:
“... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...”全文の入手
電子媒体
eBook
3
出版事項 2010
目次:
“...: Integration into the Leuven Paradigm for Robot Task Specification and Human Motion Estimation -- Simulating...”全文の入手
電子媒体
eBook
4
出版事項 2007
目次:
“... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...”全文の入手
電子媒体
eBook
5
出版事項 2008
目次:
“... -- From Authorization Logics to Types for Authorization -- Interface Types for Haskell -- Exception...”全文の入手
電子媒体
eBook
6
出版事項 2014
目次:
“... Interfaces in the Context of the Internet of Services -- Interactive Service Composition and Query...”全文の入手
電子媒体
eBook
7
出版事項 2007
目次:
“... User -- Programs and Predicates -- Validity Invariants and Effects -- Non-null References by Default...”全文の入手
電子媒体
eBook
8
出版事項 2012
目次:
“... Programs -- Formal Specification as High-Level Programming: The ASSL Approach -- Atomicity in Real-time...”全文の入手
電子媒体
eBook
9
出版事項 2008
目次:
“... Probes -- Computer and Communications Networks -- Natural Language Specification of Performance Trees...”全文の入手
電子媒体
eBook
10
出版事項 2006
目次:
“... of Teamworking Systems -- Towards Model Checking Stochastic Aspects of the thinkteam User Interface -- Incident...”全文の入手
電子媒体
eBook
11
出版事項 2005
目次:
“... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...”全文の入手
電子媒体
eBook
12
出版事項 2005
目次:
“... Programs -- Deriving Acceptance Tests from Goal Requirements -- Human-Computer Interfaces and the Web...”全文の入手
電子媒体
eBook
13
出版事項 2005
目次:
“... Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative...”全文の入手
電子媒体
eBook
14
出版事項 2010
目次:
“... Revisited -- Navigation and Tracking -- Specification and Verification of Complex Location Events...”全文の入手
電子媒体
eBook
15
出版事項 2007
目次:
“... to Facilitate Adaptive User Interfaces -- Toward Quality-Driven Development of 3D Computer Games -- Group...”全文の入手
電子媒体
eBook
16
出版事項 2005
目次:
“... Features -- The Drawing Carousel: A Pair Programming Experience -- Agile Development with Domain Specific...”全文の入手
電子媒体
eBook
17
出版事項 2006
目次:
“... Approach to Regular Sets -- Models, Deduction, and Computation -- Elementary Algebraic Specifications...”全文の入手
電子媒体
eBook
18
出版事項 2010
目次:
“... in Pair Programming -- Continuous Selective Testing -- Applying SCRUM in an OSS Development Process...”全文の入手
電子媒体
eBook
19
出版事項 2006
目次:
“...Invited Talks -- Formal Specifications on Industrial-Strength Code—From Myth to Reality -- I Think...”全文の入手
電子媒体
eBook
20
出版事項 2007
目次:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”全文の入手
電子媒体
eBook