Welcome to Central Library, SUST

Your search returned 507 results.

Not what you expected? Check for suggestions
Sort
Results
101.
Compiler Design [electronic resource] : Syntactic and Semantic Analysis / by Reinhard Wilhelm, Helmut Seidl, Sebastian Hack. by
  • Wilhelm, Reinhard [author.]
  • Seidl, Helmut [author.]
  • Hack, Sebastian [author.]
  • SpringerLink (Online service)
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.

102.
Software and Data Technologies [electronic resource] : 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers / edited by José Cordeiro, Maria Virvou, Boris Shishkov. by
  • Cordeiro, José [editor.]
  • Virvou, Maria [editor.]
  • Shishkov, Boris [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 170
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.

103.
Managing Open Innovation Technologies [electronic resource] / edited by Jenny S. Z. Eriksson Lundström, Mikael Wiberg, Stefan Hrastinski, Mats Edenius, Pär J. Ågerfalk. by
  • Eriksson Lundström, Jenny S. Z [editor.]
  • Wiberg, Mikael [editor.]
  • Hrastinski, Stefan [editor.]
  • Edenius, Mats [editor.]
  • Ågerfalk, Pär J [editor.]
  • SpringerLink (Online service)
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.

104.
Concurrent Programming: Algorithms, Principles, and Foundations [electronic resource] : Algorithms, Principles, and Foundations / by Michel Raynal. by
  • Raynal, Michel [author.]
  • SpringerLink (Online service)
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.

105.
Evaluation of Novel Approaches to Software Engineering [electronic resource] : 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers / edited by Leszek A. Maciaszek, Kang Zhang. by
  • Maciaszek, Leszek A [editor.]
  • Zhang, Kang [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 275
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.

106.
Unsupervised Classification [electronic resource] : Similarity Measures, Classical and Metaheuristic Approaches, and Applications / by Sanghamitra Bandyopadhyay, Sriparna Saha. by
  • Bandyopadhyay, Sanghamitra [author.]
  • Saha, Sriparna [author.]
  • SpringerLink (Online service)
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.

107.
Understanding Petri Nets [electronic resource] : Modeling Techniques, Analysis Methods, Case Studies / by Wolfgang Reisig. by
  • Reisig, Wolfgang [author.]
  • SpringerLink (Online service)
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.

108.
Real-Time C++ [electronic resource] : Efficient Object-Oriented and Template Microcontroller Programming / by Christopher Kormanyos. by
  • Kormanyos, Christopher [author.]
  • SpringerLink (Online service)
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.

109.
Evolution of Semantic Systems [electronic resource] / edited by Bernd-Olaf Küppers, Udo Hahn, Stefan Artmann. by
  • Küppers, Bernd-Olaf [editor.]
  • Hahn, Udo [editor.]
  • Artmann, Stefan [editor.]
  • SpringerLink (Online service)
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.

110.
Auditing and GRC Automation in SAP [electronic resource] / by Maxim Chuprunov. by
  • Chuprunov, Maxim [author.]
  • SpringerLink (Online service)
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.

111.
Internetworking [electronic resource] : Technological Foundations and Applications / by Christoph Meinel, Harald Sack. by
  • Meinel, Christoph [author.]
  • Sack, Harald [author.]
  • SpringerLink (Online service)
Series: X.media.publishing
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.

112.
Runtime Verification [electronic resource] : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers / edited by Shaz Qadeer, Serdar Tasiran. by
  • Qadeer, Shaz [editor.]
  • Tasiran, Serdar [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7687
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.

113.
Theory of Quantum Computation, Communication, and Cryptography [electronic resource] : 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers / edited by Kazuo Iwama, Yasuhito Kawano, Mio Murao. by
  • Iwama, Kazuo [editor.]
  • Kawano, Yasuhito [editor.]
  • Murao, Mio [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7582
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.

114.
Unifying Theories of Programming [electronic resource] : 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers / edited by Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi. by
  • Wolff, Burkhart [editor.]
  • Gaudel, Marie-Claude [editor.]
  • Feliachi, Abderrahmane [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7681
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.

115.
Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings / edited by Sergei Artemov, Anil Nerode. by
  • Artemov, Sergei [editor.]
  • Nerode, Anil [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7734
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.

116.
ICT in Education, Research, and Industrial Applications [electronic resource] : 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers / edited by Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych. by
  • Ermolayev, Vadim [editor.]
  • Mayr, Heinrich C [editor.]
  • Nikitchenko, Mykola [editor.]
  • Spivakovsky, Aleksander [editor.]
  • Zholtkevych, Grygoriy [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 347
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.

117.
Trustworthy Computing and Services [electronic resource] : International Conference, ISCTCS 2012, Beijing, China, May 28 – June 2, 2012, Revised Selected Papers / edited by Yuyu Yuan, Xu Wu, Yueming Lu. by
  • Yuan, Yuyu [editor.]
  • Wu, Xu [editor.]
  • Lu, Yueming [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 320
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.

118.
Software Engineering for Self-Adaptive Systems II [electronic resource] : International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers / edited by Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw. by
  • Lemos, Rogério de [editor.]
  • Giese, Holger [editor.]
  • Müller, Hausi A [editor.]
  • Shaw, Mary [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7475
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.

119.
Formal Aspects of Component Software [electronic resource] : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers / edited by Corina S. Păsăreanu, Gwen Salaün. by
  • Păsăreanu, Corina S [editor.]
  • Salaün, Gwen [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7684
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.

120.
Mobile Communication and Power Engineering [electronic resource] : Second International Joint Conference, AIM/CCPE 2012, Bangalore, India, April 27-28, 2012, Revised Selected Papers / edited by Vinu V Das, Yogesh Chaba. by
  • Das, Vinu V [editor.]
  • Chaba, Yogesh [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 296
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