Welcome to Central Library, SUST

Your search returned 581 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
521.
Knowledge Engineering and the Semantic Web [electronic resource] : 4th International Conference, KESW 2013, St. Petersburg, Russia, October 7-9, 2013. Proceedings / edited by Pavel Klinov, Dmitry Mouromtsev. by
  • Klinov, Pavel [editor.]
  • Mouromtsev, Dmitry [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 394
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
522.
Reactive Kripke Semantics [electronic resource] / by Dov M. Gabbay. by
  • Gabbay, Dov M [author.]
  • SpringerLink (Online service)
Series: Cognitive Technologies
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
523.
Advances in Intelligent Data Analysis XII [electronic resource] : 12th International Symposium, IDA 2013, London, UK, October 17-19, 2013. Proceedings / edited by Allan Tucker, Frank Höppner, Arno Siebes, Stephen Swift. by
  • Tucker, Allan [editor.]
  • Höppner, Frank [editor.]
  • Siebes, Arno [editor.]
  • Swift, Stephen [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8207
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
524.
Combinatorial Search: From Algorithms to Systems [electronic resource] / by Youssef Hamadi. by
  • Hamadi, Youssef [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
Online access:
Availability: No items available.

Add to cart
525.
Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data [electronic resource] : 12th China National Conference, CCL 2013 and First International Symposium, NLP-NABD 2013, Suzhou, China, October 10-12, 2013. Proceedings / edited by Maosong Sun, Min Zhang, Dekang Lin, Haifeng Wang. by
  • Sun, Maosong [editor.]
  • Zhang, Min [editor.]
  • Lin, Dekang [editor.]
  • Wang, Haifeng [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8202
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
526.
Intelligent Multimedia Surveillance [electronic resource] : Current Trends and Research / edited by Pradeep K. Atrey, Mohan S. Kankanhalli, Andrea Cavallaro. by
  • Atrey, Pradeep K [editor.]
  • Kankanhalli, Mohan S [editor.]
  • Cavallaro, Andrea [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
Online access:
Availability: No items available.

Add to cart
527.
Applications of Declarative Programming and Knowledge Management [electronic resource] : 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers / edited by Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf. by
  • Tompits, Hans [editor.]
  • Abreu, Salvador [editor.]
  • Oetsch, Johannes [editor.]
  • Pührer, Jörg [editor.]
  • Seipel, Dietmar [editor.]
  • Umeda, Masanobu [editor.]
  • Wolf, Armin [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7773
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
528.
Multimodal Communication in Political Speech. Shaping Minds and Social Action [electronic resource] : International Workshop, Political Speech 2010, Rome, Italy, November 10-12, 2010, Revised Selected Papers / edited by Isabella Poggi, Francesca D’Errico, Laura Vincze, Alessandro Vinciarelli. by
  • Poggi, Isabella [editor.]
  • D’Errico, Francesca [editor.]
  • Vincze, Laura [editor.]
  • Vinciarelli, Alessandro [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7688
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
529.
Modeling Decisions for Artificial Intelligence [electronic resource] : 10th International Conference, MDAI 2013, Barcelona, Spain, November 20-22, 2013. Proceedings / edited by Vicenç Torra, Yasuo Narukawa, Guillermo Navarro-Arribas, David Megías. by
  • Torra, Vicenç [editor.]
  • Narukawa, Yasuo [editor.]
  • Navarro-Arribas, Guillermo [editor.]
  • Megías, David [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8234
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
530.
Evolution of Telecommunication Services [electronic resource] : The Convergence of Telecom and Internet: Technologies and Ecosystems / edited by Emmanuel Bertin, Noel Crespi, Thomas Magedanz. by
  • Bertin, Emmanuel [editor.]
  • Crespi, Noel [editor.]
  • Magedanz, Thomas [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7768
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
531.
Algorithmic Decision Theory [electronic resource] : Third International Conference, ADT 2013, Bruxelles, Belgium, November 12-14, 2013, Proceedings / edited by Patrice Perny, Marc Pirlot, Alexis Tsoukiàs. by
  • Perny, Patrice [editor.]
  • Pirlot, Marc [editor.]
  • Tsoukiàs, Alexis [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8176
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
532.
Constraint Solving and Language Processing [electronic resource] : 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers / edited by Denys Duchier, Yannick Parmentier. by
  • Duchier, Denys [editor.]
  • Parmentier, Yannick [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8114
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
533.
Activities of Transport Telematics [electronic resource] : 13th International Conference on Transport Systems Telematics, TST 2013, Katowice-Ustroń, Poland, October 23–26, 2013, Selected Papers / edited by Jerzy Mikulski. by
  • Mikulski, Jerzy [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 395
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
534.
Business Information Systems Workshops [electronic resource] : BIS 2013 International Workshops, Poznań, Poland, June 19-20, 2013, Revised Papers / edited by Witold Abramowicz. by
  • Abramowicz, Witold [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Business Information Processing ; 160
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
535.
Transactions on Computational Collective Intelligence XI [electronic resource] / edited by Ngoc Thanh Nguyen. by
  • Nguyen, Ngoc Thanh [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8065
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
536.
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications [electronic resource] : 18th Iberoamerican Congress, CIARP 2013, Havana, Cuba, November 20-23, 2013, Proceedings, Part I / edited by José Ruiz-Shulcloper, Gabriella Sanniti di Baja. by
  • Ruiz-Shulcloper, José [editor.]
  • Sanniti di Baja, Gabriella [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8258
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
537.
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications [electronic resource] : 18th Iberoamerican Congress, CIARP 2013, Havana, Cuba, November 20-23, 2013, Proceedings, Part II / edited by José Ruiz-Shulcloper, Gabriella Sanniti di Baja. by
  • Ruiz-Shulcloper, José [editor.]
  • Sanniti di Baja, Gabriella [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8259
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
538.
Transactions on Computational Science XX [electronic resource] : Special Issue on Voronoi Diagrams and Their Applications / edited by Marina L. Gavrilova, C. J. Kenneth Tan, Bahman Kalantari. by
  • Gavrilova, Marina L [editor.]
  • Tan, C. J. Kenneth [editor.]
  • Kalantari, Bahman [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8110
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
539.
Advanced Techniques for Knowledge Engineering and Innovative Applications [electronic resource] : 16th International Conference, KES 2012, San Sebastian, Spain, September 10-12, 2012, Revised Selected Papers / edited by Jeffrey W. Tweedale, Lakhmi C. Jain. by
  • Tweedale, Jeffrey W [editor.]
  • Jain, Lakhmi C [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 246
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
540.
Neural Information Processing [electronic resource] : 20th International Conference, ICONIP 2013, Daegu, Korea, November 3-7, 2013. Proceedings, Part II / edited by Minho Lee, Akira Hirose, Zeng-Guang Hou, Rhee Man Kil. by
  • Lee, Minho [editor.]
  • Hirose, Akira [editor.]
  • Hou, Zeng-Guang [editor.]
  • Kil, Rhee Man [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8227
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