1
منشور في 2014
جدول المحتويات: ... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
منشور في 2005
جدول المحتويات: ... -- Program Construction -- On the Stability Semantics of Combinational Programs -- Generating C Code from...
احصل على النص الكامل
الكتروني كتاب الكتروني
3
منشور في 2010
جدول المحتويات: ...EternalS: Mission and Roadmap -- to the EternalS Track: Trustworthy Eternal Systems via Evolving...
احصل على النص الكامل
الكتروني كتاب الكتروني
4
منشور في 2005
جدول المحتويات: ... Through Span Composition -- Degenerate Arrays: A Framework for Uncertain Data Tables -- Neural Network...
احصل على النص الكامل
الكتروني كتاب الكتروني
5
منشور في 2012
جدول المحتويات: ... Based Human Detection via Shape Part-Templates Matching -- Matrix Pseudoinversion for Image Neural...
احصل على النص الكامل
الكتروني كتاب الكتروني
6
منشور في 2005
جدول المحتويات: ... -- Intensional Encapsulations of Database Subsets via Genetic Programming -- Preferred Skyline: A Hybrid Approach...
احصل على النص الكامل
الكتروني كتاب الكتروني
7
منشور في 2013
جدول المحتويات: ...-EMF Detection -- Establishment of the Photovoltaic Simulation System using Mixed Programming...
احصل على النص الكامل
الكتروني كتاب الكتروني