1
منشور في 2013
جدول المحتويات: ... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
منشور في 2013
جدول المحتويات: ... -- Language Constructs for Non-Well-Founded Computation -- Laziness by Need -- FliPpr: A Prettier Invertible...
احصل على النص الكامل
الكتروني كتاب الكتروني
3
منشور في 2014
جدول المحتويات: ...-efficiency Model Based on QoS in Cloud Computing -- Revenue Sharing Contract in a Cloud Computing Service...
احصل على النص الكامل
الكتروني كتاب الكتروني
4
منشور في 2007
جدول المحتويات: ... Architecture -- Build, Configuration, Integration and Testing Tools for Large Software Projects: ETICS...
احصل على النص الكامل
الكتروني كتاب الكتروني
5
منشور في 2014
جدول المحتويات: ... System Development -- Agile Software Development in Practice -- Part Agile Challenges and Contracting...
احصل على النص الكامل
الكتروني كتاب الكتروني
6
منشور في 2005
جدول المحتويات: ... Integration of Jester – The JUnit Test Tester -- Extreme Programming: The Genesys Experience -- Shared Code...
احصل على النص الكامل
الكتروني كتاب الكتروني
7
منشور في 2008
جدول المحتويات: ... Computing Environments -- Using Automated Planning for Trusted Self-organising Organic Computing Systems...
احصل على النص الكامل
الكتروني كتاب الكتروني
8
منشور في 2010
جدول المحتويات: ... Graphs -- Maintaining XML Data Integrity in Programs -- Improving Classification Performance with Focus...
احصل على النص الكامل
الكتروني كتاب الكتروني
9
منشور في 2010
جدول المحتويات: ... Service Planning -- Integrated Service Process Adaptation -- Contract Based, Non-invasive, Black-Box...
احصل على النص الكامل
الكتروني كتاب الكتروني
10
منشور في 2008
جدول المحتويات: ... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...
احصل على النص الكامل
الكتروني كتاب الكتروني
11
منشور في 2005
جدول المحتويات: ... and Efficient Computation of High Order Zernike Moments -- 3D Model Generation from Image Sequences Using Global...
احصل على النص الكامل
الكتروني كتاب الكتروني
12
منشور في 2006
جدول المحتويات: ... with Differential Parsing -- Web Browsers as Service-Oriented Clients Integrated with Web Services -- Interaction...
احصل على النص الكامل
الكتروني كتاب الكتروني
13
منشور في 2007
جدول المحتويات: ... of Computational Secrecy -- What, Indeed, Is Intransitive Noninterference? -- Traceability and Integrity...
احصل على النص الكامل
الكتروني كتاب الكتروني
14
منشور في 2014
جدول المحتويات: ...Computing an Upper Bound for the Longest Edge in an Optimal TSP-Solution -- Electricity Storage...
احصل على النص الكامل
الكتروني كتاب الكتروني
15
منشور في 2012
جدول المحتويات: ... Model for Dynamic Environment -- Process Modeling II.-Contracts+Goals=Roles? -- Specialization in i...
احصل على النص الكامل
الكتروني كتاب الكتروني
16
منشور في 2007
جدول المحتويات: ... for e-Government Services: An Experience Report -- An Approach for QoS Contract Negotiation...
احصل على النص الكامل
الكتروني كتاب الكتروني
17
منشور في 2006
جدول المحتويات: ...Full Papers -- Defining and Checking Deployment Contracts for Software Components -- GLoo: A...
احصل على النص الكامل
الكتروني كتاب الكتروني
18
منشور في 2007
جدول المحتويات: ... and Beyond -- Interaction and Realizability -- A Short Introduction to Computational Social Choice...
احصل على النص الكامل
الكتروني كتاب الكتروني
19
منشور في 2005
جدول المحتويات: ... for Data Integration -- Recent Advances in Graph Drawing -- The Hyperdatabase Network – New Middleware...
احصل على النص الكامل
الكتروني كتاب الكتروني
20
منشور في 2015
جدول المحتويات: ... on Multi-Objective Genetic Algorithm -- Integration of Spatial and Spectral Information by Means of Sparse...
احصل على النص الكامل
الكتروني كتاب الكتروني