Welcome to Central Library, SUST

Your search returned 832 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
81.
Software Quality. Increasing Value in Software and Systems Development [electronic resource] : 5th International Conference, SWQD 2013, Vienna, Austria, January 15-17, 2013. Proceedings / edited by Dietmar Winkler, Stefan Biffl, Johannes Bergsmann. by
  • Winkler, Dietmar [editor.]
  • Biffl, Stefan [editor.]
  • Bergsmann, Johannes [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Business Information Processing ; 133
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
Online access:
Availability: No items available.

Add to cart
82.
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
Online access:
Availability: No items available.

Add to cart
83.
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
Online access:
Availability: No items available.

Add to cart
84.
Advances in Multimedia Modeling [electronic resource] : 19th International Conference, MMM 2013, Huangshan, China, January 7-9, 2013, Proceedings, Part I / edited by Shipeng Li, Abdulmotaleb El Saddik, Meng Wang, Tao Mei, Nicu Sebe, Shuicheng Yan, Richang Hong, Cathal Gurrin. by
  • Li, Shipeng [editor.]
  • Saddik, Abdulmotaleb El [editor.]
  • Wang, Meng [editor.]
  • Mei, Tao [editor.]
  • Sebe, Nicu [editor.]
  • Yan, Shuicheng [editor.]
  • Hong, Richang [editor.]
  • Gurrin, Cathal [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7732
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
Online access:
Availability: No items available.

Add to cart
85.
Advances in Multimedia Modeling [electronic resource] : 19th International Conference, MMM 2013, Huangshan, China, January 7-9, 2013, Proceedings, Part II / edited by Shipeng Li, Abdulmotaleb El Saddik, Meng Wang, Tao Mei, Nicu Sebe, Shuicheng Yan, Richang Hong, Cathal Gurrin. by
  • Li, Shipeng [editor.]
  • Saddik, Abdulmotaleb El [editor.]
  • Wang, Meng [editor.]
  • Mei, Tao [editor.]
  • Sebe, Nicu [editor.]
  • Yan, Shuicheng [editor.]
  • Hong, Richang [editor.]
  • Gurrin, Cathal [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7733
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
Online access:
Availability: No items available.

Add to cart
86.
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
Online access:
Availability: No items available.

Add to cart
87.
Material Appearance Modeling: A Data-Coherent Approach [electronic resource] / by Yue Dong, Stephen Lin, Baining Guo. by
  • Dong, Yue [author.]
  • Lin, Stephen [author.]
  • Guo, Baining [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
Online access:
Availability: No items available.

Add to cart
88.
Conceptual Structures for STEM Research and Education [electronic resource] : 20th International Conference on Conceptual Structures, ICCS 2013, Mumbai, India, January 10-12, 2013. Proceedings / edited by Heather D. Pfeiffer, Dmitry I. Ignatov, Jonas Poelmans, Nagarjuna Gadiraju. by
  • Pfeiffer, Heather D [editor.]
  • Ignatov, Dmitry I [editor.]
  • Poelmans, Jonas [editor.]
  • Gadiraju, Nagarjuna [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7735
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
Online access:
Availability: No items available.

Add to cart
89.
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
Online access:
Availability: No items available.

Add to cart
90.
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
Online access:
Availability: No items available.

Add to cart
91.
Evaluation of Natural Language and Speech Tools for Italian [electronic resource] : International Workshop, EVALITA 2011, Rome, January 24-25, 2012, Revised Selected Papers / edited by Bernardo Magnini, Francesco Cutugno, Mauro Falcone, Emanuele Pianta. by
  • Magnini, Bernardo [editor.]
  • Cutugno, Francesco [editor.]
  • Falcone, Mauro [editor.]
  • Pianta, Emanuele [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7689
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
Online access:
Availability: No items available.

Add to cart
92.
Digital Libraries and Archives [electronic resource] : 8th Italian Research Conference, IRCDL 2012, Bari, Italy, February 9-10, 2012, Revised Selected Papers / edited by Maristella Agosti, Floriana Esposito, Stefano Ferilli, Nicola Ferro. by
  • Agosti, Maristella [editor.]
  • Esposito, Floriana [editor.]
  • Ferilli, Stefano [editor.]
  • Ferro, Nicola [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 354
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
Online access:
Availability: No items available.

Add to cart
93.
Transactions on Computational Science XVII [electronic resource] / edited by Marina L. Gavrilova, C. J. Kenneth Tan. by
  • Gavrilova, Marina L [editor.]
  • Tan, C. J. Kenneth [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7420
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
Online access:
Availability: No items available.

Add to cart
94.
SOFSEM 2013: Theory and Practice of Computer Science [electronic resource] : 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings / edited by Peter van Emde Boas, Frans C. A. Groen, Giuseppe F. Italiano, Jerzy Nawrocki, Harald Sack. by
  • Emde Boas, Peter van [editor.]
  • Groen, Frans C. A [editor.]
  • Italiano, Giuseppe F [editor.]
  • Nawrocki, Jerzy [editor.]
  • Sack, Harald [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7741
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
Online access:
Availability: No items available.

Add to cart
95.
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
Online access:
Availability: No items available.

Add to cart
96.
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
Online access:
Availability: No items available.

Add to cart
97.
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
Online access:
Availability: No items available.

Add to cart
98.
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
Online access:
Availability: No items available.

Add to cart
99.
Information Systems, E-learning, and Knowledge Management Research [electronic resource] : 4th World Summit on the Knowledge Society, WSKS 2011, Mykonos, Greece, September 21-23, 2011. Revised Selected Papers / edited by Miltiadis D. Lytras, Da Ruan, Robert D. Tennyson, Patricia Ordonez De Pablos, Francisco José García Peñalvo, Lazar Rusu. by
  • Lytras, Miltiadis D [editor.]
  • Ruan, Da [editor.]
  • Tennyson, Robert D [editor.]
  • Ordonez De Pablos, Patricia [editor.]
  • García Peñalvo, Francisco José [editor.]
  • Rusu, Lazar [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 278
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
Online access:
Availability: No items available.

Add to cart
100.
Formal Methods for Components and Objects [electronic resource] : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers / edited by Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue. by
  • Beckert, Bernhard [editor.]
  • Damiani, Ferruccio [editor.]
  • Boer, Frank S. de [editor.]
  • Bonsangue, Marcello M [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7542
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
Online access:
Availability: No items available.

Add to cart
Pages