Welcome to Central Library, SUST

Refine your search

Your search returned 146 results.

Not what you expected? Check for suggestions
Sort
Results
81.
Formal Methods for Dynamical Systems [electronic resource] : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures / edited by Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky. by
  • Bernardo, Marco [editor.]
  • Vink, Erik de [editor.]
  • Pierro, Alessandra Di [editor.]
  • Wiklicky, Herbert [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7938
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.

82.
Functional Imaging and Modeling of the Heart [electronic resource] : 7th International Conference, FIMH 2013, London, UK, June 20-22, 2013. Proceedings / edited by Sébastien Ourselin, Daniel Rueckert, Nicolas Smith. by
  • Ourselin, Sébastien [editor.]
  • Rueckert, Daniel [editor.]
  • Smith, Nicolas [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7945
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.

83.
Combinatorial Pattern Matching [electronic resource] : 24th Annual Symposium, CPM 2013, Bad Herrenalb, Germany, June 17-19, 2013. Proceedings / edited by Johannes Fischer, Peter Sanders. by
  • Fischer, Johannes [editor.]
  • Sanders, Peter [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7922
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.

84.
Basics of Bioinformatics [electronic resource] : Lecture Notes of the Graduate Summer School on Bioinformatics of China / edited by Rui Jiang, Xuegong Zhang, Michael Q. Zhang. by
  • Jiang, Rui [editor.]
  • Zhang, Xuegong [editor.]
  • Zhang, Michael Q [editor.]
  • SpringerLink (Online service)
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.

85.
Unconventional Computation and Natural Computation [electronic resource] : 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings / edited by Giancarlo Mauri, Alberto Dennunzio, Luca Manzoni, Antonio E. Porreca. by
  • Mauri, Giancarlo [editor.]
  • Dennunzio, Alberto [editor.]
  • Manzoni, Luca [editor.]
  • Porreca, Antonio E [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7956
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.

86.
Pattern Recognition in Bioinformatics [electronic resource] : 8th IAPR International Conference, PRIB 2013, Nice, France, June 17-20, 2013. Proceedings / edited by Alioune Ngom, Enrico Formenti, Jin-Kao Hao, Xing-Ming Zhao, Twan van Laarhoven. by
  • Ngom, Alioune [editor.]
  • Formenti, Enrico [editor.]
  • Hao, Jin-Kao [editor.]
  • Zhao, Xing-Ming [editor.]
  • Laarhoven, Twan van [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7986
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.

87.
Implementation and Application of Automata [electronic resource] : 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings / edited by Stavros Konstantinidis. by
  • Konstantinidis, Stavros [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7982
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.

88.
Intelligent Computing Theories [electronic resource] : 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013. Proceedings / edited by De-Shuang Huang, Vitoantonio Bevilacqua, Juan Carlos Figueroa, Prashan Premaratne. by
  • Huang, De-Shuang [editor.]
  • Bevilacqua, Vitoantonio [editor.]
  • Figueroa, Juan Carlos [editor.]
  • Premaratne, Prashan [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7995
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.

89.
Emerging Intelligent Computing Technology and Applications [electronic resource] : 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013. Proceedings / edited by De-Shuang Huang, Phalguni Gupta, Ling Wang, Michael Gromiha. by
  • Huang, De-Shuang [editor.]
  • Gupta, Phalguni [editor.]
  • Wang, Ling [editor.]
  • Gromiha, Michael [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 375
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.

90.
Information Technology in Bio- and Medical Informatics [electronic resource] : 4th International Conference, ITBAM 2013, Prague, Czech Republic, August 28, 2013. Proceedings / edited by Miroslav Bursa, Sami Khuri, M. Elena Renda. by
  • Bursa, Miroslav [editor.]
  • Khuri, Sami [editor.]
  • Renda, M. Elena [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8060
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.

91.
Algorithms in Bioinformatics [electronic resource] : 13th International Workshop, WABI 2013, Sophia Antipolis, France, September 2-4, 2013. Proceedings / edited by Aaron Darling, Jens Stoye. by
  • Darling, Aaron [editor.]
  • Stoye, Jens [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8126
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.

92.
Computational Methods in Systems Biology [electronic resource] : 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings / edited by Ashutosh Gupta, Thomas A. Henzinger. by
  • Gupta, Ashutosh [editor.]
  • Henzinger, Thomas A [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8130
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.

93.
Time and Petri Nets [electronic resource] / by Louchka Popova-Zeugmann. by
  • Popova-Zeugmann, Louchka [author.]
  • SpringerLink (Online service)
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.

94.
Advances in Visual Computing [electronic resource] : 9th International Symposium, ISVC 2013, Rethymnon, Crete, Greece, July 29-31, 2013. Proceedings, Part I / edited by George Bebis, Richard Boyle, Bahram Parvin, Darko Koracin, Baoxin Li, Fatih Porikli, Victor Zordan, James Klosowski, Sabine Coquillart, Xun Luo, Min Chen, David Gotz. by
  • Bebis, George [editor.]
  • Boyle, Richard [editor.]
  • Parvin, Bahram [editor.]
  • Koracin, Darko [editor.]
  • Li, Baoxin [editor.]
  • Porikli, Fatih [editor.]
  • Zordan, Victor [editor.]
  • Klosowski, James [editor.]
  • Coquillart, Sabine [editor.]
  • Luo, Xun [editor.]
  • Chen, Min [editor.]
  • Gotz, David [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8033
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.

95.
Advances in Visual Computing [electronic resource] : 9th International Symposium, ISVC 2013, Rethymnon, Crete, Greece, July 29-31, 2013. Proceedings, Part II / edited by George Bebis, Richard Boyle, Bahram Parvin, Darko Koracin, Baoxin Li, Fatih Porikli, Victor Zordan, James Klosowski, Sabine Coquillart, Xun Luo, Min Chen, David Gotz. by
  • Bebis, George [editor.]
  • Boyle, Richard [editor.]
  • Parvin, Bahram [editor.]
  • Koracin, Darko [editor.]
  • Li, Baoxin [editor.]
  • Porikli, Fatih [editor.]
  • Zordan, Victor [editor.]
  • Klosowski, James [editor.]
  • Coquillart, Sabine [editor.]
  • Luo, Xun [editor.]
  • Chen, Min [editor.]
  • Gotz, David [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8034
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.

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

97.
Gene Network Inference [electronic resource] : Verification of Methods for Systems Genetics Data / edited by Alberto de la Fuente. by
  • Fuente, Alberto de la [editor.]
  • SpringerLink (Online service)
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.

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

99.
User-Level Workflow Design [electronic resource] : A Bioinformatics Perspective / edited by Anna-Lena Lamprecht. by
  • Lamprecht, Anna-Lena [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8311
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.

100.
Derivative Spectrophotometry and Electron Spin Resonance (ESR) Spectroscopy for Ecological and Biological Questions [electronic resource] / by Vladimir S. Saakov, Valery Z. Drapkin, Alexander I. Krivchenko, Eugene V. Rozengart, Yuri V. Bogachev, Mikhail N. Knyazev. by
  • Saakov, Vladimir S [author.]
  • Drapkin, Valery Z [author.]
  • Krivchenko, Alexander I [author.]
  • Rozengart, Eugene V [author.]
  • Bogachev, Yuri V [author.]
  • Knyazev, Mikhail N [author.]
  • 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.

Pages