Welcome to Central Library, SUST

Your search returned 16 results.

Not what you expected? Check for suggestions
Sort
Results
1.
Introduction to computer systems : a user-view / Brian Molinari. by
  • Molinari, Brian
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1985
Availability: Items available for loan: Central Library, SUST (1)Call number: 001.64 MOI.

2.
Ada 2012 Reference Manual. Language and Standard Libraries [electronic resource] : International Standard ISO/IEC 8652/2012 (E) / edited by S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, Pascal Leroy, Edmond Schonberg. by
  • Taft, S. Tucker [editor.]
  • Duff, Robert A [editor.]
  • Brukardt, Randall L [editor.]
  • Ploedereder, Erhard [editor.]
  • Leroy, Pascal [editor.]
  • Schonberg, Edmond [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8339
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

3.
NASA Formal Methods [electronic resource] : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings / edited by Guillaume Brat, Neha Rungta, Arnaud Venet. by
  • Brat, Guillaume [editor.]
  • Rungta, Neha [editor.]
  • Venet, Arnaud [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7871
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

4.
Multicore Software Engineering, Performance, and Tools [electronic resource] : International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings / edited by João M. Lourenço, Eitan Farchi. by
  • Lourenço, João M [editor.]
  • Farchi, Eitan [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8063
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

5.
Linux command line and shell scripting bible / Richard Blum, Christine Bresnahan. by
  • Blum, Richard, 1962- [author.]
  • Bresnahan, Christine [author.]
Edition: Third edition.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Indianapolis, IN : John Wiley & Sons, [2015]Copyright date: ©2015
Availability: No items available.

6.
Win32 programming / Brent E. Rector and Joseph M. Newcomer. by
  • Rector, Brent
  • Newcomer, Joseph M, 1947-
Series: The advanced Windows series
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Reading, Mass. : Addison Wesley, c1997
Availability: Items available for loan: Central Library, SUST (1)Call number: 005.268 REW.

7.
Smart Grid Security [electronic resource] : First International Workshop, SmartGridSec 2012, Berlin, Germany, December 3, 2012, Revised Selected Papers / edited by Jorge Cuellar. by
  • Cuellar, Jorge [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7823
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

8.
Design Science at the Intersection of Physical and Virtual Design [electronic resource] : 8th International Conference, DESRIST 2013, Helsinki, Finland, June 11-12, 2013. Proceedings / edited by Jan vom Brocke, Riitta Hekkala, Sudha Ram, Matti Rossi. by
  • Brocke, Jan vom [editor.]
  • Hekkala, Riitta [editor.]
  • Ram, Sudha [editor.]
  • Rossi, Matti [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7939
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

9.
Enterprise performance management done right : an operating system for your organization / Ron Dimon. by
  • Dimon, Ron, 1963-
Series: Wiley CIO series
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • EB00063556 Recorded Books
Publisher: Hoboken, New Jersey : John Wiley & Sons, [2013]
Availability: No items available.

10.
Mathematics, Computer Science and Logic - A Never Ending Story [electronic resource] : The Bruno Buchberger Festschrift / edited by Peter Paule. by
  • Paule, Peter [editor.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.

11.
Software Engineering and Formal Methods [electronic resource] : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings / edited by Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti. by
  • Hierons, Robert M [editor.]
  • Merayo, Mercedes G [editor.]
  • Bravetti, Mario [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8137
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

12.
Requirements Engineering and Management for Software Development Projects [electronic resource] / by Murali Chemuturi. by
  • Chemuturi, Murali [author.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013
Availability: No items available.

13.
Network and Parallel Computing [electronic resource] : 10th IFIP International Conference, NPC 2013, Guiyang, China, September 19-21, 2013. Proceedings / edited by Ching-Hsien Hsu, Xiaoming Li, Xuanhua Shi, Ran Zheng. by
  • Hsu, Ching-Hsien [editor.]
  • Li, Xiaoming [editor.]
  • Shi, Xuanhua [editor.]
  • Zheng, Ran [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8147
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

14.
Generative and Transformational Techniques in Software Engineering IV [electronic resource] : International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers / edited by Ralf Lämmel, João Saraiva, Joost Visser. by
  • Lämmel, Ralf [editor.]
  • Saraiva, João [editor.]
  • Visser, Joost [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7680
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

15.
Emerging Technologies for Information Systems, Computing, and Management [electronic resource] / edited by W. Eric Wong, Tinghuai Ma. by
  • Wong, W. Eric [editor.]
  • Ma, Tinghuai [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Electrical Engineering ; 236
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013
Availability: No items available.

16.
Understanding Petri Nets [electronic resource] : Modeling Techniques, Analysis Methods, Case Studies / by Wolfgang Reisig. by
  • Reisig, Wolfgang [author.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

Pages