1
منشور في 2010
جدول المحتويات: ... for Detecting Bugs in Concurrent Programs -- Automatically Proving Linearizability -- Model Checking...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
منشور في 2005
جدول المحتويات: ... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...
احصل على النص الكامل
الكتروني كتاب الكتروني
3
منشور في 2005
جدول المحتويات: ... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...
احصل على النص الكامل
الكتروني كتاب الكتروني
4
منشور في 2007
جدول المحتويات: ... Tag SNPs for Disease Association Studies -- Genotype Error Detection Using Hidden Markov Models...
احصل على النص الكامل
الكتروني كتاب الكتروني
5
منشور في 2014
جدول المحتويات: ... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...
احصل على النص الكامل
الكتروني كتاب الكتروني
6
منشور في 2010
جدول المحتويات: ... -- Linear Coherent Bi-cluster Discovery via Beam Detection and Sample Set Clustering -- An Iterative...
احصل على النص الكامل
الكتروني كتاب الكتروني
7
منشور في 2013
جدول المحتويات: ... -- Combining Superposition and Induction: A Practical Realization -- Arrays and Memory Access Optimization...
احصل على النص الكامل
الكتروني كتاب الكتروني
8
منشور في 2015
جدول المحتويات: ...-Sliding-Mode-Based Frequency Regulation -- A New Discrete-Time Iterative Adaptive Dynamic Programming...
احصل على النص الكامل
الكتروني كتاب الكتروني
9
منشور في 2007
جدول المحتويات: ... Streams -- Feature Clustering Method to Detect Monotonic Chain Structures in Symbolic Data -- Symbolic...
احصل على النص الكامل
الكتروني كتاب الكتروني