Welcome to Central Library, SUST

Refine your search

Your search returned 4078 results.

Not what you expected? Check for suggestions
Sort
Results
3321.
Model checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled. by
  • Clarke, E. M, 1945-
  • Grumberg, Orna
  • Peled, Doron A, 1962-
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge, Mass. : MIT Press, c1999
Availability: Items available for loan: Central Library, SUST (2)Call number: 004.21 CLM, ...

3322.
Software requirements : styles and techniques / Soren Lauesen by
  • Lauesen, Soren
Material type: Text Text; Format: microfiche ; Literary form: Not fiction
Publication details: Harlow : Addison-Wesley, c2002
Availability: Items available for loan: Central Library, SUST (3)Call number: 005.12 LAS, ...

3323.
Assignment problems / Rainer Burkard, Graz University of Technology, Graz, Austria, Mauro Dell'Amico, University of Modena and Reggia Emilia, Reggio Emilia, Italy, Silvano Martello, University of Bologna, Bologna, Italy. by
  • Burkard, Rainer E
  • Dell'Amico, Mauro
  • Martello, Silvano
Edition: Revised reprint.
Material type: Text Text; Format: microfiche ; Literary form: Not fiction
Publication details: New york : SIam, c2009
Availability: Items available for loan: Central Library, SUST (2)Call number: 519.72 BUA, ...

3324.
Learn Unity 4 for iOS game development / Philip Chu. by
  • Chu, Philip [author.]
Series:
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: London : Apress. c2013
Availability: Items available for loan: Central Library, SUST (3)Call number: 005.2 CHL, ...

3325.
Learn C++ for game development / Bruce Sutherland. by
  • Sutherland, Bruce [author.]
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: London : Apress. c2014
Other title:
  • Learn C plus plus for game development
Availability: Items available for loan: Central Library, SUST (2)Call number: 005.133 SUL, ...

3326.
MMIXware : a RISC computer for the third millennium / Donald E. Knuth. by
  • Knuth, Donald Ervin, 1938-
Series: Lecture notes in computer science ; 1750.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, c1999
Online access:
Availability: Items available for loan: Central Library, SUST (2)Call number: 005.1 KNM, ...

3327.
Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990 / E. M. Clarke, R. P. Kurshan, editors. by
  • CAV (Conference) (2nd : 1990 : Center for Discrete Mathematics and Theoretical Computer Science)
  • Clarke, E. M, 1945-
  • Kurshan, R. P, 1943-
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 3.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Providence, RI : Baltimore, Md. : American Mathematical Society ; Association for Computing Machinery, 1991
Availability: Items available for loan: Central Library, SUST (3)Call number: 621.3815 CLC, ...

3328.
Computer aided verification : 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 proceedings / Editors:E. Allen Emerson, A. Prasad Sistla by
  • CAV (Conference) (18th : 2006 : Seattle, Wash.)
  • Emerson, E. Allen
  • Sistla, A. Prasad
Material type: Text Text; Format: microfiche ; Literary form: Not fiction
Publication details: New York : Springer, c2000
Availability: Items available for loan: Central Library, SUST (2)Call number: 004.24 COM, ...

3329.
Professional Hadoop solutions / Boris Lublinsky, Kevin T. Smith, Alexey Yakubovich. by
  • Lublinsky, Boris [author.]
  • Smith, Kevin T, 1970- [author.]
  • Yakubovich, Alexey [author.]
Series:
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New Delhi : Wrox. c2013
Other title:
  • Hadoop solutions
Availability: No items available.

3330.
Professional Hadoop solutions / Boris Lublinsky, Kevin T. Smith, Alexey Yakubovich. by
  • Lublinsky, Boris [author.]
  • Smith, Kevin T, 1970- [author.]
  • Yakubovich, Alexey [author.]
Series:
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New Delhi : Wrox. c2013
Other title:
  • Hadoop solutions
Availability: Items available for loan: Central Library, SUST (2)Call number: 005.74 LUP, ...

3331.
Multiparadigm constraint programming languages / Petra Hofstedt. by
  • Hofstedt, Petra
Series: Cognitive technologies
Material type: Text Text; Format: microfiche ; Literary form: Not fiction
Publication details: Heidelberg ; New York : Springer, c2011
Availability: Items available for loan: Central Library, SUST (3)Call number: 005.116 HOM, ...

3332.
Professional JavaScript for web developers / Nicholas C. Zakas. by
  • Zakas, Nicholas C
Series:
Edition: 3rd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New Delhi : Wiley Pub., c2015
Availability: Items available for loan: Central Library, SUST (3)Call number: 005.2762 ZAP, ...

3333.
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, ...

3334.
Compressed data structures for strings : on searching and extracting strings from compressed textual data / Rossano Venturini by
  • Venturini, Rossano
Series: Atlantis studies in computing ; 4
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Paris : Atlantis Press, c2014
Availability: Items available for loan: Central Library, SUST (2)Call number: 004.0151 VEC, ...

3335.
The computational beauty of nature : computer explorations of fractals, chaos, complex systems, and adaptation / Gary William Flake. by
  • Flake, Gary William
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge, Mass : MIT Press, c1998 (1999 printing)
Availability: Items available for loan: Central Library, SUST (2)Call number: 003.3 FLC, ...

3336.
Applied speech and audio processing : with Matlab examples / Ian V. McLoughlin. by
  • McLoughlin, Ian
Material type: Text Text; Format: microfiche ; Literary form: Not fiction
Publication details: New York : Cambridge University Press, 2009
Availability: Items available for loan: Central Library, SUST (2)Call number: 006.454 MCA, ...

3337.
Atomistic computer simulations : a practical guide / Veronika Brazdova and David R. Bowler. by
  • Brazdova, Veronika
  • Bowler, D. R. (David R.)
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Weinheim : Wiley-VCH, c2013
Availability: Items available for loan: Central Library, SUST (2)Call number: 539.60113 BRA, ...

3338.
Professional java for web applications : featuring websockets, spring framework JPA hibernate and spring security / Nicholas S. Williams, by
  • Williams, Nicholas S
Source: Springer eBooks
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New Delhi : Wrox. c2014
Availability: Items available for loan: Central Library, SUST (3)Call number: 004 WIP, ...

3339.
Computer organization and architecture : designing for performance / William Stallings by
  • Stallings, William
Edition: 9th ed.
Material type: Text Text; Format: microfiche ; Literary form: Not fiction
Publication details: New delhi : Pearson, c2014
Availability: Items available for loan: Central Library, SUST (3)Call number: 004.0151 STC, ...

3340.
Cloud enterprise architecture / Pethuru Raj. by
  • Raj, Pethuru
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Boca Raton, Fla. : CRC Press, c2013
Availability: Items available for loan: Central Library, SUST (2)Call number: 004.6782 RAC, ...

Pages