Welcome to Central Library, SUST

Your search returned 242 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
141.
The Nature of Computation. Logic, Algorithms, Applications [electronic resource] : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings / edited by Paola Bonizzoni, Vasco Brattka, Benedikt Löwe. by
  • Bonizzoni, Paola [editor.]
  • Brattka, Vasco [editor.]
  • Löwe, Benedikt [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7921
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
Online access:
Availability: No items available.

Add to cart
142.
Advances in Neural Networks – ISNN 2013 [electronic resource] : 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part I / edited by Chengan Guo, Zeng-Guang Hou, Zhigang Zeng. by
  • Guo, Chengan [editor.]
  • Hou, Zeng-Guang [editor.]
  • Zeng, Zhigang [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7951
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
Online access:
Availability: No items available.

Add to cart
143.
Advances in Neural Networks – ISNN 2013 [electronic resource] : 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part II / edited by Chengan Guo, Zeng-Guang Hou, Zhigang Zeng. by
  • Guo, Chengan [editor.]
  • Hou, Zeng-Guang [editor.]
  • Zeng, Zhigang [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7952
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
Online access:
Availability: No items available.

Add to cart
144.
Theory and Applications of Satisfiability Testing – SAT 2013 [electronic resource] : 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings / edited by Matti Järvisalo, Allen Van Gelder. by
  • Järvisalo, Matti [editor.]
  • Van Gelder, Allen [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7962
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
Online access:
Availability: No items available.

Add to cart
145.
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
Online access:
Availability: No items available.

Add to cart
146.
Privacy Enhancing Technologies [electronic resource] : 13th International Symposium, PETS 2013, Bloomington, IN, USA, July 10-12, 2013. Proceedings / edited by Emiliano De Cristofaro, Matthew Wright. by
  • Cristofaro, Emiliano De [editor.]
  • Wright, Matthew [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7981
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
Online access:
Availability: No items available.

Add to cart
147.
Similarity-Based Pattern Recognition [electronic resource] : Second International Workshop, SIMBAD 2013, York, UK, July 3-5, 2013. Proceedings / edited by Edwin Hancock, Marcello Pelillo. by
  • Hancock, Edwin [editor.]
  • Pelillo, Marcello [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7953
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
Online access:
Availability: No items available.

Add to cart
148.
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
Online access:
Availability: No items available.

Add to cart
149.
Automata, Languages, and Programming [electronic resource] : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I / edited by Fedor V. Fomin, Rūsiņš Freivalds, Marta Kwiatkowska, David Peleg. by
  • Fomin, Fedor V [editor.]
  • Freivalds, Rūsiņš [editor.]
  • Kwiatkowska, Marta [editor.]
  • Peleg, David [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7965
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
Online access:
Availability: No items available.

Add to cart
150.
Automata, Languages, and Programming [electronic resource] : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II / edited by Fedor V. Fomin, Rūsiņš Freivalds, Marta Kwiatkowska, David Peleg. by
  • Fomin, Fedor V [editor.]
  • Freivalds, Rūsiņš [editor.]
  • Kwiatkowska, Marta [editor.]
  • Peleg, David [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7966
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
Online access:
Availability: No items available.

Add to cart
151.
Security and Privacy Protection in Information Processing Systems [electronic resource] : 28th IFIP TC 11 International Conference, SEC 2013, Auckland, New Zealand, July 8-10, 2013. Proceedings / edited by Lech J. Janczewski, Henry B. Wolfe, Sujeet Shenoi. by
  • Janczewski, Lech J [editor.]
  • Wolfe, Henry B [editor.]
  • Shenoi, Sujeet [editor.]
  • SpringerLink (Online service)
Series: IFIP Advances in Information and Communication Technology ; 405
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
Online access:
Availability: No items available.

Add to cart
152.
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
Online access:
Availability: No items available.

Add to cart
153.
Descriptional Complexity of Formal Systems [electronic resource] : 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings / edited by Helmut Jurgensen, Rogério Reis. by
  • Jurgensen, Helmut [editor.]
  • Reis, Rogério [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8031
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
Online access:
Availability: No items available.

Add to cart
154.
Analytical and Stochastic Modeling Techniques and Applications [electronic resource] : 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013. Proceedings / edited by Alexander Dudin, Koen De Turck. by
  • Dudin, Alexander [editor.]
  • Turck, Koen De [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7984
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
Online access:
Availability: No items available.

Add to cart
155.
Intelligent Computing Theories and Technology [electronic resource] : 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013. Proceedings / edited by De-Shuang Huang, Kang-Hyun Jo, Yong-Quan Zhou, Kyungsook Han. by
  • Huang, De-Shuang [editor.]
  • Jo, Kang-Hyun [editor.]
  • Zhou, Yong-Quan [editor.]
  • Han, Kyungsook [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7996
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
Online access:
Availability: No items available.

Add to cart
156.
Integrated Uncertainty in Knowledge Modelling and Decision Making [electronic resource] : International Symposium, IUKM 2013, Beijing, China, July 12-14, 2013. Proceedings / edited by Zengchang Qin, Van-Nam Huynh. by
  • Qin, Zengchang [editor.]
  • Huynh, Van-Nam [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8032
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
Online access:
Availability: No items available.

Add to cart
157.
Artificial General Intelligence [electronic resource] : 6th International Conference, AGI 2013, Beijing, China, July 31 – August 3, 2013 Proceedings / edited by Kai-Uwe Kühnberger, Sebastian Rudolph, Pei Wang. by
  • Kühnberger, Kai-Uwe [editor.]
  • Rudolph, Sebastian [editor.]
  • Wang, Pei [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7999
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
Online access:
Availability: No items available.

Add to cart
158.
Web-Age Information Management [electronic resource] : WAIM 2013 International Workshops: HardBD, MDSP, BigEM, TMSN, LQPM, BDMS, Beidaihe, China, June 14-16, 2013. Proceedings / edited by Yunjun Gao, Kyuseok Shim, Zhiming Ding, Peiquan Jin, Zujie Ren, Yingyuan Xiao, An Liu, Shaojie Qiao. by
  • Gao, Yunjun [editor.]
  • Shim, Kyuseok [editor.]
  • Ding, Zhiming [editor.]
  • Jin, Peiquan [editor.]
  • Ren, Zujie [editor.]
  • Xiao, Yingyuan [editor.]
  • Liu, An [editor.]
  • Qiao, Shaojie [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7901
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
Online access:
Availability: No items available.

Add to cart
159.
Interactive Theorem Proving [electronic resource] : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings / edited by Sandrine Blazy, Christine Paulin-Mohring, David Pichardie. by
  • Blazy, Sandrine [editor.]
  • Paulin-Mohring, Christine [editor.]
  • Pichardie, David [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7998
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
Online access:
Availability: No items available.

Add to cart
160.
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
Online access:
Availability: No items available.

Add to cart
Pages