Results
|
2721.
|
|
|
2722.
|
|
|
2723.
|
Introduction to distributed algorithms / Gerard Tel. by
Edition: 2nd ed.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge, [Eng.] ; New York : Cambridge University Press, 2000
Availability: Items available for loan: Central Library, SUST (3)Call number: 005.276 TEI, ...
|
|
2724.
|
|
|
2725.
|
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, ...
|
|
2726.
|
|
|
2727.
|
|
|
2728.
|
|
|
2729.
|
|
|
2730.
|
Numerical methods of statistics / John F. Monahan. by
Edition: 2nd ed.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; New York : Cambridge University Press, c2011
Availability: Items available for loan: Central Library, SUST (3)Call number: 519.5 MON, ...
|
|
2731.
|
|
|
2732.
|
Proofs and computations / Helmut Schwichtenberg, Stanley S. Wainer. by
- Schwichtenberg, Helmut, 1942-
- Wainer, S. S
- Association for Symbolic Logic
Series:
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Ithaca, NY : Cambridge ; New York : Association for Symbolic Logic ; Cambridge University Press, c2012
Availability: Items available for loan: Central Library, SUST (2)Call number: 511.352 SCP, ...
|
|
2733.
|
|
|
2734.
|
|
|
2735.
|
|
|
2736.
|
|
|
2737.
|
|
|
2738.
|
|
|
2739.
|
|
|
2740.
|
The theory of probability / Santosh S. Venkatesh. by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge : Cambridge University Press, c2013
Other title: - Theory of probability : explorations and applications
Availability: Items available for loan: Central Library, SUST (2)Call number: 519.2 VET, ...
|