Welcome to Central Library, SUST

Your search returned 507 results.

Not what you expected? Check for suggestions
Sort
Results
181.
Languages and Compilers for Parallel Computing [electronic resource] : 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers / edited by Hironori Kasahara, Keiji Kimura. by
  • Kasahara, Hironori [editor.]
  • Kimura, Keiji [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7760
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.

182.
The Deductive Spreadsheet [electronic resource] / by Iliano Cervesato. by
  • Cervesato, Iliano [author.]
  • SpringerLink (Online service)
Series: Cognitive Technologies
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.

183.
Wireless Mobile Communication and Healthcare [electronic resource] : Third International Conference, MobiHealth 2012, Paris, France, November 21-23, 2012, Revised Selected Papers / edited by Balwant Godara, Konstantina S. Nikita. by
  • Godara, Balwant [editor.]
  • Nikita, Konstantina S [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 61
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.

184.
Transactions on Edutainment X [electronic resource] / edited by Zhigeng Pan, Adrian David Cheok, Wolfgang Müller, Ido Iurgel, Paolo Petta, Bodo Urban. by
  • Pan, Zhigeng [editor.]
  • Cheok, Adrian David [editor.]
  • Müller, Wolfgang [editor.]
  • Iurgel, Ido [editor.]
  • Petta, Paolo [editor.]
  • Urban, Bodo [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7775
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.

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

186.
Communication Technologies for Vehicles [electronic resource] : 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d’Ascq, France, May 14-15, 2013. Proceedings / edited by Marion Berbineau, Magnus Jonsson, Jean-Marie Bonnin, Soumaya Cherkaoui, Marina Aguado, Cristina Rico-Garcia, Hassan Ghannoum, Rashid Mehmood, Alexey Vinel. by
  • Berbineau, Marion [editor.]
  • Jonsson, Magnus [editor.]
  • Bonnin, Jean-Marie [editor.]
  • Cherkaoui, Soumaya [editor.]
  • Aguado, Marina [editor.]
  • Rico-Garcia, Cristina [editor.]
  • Ghannoum, Hassan [editor.]
  • Mehmood, Rashid [editor.]
  • Vinel, Alexey [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7865
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.

187.
Green Communication and Networking [electronic resource] : Second International Conference, GreeNets 2012, Gandia, Spain, October 25-26, 2012, Revised Selected Papers / edited by Jaime Lloret Mauri, Joel J. P. C. Rodrigues. by
  • Mauri, Jaime Lloret [editor.]
  • Rodrigues, Joel J. P. C [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 113
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.

188.
Grid and Pervasive Computing [electronic resource] : 8th International Conference, GPC 2013 and Colocated Workshops, Seoul, Korea, May 9-11, 2013. Proceedings / edited by James J. (Jong Hyuk) Park, Hamid R. Arabnia, Cheonshik Kim, Weisong Shi, Joon-Min Gil. by
  • Park, James J. (Jong Hyuk) [editor.]
  • Arabnia, Hamid R [editor.]
  • Kim, Cheonshik [editor.]
  • Shi, Weisong [editor.]
  • Gil, Joon-Min [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7861
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.

189.
Smart Grid Security [electronic resource] : First International Workshop, SmartGridSec 2012, Berlin, Germany, December 3, 2012, Revised Selected Papers / edited by Jorge Cuellar. by
  • Cuellar, Jorge [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7823
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.

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

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

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

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

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

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

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

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

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

199.
Web Services and Formal Methods [electronic resource] : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers / edited by Maurice H. ter Beek, Niels Lohmann. by
  • Beek, Maurice H. ter [editor.]
  • Lohmann, Niels [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7843
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.

200.
Theory and Applications of Models of Computation [electronic resource] : 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings / edited by T-H. Hubert Chan, Lap Chi Lau, Luca Trevisan. by
  • Chan, T-H. Hubert [editor.]
  • Lau, Lap Chi [editor.]
  • Trevisan, Luca [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7876
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