Welcome to Central Library, SUST

Your search returned 1374 results.

Not what you expected? Check for suggestions
Sort
Results
1281.
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.

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

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

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

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

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

1287.
Trustworthy Eternal Systems via Evolving Software, Data and Knowledge [electronic resource] : Second International Workshop, EternalS 2012, Montpellier, France, August 28, 2012, Revised Selected Papers / edited by Alessandro Moschitti, Barbara Plank. by
  • Moschitti, Alessandro [editor.]
  • Plank, Barbara [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 379
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.

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

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

1290.
Knowledge Sharing through Technology [electronic resource] : 8th International Conference on Information and Communication Technology in Teaching and Learning, ICT 2013, Hong Kong, China, July 10-11, 2013, Revised Selected Papers / edited by Jeanne Lam, Kam Cheong Li, Simon K. S. Cheung, Fu Lee Wang. by
  • Lam, Jeanne [editor.]
  • Li, Kam Cheong [editor.]
  • Cheung, Simon K. S [editor.]
  • Wang, Fu Lee [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 407
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.

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

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

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

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

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

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

1297.
Critical Infrastructure Protection VII [electronic resource] : 7th IFIP WG 11.10 International Conference, ICCIP 2013, Washington, DC, USA, March 18-20, 2013, Revised Selected Papers / edited by Jonathan Butts, Sujeet Shenoi. by
  • Butts, Jonathan [editor.]
  • Shenoi, Sujeet [editor.]
  • SpringerLink (Online service)
Series: IFIP Advances in Information and Communication Technology ; 417
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.

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

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

1300.
Advances in Service-Oriented and Cloud Computing [electronic resource] : Workshops of ESOCC 2013, Málaga, Spain, September 11-13, 2013, Revised Selected Papers / edited by Carlos Canal, Massimo Villari. by
  • Canal, Carlos [editor.]
  • Villari, Massimo [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 393
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