Results
|
1.
|
|
|
2.
|
|
|
3.
|
|
|
4.
|
Model checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled. by
- Clarke, E. M, 1945-
- Grumberg, Orna
- Peled, Doron A, 1962-
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge, Mass. : MIT Press, c1999
Availability: Items available for loan: Central Library, SUST (2)Call number: 004.21 CLM, ...
|
|
5.
|
|
|
6.
|
|
|
7.
|
Software metrics : an analysis and evaluation / Alan Perlis, Frederick Sayward, Mary Shaw, editors. by
- Perlis, Alan J
- Sayward, Frederick
- Shaw, Mary, 1943-
Series: The MIT press series in computer science
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge, Mass. : MIT Press, c1981
Availability: Items available for loan: Central Library, SUST (2)Call number: 001.6425 SOF, ...
|
|
8.
|
|
|
9.
|
|
|
10.
|
|
|
11.
|
|
|
12.
|
|
|
13.
|
Introduction to algorithms / Thomas H. Cormen ... [et al.]. by
Edition: 3rd ed.
Material type: Text; Format:
microfiche
; Literary form:
Not fiction
Publication details: Cambridge, Mass. : MIT Press, c2009
Availability: Items available for loan: Central Library, SUST (3)Call number: 005.1 INT, ...
|
|
14.
|
|