Welcome to Central Library, SUST

Your search returned 273 results.

Not what you expected? Check for suggestions
Sort
Results
1.
DNA Computing and Molecular Programming [electronic resource] : 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings / edited by David Soloveichik, Bernard Yurke. by
  • Soloveichik, David [editor.]
  • Yurke, Bernard [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8141
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.

2.
Economics of Grids, Clouds, Systems, and Services [electronic resource] : 10th International Conference, GECON 2013, Zaragoza, Spain, September 18-20, 2013. Proceedings / edited by Jörn Altmann, Kurt Vanmechelen, Omer F. Rana. by
  • Altmann, Jörn [editor.]
  • Vanmechelen, Kurt [editor.]
  • Rana, Omer F [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8193
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.

3.
Automated Technology for Verification and Analysis [electronic resource] : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings / edited by Dang Van Hung, Mizuhito Ogawa. by
  • Hung, Dang Van [editor.]
  • Ogawa, Mizuhito [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8172
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.

4.
Software Language Engineering [electronic resource] : 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings / edited by Martin Erwig, Richard F. Paige, Eric Van Wyk. by
  • Erwig, Martin [editor.]
  • Paige, Richard F [editor.]
  • Wyk, Eric Van [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8225
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.

5.
Social Robotics [electronic resource] : 5th International Conference, ICSR 2013, Bristol, UK, October 27-29, 2013, Proceedings / edited by Guido Herrmann, Martin J. Pearson, Alexander Lenz, Paul Bremner, Adam Spiers, Ute Leonards. by
  • Herrmann, Guido [editor.]
  • Pearson, Martin J [editor.]
  • Lenz, Alexander [editor.]
  • Bremner, Paul [editor.]
  • Spiers, Adam [editor.]
  • Leonards, Ute [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8239
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.

6.
Active Media Technology [electronic resource] : 9th International Conference, AMT 2013, Maebashi, Japan, October 29-31, 2013, Proceedings / edited by Tetsuya Yoshida, Gang Kou, Andrzej Skowron, Jiannong Cao, Hakim Hacid, Ning Zhong. by
  • Yoshida, Tetsuya [editor.]
  • Kou, Gang [editor.]
  • Skowron, Andrzej [editor.]
  • Cao, Jiannong [editor.]
  • Hacid, Hakim [editor.]
  • Zhong, Ning [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8210
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.

7.
Brain and Health Informatics [electronic resource] : International Conference, BHI 2013, Maebashi, Japan, October 29-31, 2013. Proceedings / edited by Kazayuki Imamura, Shiro Usui, Tomoaki Shirao, Takuji Kasamatsu, Lars Schwabe, Ning Zhong. by
  • Imamura, Kazayuki [editor.]
  • Usui, Shiro [editor.]
  • Shirao, Tomoaki [editor.]
  • Kasamatsu, Takuji [editor.]
  • Schwabe, Lars [editor.]
  • Zhong, Ning [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8211
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.

8.
Interactive Storytelling [electronic resource] : 6th International Conference, ICIDS 2013, Istanbul, Turkey, November 6-9, 2013, Proceedings / edited by Hartmut Koenitz, Tonguc Ibrahim Sezen, Gabriele Ferri, Mads Haahr, Digdem Sezen, Güven C̨atak. by
  • Koenitz, Hartmut [editor.]
  • Sezen, Tonguc Ibrahim [editor.]
  • Ferri, Gabriele [editor.]
  • Haahr, Mads [editor.]
  • Sezen, Digdem [editor.]
  • C̨atak, Güven [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8230
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.

9.
Hardware and Software: Verification and Testing [electronic resource] : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings / edited by Valeria Bertacco, Axel Legay. by
  • Bertacco, Valeria [editor.]
  • Legay, Axel [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8244
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.

10.
Ubiquitous Computing and Ambient Intelligence. Context-Awareness and Context-Driven Interaction [electronic resource] : 7th International Conference, UCAmI 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings / edited by Gabriel Urzaiz, Sergio F. Ochoa, José Bravo, Liming Luke Chen, Jonice Oliveira. by
  • Urzaiz, Gabriel [editor.]
  • Ochoa, Sergio F [editor.]
  • Bravo, José [editor.]
  • Chen, Liming Luke [editor.]
  • Oliveira, Jonice [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8276
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.
Fuzzy Logic and Applications [electronic resource] : 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013. Proceedings / edited by Francesco Masulli, Gabriella Pasi, Ronald Yager. by
  • Masulli, Francesco [editor.]
  • Pasi, Gabriella [editor.]
  • Yager, Ronald [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8256
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.

12.
Trusted Systems [electronic resource] : 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings / edited by Roderick Bloem, Peter Lipp. by
  • Bloem, Roderick [editor.]
  • Lipp, Peter [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8292
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.
AI*IA 2013: Advances in Artificial Intelligence [electronic resource] : XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings / edited by Matteo Baldoni, Cristina Baroglio, Guido Boella, Roberto Micalizio. by
  • Baldoni, Matteo [editor.]
  • Baroglio, Cristina [editor.]
  • Boella, Guido [editor.]
  • Micalizio, Roberto [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8249
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.

14.
Programming Languages and Systems [electronic resource] : 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings / edited by Chung-chieh Shan. by
  • Shan, Chung-chieh [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8301
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.

15.
Certified Programs and Proofs [electronic resource] : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings / edited by Georges Gonthier, Michael Norrish. by
  • Gonthier, Georges [editor.]
  • Norrish, Michael [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8307
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.

16.
Cyberspace Safety and Security [electronic resource] : 5th International Symposium, CSS 2013, Zhangjiajie, China, November 13-15, 2013, Proceedings / edited by Guojun Wang, Indrakshi Ray, Dengguo Feng, Muttukrishnan Rajarajan. by
  • Wang, Guojun [editor.]
  • Ray, Indrakshi [editor.]
  • Feng, Dengguo [editor.]
  • Rajarajan, Muttukrishnan [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8300
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.

17.
Ambient Intelligence [electronic resource] : 4th International Joint Conference, AmI 2013, Dublin, Ireland, December 3-5, 2013. Proceedings / edited by Juan Carlos Augusto, Reiner Wichert, Rem Collier, David Keyson, Albert Ali Salah, Ah-Hwee Tan. by
  • Augusto, Juan Carlos [editor.]
  • Wichert, Reiner [editor.]
  • Collier, Rem [editor.]
  • Keyson, David [editor.]
  • Salah, Albert Ali [editor.]
  • Tan, Ah-Hwee [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8309
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.

18.
AI 2013: Advances in Artificial Intelligence [electronic resource] : 26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings / edited by Stephen Cranefield, Abhaya Nayak. by
  • Cranefield, Stephen [editor.]
  • Nayak, Abhaya [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8272
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.

19.
Swarm, Evolutionary, and Memetic Computing [electronic resource] : 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I / edited by Bijaya Ketan Panigrahi, Ponnuthurai Nagaratnam Suganthan, Swagatam Das, Shubhransu Sekhar Dash. by
  • Panigrahi, Bijaya Ketan [editor.]
  • Suganthan, Ponnuthurai Nagaratnam [editor.]
  • Das, Swagatam [editor.]
  • Dash, Shubhransu Sekhar [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8297
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.

20.
Swarm, Evolutionary, and Memetic Computing [electronic resource] : 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part II / edited by Bijaya Ketan Panigrahi, Ponnuthurai Nagaratnam Suganthan, Swagatam Das, Shubhransu Sekhar Dash. by
  • Panigrahi, Bijaya Ketan [editor.]
  • Suganthan, Ponnuthurai Nagaratnam [editor.]
  • Das, Swagatam [editor.]
  • Dash, Shubhransu Sekhar [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8298
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.

Pages