Welcome to Central Library, SUST

Your search returned 655 results.

Not what you expected? Check for suggestions
Sort
Results
601.
Advances in Artificial Intelligence and Its Applications [electronic resource] : 12th Mexican International Conference on Artificial Intelligence, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, Proceedings, Part I / edited by Félix Castro, Alexander Gelbukh, Miguel González. by
  • Castro, Félix [editor.]
  • Gelbukh, Alexander [editor.]
  • González, Miguel [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8265
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.

602.
Chinese Lexical Semantics [electronic resource] : 14th Workshop, CLSW 2013, Zhengzhou, China, May 10-12, 2013. Revised Selected Papers / edited by Pengyuan Liu, Qi Su. by
  • Liu, Pengyuan [editor.]
  • Su, Qi [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8229
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.

603.
Information Systems Security [electronic resource] : 9th International Conference, ICISS 2013, Kolkata, India, December 16-20, 2013. Proceedings / edited by Aditya Bagchi, Indrakshi Ray. by
  • Bagchi, Aditya [editor.]
  • Ray, Indrakshi [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8303
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.

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

605.
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings / edited by Ken McMillan, Aart Middeldorp, Andrei Voronkov. by
  • McMillan, Ken [editor.]
  • Middeldorp, Aart [editor.]
  • Voronkov, Andrei [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8312
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.

606.
Cryptography and Coding [electronic resource] : 14th IMA International Conference, IMACC 2013, Oxford, UK, December 17-19, 2013. Proceedings / edited by Martijn Stam. by
  • Stam, Martijn [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8308
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.

607.
Resource Discovery [electronic resource] : 5th International Workshop, RED 2012, Co-located with the 9th Extended Semantic Web Conference, ESWC 2012, Heraklion, Greece, May 27, 2012, Revised Selected Papers / edited by Zoé Lacroix, Edna Ruckhaus, Maria-Esther Vidal. by
  • Lacroix, Zoé [editor.]
  • Ruckhaus, Edna [editor.]
  • Vidal, Maria-Esther [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8194
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.

608.
Transactions on Large-Scale Data- and Knowledge-Centered Systems XI [electronic resource] : Special Issue on Advanced Data Stream Management and Continuous Query Processing / edited by Abdelkader Hameurlain, Josef Küng, Roland Wagner, Bernd Amann, Philippe Lamarre. by
  • Hameurlain, Abdelkader [editor.]
  • Küng, Josef [editor.]
  • Wagner, Roland [editor.]
  • Amann, Bernd [editor.]
  • Lamarre, Philippe [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8290
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.

609.
Combinatorial Algorithms [electronic resource] : 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers / edited by Thierry Lecroq, Laurent Mouchard. by
  • Lecroq, Thierry [editor.]
  • Mouchard, Laurent [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8288
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.

610.
Computational Geometry and Graphs [electronic resource] : Thailand-Japan Joint Conference, TJJCCGG 2012, Bangkok, Thailand, December 6-8, 2012, Revised Selected Papers / edited by Jin Akiyama, Mikio Kano, Toshinori Sakai. by
  • Akiyama, Jin [editor.]
  • Kano, Mikio [editor.]
  • Sakai, Toshinori [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8296
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.

611.
Practical Aspects of Declarative Languages [electronic resource] : 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings / edited by Kostis Sagonas. by
  • Sagonas, Kostis [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7752
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.

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

613.
Transactions on Large-Scale Data- and Knowledge-Centered Systems XII [electronic resource] / edited by Abdelkader Hameurlain, Josef Küng, Roland Wagner. by
  • Hameurlain, Abdelkader [editor.]
  • Küng, Josef [editor.]
  • Wagner, Roland [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8320
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.

614.
Transactions on Computational Science XXI [electronic resource] : Special Issue on Innovations in Nature-Inspired Computing and Applications / edited by Marina L. Gavrilova, C. J. Kenneth Tan, Ajith Abraham. by
  • Gavrilova, Marina L [editor.]
  • Tan, C. J. Kenneth [editor.]
  • Abraham, Ajith [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8160
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.

615.
Engineering Multi-Agent Systems [electronic resource] : First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers / edited by Massimo Cossentino, Amal El Fallah Seghrouchni, Michael Winikoff. by
  • Cossentino, Massimo [editor.]
  • Fallah Seghrouchni, Amal El [editor.]
  • Winikoff, Michael [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8245
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.

616.
Molecular Biology [electronic resource] : Not Only for Bioinformaticians / edited by Wiesława Widłak. by
  • Widłak, Wiesława [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8248
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.

617.
User-Level Workflow Design [electronic resource] : A Bioinformatics Perspective / edited by Anna-Lena Lamprecht. by
  • Lamprecht, Anna-Lena [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8311
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.

618.
Ubiquitous Social Media Analysis [electronic resource] : Third International Workshops, MUSE 2012, Bristol, UK, September 24, 2012, and MSM 2012, Milwaukee, WI, USA, June 25, 2012, Revised Selected Papers / edited by Martin Atzmueller, Alvin Chin, Denis Helic, Andreas Hotho. by
  • Atzmueller, Martin [editor.]
  • Chin, Alvin [editor.]
  • Helic, Denis [editor.]
  • Hotho, Andreas [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8329
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.

619.
Ada 2012 Reference Manual. Language and Standard Libraries [electronic resource] : International Standard ISO/IEC 8652/2012 (E) / edited by S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, Pascal Leroy, Edmond Schonberg. by
  • Taft, S. Tucker [editor.]
  • Duff, Robert A [editor.]
  • Brukardt, Randall L [editor.]
  • Ploedereder, Erhard [editor.]
  • Leroy, Pascal [editor.]
  • Schonberg, Edmond [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8339
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.

620.
Computer Aided Systems Theory - EUROCAST 2013 [electronic resource] : 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013, Revised Selected Papers, Part I / edited by Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia. by
  • Moreno-Díaz, Roberto [editor.]
  • Pichler, Franz [editor.]
  • Quesada-Arencibia, Alexis [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8111
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