Welcome to Central Library, SUST

Refine your search

Your search returned 716 results.

Not what you expected? Check for suggestions
Sort
Results
401.
Computational Science and Its Applications – ICCSA 2013 [electronic resource] : 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part I / edited by Beniamino Murgante, Sanjay Misra, Maurizio Carlini, Carmelo M. Torre, Hong-Quang Nguyen, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi. by
  • Murgante, Beniamino [editor.]
  • Misra, Sanjay [editor.]
  • Carlini, Maurizio [editor.]
  • Torre, Carmelo M [editor.]
  • Nguyen, Hong-Quang [editor.]
  • Taniar, David [editor.]
  • Apduhan, Bernady O [editor.]
  • Gervasi, Osvaldo [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7971
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.
Computational Science and Its Applications – ICCSA 2013 [electronic resource] : 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part V / edited by Beniamino Murgante, Sanjay Misra, Maurizio Carlini, Carmelo M. Torre, Hong-Quang Nguyen, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi. by
  • Murgante, Beniamino [editor.]
  • Misra, Sanjay [editor.]
  • Carlini, Maurizio [editor.]
  • Torre, Carmelo M [editor.]
  • Nguyen, Hong-Quang [editor.]
  • Taniar, David [editor.]
  • Apduhan, Bernady O [editor.]
  • Gervasi, Osvaldo [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7975
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.
Computational Science and Its Applications – ICCSA 2013 [electronic resource] : 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part II / edited by Beniamino Murgante, Sanjay Misra, Maurizio Carlini, Carmelo M. Torre, Hong-Quang Nguyen, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi. by
  • Murgante, Beniamino [editor.]
  • Misra, Sanjay [editor.]
  • Carlini, Maurizio [editor.]
  • Torre, Carmelo M [editor.]
  • Nguyen, Hong-Quang [editor.]
  • Taniar, David [editor.]
  • Apduhan, Bernady O [editor.]
  • Gervasi, Osvaldo [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7972
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.
Computational Science and Its Applications – ICCSA 2013 [electronic resource] : 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part III / edited by Beniamino Murgante, Sanjay Misra, Maurizio Carlini, Carmelo M. Torre, Hong-Quang Nguyen, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi. by
  • Murgante, Beniamino [editor.]
  • Misra, Sanjay [editor.]
  • Carlini, Maurizio [editor.]
  • Torre, Carmelo M [editor.]
  • Nguyen, Hong-Quang [editor.]
  • Taniar, David [editor.]
  • Apduhan, Bernady O [editor.]
  • Gervasi, Osvaldo [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7973
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.
Computational Science and Its Applications – ICCSA 2013 [electronic resource] : 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part IV / edited by Beniamino Murgante, Sanjay Misra, Maurizio Carlini, Carmelo M. Torre, Hong-Quang Nguyen, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi. by
  • Murgante, Beniamino [editor.]
  • Misra, Sanjay [editor.]
  • Carlini, Maurizio [editor.]
  • Torre, Carmelo M [editor.]
  • Nguyen, Hong-Quang [editor.]
  • Taniar, David [editor.]
  • Apduhan, Bernady O [editor.]
  • Gervasi, Osvaldo [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7974
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.
Web Reasoning and Rule Systems [electronic resource] : 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings / edited by Wolfgang Faber, Domenico Lembo. by
  • Faber, Wolfgang [editor.]
  • Lembo, Domenico [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7994
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.
Theories of Programming and Formal Methods [electronic resource] : Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday / 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 ; 8051
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.
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
Availability: No items available.

409.
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
Availability: No items available.

410.
Search Based Software Engineering [electronic resource] : 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings / edited by Günther Ruhe, Yuanyuan Zhang. by
  • Ruhe, Günther [editor.]
  • Zhang, Yuanyuan [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8084
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.
Hybrid Learning and Continuing Education [electronic resource] : 6th International Conference, ICHL 2013, Toronto, ON, Canada, August 12-14, 2013. Proceedings / edited by Simon K. S. Cheung, Joseph Fong, Wilfred Fong, Fu Lee Wang, Lam For Kwok. by
  • Cheung, Simon K. S [editor.]
  • Fong, Joseph [editor.]
  • Fong, Wilfred [editor.]
  • Wang, Fu Lee [editor.]
  • Kwok, Lam For [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8038
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.
Knowledge Science, Engineering and Management [electronic resource] : 6th International Conference, KSEM 2013, Dalian, China, August 10-12, 2013. Proceedings / edited by Mingzheng Wang. by
  • Wang, Mingzheng [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8041
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.
Computer Aided Verification [electronic resource] : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings / edited by Natasha Sharygina, Helmut Veith. by
  • Sharygina, Natasha [editor.]
  • Veith, Helmut [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8044
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.
Nordic Contributions in IS Research [electronic resource] : 4th Scandinavian Conference on Information Systems, SCIS 2013, Oslo, Norway, August 11-14, 2013. Proceedings / edited by Margunn Aanestad, Tone Bratteteig. by
  • Aanestad, Margunn [editor.]
  • Bratteteig, Tone [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Business Information Processing ; 156
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.
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
Availability: No items available.

416.
Enabling Real-Time Business Intelligence [electronic resource] : 6th International Workshop, BIRTE 2012, Held at the 38th International Conference on Very Large Databases, VLDB 2012, Istanbul, Turkey, August 27, 2012, Revised Selected Papers / edited by Malu Castellanos, Umeshwar Dayal, Elke A. Rundensteiner. by
  • Castellanos, Malu [editor.]
  • Dayal, Umeshwar [editor.]
  • Rundensteiner, Elke A [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Business Information Processing ; 154
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.
E-Commerce and Web Technologies [electronic resource] : 14th International Conference, EC-Web 2013, Prague, Czech Republic, August 27-28, 2013. Proceedings / edited by Christian Huemer, Pasquale Lops. by
  • Huemer, Christian [editor.]
  • Lops, Pasquale [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Business Information Processing ; 152
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.
Financial Cryptography and Data Security [electronic resource] : 17th International Conference, FC 2013, Okinawa, Japan, April 1-5, 2013, Revised Selected Papers / edited by Ahmad-Reza Sadeghi. by
  • Sadeghi, Ahmad-Reza [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7859
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.
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
Availability: No items available.

420.
Multicore Software Engineering, Performance, and Tools [electronic resource] : International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings / edited by João M. Lourenço, Eitan Farchi. by
  • Lourenço, João M [editor.]
  • Farchi, Eitan [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8063
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