1
Được phát hành 2013
Mục lục: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
lấy văn bản
Điện tử eBook
2
Được phát hành 2008
Mục lục: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
lấy văn bản
Điện tử eBook
3
Được phát hành 2008
Mục lục: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
lấy văn bản
Điện tử eBook
4
Được phát hành 2008
Mục lục: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
lấy văn bản
Điện tử eBook
5
Được phát hành 2013
Mục lục: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
lấy văn bản
Điện tử eBook
6
Được phát hành 2006
Mục lục: ... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...
lấy văn bản
Điện tử eBook
7
Được phát hành 2008
Mục lục: ... Conformance Checking of Recursive and Parallel Component-Based Systems -- Structural Testing of Component...
lấy văn bản
Điện tử eBook
8
Được phát hành 2014
Mục lục: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
lấy văn bản
Điện tử eBook
9
Được phát hành 2008
Mục lục: ...Invited Talks -- Tests, Proofs and Refinements -- Formal Verification and Biology -- Trust...
lấy văn bản
Điện tử eBook
10
Được phát hành 2008
Mục lục: ...Parallel and Distributed Computing -- An Overview of High Performance Computing and Challenges...
lấy văn bản
Điện tử eBook
11
Được phát hành 2008
Mục lục: ...Keynote -- Nonparametric Methods for Estimating Periodic Functions, with Applications in Astronomy...
lấy văn bản
Điện tử eBook
12
Được phát hành 2007
Mục lục: ... and Ubiquitous Systems -- Testing Embedded Control Systems with TTCN-3 -- Cross-Platform Verification Framework...
lấy văn bản
Điện tử eBook
13
Được phát hành 2006
Mục lục: ... AND INTERFLATION FUNCTIONS OF MANY VARIABLES (BLENDING FUNCTION INTERPOLATION) AND ECONOMICAL ALGORITHMS...
lấy văn bản
Điện tử eBook
14
Được phát hành 2013
Mục lục: ... Accelerated Degradation Test to Evaluate Power Fade of Batteries for Electric Vehicles -- The Development...
lấy văn bản
Điện tử eBook
15
Được phát hành 2014
Mục lục: ... Network Coding -- Improved Halftone Visual Cryptography by Random Grids -- Statistical Tests for Combined...
lấy văn bản
Điện tử eBook