1
منشور في 2007
جدول المحتويات: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
منشور في 2006
جدول المحتويات: ... of Asynchronous Automata -- Conjugacy and Equivalence of Weighted Automata and Functional Transducers...
احصل على النص الكامل
الكتروني كتاب الكتروني
3
منشور في 2013
جدول المحتويات: ... in the Context of Partial Classification in Large and Imbalanced Datasets -- Sharing Information in Parallel...
احصل على النص الكامل
الكتروني كتاب الكتروني
4
منشور في 2013
جدول المحتويات: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
احصل على النص الكامل
الكتروني كتاب الكتروني
5
منشور في 2005
جدول المحتويات: ... with Separation Logic -- An Abstract Interpretation Perspective on Linear vs. Branching Time -- The Parallel...
احصل على النص الكامل
الكتروني كتاب الكتروني
6
منشور في 2010
جدول المحتويات: ... -- Explicitly Typed Exceptions for Haskell -- Conversion by Evaluation -- Parallelism and Distribution...
احصل على النص الكامل
الكتروني كتاب الكتروني
7
منشور في 2008
جدول المحتويات: ... -- Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions -- Decision Procedures...
احصل على النص الكامل
الكتروني كتاب الكتروني