Welcome to Central Library, SUST

Your search returned 214 results.

Not what you expected? Check for suggestions
Sort
Results
161.
Principles and Practice of Constraint Programming [electronic resource] : 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings / edited by Christian Schulte. by
  • Schulte, Christian [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8124
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.

162.
Advances in Artificial Intelligence [electronic resource] : 15th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2013, Madrid, Spain, September 17-20, 2013. Proceedings / edited by Concha Bielza, Antonio Salmerón, Amparo Alonso-Betanzos, J. Ignacio Hidalgo, Luis Martínez, Alicia Troncoso, Emilio Corchado, Juan M. Corchado. by
  • Bielza, Concha [editor.]
  • Salmerón, Antonio [editor.]
  • Alonso-Betanzos, Amparo [editor.]
  • Hidalgo, J. Ignacio [editor.]
  • Martínez, Luis [editor.]
  • Troncoso, Alicia [editor.]
  • Corchado, Emilio [editor.]
  • Corchado, Juan M [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8109
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.

163.
OpenMP in the Era of Low Power Devices and Accelerators [electronic resource] : 9th International Workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013. Proceedings / edited by Alistair P. Rendell, Barbara M. Chapman, Matthias S. Müller. by
  • Rendell, Alistair P [editor.]
  • Chapman, Barbara M [editor.]
  • Müller, Matthias S [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8122
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.

164.
Language Processing and Knowledge in the Web [electronic resource] : 25th International Conference, GSCL 2013, Darmstadt, Germany, September 25-27, 2013. Proceedings / edited by Iryna Gurevych, Chris Biemann, Torsten Zesch. by
  • Gurevych, Iryna [editor.]
  • Biemann, Chris [editor.]
  • Zesch, Torsten [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8105
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.

165.
Artificial Neural Networks and Machine Learning – ICANN 2013 [electronic resource] : 23rd International Conference on Artificial Neural Networks Sofia, Bulgaria, September 10-13, 2013. Proceedings / edited by Valeri Mladenov, Petia Koprinkova-Hristova, Günther Palm, Alessandro E. P. Villa, Bruno Appollini, Nikola Kasabov. by
  • Mladenov, Valeri [editor.]
  • Koprinkova-Hristova, Petia [editor.]
  • Palm, Günther [editor.]
  • Villa, Alessandro E. P [editor.]
  • Appollini, Bruno [editor.]
  • Kasabov, Nikola [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8131
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.

166.
Runtime Verification [electronic resource] : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings / edited by Axel Legay, Saddek Bensalem. by
  • Legay, Axel [editor.]
  • Bensalem, Saddek [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8174
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.

167.
Computer Safety, Reliability, and Security [electronic resource] : 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings / edited by Friedemann Bitsch, Jérémie Guiochet, Mohamed Kaâniche. by
  • Bitsch, Friedemann [editor.]
  • Guiochet, Jérémie [editor.]
  • Kaâniche, Mohamed [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8153
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.

168.
Network and Parallel Computing [electronic resource] : 10th IFIP International Conference, NPC 2013, Guiyang, China, September 19-21, 2013. Proceedings / edited by Ching-Hsien Hsu, Xiaoming Li, Xuanhua Shi, Ran Zheng. by
  • Hsu, Ching-Hsien [editor.]
  • Li, Xiaoming [editor.]
  • Shi, Xuanhua [editor.]
  • Zheng, Ran [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8147
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.

169.
Augmented Reality Environments for Medical Imaging and Computer-Assisted Interventions [electronic resource] : 6th International Workshop, MIAR 2013 and 8th International Workshop, AE-CAI 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings / edited by Hongen Liao, Cristian A. Linte, Ken Masamune, Terry M. Peters, Guoyan Zheng. by
  • Liao, Hongen [editor.]
  • Linte, Cristian A [editor.]
  • Masamune, Ken [editor.]
  • Peters, Terry M [editor.]
  • Zheng, Guoyan [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8090
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.

170.
Hybrid Artificial Intelligent Systems [electronic resource] : 8th International Conference, HAIS 2013, Salamanca, Spain, September 11-13, 2013. Proceedings / edited by Jeng-Shyang Pan, Marios M. Polycarpou, Michał Woźniak, André C. P. L. F. de Carvalho, Héctor Quintián, Emilio Corchado. by
  • Pan, Jeng-Shyang [editor.]
  • Polycarpou, Marios M [editor.]
  • Woźniak, Michał [editor.]
  • Carvalho, André C. P. L. F. de [editor.]
  • Quintián, Héctor [editor.]
  • Corchado, Emilio [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8073
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.

171.
Cellular Automata and Discrete Complex Systems [electronic resource] : 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 17-19, 2013. Proceedings / edited by Jarkko Kari, Martin Kutrib, Andreas Malcher. by
  • Kari, Jarkko [editor.]
  • Kutrib, Martin [editor.]
  • Malcher, Andreas [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8155
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.

172.
Frontiers of Combining Systems [electronic resource] : 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings / edited by Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt. by
  • Fontaine, Pascal [editor.]
  • Ringeissen, Christophe [editor.]
  • Schmidt, Renate A [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8152
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.

173.
Discovery Science [electronic resource] : 16th International Conference, DS 2013, Singapore, October 6-9, 2013. Proceedings / edited by Johannes Fürnkranz, Eyke Hüllermeier, Tomoyuki Higuchi. by
  • Fürnkranz, Johannes [editor.]
  • Hüllermeier, Eyke [editor.]
  • Higuchi, Tomoyuki [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8140
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.

174.
Computer Information Systems and Industrial Management [electronic resource] : 12th IFIP TC8 International Conference, CISIM 2013, Krakow, Poland, September 25-27, 2013. Proceedings / edited by Khalid Saeed, Rituparna Chaki, Agostino Cortesi, Sławomir Wierzchoń. by
  • Saeed, Khalid [editor.]
  • Chaki, Rituparna [editor.]
  • Cortesi, Agostino [editor.]
  • Wierzchoń, Sławomir [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8104
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.

175.
Algorithmic Learning Theory [electronic resource] : 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings / edited by Sanjay Jain, Rémi Munos, Frank Stephan, Thomas Zeugmann. by
  • Jain, Sanjay [editor.]
  • Munos, Rémi [editor.]
  • Stephan, Frank [editor.]
  • Zeugmann, Thomas [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8139
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.

176.
Computational Logistics [electronic resource] : 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013. Proceedings / edited by Dario Pacino, Stefan Voß, Rune Møller Jensen. by
  • Pacino, Dario [editor.]
  • Voß, Stefan [editor.]
  • Jensen, Rune Møller [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8197
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.

177.
Reachability Problems [electronic resource] : 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings / edited by Parosh Aziz Abdulla, Igor Potapov. by
  • Abdulla, Parosh Aziz [editor.]
  • Potapov, Igor [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8169
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.

178.
Wireless Sensor Networks for Developing Countries [electronic resource] : First International Conference, WSN4DC, Jamshoro, Pakistan, April 24-26, 2013, Revised Selected Papers / edited by Faisal Karim Shaikh, Bhawani Shankar Chowdhry, Habib M. Ammari, Muhammad Aslam Uqaili, Assadullah Shah. by
  • Shaikh, Faisal Karim [editor.]
  • Chowdhry, Bhawani Shankar [editor.]
  • Ammari, Habib M [editor.]
  • Uqaili, Muhammad Aslam [editor.]
  • Shah, Assadullah [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 366
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.

179.
Similarity Search and Applications [electronic resource] : 6th International Conference, SISAP 2013, A Coruña, Spain, October 2-4, 2013, Proceedings / edited by Nieves Brisaboa, Oscar Pedreira, Pavel Zezula. by
  • Brisaboa, Nieves [editor.]
  • Pedreira, Oscar [editor.]
  • Zezula, Pavel [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8199
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.

180.
Security and Trust Management [electronic resource] : 9th International Workshop, STM 2013, Egham, UK, September 12-13, 2013. Proceedings / edited by Rafael Accorsi, Silvio Ranise. by
  • Accorsi, Rafael [editor.]
  • Ranise, Silvio [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8203
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