Results
|
41.
|
|
|
42.
|
|
|
43.
|
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, ...
|
|
44.
|
|
|
45.
|
|
|
46.
|
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, ...
|
|
47.
|
|
|
48.
|
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, ...
|
|
49.
|
|
|
50.
|
Digital principles and applications / Donald P. Leach, Albert Paul Malvino. by
- Leach, Donald P
- Malvino, Albert Paul. Digital principles and applications
- Saha, Gotam
Edition: 8th ed.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: New York : McGraw Hill, c2015
Availability: Items available for loan: Central Library, SUST (2)Call number: 621.395 LED, ...
|
|
51.
|
|
|
52.
|
Modern Operating Systems / Andrew S.Tanenbaum by
Edition: 3rd ed.
Material type: Text; Format:
microfiche
; Literary form:
Not fiction
Publication details: c2015. New delhi : pearson
Availability: Items available for loan: Central Library, SUST (2)Call number: 004.3 TAM, ...
|
|
53.
|
Programming iOS 7 / Matt Neuburg by
Edition: 4th ed.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Sebastopol, CA : O'Reilly, 2013. ©2014
Availability: Items available for loan: Central Library, SUST (1)Call number: 004.01 NEP.
|
|
54.
|
|