Welcome to Central Library, SUST

Refine your search

Your search returned 144 results.

Not what you expected? Check for suggestions
Sort
Results
1.
Programming Languages [electronic resource] : 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings / edited by André Rauber Du Bois, Phil Trinder. by
  • Bois, André Rauber Du [editor.]
  • Trinder, Phil [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8129
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.

2.
Programming Multi-Agent Systems [electronic resource] : 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers / edited by Mehdi Dastani, Jomi F. Hübner, Brian Logan. by
  • Dastani, Mehdi [editor.]
  • Hübner, Jomi F [editor.]
  • Logan, Brian [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7837
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.
Neurostimulation : principles and practice / edited by Sam Eljamel and Konstantin Slavin. by
  • Eljamel, Sam
  • Slavin, Konstantin V
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Chichester, West Sussex : Wiley Blackwell, 2013
Availability: No items available.

4.
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.

5.
Microcontrollers : high-performance systems and programming / Julio Sanchez, Eastern Florida State College, Maria P. Canton, Brevard Public Schools. by
  • Sanchez, Julio, 1938- [author.]
  • Canton, Maria P [author.]
Material type: Text Text; Literary form: Not fiction
Online access:
Availability: No items available.

6.
Parallel Programming [electronic resource] : for Multicore and Cluster Systems / by Thomas Rauber, Gudula Rünger. by
  • Rauber, Thomas [author.]
  • Rünger, Gudula [author.]
  • SpringerLink (Online service)
Edition: 2nd ed. 2013.
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.

7.
Schaum's outline of theory and problems of operations research / Richard Bronson. by
  • Bronson, Richard
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Singapore : McGraw-Hill International, c1982
Availability: Items available for loan: Central Library, SUST (2)Call number: 003 BRS, ...

8.
Visual C++ programming / Steven Holzner. by
  • Holzner, Steven
Series: Brady programming library
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Brady, c1993
Availability: Items available for loan: Central Library, SUST (2)Call number: 005.133 HOV, ...

9.
Programming with Higher-Order Logic / Dale Miller, Gopalan Nadathur. by
  • Miller, Dale [author.]
  • Nadathur, Gopalan [author.]
Material type: Text Text; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2012
Availability: No items available.

10.
Geography of Order and Chaos in Mechanics [electronic resource] : Investigations of Quasi-Integrable Systems with Analytical, Numerical, and Graphical Tools / by Bruno Cordani. by
  • Cordani, Bruno [author.]
  • SpringerLink (Online service)
Series: Progress in Mathematical Physics ; 64
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: New York, NY : Springer New York : Imprint: Birkhäuser, 2013
Availability: No items available.

11.
Software Engineering [electronic resource] : International Summer Schools, ISSSE 2009-2011, Salerno, Italy. Revised Tutorial Lectures / edited by Andrea De Lucia, Filomena Ferrucci. by
  • Lucia, Andrea De [editor.]
  • Ferrucci, Filomena [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7171
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.
Research and Development in Intelligent Systems XXX [electronic resource] : Incorporating Applications and Innovations in Intelligent Systems XXI Proceedings of AI-2013, The Thirty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence / edited by Max Bramer, Miltos Petridis. by
  • Bramer, Max [editor.]
  • Petridis, Miltos [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.

13.
Principles and Practice of Constraint Programming [electronic resource] : 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings / edited by Christian Schulte. by
  • Schulte, Christian [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8124
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.
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.

15.
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.

16.
Design Technologies for Green and Sustainable Computing Systems [electronic resource] / edited by Partha Pratim Pande, Amlan Ganguly, Krishnendu Chakrabarty. by
  • Pande, Partha Pratim [editor.]
  • Ganguly, Amlan [editor.]
  • Chakrabarty, Krishnendu [editor.]
  • 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.

17.
Computer and Computing Technologies in Agriculture VI [electronic resource] : 6th IFIP WG 5.14 International Conference, CCTA 2012, Zhangjiajie, China, October 19-21, 2012, Revised Selected Papers, Part I / edited by Daoliang Li, Yingyi Chen. by
  • Li, Daoliang [editor.]
  • Chen, Yingyi [editor.]
  • SpringerLink (Online service)
Series: IFIP Advances in Information and Communication Technology ; 392
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.

18.
Formal languages, automata and numeration systems. 1, Introduction to combinatorics on words / Michel Rigo. by
  • Rigo, Michel
Series: Networks and telecommunications series
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: London : Wiley, 2014
Other title:
  • Introduction to combinatorics on words
Availability: No items available.

19.
Quantitative assessments of distributed systems : methodologies and techniques / edited by Dario Bruneo and Salvatore Distefano. by
  • Bruneo, Dario
  • Distefano, Salvatore
Series: Performability engineering series | Performability engineering series
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Hoboken : John Wiley and Sons, Inc., 2015
Availability: No items available.

20.
Environmental experience and plasticity of the developing brain / edited by Alessandro Sale. by
  • Sale, Alessandro [editor.]
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Hoboken, New Jersey : Wiley/Blackwell, [2016]
Availability: No items available.

Pages