1
منشور في 2005
جدول المحتويات: ... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
منشور في 2007
جدول المحتويات: ... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...
احصل على النص الكامل
الكتروني كتاب الكتروني
3
منشور في 2005
جدول المحتويات: ... Performance Computing -- A New Approach to Programming and Prototyping Parallel Systems -- The Changing...
احصل على النص الكامل
الكتروني كتاب الكتروني
4
منشور في 2008
جدول المحتويات: ... Using WPDSs -- Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA -- Typing...
احصل على النص الكامل
الكتروني كتاب الكتروني
5
منشور في 2010
جدول المحتويات: ... of Causality Requirements in Java Memory Model Is Undecidable -- A Team Object for CoArray Fortran...
احصل على النص الكامل
الكتروني كتاب الكتروني
6
منشور في 2008
جدول المحتويات: ...) -- The Abella Interactive Theorem Prover (System Description) -- LEO-II - A Cooperative Automatic Theorem Prover...
احصل على النص الكامل
الكتروني كتاب الكتروني