Results
|
781.
|
|
|
782.
|
|
|
783.
|
|
|
784.
|
|
|
785.
|
|
|
786.
|
|
|
787.
|
|
|
788.
|
|
|
789.
|
|
|
790.
|
|
|
791.
|
|
|
792.
|
Linux system programming / Robert Love. by - Love, Robert (Robert M.) [author.]
Edition: Second edition.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Beijing : O'reilly, c2013
Availability: Items available for loan: Central Library, SUST (2)Call number: 005.432 LOL, ...
|
|
793.
|
|
|
794.
|
|
|
795.
|
Type theory and formal proof : an introduction / Rob Nederpelt, Eindhoven University of Technology, the Netherlands, Herman Geuvers, Radbound University Nijmegen, and Eindhoven University of Technology, the Netherlands. by
- Nederpelt, R. P. (Rob P.) [author.]
- Geuvers, Herman, 1964- [author.]
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; New York : Cambridge University Press, c2014
Availability: Items available for loan: Central Library, SUST (2)Call number: 551.3 NET, ...
|
|
796.
|
|
|
797.
|
|
|
798.
|
Causality, probability, and time / Samantha Kleinberg, Stevens Institute of Technology, Hoboken, New Jersey. by - Kleinberg, Samantha, 1983- [author.]
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: New york : Cambridge, c2013
Availability: Items available for loan: Central Library, SUST (2)Call number: 511.352 KLC, ...
|
|
799.
|
|
|
800.
|
Data-intensive computing : architectures, algorithms, and applications / edited by Ian Gorton, Pacific Northwest National Laboratory, Deborah K. Gracio, Pacific Northwest National Laboratory. by
- Gorton, Ian
- Gracio, Deborah K, 1965-
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: New york : Cambridge, c2013
Availability: Items available for loan: Central Library, SUST (2)Call number: 004.5 DAT, ...
|