Welcome to Central Library, SUST

Your search returned 260 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
141.
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
142.
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
143.
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
144.
Machine Learning and Data Mining in Pattern Recognition [electronic resource] : 9th International Conference, MLDM 2013, New York, NY, USA, July 19-25, 2013. Proceedings / edited by Petra Perner. by
  • Perner, Petra [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7988
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
145.
Theoretical Aspects of Computing – ICTAC 2013 [electronic resource] : 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings / edited by Zhiming Liu, Jim Woodcock, Huibiao Zhu. by
  • Liu, Zhiming [editor.]
  • Woodcock, Jim [editor.]
  • Zhu, Huibiao [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8049
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
146.
Unifying Theories of Programming and Formal Engineering Methods [electronic resource] : International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures / edited by Zhiming Liu, Jim Woodcock, Huibiao Zhu. by
  • Liu, Zhiming [editor.]
  • Woodcock, Jim [editor.]
  • Zhu, Huibiao [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8050
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
147.
Advances in Data Mining. Applications and Theoretical Aspects [electronic resource] : 13th Industrial Conference, ICDM 2013, New York, NY, USA, July 16-21, 2013. Proceedings / edited by Petra Perner. by
  • Perner, Petra [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7987
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
148.
Transactions on Computational Science XIX [electronic resource] : Special Issue on Computer Graphics / edited by Marina L. Gavrilova, C. J. Kenneth Tan, Anton Konushin. by
  • Gavrilova, Marina L [editor.]
  • Tan, C. J. Kenneth [editor.]
  • Konushin, Anton [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7870
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
149.
Reasoning Web. Semantic Technologies for Intelligent Data Access [electronic resource] : 9th International Summer School 2013, Mannheim, Germany, July 30 – August 2, 2013. Proceedings / edited by Sebastian Rudolph, Georg Gottlob, Ian Horrocks, Frank van Harmelen. by
  • Rudolph, Sebastian [editor.]
  • Gottlob, Georg [editor.]
  • Horrocks, Ian [editor.]
  • Harmelen, Frank van [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8067
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
150.
Biomimetic and Biohybrid Systems [electronic resource] : Second International Conference, Living Machines 2013, London, UK, July 29 – August 2, 2013. Proceedings / edited by Nathan F. Lepora, Anna Mura, Holger G. Krapp, Paul F. M. J. Verschure, Tony J. Prescott. by
  • Lepora, Nathan F [editor.]
  • Mura, Anna [editor.]
  • Krapp, Holger G [editor.]
  • Verschure, Paul F. M. J [editor.]
  • Prescott, Tony J [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8064
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
151.
Agreement Technologies [electronic resource] : Second International Conference, AT 2013, Beijing, China, August 1-2, 2013. Proceedings / edited by Carlos Iván Chesñevar, Eva Onaindia, Sascha Ossowski, George Vouros. by
  • Chesñevar, Carlos Iván [editor.]
  • Onaindia, Eva [editor.]
  • Ossowski, Sascha [editor.]
  • Vouros, George [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8068
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
152.
Agent-Oriented Software Engineering XIII [electronic resource] : 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers / edited by Jörg P. Müller, Massimo Cossentino. by
  • Müller, Jörg P [editor.]
  • Cossentino, Massimo [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7852
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
153.
New Frontiers in Artificial Intelligence [electronic resource] : JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012, Revised Selected Papers / edited by Yoichi Motomura, Alastair Butler, Daisuke Bekki. by
  • Motomura, Yoichi [editor.]
  • Butler, Alastair [editor.]
  • Bekki, Daisuke [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7856
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
154.
Logic, Language, Information, and Computation [electronic resource] : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings / edited by Leonid Libkin, Ulrich Kohlenbach, Ruy de Queiroz. by
  • Libkin, Leonid [editor.]
  • Kohlenbach, Ulrich [editor.]
  • Queiroz, Ruy de [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8071
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
155.
The Personal Web [electronic resource] : A Research Agenda / edited by Mark Chignell, James R. Cordy, Ryan Kealey, Joanna Ng, Yelena Yesha. by
  • Chignell, Mark [editor.]
  • Cordy, James R [editor.]
  • Kealey, Ryan [editor.]
  • Ng, Joanna [editor.]
  • Yesha, Yelena [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7855
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
156.
Formal Grammar [electronic resource] : 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings / edited by Glyn Morrill, Mark-Jan Nederhof. by
  • Morrill, Glyn [editor.]
  • Nederhof, Mark-Jan [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8036
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
157.
Geometric Science of Information [electronic resource] : First International Conference, GSI 2013, Paris, France, August 28-30, 2013. Proceedings / edited by Frank Nielsen, Frédéric Barbaresco. by
  • Nielsen, Frank [editor.]
  • Barbaresco, Frédéric [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8085
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
158.
Data Management in Cloud, Grid and P2P Systems [electronic resource] : 6th International Conference, Globe 2013, Prague, Czech Republic, August 28-29, 2013. Proceedings / edited by Abdelkader Hameurlain, Wenny Rahayu, David Taniar. by
  • Hameurlain, Abdelkader [editor.]
  • Rahayu, Wenny [editor.]
  • Taniar, David [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8059
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
159.
Multilingual Information Access in South Asian Languages [electronic resource] : Second International Workshop, FIRE 2010, Gandhinagar, India, February 19-21, 2010 and Third International Workshop, FIRE 2011, Bombay, India, December 2-4, 2011, Revised Selected Papers / edited by Prasenjit Majumder, Mandar Mitra, Pushpak Bhattacharyya, L. Venkata Subramaniam, Danish Contractor, Paolo Rosso. by
  • Majumder, Prasenjit [editor.]
  • Mitra, Mandar [editor.]
  • Bhattacharyya, Pushpak [editor.]
  • Subramaniam, L. Venkata [editor.]
  • Contractor, Danish [editor.]
  • Rosso, Paolo [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7536
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
160.
Industrial Applications of Holonic and Multi-Agent Systems [electronic resource] : 6th International Conference, HoloMAS 2013, Prague, Czech Republic, August 26-28, 2013. Proceedings / edited by Vladimír Mařík, Jose L. Martinez Lastra, Petr Skobelev. by
  • Mařík, Vladimír [editor.]
  • Lastra, Jose L. Martinez [editor.]
  • Skobelev, Petr [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8062
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