Results
|
141.
|
|
|
142.
|
|
|
143.
|
|
|
144.
|
|
|
145.
|
|
|
146.
|
|
|
147.
|
|
|
148.
|
|
|
149.
|
|
|
150.
|
Computational models of discourse / edited by Michael Brady and Robert C. Berwick ; contributors, James Allen ... [et al.]. by
- Brady, Michael, 1945-
- Berwick, Robert C
- Allen, James, 1950-
Series: The MIT Press series in artificial intelligence
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge, Mass. : MIT Press, c1983
Availability: Items available for loan: Central Library, SUST (2)Call number: 001.535 COM, ...
|
|
151.
|
|
|
152.
|
|
|
153.
|
|
|
154.
|
|
|
155.
|
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, ...
|
|
156.
|
|
|
157.
|
|
|
158.
|
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, ...
|
|
159.
|
|
|
160.
|
|