Welcome to Central Library, SUST

Your search returned 64 results.

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

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

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

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

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

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

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

8.
Principles of Distributed Systems [electronic resource] : 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings / edited by Roberto Baldoni, Nicolas Nisse, Maarten van Steen. by
  • Baldoni, Roberto [editor.]
  • Nisse, Nicolas [editor.]
  • Steen, Maarten van [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8304
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.
Multiple Access Communcations [electronic resource] : 6th International Workshop, MACOM 2013, Vilnius, Lithuania, December 16-17, 2013. Proceedings / edited by Magnus Jonsson, Alexey Vinel, Boris Bellalta, Ninoslav Marina, Desislava Dimitrova, Dieter Fiems. by
  • Jonsson, Magnus [editor.]
  • Vinel, Alexey [editor.]
  • Bellalta, Boris [editor.]
  • Marina, Ninoslav [editor.]
  • Dimitrova, Desislava [editor.]
  • Fiems, Dieter [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8310
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.
Critical Information Infrastructures Security [electronic resource] : 8th International Workshop, CRITIS 2013, Amsterdam, The Netherlands, September 16-18, 2013, Revised Selected Papers / edited by Eric Luiijf, Pieter Hartel. by
  • Luiijf, Eric [editor.]
  • Hartel, Pieter [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8328
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.
Job Scheduling Strategies for Parallel Processing [electronic resource] : 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers / edited by Walfredo Cirne, Narayan Desai, Eitan Frachtenberg, Uwe Schwiegelshohn. by
  • Cirne, Walfredo [editor.]
  • Desai, Narayan [editor.]
  • Frachtenberg, Eitan [editor.]
  • Schwiegelshohn, Uwe [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7698
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.
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings / edited by Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni. by
  • Giacobazzi, Roberto [editor.]
  • Berdine, Josh [editor.]
  • Mastroeni, Isabella [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7737
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.

13.
Languages and Compilers for Parallel Computing [electronic resource] : 24th International Workshop, LCPC 2011, Fort Collins, CO, USA, September 8-10, 2011. Revised Selected Papers / edited by Sanjay Rajopadhye, Michelle Mills Strout. by
  • Rajopadhye, Sanjay [editor.]
  • Mills Strout, Michelle [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7146
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.
Topics in Cryptology – CT-RSA 2013 [electronic resource] : The Cryptographers’ Track at the RSA Conference 2013, San Francisco,CA, USA, February 25-March 1, 2013. Proceedings / edited by Ed Dawson. by
  • Dawson, Ed [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7779
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.
Radio Frequency Identification. Security and Privacy Issues [electronic resource] : 8th International Workshop, RFIDSec 2012, Nijmegen, The Netherlands, July 2-3, 2012, Revised Selected Papers / edited by Jaap-Henk Hoepman, Ingrid Verbauwhede. by
  • Hoepman, Jaap-Henk [editor.]
  • Verbauwhede, Ingrid [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7739
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.
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] : 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers / edited by José L. Ayala, Delong Shang, Alex Yakovlev. by
  • Ayala, José L [editor.]
  • Shang, Delong [editor.]
  • Yakovlev, Alex [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7606
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.

17.
Security Protocols XVII [electronic resource] : 17th International Workshop, Cambridge, UK, April 1-3, 2009. Revised Selected Papers / edited by Bruce Christianson, James A. Malcolm, Vashek Matyáš, Michael Roe. by
  • Christianson, Bruce [editor.]
  • Malcolm, James A [editor.]
  • Matyáš, Vashek [editor.]
  • Roe, Michael [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7028
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.
Assurances for Self-Adaptive Systems [electronic resource] : Principles, Models, and Techniques / edited by Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes. by
  • Cámara, Javier [editor.]
  • Lemos, Rogério de [editor.]
  • Ghezzi, Carlo [editor.]
  • Lopes, Antónia [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7740
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.

19.
Architecture of Computing Systems – ARCS 2013 [electronic resource] : 26th International Conference, Prague, Czech Republic, February 19-22, 2013. Proceedings / edited by Hana Kubátová, Christian Hochberger, Martin Daněk, Bernhard Sick. by
  • Kubátová, Hana [editor.]
  • Hochberger, Christian [editor.]
  • Daněk, Martin [editor.]
  • Sick, Bernhard [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7767
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.

20.
Passive and Active Measurement [electronic resource] : 14th International Conference, PAM 2013, Hong Kong, China, March 18-19, 2013. Proceedings / edited by Matthew Roughan, Rocky Chang. by
  • Roughan, Matthew [editor.]
  • Chang, Rocky [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7799
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