Welcome to Central Library, SUST

Refine your search

Your search returned 119 results.

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

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

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

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

45.
Aliasing in Object-Oriented Programming. Types, Analysis and Verification [electronic resource] / edited by Dave Clarke, James Noble, Tobias Wrigstad. by
  • Clarke, Dave [editor.]
  • Noble, James [editor.]
  • Wrigstad, Tobias [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7850
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.

46.
Compiler Construction [electronic resource] : 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Ranjit Jhala, Koen De Bosschere. by
  • Jhala, Ranjit [editor.]
  • Bosschere, Koen De [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7791
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.

47.
Languages and Compilers for Parallel Computing [electronic resource] : 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers / edited by Hironori Kasahara, Keiji Kimura. by
  • Kasahara, Hironori [editor.]
  • Kimura, Keiji [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7760
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.

48.
Grid and Pervasive Computing [electronic resource] : 8th International Conference, GPC 2013 and Colocated Workshops, Seoul, Korea, May 9-11, 2013. Proceedings / edited by James J. (Jong Hyuk) Park, Hamid R. Arabnia, Cheonshik Kim, Weisong Shi, Joon-Min Gil. by
  • Park, James J. (Jong Hyuk) [editor.]
  • Arabnia, Hamid R [editor.]
  • Kim, Cheonshik [editor.]
  • Shi, Weisong [editor.]
  • Gil, Joon-Min [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7861
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.

49.
Smart Grid Security [electronic resource] : First International Workshop, SmartGridSec 2012, Berlin, Germany, December 3, 2012, Revised Selected Papers / edited by Jorge Cuellar. by
  • Cuellar, Jorge [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7823
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.

50.
NASA Formal Methods [electronic resource] : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings / edited by Guillaume Brat, Neha Rungta, Arnaud Venet. by
  • Brat, Guillaume [editor.]
  • Rungta, Neha [editor.]
  • Venet, Arnaud [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7871
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.

51.
Web Dynpro ABAP for Practitioners [electronic resource] / by Ulrich Gellert, Ana Daniela Cristea. by
  • Gellert, Ulrich [author.]
  • Cristea, Ana Daniela [author.]
  • SpringerLink (Online service)
Edition: 2nd ed. 2013.
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.

52.
Wired/Wireless Internet Communication [electronic resource] : 11th International Conference, WWIC 2013, St. Petersburg, Russia, June 5-7, 2013. Proceedings / edited by Vassilis Tsaoussidis, Andreas J. Kassler, Yevgeni Koucheryavy, Abdelhamid Mellouk. by
  • Tsaoussidis, Vassilis [editor.]
  • Kassler, Andreas J [editor.]
  • Koucheryavy, Yevgeni [editor.]
  • Mellouk, Abdelhamid [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7889
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.

53.
Coordination Models and Languages [electronic resource] : 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings / edited by Rocco De Nicola, Christine Julien. by
  • Nicola, Rocco De [editor.]
  • Julien, Christine [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7890
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.

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

55.
Euro-Par 2013 Parallel Processing [electronic resource] : 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings / edited by Felix Wolf, Bernd Mohr, Dieter an Mey. by
  • Wolf, Felix [editor.]
  • Mohr, Bernd [editor.]
  • Mey, Dieter an [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8097
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.

56.
Energy Efficiency in Large Scale Distributed Systems [electronic resource] : COST IC0804 European Conference, EE-LSDS 2013, Vienna, Austria, April 22-24, 2013, Revised Selected Papers / edited by Jean-Marc Pierson, Georges Da Costa, Lars Dittmann. by
  • Pierson, Jean-Marc [editor.]
  • Da Costa, Georges [editor.]
  • Dittmann, Lars [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8046
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.

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

58.
Software Engineering for Resilient Systems [electronic resource] : 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings / edited by Anatoliy Gorbenko, Alexander Romanovsky, Vyacheslav Kharchenko. by
  • Gorbenko, Anatoliy [editor.]
  • Romanovsky, Alexander [editor.]
  • Kharchenko, Vyacheslav [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8166
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.

59.
Ada 2012 Rationale [electronic resource] : The Language, The Standard Libraries / by John Barnes. by
  • Barnes, John [author.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8338
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.

60.
Advanced Parallel Processing Technologies [electronic resource] : 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers / edited by Chenggang Wu, Albert Cohen. by
  • Wu, Chenggang [editor.]
  • Cohen, Albert [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8299
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