Welcome to Central Library, SUST

Your search returned 665 results.

Not what you expected? Check for suggestions
Sort
Results
441.
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
Availability: No items available.

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

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

444.
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings / edited by Linda C. van der Gaag. by
  • Gaag, Linda C. van der [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7958
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.

445.
Image Analysis and Recognition [electronic resource] : 10th International Conference, ICIAR 2013, Póvoa do Varzim, Portugal, June 26-28, 2013. Proceedings / edited by Mohamed Kamel, Aurélio Campilho. by
  • Kamel, Mohamed [editor.]
  • Campilho, Aurélio [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7950
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.

446.
Artificial Intelligence in Education [electronic resource] : 16th International Conference, AIED 2013, Memphis, TN, USA, July 9-13, 2013. Proceedings / edited by H. Chad Lane, Kalina Yacef, Jack Mostow, Philip Pavlik. by
  • Lane, H. Chad [editor.]
  • Yacef, Kalina [editor.]
  • Mostow, Jack [editor.]
  • Pavlik, Philip [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7926
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.

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

448.
Human-Computer Interaction and Knowledge Discovery in Complex, Unstructured, Big Data [electronic resource] : Third International Workshop, HCI-KDD 2013, Held at SouthCHI 2013, Maribor, Slovenia, July 1-3, 2013. Proceedings / edited by Andreas Holzinger, Gabriella Pasi. by
  • Holzinger, Andreas [editor.]
  • Pasi, Gabriella [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7947
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.

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

450.
Aggregation Functions in Theory and in Practise [electronic resource] : Proceedings of the 7th International Summer School on Aggregation Operators at the Public University of Navarra, Pamplona, Spain, July 16-20, 2013 / edited by Humberto Bustince, Javier Fernandez, Radko Mesiar, Tomasa Calvo. by
  • Bustince, Humberto [editor.]
  • Fernandez, Javier [editor.]
  • Mesiar, Radko [editor.]
  • Calvo, Tomasa [editor.]
  • SpringerLink (Online service)
Series: Advances in Intelligent Systems and Computing ; 228
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.

451.
Web Engineering [electronic resource] : 13th International Conference, ICWE 2013, Aalborg, Denmark, July 8-12, 2013. Proceedings / edited by Florian Daniel, Peter Dolog, Qing Li. by
  • Daniel, Florian [editor.]
  • Dolog, Peter [editor.]
  • Li, Qing [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7977
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.

452.
Robotics in Smart Manufacturing [electronic resource] : International Workshop, WRSM 2013, Co-located with FAIM 2013, Porto, Portugal, June 26-28, 2013. Proceedings / edited by Pedro Neto, António Paulo Moreira. by
  • Neto, Pedro [editor.]
  • Moreira, António Paulo [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 371
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.

453.
RoboCup 2012: Robot Soccer World Cup XVI [electronic resource] / edited by Xiaoping Chen, Peter Stone, Luis Enrique Sucar, Tijn van der Zant. by
  • Chen, Xiaoping [editor.]
  • Stone, Peter [editor.]
  • Sucar, Luis Enrique [editor.]
  • Zant, Tijn van der [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7500
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.

454.
Managing Complexity: Practical Considerations in the Development and Application of ABMs to Contemporary Policy Challenges [electronic resource] / edited by Mirsad Hadzikadic, Sean O’Brien, Moutaz Khouja. by
  • Hadzikadic, Mirsad [editor.]
  • O’Brien, Sean [editor.]
  • Khouja, Moutaz [editor.]
  • SpringerLink (Online service)
Series: Studies in Computational Intelligence ; 504
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.

455.
Automated Scheduling and Planning [electronic resource] : From Theory to Practice / edited by A. Sima Uyar, Ender Ozcan, Neil Urquhart. by
  • Uyar, A. Sima [editor.]
  • Ozcan, Ender [editor.]
  • Urquhart, Neil [editor.]
  • SpringerLink (Online service)
Series: Studies in Computational Intelligence ; 505
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.

456.
Web Information Retrieval [electronic resource] / by Stefano Ceri, Alessandro Bozzon, Marco Brambilla, Emanuele Della Valle, Piero Fraternali, Silvia Quarteroni. by
  • Ceri, Stefano [author.]
  • Bozzon, Alessandro [author.]
  • Brambilla, Marco [author.]
  • Della Valle, Emanuele [author.]
  • Fraternali, Piero [author.]
  • Quarteroni, Silvia [author.]
  • SpringerLink (Online service)
Series: Data-Centric Systems and Applications
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.

457.
Intelligent Computer Mathematics [electronic resource] : MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings / edited by Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger. by
  • Carette, Jacques [editor.]
  • Aspinall, David [editor.]
  • Lange, Christoph [editor.]
  • Sojka, Petr [editor.]
  • Windsteiger, Wolfgang [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7961
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.

458.
Engineering Psychology and Cognitive Ergonomics. Understanding Human Cognition [electronic resource] : 10th International Conference, EPCE 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I / edited by Don Harris. by
  • Harris, Don [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8019
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.

459.
Virtual Augmented and Mixed Reality. Designing and Developing Augmented and Virtual Environments [electronic resource] : 5th International Conference, VAMR 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I / edited by Randall Shumaker. by
  • Shumaker, Randall [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8021
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.

460.
Data Integration in the Life Sciences [electronic resource] : 9th International Conference, DILS 2013, Montreal, QC, Canada, July 11-12, 2013. Proceedings / edited by Christopher J. O. Baker, Greg Butler, Igor Jurisica. by
  • Baker, Christopher J. O [editor.]
  • Butler, Greg [editor.]
  • Jurisica, Igor [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7970
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