Welcome to Central Library, SUST

Refine your search

Your search returned 1889 results.

Not what you expected? Check for suggestions
Sort
Results
1041.
Information Security Practice and Experience [electronic resource] : 9th International Conference, ISPEC 2013, Lanzhou, China, May 12-14, 2013. Proceedings / edited by Robert H. Deng, Tao Feng. by
  • Deng, Robert H [editor.]
  • Feng, Tao [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7863
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.

1042.
Bioinformatics Research and Applications [electronic resource] : 9th International Symposium, ISBRA 2013, Charlotte, NC, USA, May 20-22, 2013. Proceedings / edited by Zhipeng Cai, Oliver Eulenstein, Daniel Janies, Daniel Schwartz. by
  • Cai, Zhipeng [editor.]
  • Eulenstein, Oliver [editor.]
  • Janies, Daniel [editor.]
  • Schwartz, Daniel [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7875
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.

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

1044.
Multiple Classifier Systems [electronic resource] : 11th International Workshop, MCS 2013, Nanjing, China, May 15-17, 2013. Proceedings / edited by Zhi-Hua Zhou, Fabio Roli, Josef Kittler. by
  • Zhou, Zhi-Hua [editor.]
  • Roli, Fabio [editor.]
  • Kittler, Josef [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7872
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.

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

1046.
Clinical Image-Based Procedures. From Planning to Intervention [electronic resource] : International Workshop, CLIP 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2012, Revised Selected Papers / edited by Klaus Drechsler, Marius Erdt, Marius George Linguraru, Cristina Oyarzun Laura, Karun Sharma, Raj Shekhar, Stefan Wesarg. by
  • Drechsler, Klaus [editor.]
  • Erdt, Marius [editor.]
  • Linguraru, Marius George [editor.]
  • Oyarzun Laura, Cristina [editor.]
  • Sharma, Karun [editor.]
  • Shekhar, Raj [editor.]
  • Wesarg, Stefan [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7761
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.

1047.
The Future Internet [electronic resource] : Future Internet Assembly 2013: Validated Results and New Horizons / edited by Alex Galis, Anastasius Gavras. by
  • Galis, Alex [editor.]
  • Gavras, Anastasius [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7858
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.

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

1049.
NASA Formal Methods [electronic resource] : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings / edited by Guillaume Brat, Neha Rungta, Arnaud Venet. by
  • Brat, Guillaume [editor.]
  • Rungta, Neha [editor.]
  • Venet, Arnaud [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7871
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.

1050.
Distributed Algorithms for Message-Passing Systems [electronic resource] / by Michel Raynal. by
  • Raynal, Michel [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.

1051.
Transactions on Petri Nets and Other Models of Concurrency VII [electronic resource] / edited by Kurt Jensen, Wil M. P. van der Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf. by
  • Jensen, Kurt [editor.]
  • Aalst, Wil M. P. van der [editor.]
  • Balbo, Gianfranco [editor.]
  • Koutny, Maciej [editor.]
  • Wolf, Karsten [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7480
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.

1052.
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky [electronic resource] : Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday / edited by Bob Coecke, Luke Ong, Prakash Panangaden. by
  • Coecke, Bob [editor.]
  • Ong, Luke [editor.]
  • Panangaden, Prakash [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7860
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.

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

1054.
Facets of Combinatorial Optimization [electronic resource] : Festschrift for Martin Grötschel / edited by Michael Jünger, Gerhard Reinelt. by
  • Jünger, Michael [editor.]
  • Reinelt, Gerhard [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
Availability: No items available.

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

1056.
Wireless Multimedia Sensor Networks on Reconfigurable Hardware [electronic resource] : Information Reduction Techniques / by Li-minn Ang, Kah Phooi Seng, Li Wern Chew, Lee Seng Yeong, Wai Chong Chia. by
  • Ang, Li-minn [author.]
  • Seng, Kah Phooi [author.]
  • Chew, Li Wern [author.]
  • Yeong, Lee Seng [author.]
  • Chia, Wai Chong [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.

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

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

1059.
Graph-Based Representations in Pattern Recognition [electronic resource] : 9th IAPR-TC-15 International Workshop, GbRPR 2013, Vienna, Austria, May 15-17, 2013. Proceedings / edited by Walter G. Kropatsch, Nicole M. Artner, Yll Haxhimusa, Xiaoyi Jiang. by
  • Kropatsch, Walter G [editor.]
  • Artner, Nicole M [editor.]
  • Haxhimusa, Yll [editor.]
  • Jiang, Xiaoyi [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7877
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.

1060.
Advanced Infocomm Technology [electronic resource] : 5th IEEE International Conference, ICAIT 2012, Paris, France, July 25-27, 2012. Revised Papers / edited by Vincent Guyot. by
  • Guyot, Vincent [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7593
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