Results
|
|
|
|
|
Introduction to deep learning / Eugene Charniak. by - Charniak, Eugene [author.]
Material type: Text; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Publisher: Cambridge, Massachusetts ; London, England : The MIT Press, [2018]Copyright date: c2018
Availability: Items available for loan: Central Library (1)Call number: 006.31 CHA.
|
|
|
Model checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled. by
- Clarke, Edmund M., Jr. (Edmund Melson), 1945- [author.]
- Grumberg, Orna [author.]
- Peled, Doron A, 1962- [author.]
Edition: Third printing.
Material type: Text; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Publisher: Cambridge, Massachusetts ; London,England : The MIT Press, 2001
Availability: Items available for loan: Central Library (1)Call number: 004.21 CLA.
|