Welcome to Central Library, SUST

Your search returned 179 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
81.
Modelling Foundations and Applications [electronic resource] : 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings / edited by Pieter Van Gorp, Tom Ritter, Louis M. Rose. by
  • Gorp, Pieter Van [editor.]
  • Ritter, Tom [editor.]
  • Rose, Louis M [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7949
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.
Software Architecture [electronic resource] : 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings / edited by Khalil Drira. by
  • Drira, Khalil [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7957
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.
ECOOP 2013 – Object-Oriented Programming [electronic resource] : 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings / edited by Giuseppe Castagna. by
  • Castagna, Giuseppe [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7920
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.
Foundations of Health Information Engineering and Systems [electronic resource] : Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papers / edited by Jens Weber, Isabelle Perseil. by
  • Weber, Jens [editor.]
  • Perseil, Isabelle [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7789
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.
Model Checking Software [electronic resource] : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings / edited by Ezio Bartocci, C. R. Ramakrishnan. by
  • Bartocci, Ezio [editor.]
  • Ramakrishnan, C. R [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7976
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.
Web Engineering [electronic resource] : 13th International Conference, ICWE 2013, Aalborg, Denmark, July 8-12, 2013. Proceedings / edited by Florian Daniel, Peter Dolog, Qing Li. by
  • Daniel, Florian [editor.]
  • Dolog, Peter [editor.]
  • Li, Qing [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7977
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.
Detection of Intrusions and Malware, and Vulnerability Assessment [electronic resource] : 10th International Conference, DIMVA 2013, Berlin, Germany, July 18-19, 2013. Proceedings / edited by Konrad Rieck, Patrick Stewin, Jean-Pierre Seifert. by
  • Rieck, Konrad [editor.]
  • Stewin, Patrick [editor.]
  • Seifert, Jean-Pierre [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7967
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.
Ad-hoc, Mobile, and Wireless Network [electronic resource] : 12th International Conference, ADHOC-NOW 2013, Wrocław, Poland, July 8-10, 2013. Proceedings / edited by Jacek Cichoń, Maciej Gȩbala, Marek Klonowski. by
  • Cichoń, Jacek [editor.]
  • Gȩbala, Maciej [editor.]
  • Klonowski, Marek [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7960
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.
RoboCup 2012: Robot Soccer World Cup XVI [electronic resource] / edited by Xiaoping Chen, Peter Stone, Luis Enrique Sucar, Tijn van der Zant. by
  • Chen, Xiaoping [editor.]
  • Stone, Peter [editor.]
  • Sucar, Luis Enrique [editor.]
  • Zant, Tijn van der [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7500
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.
Product-Focused Software Process Improvement [electronic resource] : 14th International Conference, PROFES 2013, Paphos, Cyprus, June 12-14, 2013. Proceedings / edited by Jens Heidrich, Markku Oivo, Andreas Jedlitschka, Maria Teresa Baldassarre. by
  • Heidrich, Jens [editor.]
  • Oivo, Markku [editor.]
  • Jedlitschka, Andreas [editor.]
  • Baldassarre, Maria Teresa [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7983
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.
Structured Object-Oriented Formal Language and Method [electronic resource] : Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers / edited by Shaoying Liu. by
  • Liu, Shaoying [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7787
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.
Analytical and Stochastic Modeling Techniques and Applications [electronic resource] : 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013. Proceedings / edited by Alexander Dudin, Koen De Turck. by
  • Dudin, Alexander [editor.]
  • Turck, Koen De [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7984
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.
Big Data [electronic resource] : 29th British National Conference on Databases, BNCOD 2013, Oxford, UK, July 8-10, 2013. Proceedings / edited by Georg Gottlob, Giovanni Grasso, Dan Olteanu, Christian Schallhart. by
  • Gottlob, Georg [editor.]
  • Grasso, Giovanni [editor.]
  • Olteanu, Dan [editor.]
  • Schallhart, Christian [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7968
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.
Artificial General Intelligence [electronic resource] : 6th International Conference, AGI 2013, Beijing, China, July 31 – August 3, 2013 Proceedings / edited by Kai-Uwe Kühnberger, Sebastian Rudolph, Pei Wang. by
  • Kühnberger, Kai-Uwe [editor.]
  • Rudolph, Sebastian [editor.]
  • Wang, Pei [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7999
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.
Hardware and Software: Verification and Testing [electronic resource] : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers / edited by Armin Biere, Amir Nahir, Tanja Vos. by
  • Biere, Armin [editor.]
  • Nahir, Amir [editor.]
  • Vos, Tanja [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7857
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.
Software Composition [electronic resource] : 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings / edited by Walter Binder, Eric Bodden, Welf Löwe. by
  • Binder, Walter [editor.]
  • Bodden, Eric [editor.]
  • Löwe, Welf [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8088
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.
Theory, Practice, and Applications of Rules on the Web [electronic resource] : 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings / edited by Leora Morgenstern, Petros Stefaneas, François Lévy, Adam Wyner, Adrian Paschke. by
  • Morgenstern, Leora [editor.]
  • Stefaneas, Petros [editor.]
  • Lévy, François [editor.]
  • Wyner, Adam [editor.]
  • Paschke, Adrian [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8035
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.
Interactive Theorem Proving [electronic resource] : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings / edited by Sandrine Blazy, Christine Paulin-Mohring, David Pichardie. by
  • Blazy, Sandrine [editor.]
  • Paulin-Mohring, Christine [editor.]
  • Pichardie, David [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7998
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.
Computational Science and Its Applications – ICCSA 2013 [electronic resource] : 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part I / edited by Beniamino Murgante, Sanjay Misra, Maurizio Carlini, Carmelo M. Torre, Hong-Quang Nguyen, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi. by
  • Murgante, Beniamino [editor.]
  • Misra, Sanjay [editor.]
  • Carlini, Maurizio [editor.]
  • Torre, Carmelo M [editor.]
  • Nguyen, Hong-Quang [editor.]
  • Taniar, David [editor.]
  • Apduhan, Bernady O [editor.]
  • Gervasi, Osvaldo [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7971
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.
Computational Science and Its Applications – ICCSA 2013 [electronic resource] : 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part V / edited by Beniamino Murgante, Sanjay Misra, Maurizio Carlini, Carmelo M. Torre, Hong-Quang Nguyen, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi. by
  • Murgante, Beniamino [editor.]
  • Misra, Sanjay [editor.]
  • Carlini, Maurizio [editor.]
  • Torre, Carmelo M [editor.]
  • Nguyen, Hong-Quang [editor.]
  • Taniar, David [editor.]
  • Apduhan, Bernady O [editor.]
  • Gervasi, Osvaldo [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7975
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