Welcome to Central Library, SUST

Your search returned 622 results.

Not what you expected? Check for suggestions
Sort
Results
81.
Logic and Its Applications [electronic resource] : 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings / edited by Kamal Lodaya. by
  • Lodaya, Kamal [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7750
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.
Mathematical and Engineering Methods in Computer Science [electronic resource] : 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers / edited by Antonín Kučera, Thomas A. Henzinger, Jaroslav Nešetřil, Tomáš Vojnar, David Antoš. by
  • Kučera, Antonín [editor.]
  • Henzinger, Thomas A [editor.]
  • Nešetřil, Jaroslav [editor.]
  • Vojnar, Tomáš [editor.]
  • Antoš, David [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7721
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.
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.

84.
WALCOM: Algorithms and Computation [electronic resource] : 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013. Proceedings / edited by Subir Kumar Ghosh, Takeshi Tokuyama. by
  • Ghosh, Subir Kumar [editor.]
  • Tokuyama, Takeshi [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7748
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.
Distributed Computing and Internet Technology [electronic resource] : 9th International Conference, ICDCIT 2013, Bhubaneswar, India, February 5-8, 2013. Proceedings / edited by Chittaranjan Hota, Pradip K. Srimani. by
  • Hota, Chittaranjan [editor.]
  • Srimani, Pradip K [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7753
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.
Citizen in Sensor Networks [electronic resource] : First International Workshop, CitiSens 2012, Montpellier, France, August 27, 2012, Revised Selected Papers / edited by Jordi Nin, Daniel Villatoro. by
  • Nin, Jordi [editor.]
  • Villatoro, Daniel [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7685
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.
Software Language Engineering [electronic resource] : 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers / edited by Krzysztof Czarnecki, Görel Hedin. by
  • Czarnecki, Krzysztof [editor.]
  • Hedin, Görel [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7745
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.
Algorithms for Sensor Systems [electronic resource] : 8th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2012, Ljubljana, Slovenia, September 13-14, 2012. Revised Selected Papers / edited by Amotz Bar-Noy, Magnús M. Halldórsson. by
  • Bar-Noy, Amotz [editor.]
  • Halldórsson, Magnús M [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7718
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.

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

90.
Construction and Evolution of Code Generators [electronic resource] : A Model-Driven and Service-Oriented Approach / by Sven Jörges. by
  • Jörges, Sven [author.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7747
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.

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

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

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

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

95.
Agents and Data Mining Interaction [electronic resource] : 8th International Workshop, ADMI 2012, Valencia, Spain, June 4-5, 2012, Revised Selected Papers / edited by Longbing Cao, Yifeng Zeng, Andreas L. Symeonidis, Vladimir I. Gorodetsky, Philip S. Yu, Munindar P Singh. by
  • Cao, Longbing [editor.]
  • Zeng, Yifeng [editor.]
  • Symeonidis, Andreas L [editor.]
  • Gorodetsky, Vladimir I [editor.]
  • Yu, Philip S [editor.]
  • Singh, Munindar P [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7607
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.

96.
Reversible Computation [electronic resource] : 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers / edited by Robert Glück, Tetsuo Yokoyama. by
  • Glück, Robert [editor.]
  • Yokoyama, Tetsuo [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7581
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.

97.
Pairing-Based Cryptography – Pairing 2012 [electronic resource] : 5th International Conference, Cologne, Germany, May 16-18, 2012, Revised Selected Papers / edited by Michel Abdalla, Tanja Lange. by
  • Abdalla, Michel [editor.]
  • Lange, Tanja [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7708
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.

98.
Chinese Lexical Semantics [electronic resource] : 13th Workshop, CLSW 2012, Wuhan, China, July 6-8, 2012, Revised Selected Papers / edited by Donghong Ji, Guozheng Xiao. by
  • Ji, Donghong [editor.]
  • Xiao, Guozheng [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7717
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.

99.
Public-Key Cryptography – PKC 2013 [electronic resource] : 16th International Conference on Practice and Theory in Public-Key Cryptography, Nara, Japan, February 26 – March 1, 2013. Proceedings / edited by Kaoru Kurosawa, Goichiro Hanaoka. by
  • Kurosawa, Kaoru [editor.]
  • Hanaoka, Goichiro [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7778
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.

100.
Information Hiding [electronic resource] : 14th International Conference, IH 2012, Berkeley, CA, USA, May 15-18, 2012, Revised Selected Papers / edited by Matthias Kirchner, Dipak Ghosal. by
  • Kirchner, Matthias [editor.]
  • Ghosal, Dipak [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7692
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