1
منشور في 2005
جدول المحتويات: ... in Verification: Local vs. Global -- Pushdown Module Checking -- Functional Correctness Proofs of Encryption...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
منشور في 2005
جدول المحتويات: ...) -- Letter Based Text Scoring Method for Language Identification -- Parallel and Distributed Data Processing...
احصل على النص الكامل
الكتروني كتاب الكتروني
3
منشور في 2013
جدول المحتويات: ... Small-World Properties in VANETs -- Impact of the Number of Beacons in PSO-Based Auto-localization...
احصل على النص الكامل
الكتروني كتاب الكتروني
4
منشور في 2005
جدول المحتويات: ... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...
احصل على النص الكامل
الكتروني كتاب الكتروني