Welcome to Central Library, SUST

Refine your search

Your search returned 481 results.

Not what you expected? Check for suggestions
Sort
Results
141.
Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006, Charleston, SC, USA, january 8-10, 2006 : proceedings / [edited by] E. Allen Emerson, Kedar S. Namjoshi. by
  • Emerson, E. Allen
  • Namjoshi, Kedar S
Series: Lecture notes in computer science ; 3855
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, c2006
Availability: Items available for loan: Central Library, SUST (3)Call number: 005.14 EMV, ...

142.
The work of art in a digital age : art, technology and globalisation / Melissa Langdon. by
  • Langdon, Melissa
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New york : Springer, c2014
Availability: Items available for loan: Central Library, SUST (3)Call number: 776.0 LAW, ...

143.
Topology of digital images : visual pattern discovery in proximity spaces / James F. Peters. by
  • Peters, James F [author.]
Series:
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: London : Springer. c2014
Availability: Items available for loan: Central Library, SUST (5)Call number: 574.012 PET, ...

144.
Software project effort estimation / Adam Trendowicz; Ross Jeffery by
  • Trendowicz, Adam
  • Jeffery, Ross
Material type: Text Text; Format: microfiche ; Literary form: Not fiction
Publication details: Cham : Springer, c2014
Availability: Items available for loan: Central Library, SUST (3)Call number: 005.1068 TRS, ...

145.
Systems and software quality : the next step for industrialisation / Martin Wieczorek, Diederik Vos, Heinz Bons by
  • Wieczorek, Martin
  • Vos, Diederik
  • Bons, Heinz
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Heidelberg : Springer, 2014
Availability: Items available for loan: Central Library, SUST (3)Call number: 338.470016425 WIS, ...

146.
Software project management in a changing world / Edited by Gunther Ruhe, Claes Wohlin. by
  • Ruhe, Gunther
  • Wohlin, Claes
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: London : Springer. c2014
Availability: Items available for loan: Central Library, SUST (3)Call number: 379.26097292 SOF, ...

147.
Advances in artificial intelligence : 24th Canadian Conference on Artificial Intelligence, Canadian AI 2011, St. John's, Canada, May 25-27, 2011 : proceedings / Cory Butz, Pawan Lingras (eds.). by
  • Canadian Conference on Artificial Intelligence (24th : 2011 : St. John's, N.L.)
  • Butz, Cory [editor.]
  • Lingras, Pawan [editor.]
Series: Lecture notes in computer science, Lecture notes in artifical intelligence ; 6657.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin. : Springer. 2011
Availability: Items available for loan: Central Library, SUST (3)Call number: 610.285 ADA, ...

148.
Approaches in integrative bioinformatics : towards the virtual cell / Ming Chen, Ralf Hofestadt, editors. by
  • Chen, Ming (Professor of bioinformatics) [editor.]
  • Hofestadt, Ralf [editor.]
Material type: Text Text; Format: microfiche ; Literary form: Not fiction
Publication details: Heidelberg : Springer, c2014
Availability: Items available for loan: Central Library, SUST (2)Call number: 004.0151 APP, ...

149.
Genetic Programming Theory and Practice X / Rick Riolo, Ekaterina Vladislavleva, Marylyn D. Ritchie, Jason H. Moore, editors ; foreword by Bill Worzel. by
  • Workshop on Genetic Programming, Theory and Practice (10th : 2012 : Ann Arbor, Mich.)
  • Riolo, Rick [editor.]
  • Vladislavleva, Ekaterina [editor.]
  • Ritchie, Marylyn D [editor]
  • Moore, Jason H [editor.]
  • Worzel, Bill [writer of supplementary textual content.]
Series: Genetic and evolutionary computation series
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Springer, c2013
Other title:
  • Genetic programming theory and practice 10
Availability: Items available for loan: Central Library, SUST (3)Call number: 006 GEN, ...

150.
Ways of knowing in HCI / Judith S. Olson, Wendy A. Kellogg, editors. by
  • Olson, Judith S [editor of compilation.]
  • Kellogg, Wendy [editor of compilation.]
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: London: Springer. c2014
Availability: Items available for loan: Central Library, SUST (2)Call number: 004.019 WAY, ...

151.
Cloud computing patterns : fundamentals to design, build, and manage cloud applications / Christoph Fehling ... [and 4 others]. by
  • Fehling, Cristoph
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New york : Springer, c2014
Availability: Items available for loan: Central Library, SUST (3)Call number: 004.6782 CLO, ...

152.
Cloud data management / Liang Zhao ... [et al.]. by
  • Sakr, Sherif, 1979- [author.]
  • Liu, Anna [author.]
  • Bouguettaya, Athman [author.]
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: London : Springer. c2014
Availability: Items available for loan: Central Library, SUST (3)Call number: 004.6782 CLO, ...

153.
Wireless networking for moving objects : protocols, architectures, tools, services and applications / [edited by] Ivan Ganchev, Marilia Curado, Andreas Kassler. by
  • Ganchev, Ivan
  • Curado, Marilia
  • Kassler, Andreas
Series: Lecture notes in computer science ; 8611
Material type: Text Text; Format: microfiche ; Literary form: Not fiction
Publication details: New york : Springer, c2014
Availability: Items available for loan: Central Library, SUST (3)Call number: 621.382 WIR, ...

154.
Web services foundations. Athman Bouguettaya ... [et al.]. by
  • Sheng, Quan Z
  • Daniel, Florian
  • Papazoglou, M
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York, NY : Springer, c2014
Availability: Items available for loan: Central Library, SUST (1)Call number: 006.33 WEB.

155.
Video analysis and repackaging for distance education / Ranjith Ram, Subhasis Chaudhuri. by
  • Ram, Ranjith
  • Chaudhuri, Subhasis
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Springer, c2012
Availability: Items available for loan: Central Library, SUST (3)Call number: 778.5350285 RAV, ...

156.
Bridging between information retrieval and databases : promise winter school 2013, Bressanone, Italy, February 4-8, 2013. Revised Tutorial Lectures / [edited by] Nicola Ferro. by
  • Ferro, Nicola
Series: Lecture notes in computer science ; 8173
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New york : Springer, c2014
Availability: Items available for loan: Central Library, SUST (2)Call number: 621.3670285443 BRI, ...

157.
Wireless sensors in heterogeneous networked systems : configuration and operation middleware / Jose Cecilio. by
  • Cecilio, Jose
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: London : Springer. c2014
Availability: Items available for loan: Central Library, SUST (3)Call number: 004.652 CEW, ...

158.
Writing for computer science. Justin Zobel by
  • Zobel, Justin
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: London : Springer, c2014
Availability: Items available for loan: Central Library, SUST (3)Call number: 808.0666021 ZOW, ...

159.
Logic, language, and computation : 8th International TBILISI Symposium on Logic, Language, and Computation, TBILLC 2009, Bakuriani, Georgia, September 21-25, 2009. revised selected papers / [edited by] Nick Bezhanishvili, Sebastian Loebner, Kerstin Schwabe. by
  • Bezhanishvili, Nick
  • Loebne, Sebastian
  • Schwabe, Kerstin
Series: Lecture notes in artificial intelligence ; 6618
Edition: 1st ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Springer, 2011
Availability: Items available for loan: Central Library, SUST (3)Call number: 621.395 LOG, ...

160.
Mashups : concepts, models and architectures / Florian Daniel, Maristella Matera by
  • Daniel, Florian
  • Matera, Maristella
Material type: Text Text; Format: microfiche ; Literary form: Not fiction
Publication details: Heidelberg : Springer, c2014
Availability: Items available for loan: Central Library, SUST (2)Call number: 004.678 DAM, ...

Pages