Welcome to Central Library, SUST

Refine your search

Your search returned 239 results.

Not what you expected? Check for suggestions
Sort
Results
81.
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.

82.
Programming Logics [electronic resource] : Essays in Memory of Harald Ganzinger / edited by Andrei Voronkov, Christoph Weidenbach. by
  • Voronkov, Andrei [editor.]
  • Weidenbach, Christoph [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7797
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.

83.
Theories of Programming and Formal Methods [electronic resource] : Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday / edited by Zhiming Liu, Jim Woodcock, Huibiao Zhu. by
  • Liu, Zhiming [editor.]
  • Woodcock, Jim [editor.]
  • Zhu, Huibiao [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8051
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.

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

85.
Computational Methods in Systems Biology [electronic resource] : 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings / edited by Ashutosh Gupta, Thomas A. Henzinger. by
  • Gupta, Ashutosh [editor.]
  • Henzinger, Thomas A [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8130
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.

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

87.
Algorithmic Decision Theory [electronic resource] : Third International Conference, ADT 2013, Bruxelles, Belgium, November 12-14, 2013, Proceedings / edited by Patrice Perny, Marc Pirlot, Alexis Tsoukiàs. by
  • Perny, Patrice [editor.]
  • Pirlot, Marc [editor.]
  • Tsoukiàs, Alexis [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8176
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.

88.
Beginning Android C++ Game Development [electronic resource] / by Bruce Sutherland. by
  • Sutherland, Bruce [author.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Publication details: New York : Apress. 2013
Availability: Items available for loan: Central Library, SUST (2)Call number: 004 SUB, ...

89.
Assembly Language Programming : ARM Cortex-M3. by
  • Mahout, Vincent
Series: ISTE
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: London : Wiley, 2013
Availability: No items available.

90.
Concepts of combinatorial optimization / edited by Vangelis Th. Paschos. by
  • Paschos, Vangelis Th
Series: ISTE
Edition: 2nd ed.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Hoboken : Wiley, 2014
Availability: No items available.

91.
Beginning Java® programming : the object oriented approach / Bart Baesens, Aimée Backiel, Seppe vanden Broucke. by
  • Baesens, Bart [author.]
  • Backiel, Aimée [author.]
  • Vanden Broucke, Seppe [author.]
Series: Wrox programmer to programmer
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Hoboken, New Jersey : Wrox : John Wiley & Sons, [2015]
Availability: No items available.

92.
Beginning JavaScript / Jeremy McPeak, Paul Wilton. by
  • McPeak, Jeremy, 1979- [author.]
  • Wilton, Paul, 1969- [author.]
Series: Wrox beginning guides
Edition: Fifth edition.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • EB00611997 Recorded Books
Publication details: Hoboken : Wrox, a Wiley Brand, [2015]
Availability: No items available.

93.
Computational and Analytical Mathematics [electronic resource] : In Honor of Jonathan Borwein's 60th Birthday / edited by David H. Bailey, Heinz H. Bauschke, Peter Borwein, Frank Garvan, Michel Théra, Jon D. Vanderwerff, Henry Wolkowicz. by
  • Bailey, David H [editor.]
  • Bauschke, Heinz H [editor.]
  • Borwein, Peter [editor.]
  • Garvan, Frank [editor.]
  • Théra, Michel [editor.]
  • Vanderwerff, Jon D [editor.]
  • Wolkowicz, Henry [editor.]
  • SpringerLink (Online service)
Series: Springer Proceedings in Mathematics & Statistics ; 50
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.

94.
Parameterized and Exact Computation [electronic resource] : 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers / edited by Gregory Gutin, Stefan Szeider. by
  • Gutin, Gregory [editor.]
  • Szeider, Stefan [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8246
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.

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

96.
Large Scale Network-Centric Distributed Systems / edited by Hamid Sarbazi-Azad, Albert Y. Zomaya. by
  • Sarbazi-Azad, Hamid
  • Zomaya, Albert Y
Series: Wiley series on parallel and distributed computing
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Hoboken, New Jersey : Wiley, ©2014
Availability: No items available.

97.
Middleware Solutions for the Internet of Things [electronic resource] / by Flávia C. Delicato, Paulo F. Pires, Thais Batista. by
  • Delicato, Flávia C [author.]
  • Pires, Paulo F [author.]
  • Batista, Thais [author.]
  • SpringerLink (Online service)
Series: SpringerBriefs in Computer Science
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013
Availability: No items available.

98.
International journal of smart engineering system design [electronic resource].
Source: Academic Search Premier
Material type: Continuing resource Continuing resource; Format: available online remote; Type of continuing resource: periodical
Publication details: [London] : Gordon and Breach, -2003
Availability: No items available.

99.
International journal of computer mathematics [electronic resource].
Source: Academic Search Premier
Material type: Continuing resource Continuing resource; Format: available online remote; Type of continuing resource: periodical
Publication details: London ; New York : Gordon and Breach Science Publishers, [1964]-
Availability: No items available.

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

Pages