Home » Computer Engineering » Symbolic and Algebraic Manipulation (48) lectures

Order By: Newest |Rating |View Count

Properties of a PDP model
35 Slide(s), 158 Views, Added 13 years ago
Classified as :
Computer Engineering » Symbolic and Algebraic Manipulation
Automated Verification of Concurrent Linked Lists with Counters
By Yavuz-Kahveci, Tuba - Bultan, Tevfik
68 Slide(s), 224 Views, Added 13 years ago, in English
Classified as :
Computer Engineering » Symbolic and Algebraic Manipulation » Algorithms
Problem Solving Methods
59 Slide(s), 222 Views, Added 13 years ago, in English
Classified as :
and 17 more...