Welcome to Central Library, SUST

Refine your search

Your search returned 202 results.

Not what you expected? Check for suggestions
Sort
Results
141.
Temporal verification of reactive systems : safety / Zohar Manna, Amir Pnueli. by
  • Manna, Zohar
  • Pnueli, Amir, 1941-2009
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Springer, c1995
Online access:
Availability: Items available for loan: Central Library, SUST (3)Call number: 005.2 MAT, ...

142.
Digital circuit design for computer science students : an introductory textbook / Niklasus Wirth. by
  • Wirth, Niklaus
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, c1995
Online access:
Availability: Items available for loan: Central Library, SUST (2)Call number: 621.39 WID, ...

143.
Cloud database development and management / Lee Chao. by
  • Chao, Lee, 1951-
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Boca Raton : Taylor & Francis, c2014
Online access:
Availability: Items available for loan: Central Library, SUST (2)Call number: 004.6782 CHC, ...

144.
Perceptrons : an introduction to computational geometry / Marvin Minsky and Seymour Papert. by
  • Minsky, Marvin, 1927-2016
  • Papert, Seymour
Edition: Expanded ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge, Mass. : MIT Press, c1969
Availability: Items available for loan: Central Library, SUST (2)Call number: 006.3 MIP, ...

145.
Android security : attacks and defenses / Abhishek Dubey, Anmol Misra, by
  • Dubey, Abhishek
  • Misra, Anmol
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New york : CRC press, c2013
Availability: Items available for loan: Central Library, SUST (3)Call number: 005.8 DUA, ...

146.
Antipatterns : managing software organizations and people / Colin J. Neill, Phillip A. Laplante, Joanna F. DeFranco. by
  • Neill, Colin J
  • Laplante, Phillip A
  • DeFranco, Joanna F
Series: Applied software engineering series
Edition: 2nd ed.
Material type: Text Text; Format: microfiche ; Literary form: Not fiction
Publication details: New york : Auerbach Publications, c2012
Availability: Items available for loan: Central Library, SUST (2)Call number: 005.1068 NEA, ...

147.
Head first iPhone and iPad development / Dan Pilone, Tracey Pilone. by
  • Pilone, Dan
  • Pilone, Tracey
Series: Head first series
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Beijing ; Sebastopol : O'Reilly, c2011
Availability: Items available for loan: Central Library, SUST (3)Call number: 005.26 PIH, ...

148.
Head first iPhone and iPad development / Tracey Pilone, Dan Pilone, with Paul Pilone & Brett McLaughlin. by
  • Pilone, Tracey [author.]
  • Pilone, Dan [author.]
Series: Head first series
Edition: 3rd edition.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Beijing : O'Reilly, c2014
Other title:
  • iPhone and iPad development
  • Head first iPhone & iPad development
Availability: Items available for loan: Central Library, SUST (3)Call number: 004.167 PIH, ...

149.
Head first jQuery / Ryan Benedetti [and] Ronan Cranley. by
  • Benedetti, Ryan
  • Cranley, Ronan
Series: Head first series
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Sebastopol, CA : O'Reilly Media, 2011
Availability: Items available for loan: Central Library, SUST (3)Call number: 006.76 BEH, ...

150.
Distributed systems : principles and paradigms / Andrew S. Tanenbaum, Maarten Van Steen. by
  • Tanenbaum, Andrew S, 1944-
  • Steen, Maarten van
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Upper Saddle RIiver, NJ : Pearson Prentice Hall, c2015
Online access:
Availability: Items available for loan: Central Library, SUST (3)Call number: 005.4476 TAD, ...

151.
Guide to Reliable distributed systems / Kenneth P. Birman. by
  • Birman, kenneth
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: London ; Springer, ©2012
Availability: Items available for loan: Central Library, SUST (2)Call number: 004.6 BIG, ...

152.
Differential cryptanalysis of the data encryption standard / Eli Biham, Adi Shamir. by
  • Biham, Eli
  • Shamir, Adi
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Springer-Verlag, c1993
Availability: Items available for loan: Central Library, SUST (2)Call number: 005.82 BID, ...

153.
Quantum computing since Democritus / Scott Aaronson, Massachusetts Insitute of Technology. by
  • Aaronson, Scott
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge : Cambridge University Press, 2013
Availability: Items available for loan: Central Library, SUST (2)Call number: 621.391 AAQ, ...

154.
Quantum computing for computer scientists / Noson S. Yanofsky and Mirco A. Mannucci. by
  • Yanofsky, Noson S, 1967-
  • Mannucci, Mirco A, 1960-
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge ; New York : Cambridge University Press, 2008
Availability: Items available for loan: Central Library, SUST (5)Call number: 004.1 YAQ, ...

155.
Quantum computer science : an introduction / N. David Mermin. by
  • Mermin, N. David
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge : Cambridge University Press, 2007
Availability: Items available for loan: Central Library, SUST (3)Call number: 004.1 MEQ, ...

156.
Linux system programming / Robert Love. by
  • Love, Robert (Robert M.) [author.]
Edition: Second edition.
Material type: Text 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, ...

157.
Systematic program design : from clarity to efficiency / Yanhong Annie Liu, Stony Brook University, State University of New York. by
  • Liu, Yanhong Annie, 1965-
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Cambridge University Press, c2013
Online access:
Availability: Items available for loan: Central Library, SUST (2)Call number: 005.1 LIS, ...

158.
Mobile robotics : mathematics, models and methods / Alonzo Kelly, Carnegie Mellon University. by
  • Kelly, Alonzo
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New york : Cambridge, c2013
Availability: Items available for loan: Central Library, SUST (3)Call number: 629.8932 KEM, ...

159.
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 Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge ; New York : Cambridge University Press, c2014
Online access:
Availability: Items available for loan: Central Library, SUST (2)Call number: 551.3 NET, ...

160.
Practical foundations for programming languages / Robert Harper. by
  • Harper, Robert, 1957-
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge ; New York : Cambridge University Press, c2013
Availability: Items available for loan: Central Library, SUST (2)Call number: 005.13 HAP, ...

Pages