Welcome to Central Library, SUST

Your search returned 43 results.

Not what you expected? Check for suggestions
Sort
Results
1.
Using Event-B for Critical Device Software Systems [electronic resource] / by Neeraj Kumar Singh. by
  • Singh, Neeraj Kumar [author.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013
Availability: No items available.

2.
Health Informatics in the Cloud [electronic resource] / by Mark L. Braunstein. by
  • Braunstein, Mark L [author.]
  • SpringerLink (Online service)
Series: SpringerBriefs in Computer Science
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013
Availability: No items available.

3.
Anonymization of Electronic Medical Records to Support Clinical Analysis [electronic resource] / by Aris Gkoulalas-Divanis, Grigorios Loukides. by
  • Gkoulalas-Divanis, Aris [author.]
  • Loukides, Grigorios [author.]
  • SpringerLink (Online service)
Series: SpringerBriefs in Electrical and Computer Engineering
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013
Availability: No items available.

4.
Handbook of Medical and Healthcare Technologies [electronic resource] / edited by Borko Furht, Ankur Agarwal. by
  • Furht, Borko [editor.]
  • Agarwal, Ankur [editor.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013
Availability: No items available.

5.
Brain and Health Informatics [electronic resource] : International Conference, BHI 2013, Maebashi, Japan, October 29-31, 2013. Proceedings / edited by Kazayuki Imamura, Shiro Usui, Tomoaki Shirao, Takuji Kasamatsu, Lars Schwabe, Ning Zhong. by
  • Imamura, Kazayuki [editor.]
  • Usui, Shiro [editor.]
  • Shirao, Tomoaki [editor.]
  • Kasamatsu, Takuji [editor.]
  • Schwabe, Lars [editor.]
  • Zhong, Ning [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8211
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.

6.
Ambient Media and Systems [electronic resource] : Third International ICST Conference, AMBI-SYS 2013, Athens, Greece, March 15, 2013, Revised Selected Papers / edited by Constantinos T. Angelis, Dimitrios Fotiadis, Alexandros T. Tzallas. by
  • Angelis, Constantinos T [editor.]
  • Fotiadis, Dimitrios [editor.]
  • Tzallas, Alexandros T [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 118
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.

7.
Evolving Ambient Intelligence [electronic resource] : AmI 2013 Workshops, Dublin, Ireland, December 3-5, 2013. Revised Selected Papers / edited by Michael J. O’Grady, Hamed Vahdat-Nejad, Klaus-Hendrik Wolf, Mauro Dragone, Juan Ye, Carsten Röcker, Gregory O’Hare. by
  • O’Grady, Michael J [editor.]
  • Vahdat-Nejad, Hamed [editor.]
  • Wolf, Klaus-Hendrik [editor.]
  • Dragone, Mauro [editor.]
  • Ye, Juan [editor.]
  • Röcker, Carsten [editor.]
  • O’Hare, Gregory [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 413
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.

8.
Medical Computer Vision. Recognition Techniques and Applications in Medical Imaging [electronic resource] : Second International MICCAI Workshop, MCV 2012, Nice, France, October 5, 2012, Revised Selected Papers / edited by Bjoern H. Menze, Georg Langs, Le Lu, Albert Montillo, Zhuowen Tu, Antonio Criminisi. by
  • Menze, Bjoern H [editor.]
  • Langs, Georg [editor.]
  • Lu, Le [editor.]
  • Montillo, Albert [editor.]
  • Tu, Zhuowen [editor.]
  • Criminisi, Antonio [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7766
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.

9.
Emerging Trends in Knowledge Discovery and Data Mining [electronic resource] : PAKDD 2012 International Workshops: DMHM, GeoDoc, 3Clust, and DSDM, Kuala Lumpur, Malaysia, May 29 – June 1, 2012, Revised Selected Papers / edited by Takashi Washio, Jun Luo. by
  • Washio, Takashi [editor.]
  • Luo, Jun [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7769
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.

10.
Persuasive Technology [electronic resource] : 8th International Conference, PERSUASIVE 2013, Sydney, NSW, Australia, April 3-5, 2013. Proceedings / edited by Shlomo Berkovsky, Jill Freyne. by
  • Berkovsky, Shlomo [editor.]
  • Freyne, Jill [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7822
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.

11.
Computer Vision – ACCV 2012 [electronic resource] : 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised Selected Papers, Part I / edited by Kyoung Mu Lee, Yasuyuki Matsushita, James M. Rehg, Zhanyi Hu. by
  • Lee, Kyoung Mu [editor.]
  • Matsushita, Yasuyuki [editor.]
  • Rehg, James M [editor.]
  • Hu, Zhanyi [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7724
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.

12.
Computer Vision – ACCV 2012 [electronic resource] : 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised Selected Papers, Part III / edited by Kyoung Mu Lee, Yasuyuki Matsushita, James M. Rehg, Zhanyi Hu. by
  • Lee, Kyoung Mu [editor.]
  • Matsushita, Yasuyuki [editor.]
  • Rehg, James M [editor.]
  • Hu, Zhanyi [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7726
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.

13.
Computer Vision – ACCV 2012 [electronic resource] : 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised Selected Papers, Part II / edited by Kyoung Mu Lee, Yasuyuki Matsushita, James M. Rehg, Zhanyi Hu. by
  • Lee, Kyoung Mu [editor.]
  • Matsushita, Yasuyuki [editor.]
  • Rehg, James M [editor.]
  • Hu, Zhanyi [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7725
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.

14.
Computer Vision – ACCV 2012 [electronic resource] : 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised Selected Papers, Part IV / edited by Kyoung Mu Lee, Yasuyuki Matsushita, James M. Rehg, Zhanyi Hu. by
  • Lee, Kyoung Mu [editor.]
  • Matsushita, Yasuyuki [editor.]
  • Rehg, James M [editor.]
  • Hu, Zhanyi [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7727
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.

15.
Advances in Computational Intelligence [electronic resource] : 11th Mexican International Conference on Artificial Intelligence, MICAI 2012, San Luis Potosí, Mexico, October 27 – November 4, 2012. Revised Selected Papers, Part II / edited by Ildar Batyrshin, Miguel González Mendoza. by
  • Batyrshin, Ildar [editor.]
  • Mendoza, Miguel González [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7630
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.

16.
Advances in Artificial Intelligence [electronic resource] : 11th Mexican International Conference on Artificial Intelligence, MICAI 2012, San Luis Potosí, Mexico, October 27 – November 4, 2012. Revised Selected Papers, Part I / edited by Ildar Batyrshin, Miguel González Mendoza. by
  • Batyrshin, Ildar [editor.]
  • González Mendoza, Miguel [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7629
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.

17.
Wireless Mobile Communication and Healthcare [electronic resource] : Third International Conference, MobiHealth 2012, Paris, France, November 21-23, 2012, Revised Selected Papers / edited by Balwant Godara, Konstantina S. Nikita. by
  • Godara, Balwant [editor.]
  • Nikita, Konstantina S [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 61
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.

18.
Health Information Science [electronic resource] : Second International Conference, HIS 2013, London, UK, March 25-27, 2013. Proceedings / edited by Guangyan Huang, Xiaohui Liu, Jing He, Frank Klawonn, Guiqing Yao. by
  • Huang, Guangyan [editor.]
  • Liu, Xiaohui [editor.]
  • He, Jing [editor.]
  • Klawonn, Frank [editor.]
  • Yao, Guiqing [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7798
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.

19.
Augmented Environments for Computer-Assisted Interventions [electronic resource] : 7th International Workshop, AE-CAI 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2013, Revised Selected Papers / edited by Cristian A. Linte, Elvis C. S. Chen, Marie-Odile Berger, John T. Moore, David R. Holmes. by
  • Linte, Cristian A [editor.]
  • Chen, Elvis C. S [editor.]
  • Berger, Marie-Odile [editor.]
  • Moore, John T [editor.]
  • Holmes, David R [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7815
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.

20.
Biomedical Engineering Systems and Technologies [electronic resource] : 5th International Joint Conference, BIOSTEC 2012, Vilamoura, Portugal, February 1-4, 2012, Revised Selected Papers / edited by Joaquim Gabriel, Jan Schier, Sabine Van Huffel, Emmanuel Conchon, Carlos Correia, Ana Fred, Hugo Gamboa. by
  • Gabriel, Joaquim [editor.]
  • Schier, Jan [editor.]
  • Huffel, Sabine Van [editor.]
  • Conchon, Emmanuel [editor.]
  • Correia, Carlos [editor.]
  • Fred, Ana [editor.]
  • Gamboa, Hugo [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 357
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