1
出版 2008
書本目錄: ... Support for Dynamics Patterns to Static Business Process Management Systems -- Service Composition...
獲取全文
電子 電子書
2
出版 2007
書本目錄: ... -- Refining Interface Alphabets for Compositional Verification -- MAVEN: Modular Aspect Verification...
獲取全文
電子 電子書
3
出版 2006
書本目錄: ...Workshop on Business Process Design (BPD 2006) -- Preface -- Designing Compliant Business Processes...
獲取全文
電子 電子書
4
出版 2008
書本目錄: ... Exhibition to Knowledge Construction -- Taking Advantage of the Web in the Portuguese Class: An Experience...
獲取全文
電子 電子書
5
出版 2006
書本目錄: ... for Sketch Retrieval Based on Linear Programming Classification -- Hierarchical Motion-Compensated Frame...
獲取全文
電子 電子書
6
出版 2014
主題: ...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...
獲取全文
電子 電子書
7
出版 2006
書本目錄: ... Impulse Responses -- Reversers-A programming language construct for reversing out of code -- Hand-written...
獲取全文
電子 電子書
8
出版 2006
書本目錄: ...Keynote and Invited Talks -- The Age of Content and Knowledge Processing -- Cyber Science...
獲取全文
電子 電子書
9
出版 2005
書本目錄: ... for Security and Trust -- A Formal Security Analysis of an OSA/Parlay Authentication Interface -- Composition...
獲取全文
電子 電子書
10
出版 2005
書本目錄: ... on Statistical Characteristics of Data -- Distribution Rules for Array Database Queries -- Efficient Processing...
獲取全文
電子 電子書
11
出版 2005
書本目錄: ... E-Commerce Enterprise Systems -- Extending Groupware for OLAP -- XML-Based OLAP Query Processing...
獲取全文
電子 電子書
12
出版 2010
書本目錄: ... to Construct State Registries–Matching Undeniability with Public Security -- Data Warehouses and Data Mining...
獲取全文
電子 電子書
13
出版 2007
書本目錄: ... Composition -- A Speech-Controlled User Interface for a CAFM-Based Disaster Management System -- Private Data...
獲取全文
電子 電子書
14
出版 2008
書本目錄: ... Service Compositions Using VxBPEL -- Abstract Reachability Graph for Verifying Web Service Interfaces...
獲取全文
電子 電子書
15
出版 2010
書本目錄: ... and BioMoby Plug-Ins -- Workflow Construction for Service-Oriented Knowledge Discovery -- Workflow Composition...
獲取全文
電子 電子書
16
出版 2005
書本目錄: ... for Dead Code Elimination in Esterel??? -- Compositional Verification and Games -- Synthesis of Interface...
獲取全文
電子 電子書
17
出版 2005
書本目錄: ... and Embedded Systems -- Process -- Activity Diagram Patterns for Modeling Quality Constraints in Business...
獲取全文
電子 電子書
18
出版 2007
書本目錄: ...-Process-Driven Approach for Generating E-Commerce User Interfaces -- Language Definition -- Enhancing UML...
獲取全文
電子 電子書
19
出版 2007
書本目錄: ... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...
獲取全文
電子 電子書
20
Spear, Chris., Spear, Chris.
出版 2008
書本目錄: ... and Design -- 4.2 The Interface Construct -- 4.3 Stimulus Timing -- 4.4 Interface Driving and Sampling -- 4.5...
獲取全文
電子 電子書