Welcome to Central Library, SUST

Your search returned 314 results.

Not what you expected? Check for suggestions
Sort
Results
241.
Formal Concept Analysis [electronic resource] : 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings / edited by Peggy Cellier, Felix Distel, Bernhard Ganter. by
  • Cellier, Peggy [editor.]
  • Distel, Felix [editor.]
  • Ganter, Bernhard [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7880
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.

242.
Methodology, Models and Algorithms in Thermographic Diagnostics [electronic resource] / by Jozef Živčák, Radovan Hudák, Ladislav Madarász, Imre J. Rudas. by
  • Živčák, Jozef [author.]
  • Hudák, Radovan [author.]
  • Madarász, Ladislav [author.]
  • Rudas, Imre J [author.]
  • SpringerLink (Online service)
Series: Topics in Intelligent Engineering and Informatics ; 5
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.

243.
Evolutionary Computation for Dynamic Optimization Problems [electronic resource] / edited by Shengxiang Yang, Xin Yao. by
  • Yang, Shengxiang [editor.]
  • Yao, Xin [editor.]
  • SpringerLink (Online service)
Series: Studies in Computational Intelligence ; 490
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.

244.
Proceedings of 2013 Chinese Intelligent Automation Conference [electronic resource] : Intelligent Automation & Intelligent Technology and Systems / edited by Zengqi Sun, Zhidong Deng. by
  • Sun, Zengqi [editor.]
  • Deng, Zhidong [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Electrical Engineering ; 255
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.

245.
Proceedings of 2013 Chinese Intelligent Automation Conference [electronic resource] : Intelligent Information Processing / edited by Zengqi Sun, Zhidong Deng. by
  • Sun, Zengqi [editor.]
  • Deng, Zhidong [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Electrical Engineering ; 256
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.

246.
Advanced Information Systems Engineering Workshops [electronic resource] : CAiSE 2013 International Workshops, Valencia, Spain, June 17-21, 2013. Proceedings / edited by Xavier Franch, Pnina Soffer. by
  • Franch, Xavier [editor.]
  • Soffer, Pnina [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Business Information Processing ; 148
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.

247.
Proceedings of 2013 Chinese Intelligent Automation Conference [electronic resource] : Intelligent Automation / edited by Zengqi Sun, Zhidong Deng. by
  • Sun, Zengqi [editor.]
  • Deng, Zhidong [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Electrical Engineering ; 254
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.

248.
Automated Deduction – CADE-24 [electronic resource] : 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings / edited by Maria Paola Bonacina. by
  • Bonacina, Maria Paola [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7898
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.

249.
Dimensionality Reduction with Unsupervised Nearest Neighbors [electronic resource] / by Oliver Kramer. by
  • Kramer, Oliver [author.]
  • SpringerLink (Online service)
Series: Intelligent Systems Reference Library ; 51
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.

250.
Programming Multi-Agent Systems [electronic resource] : 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers / edited by Mehdi Dastani, Jomi F. Hübner, Brian Logan. by
  • Dastani, Mehdi [editor.]
  • Hübner, Jomi F [editor.]
  • Logan, Brian [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7837
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.

251.
Advanced Information Systems Engineering [electronic resource] : 25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013. Proceedings / edited by Camille Salinesi, Moira C. Norrie, Óscar Pastor. by
  • Salinesi, Camille [editor.]
  • Norrie, Moira C [editor.]
  • Pastor, Óscar [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7908
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.

252.
Global Design and Local Materialization [electronic resource] : 15th International Conference, CAAD Futures 2013, Shanghai, China, July 3-5, 2013. Proceedings / edited by Jianlong Zhang, Chengyu Sun. by
  • Zhang, Jianlong [editor.]
  • Sun, Chengyu [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 369
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.

253.
A Journey from Robot to Digital Human [electronic resource] : Mathematical Principles and Applications with MATLAB Programming / by Edward Y L Gu. by
  • Gu, Edward Y L [author.]
  • SpringerLink (Online service)
Series: Modeling and Optimization in Science and Technologies ; 1
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.

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

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

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

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

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

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

260.
Hardware and Software: Verification and Testing [electronic resource] : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers / edited by Armin Biere, Amir Nahir, Tanja Vos. by
  • Biere, Armin [editor.]
  • Nahir, Amir [editor.]
  • Vos, Tanja [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7857
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