Welcome to Central Library, SUST

Your search returned 438 results.

Not what you expected? Check for suggestions
Sort
Results
401.
In Search of Elegance in the Theory and Practice of Computation [electronic resource] : Essays Dedicated to Peter Buneman / edited by Val Tannen, Limsoon Wong, Leonid Libkin, Wenfei Fan, Wang-Chiew Tan, Michael Fourman. by
  • Tannen, Val [editor.]
  • Wong, Limsoon [editor.]
  • Libkin, Leonid [editor.]
  • Fan, Wenfei [editor.]
  • Tan, Wang-Chiew [editor.]
  • Fourman, Michael [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8000
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.

402.
Testing Software and Systems [electronic resource] : 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings / edited by Hüsnü Yenigün, Cemal Yilmaz, Andreas Ulrich. by
  • Yenigün, Hüsnü [editor.]
  • Yilmaz, Cemal [editor.]
  • Ulrich, Andreas [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8254
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.

403.
Transactions on Computational Collective Intelligence XI [electronic resource] / edited by Ngoc Thanh Nguyen. by
  • Nguyen, Ngoc Thanh [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8065
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.

404.
Geo-Informatics in Resource Management and Sustainable Ecosystem [electronic resource] : International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part II / edited by Fuling Bian, Yichun Xie, Xiaohui Cui, Yixin Zeng. by
  • Bian, Fuling [editor.]
  • Xie, Yichun [editor.]
  • Cui, Xiaohui [editor.]
  • Zeng, Yixin [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 399
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.

405.
Information and Software Technologies [electronic resource] : 19th International Conference, ICIST 2013, Kaunas, Lithuania, October 2013. Proceedings / edited by Tomas Skersys, Rimantas Butleris, Rita Butkiene. by
  • Skersys, Tomas [editor.]
  • Butleris, Rimantas [editor.]
  • Butkiene, Rita [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 403
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.

406.
Advanced Techniques for Knowledge Engineering and Innovative Applications [electronic resource] : 16th International Conference, KES 2012, San Sebastian, Spain, September 10-12, 2012, Revised Selected Papers / edited by Jeffrey W. Tweedale, Lakhmi C. Jain. by
  • Tweedale, Jeffrey W [editor.]
  • Jain, Lakhmi C [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 246
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.

407.
Neural Information Processing [electronic resource] : 20th International Conference, ICONIP 2013, Daegu, Korea, November 3-7, 2013. Proceedings, Part II / edited by Minho Lee, Akira Hirose, Zeng-Guang Hou, Rhee Man Kil. by
  • Lee, Minho [editor.]
  • Hirose, Akira [editor.]
  • Hou, Zeng-Guang [editor.]
  • Kil, Rhee Man [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8227
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.

408.
Neural Information Processing [electronic resource] : 20th International Conference, ICONIP 2013, Daegu, Korea, November 3-7, 2013. Proceedings, Part III / edited by Minho Lee, Akira Hirose, Zeng-Guang Hou, Rhee Man Kil. by
  • Lee, Minho [editor.]
  • Hirose, Akira [editor.]
  • Hou, Zeng-Guang [editor.]
  • Kil, Rhee Man [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8228
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.

409.
Neural Information Processing [electronic resource] : 20th International Conference, ICONIP 2013, Daegu, Korea, November 3-7, 2013. Proceedings, Part I / edited by Minho Lee, Akira Hirose, Zeng-Guang Hou, Rhee Man Kil. by
  • Lee, Minho [editor.]
  • Hirose, Akira [editor.]
  • Hou, Zeng-Guang [editor.]
  • Kil, Rhee Man [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8226
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.

410.
Learning and Intelligent Optimization [electronic resource] : 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers / edited by Giuseppe Nicosia, Panos Pardalos. by
  • Nicosia, Giuseppe [editor.]
  • Pardalos, Panos [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7997
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.

411.
Theory and Practice of Natural Computing [electronic resource] : Second International Conference, TPNC 2013, Cáceres, Spain, December 3-5, 2013, Proceedings / edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe, Miguel A. Vega-Rodríguez. by
  • Dediu, Adrian-Horia [editor.]
  • Martín-Vide, Carlos [editor.]
  • Truthe, Bianca [editor.]
  • Vega-Rodríguez, Miguel A [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8273
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.

412.
Geo-Informatics in Resource Management and Sustainable Ecosystem [electronic resource] : International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part I / edited by Fuling Bian, Yichun Xie, Xiaohui Cui, Yixin Zeng. by
  • Bian, Fuling [editor.]
  • Xie, Yichun [editor.]
  • Cui, Xiaohui [editor.]
  • Zeng, Yixin [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 398
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.

413.
AsiaSim 2013 [electronic resource] : 13th International Conference on Systems Simulation, Singapore, November 6-8, 2013. Proceedings / edited by Gary Tan, Gee Kin Yeo, Stephen John Turner, Yong Meng Teo. by
  • Tan, Gary [editor.]
  • Yeo, Gee Kin [editor.]
  • Turner, Stephen John [editor.]
  • Teo, Yong Meng [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 402
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.

414.
Pattern Recognition and Machine Intelligence [electronic resource] : 5th International Conference, PReMI 2013, Kolkata, India, December 10-14, 2013. Proceedings / edited by Pradipta Maji, Ashish Ghosh, M. Narasimha Murty, Kuntal Ghosh, Sankar K. Pal. by
  • Maji, Pradipta [editor.]
  • Ghosh, Ashish [editor.]
  • Murty, M. Narasimha [editor.]
  • Ghosh, Kuntal [editor.]
  • Pal, Sankar K [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8251
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.

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

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

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

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

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

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

Pages