1
منشور في 2013
جدول المحتويات: ... and Verification of GPU Kernels -- Verifying Concurrent Programs against Sequential Specifications...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
منشور في 2013
جدول المحتويات: ... -- Analysis of Boolean Programs -- Weighted Pushdown Systems with Indexed Weight Domains -- Underapproximation...
احصل على النص الكامل
الكتروني كتاب الكتروني
3
منشور في 2014
جدول المحتويات: ... Specifications with Observational Semantics -- Synthesis for Human-in-the-Loop Control Systems -- Learning...
احصل على النص الكامل
الكتروني كتاب الكتروني
4
منشور في 2014
جدول المحتويات: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
احصل على النص الكامل
الكتروني كتاب الكتروني
5
منشور في 2014
جدول المحتويات: ... Algorithm -- A Closed Loop Supply Chain Inventory Model for the Deteriorating Items with JIT Implementation...
احصل على النص الكامل
الكتروني كتاب الكتروني
6
بواسطة Chong, Kok Hen
منشور في 2008
... of the overall system. As a result, the higher integration level, the better and the cheaper final product...
احصل على النص الكامل
أطروحة
7
بواسطة Chong, Kok Hen
منشور في 2008
... of the overall system. As a result, the higher integration level, the better and the cheaper final product...
احصل على النص الكامل
أطروحة
8