Welcome to Central Library, SUST

Your search returned 507 results.

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

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

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

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

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

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

427.
Software and Data Technologies [electronic resource] : 7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012, Revised Selected Papers / edited by José Cordeiro, Slimane Hammoudi, Marten van Sinderen. by
  • Cordeiro, José [editor.]
  • Hammoudi, Slimane [editor.]
  • Sinderen, Marten van [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 411
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.

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

429.
Evaluation of Novel Approaches to Software Engineering [electronic resource] : 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised Selected Papers / edited by Leszek A. Maciaszek, Joaquim Filipe. by
  • Maciaszek, Leszek A [editor.]
  • Filipe, Joaquim [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 410
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.

430.
Information Computing and Applications [electronic resource] : 4th International Conference, ICICA 2013, Singapore, August 16-18, 2013 Revised Selected Papers, Part II / edited by Yuhang Yang, Maode Ma, Baoxiang Liu. by
  • Yang, Yuhang [editor.]
  • Ma, Maode [editor.]
  • Liu, Baoxiang [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 392
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.

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

432.
Information Computing and Applications [electronic resource] : 4th International Conference, ICICA 2013, Singapore, August 16-18, 2013, Revised Selected Papers, Part I / edited by Yuhang Yang, Maode Ma, Baoxiang Liu. by
  • Yang, Yuhang [editor.]
  • Ma, Maode [editor.]
  • Liu, Baoxiang [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 391
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.

433.
Evaluation of Novel Approaches to Software Engineering [electronic resource] : 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers / edited by Joaquim Filipe, Leszek A. Maciaszek. by
  • Filipe, Joaquim [editor.]
  • Maciaszek, Leszek A [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 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.

434.
Future Mobile Communications [electronic resource] : LTE Optimization and Mobile Network Virtualization / by Yasir Zaki. by
  • Zaki, Yasir [author.]
  • SpringerLink (Online service)
Series: Advanced Studies Mobile Research Center Bremen ; 1
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2013
Availability: No items available.

435.
Using Microsoft Dynamics AX 2012 [electronic resource] : Updated for Version R2 / by Andreas Luszczak. by
  • Luszczak, Andreas [author.]
  • SpringerLink (Online service)
Edition: 3rd ed. 2013.
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2013
Availability: No items available.

436.
Multilayered Security and Privacy Protection in Car-to-X Networks [electronic resource] : Solutions from Application down to Physical Layer / by Hagen Stübing. by
  • Stübing, Hagen [author.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2013
Availability: No items available.

437.
Mobile Payment [electronic resource] / by Thomas Lerner. by
  • Lerner, Thomas [author.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2013
Availability: No items available.

438.
Information Reuse and Integration in Academia and Industry [electronic resource] / edited by Tansel Özyer, Keivan Kianmehr, Mehmet Tan, Jia Zeng. by
  • Özyer, Tansel [editor.]
  • Kianmehr, Keivan [editor.]
  • Tan, Mehmet [editor.]
  • Zeng, Jia [editor.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Vienna : Springer Vienna : Imprint: Springer, 2013
Availability: No items available.

439.
Natural Computing and Beyond [electronic resource] : Winter School Hakodate 2011, Hakodate, Japan, March 2011 and 6th International Workshop on Natural Computing, Tokyo, Japan, March 2012, Proceedings / edited by Yasuhiro Suzuki, Toshiyuki Nakagaki. by
  • Suzuki, Yasuhiro [editor.]
  • Nakagaki, Toshiyuki [editor.]
  • SpringerLink (Online service)
Series: Proceedings in Information and Communications Technology ; 6
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Tokyo : Springer Japan : Imprint: Springer, 2013
Availability: No items available.

440.
Theory and Practice of Computation [electronic resource] : 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings / edited by Shin-ya Nishizaki, Masayuki Numao, Jaime Caro, Merlin Teodosia Suarez. by
  • Nishizaki, Shin-ya [editor.]
  • Numao, Masayuki [editor.]
  • Caro, Jaime [editor.]
  • Suarez, Merlin Teodosia [editor.]
  • SpringerLink (Online service)
Series: Proceedings in Information and Communications Technology ; 7
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Tokyo : Springer Japan : Imprint: Springer, 2013
Availability: No items available.

Pages