1
出版事項 2006
目次: ... of Teamworking Systems -- Towards Model Checking Stochastic Aspects of the thinkteam User Interface -- Incident...
全文の入手
電子媒体 eBook
2
出版事項 2005
目次: ... Features -- The Drawing Carousel: A Pair Programming Experience -- Agile Development with Domain Specific...
全文の入手
電子媒体 eBook
3
出版事項 2007
目次: ... to Facilitate Adaptive User Interfaces -- Toward Quality-Driven Development of 3D Computer Games -- Group...
全文の入手
電子媒体 eBook
4
出版事項 2010
目次: ... in Pair Programming -- Continuous Selective Testing -- Applying SCRUM in an OSS Development Process...
全文の入手
電子媒体 eBook
5
出版事項 2005
目次: ... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...
全文の入手
電子媒体 eBook
6
出版事項 2007
目次: ... for Facilitating eBay Transactions Using Skype -- Localization in Korea of User Interface of the 3G Mobile Handset...
全文の入手
電子媒体 eBook
7
出版事項 2005
目次: ... of Models: From Abstract Views to Concrete Specifications -- Flexible Business Process Management Using...
全文の入手
電子媒体 eBook
8
出版事項 2012
目次: ... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...
全文の入手
電子媒体 eBook
9
出版事項 2010
目次: ...: Integration into the Leuven Paradigm for Robot Task Specification and Human Motion Estimation -- Simulating...
全文の入手
電子媒体 eBook
10
出版事項 2011
目次: ...1. Introduction -- 2. Architectures and Environments for the Generation of User Interfaces -- 2.1.1...
全文の入手
電子媒体 eBook
11
出版事項 2006
目次: ... in Business-Driven Development -- ERP Reference Process Models: From Generic to Specific -- Business Process...
全文の入手
電子媒体 eBook
12
出版事項 2006
目次: ... Specification for Mediators(Virtual Providers) -- WSMX Process Mediation Based on Choreographies -- An Abstract...
全文の入手
電子媒体 eBook
13
出版事項 2005
目次: ... -- Process Refinement in B -- CZT: A Framework for Z Tools -- Model Checking Z Specifications Using SAL...
全文の入手
電子媒体 eBook
14
出版事項 2014
目次: ... Interfaces in the Context of the Internet of Services -- Interactive Service Composition and Query...
全文の入手
電子媒体 eBook
15
出版事項 2010
目次: ... -- Conceptual Modeling of Online Entertainment Programming Guide for Natural Language Interface -- Integration...
全文の入手
電子媒体 eBook
16
出版事項 2005
目次: ... Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative...
全文の入手
電子媒体 eBook
17
著者: Hausser, Roland R., Hausser, Roland R.
出版事項 2006
目次: ...The Communication Mechanism of Cognition -- Matters of Method -- Interfaces and Components -- Data...
全文の入手
電子媒体 eBook
18
出版事項 2008
目次: ... Reasoning in Memory Hierarchies -- The Complexity of Coverage -- Game Characterizations of Process...
全文の入手
電子媒体 eBook
19
出版事項 2006
目次: ... Backgrounds -- Procedural Image Processing for Visualization -- Tracking of Individuals in Very Long Video...
全文の入手
電子媒体 eBook
20
出版事項 2008
目次: ... Probes -- Computer and Communications Networks -- Natural Language Specification of Performance Trees...
全文の入手
電子媒体 eBook