Welcome to Central Library, SUST

Your search returned 389 results.

Not what you expected? Check for suggestions
Sort
Results
161.
Declarative Agent Languages and Technologies X [electronic resource] : 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers / edited by Matteo Baldoni, Louise Dennis, Viviana Mascardi, Wamberto Vasconcelos. by
  • Baldoni, Matteo [editor.]
  • Dennis, Louise [editor.]
  • Mascardi, Viviana [editor.]
  • Vasconcelos, Wamberto [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7784
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.
Health Information Science [electronic resource] : Second International Conference, HIS 2013, London, UK, March 25-27, 2013. Proceedings / edited by Guangyan Huang, Xiaohui Liu, Jing He, Frank Klawonn, Guiqing Yao. by
  • Huang, Guangyan [editor.]
  • Liu, Xiaohui [editor.]
  • He, Jing [editor.]
  • Klawonn, Frank [editor.]
  • Yao, Guiqing [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7798
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.
Massively Parallel Evolutionary Computation on GPGPUs [electronic resource] / edited by Shigeyoshi Tsutsui, Pierre Collet. by
  • Tsutsui, Shigeyoshi [editor.]
  • Collet, Pierre [editor.]
  • SpringerLink (Online service)
Series: Natural Computing Series
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.
Semantic Technology [electronic resource] : Second Joint International Conference, JIST 2012, Nara, Japan, December 2-4, 2012. Proceedings / edited by Hideaki Takeda, Yuzhong Qu, Riichiro Mizoguchi, Yoshinobu Kitamura. by
  • Takeda, Hideaki [editor.]
  • Qu, Yuzhong [editor.]
  • Mizoguchi, Riichiro [editor.]
  • Kitamura, Yoshinobu [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7774
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.
Highlights on Practical Applications of Agents and Multi-Agent Systems [electronic resource] : International Workshops of PAAMS 2013, Salamanca, Spain, May 22-24, 2013. Proceedings / edited by Juan M. Corchado, Javier Bajo, Jaroslaw Kozlak, Pawel Pawlewski, Jose M. Molina, Vicente Julian, Ricardo Azambuja Silveira, Rainer Unland, Sylvain Giroux. by
  • Corchado, Juan M [editor.]
  • Bajo, Javier [editor.]
  • Kozlak, Jaroslaw [editor.]
  • Pawlewski, Pawel [editor.]
  • Molina, Jose M [editor.]
  • Julian, Vicente [editor.]
  • Silveira, Ricardo Azambuja [editor.]
  • Unland, Rainer [editor.]
  • Giroux, Sylvain [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 365
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.
Advances on Practical Applications of Agents and Multi-Agent Systems [electronic resource] : 11th International Conference, PAAMS 2013, Salamanca, Spain, May 22-24, 2013. Proceedings / edited by Yves Demazeau, Toru Ishida, Juan M. Corchado, Javier Bajo. by
  • Demazeau, Yves [editor.]
  • Ishida, Toru [editor.]
  • Corchado, Juan M [editor.]
  • Bajo, Javier [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7879
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.
Augmented Environments for Computer-Assisted Interventions [electronic resource] : 7th International Workshop, AE-CAI 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2013, Revised Selected Papers / edited by Cristian A. Linte, Elvis C. S. Chen, Marie-Odile Berger, John T. Moore, David R. Holmes. by
  • Linte, Cristian A [editor.]
  • Chen, Elvis C. S [editor.]
  • Berger, Marie-Odile [editor.]
  • Moore, John T [editor.]
  • Holmes, David R [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7815
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.
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings / edited by Carla Gomes, Meinolf Sellmann. by
  • Gomes, Carla [editor.]
  • Sellmann, Meinolf [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7874
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.
Logic-Based Program Synthesis and Transformation [electronic resource] : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers / edited by Elvira Albert. by
  • Albert, Elvira [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7844
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.
Model-Based Methodologies for Pervasive and Embedded Software [electronic resource] : 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers / edited by Ricardo J. Machado, Rita Suzana P. Maciel, Julia Rubin, Goetz Botterweck. by
  • Machado, Ricardo J [editor.]
  • Maciel, Rita Suzana P [editor.]
  • Rubin, Julia [editor.]
  • Botterweck, Goetz [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7706
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.
Belief-based Stability in Coalition Formation with Uncertainty [electronic resource] : An Intelligent Agents’ Perspective / by Chi-kong Chan, Ho-fung Leung. by
  • Chan, Chi-kong [author.]
  • Leung, Ho-fung [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
Availability: No items available.

172.
Modeling and Simulation in Engineering, Economics, and Management [electronic resource] : International Conference, MS 2013, Castellón de la Plana, Spain, June 6-7, 2013. Proceedings / edited by María Ángeles Fernández-Izquierdo, María Jesús Muñoz-Torres, Raúl León. by
  • Fernández-Izquierdo, María Ángeles [editor.]
  • Muñoz-Torres, María Jesús [editor.]
  • León, Raúl [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Business Information Processing ; 145
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.
The Semantic Web: Semantics and Big Data [electronic resource] : 10th International Conference, ESWC 2013, Montpellier, France, May 26-30, 2013. Proceedings / edited by Philipp Cimiano, Oscar Corcho, Valentina Presutti, Laura Hollink, Sebastian Rudolph. by
  • Cimiano, Philipp [editor.]
  • Corcho, Oscar [editor.]
  • Presutti, Valentina [editor.]
  • Hollink, Laura [editor.]
  • Rudolph, Sebastian [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7882
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.
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.

175.
Artificial Intelligence in Medicine [electronic resource] : 14th Conference on Artificial Intelligence in Medicine, AIME 2013, Murcia, Spain, May 29 – June 1, 2013. Proceedings / edited by Niels Peek, Roque Marín Morales, Mor Peleg. by
  • Peek, Niels [editor.]
  • Marín Morales, Roque [editor.]
  • Peleg, Mor [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7885
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.
Advances in Artificial Intelligence [electronic resource] : 26th Canadian Conference on Artificial Intelligence, Canadian AI 2013, Regina, SK, Canada, May 28-31, 2013. Proceedings / edited by Osmar R. Zaïane, Sandra Zilles. by
  • Zaïane, Osmar R [editor.]
  • Zilles, Sandra [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7884
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.
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.

178.
Transactions on Computational Collective Intelligence X [electronic resource] / edited by Ngoc-Thanh Nguyen, Joanna Kołodziej, Tadeusz Burczyński, Marenglen Biba. by
  • Nguyen, Ngoc-Thanh [editor.]
  • Kołodziej, Joanna [editor.]
  • Burczyński, Tadeusz [editor.]
  • Biba, Marenglen [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7776
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.
Hybrid Metaheuristics [electronic resource] : 8th International Workshop, HM 2013, Ischia, Italy, May 23-25, 2013. Proceedings / edited by María J. Blesa, Christian Blum, Paola Festa, Andrea Roli, Michael Sampels. by
  • Blesa, María J [editor.]
  • Blum, Christian [editor.]
  • Festa, Paola [editor.]
  • Roli, Andrea [editor.]
  • Sampels, Michael [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7919
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.
Experimental Algorithms [electronic resource] : 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013. Proceedings / edited by Vincenzo Bonifaci, Camil Demetrescu, Alberto Marchetti-Spaccamela. by
  • Bonifaci, Vincenzo [editor.]
  • Demetrescu, Camil [editor.]
  • Marchetti-Spaccamela, Alberto [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7933
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