Welcome to Central Library, SUST

Your search returned 1374 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1081.
Trends in Functional Programming [electronic resource] : 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers / edited by Hans-Wolfgang Loidl, Ricardo Peña. by
  • Loidl, Hans-Wolfgang [editor.]
  • Peña, Ricardo [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7829
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
Online access:
Availability: No items available.

Add to cart
1082.
Algorithms – ESA 2013 [electronic resource] : 21st Annual European Symposium, Sophia Antipolis, France, September 2-4, 2013. Proceedings / edited by Hans L. Bodlaender, Giuseppe F. Italiano. by
  • Bodlaender, Hans L [editor.]
  • Italiano, Giuseppe F [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8125
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
Online access:
Availability: No items available.

Add to cart
1083.
Algorithms in Bioinformatics [electronic resource] : 13th International Workshop, WABI 2013, Sophia Antipolis, France, September 2-4, 2013. Proceedings / edited by Aaron Darling, Jens Stoye. by
  • Darling, Aaron [editor.]
  • Stoye, Jens [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8126
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
Online access:
Availability: No items available.

Add to cart
1084.
Transactions on Petri Nets and Other Models of Concurrency VIII [electronic resource] / edited by Maciej Koutny, Wil M. P. van der Aalst, Alex Yakovlev. by
  • Koutny, Maciej [editor.]
  • Aalst, Wil M. P. van der [editor.]
  • Yakovlev, Alex [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8100
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
Online access:
Availability: No items available.

Add to cart
1085.
Human-Computer Interaction – INTERACT 2013 [electronic resource] : 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part III / edited by Paula Kotzé, Gary Marsden, Gitte Lindgaard, Janet Wesson, Marco Winckler. by
  • Kotzé, Paula [editor.]
  • Marsden, Gary [editor.]
  • Lindgaard, Gitte [editor.]
  • Wesson, Janet [editor.]
  • Winckler, Marco [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8119
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
Online access:
Availability: No items available.

Add to cart
1086.
Human-Computer Interaction – INTERACT 2013 [electronic resource] : 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part II / edited by Paula Kotzé, Gary Marsden, Gitte Lindgaard, Janet Wesson, Marco Winckler. by
  • Kotzé, Paula [editor.]
  • Marsden, Gary [editor.]
  • Lindgaard, Gitte [editor.]
  • Wesson, Janet [editor.]
  • Winckler, Marco [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8118
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
Online access:
Availability: No items available.

Add to cart
1087.
Human-Computer Interaction – INTERACT 2013 [electronic resource] : 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part I / edited by Paula Kotzé, Gary Marsden, Gitte Lindgaard, Janet Wesson, Marco Winckler. by
  • Kotzé, Paula [editor.]
  • Marsden, Gary [editor.]
  • Lindgaard, Gitte [editor.]
  • Wesson, Janet [editor.]
  • Winckler, Marco [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8117
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
Online access:
Availability: No items available.

Add to cart
1088.
Systems and Frameworks for Computational Morphology [electronic resource] : Third International Workshop, SFCM 2013, Berlin, Germany, September 6, 2013 Proceedings / edited by Cerstin Mahlow, Michael Piotrowski. by
  • Mahlow, Cerstin [editor.]
  • Piotrowski, Michael [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 380
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
Online access:
Availability: No items available.

Add to cart
1089.
Computational Collective Intelligence. Technologies and Applications [electronic resource] : 5th International Conference, ICCCI 2013, Craiova, Romania, September 11-13, 2013, Proceedings / edited by Costin Bǎdicǎ, Ngoc Thanh Nguyen, Marius Brezovan. by
  • Bǎdicǎ, Costin [editor.]
  • Nguyen, Ngoc Thanh [editor.]
  • Brezovan, Marius [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8083
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
Online access:
Availability: No items available.

Add to cart
1090.
Human-Computer Interaction – INTERACT 2013 [electronic resource] : 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part IV / edited by Paula Kotzé, Gary Marsden, Gitte Lindgaard, Janet Wesson, Marco Winckler. by
  • Kotzé, Paula [editor.]
  • Marsden, Gary [editor.]
  • Lindgaard, Gitte [editor.]
  • Wesson, Janet [editor.]
  • Winckler, Marco [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8120
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
Online access:
Availability: No items available.

Add to cart
1091.
Research and Advanced Technology for Digital Libraries [electronic resource] : International Conference on Theory and Practice of Digital Libraries, TPDL 2013, Valletta, Malta, September 22-26, 2013. Proceedings / edited by Trond Aalberg, Christos Papatheodorou, Milena Dobreva, Giannis Tsakonas, Charles J. Farrugia. by
  • Aalberg, Trond [editor.]
  • Papatheodorou, Christos [editor.]
  • Dobreva, Milena [editor.]
  • Tsakonas, Giannis [editor.]
  • Farrugia, Charles J [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8092
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
Online access:
Availability: No items available.

Add to cart
1092.
Availability, Reliability, and Security in Information Systems and HCI [electronic resource] : IFIP WG 8.4, 8.9, TC 5 International Cross-Domain Conference, CD-ARES 2013, Regensburg, Germany, September 2-6, 2013. Proceedings / edited by Alfredo Cuzzocrea, Christian Kittl, Dimitris E. Simos, Edgar Weippl, Lida Xu. by
  • Cuzzocrea, Alfredo [editor.]
  • Kittl, Christian [editor.]
  • Simos, Dimitris E [editor.]
  • Weippl, Edgar [editor.]
  • Xu, Lida [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8127
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
Online access:
Availability: No items available.

Add to cart
1093.
Energy Efficiency in Large Scale Distributed Systems [electronic resource] : COST IC0804 European Conference, EE-LSDS 2013, Vienna, Austria, April 22-24, 2013, Revised Selected Papers / edited by Jean-Marc Pierson, Georges Da Costa, Lars Dittmann. by
  • Pierson, Jean-Marc [editor.]
  • Da Costa, Georges [editor.]
  • Dittmann, Lars [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8046
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
Online access:
Availability: No items available.

Add to cart
1094.
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings / edited by Didier Galmiche, Dominique Larchey-Wendling. by
  • Galmiche, Didier [editor.]
  • Larchey-Wendling, Dominique [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8123
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
Online access:
Availability: No items available.

Add to cart
1095.
Collaborative Systems for Reindustrialization [electronic resource] : 14th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2013, Dresden, Germany, September 30 – October 2, 2013, Proceedings / edited by Luis M. Camarinha-Matos, Raimar J. Scherer. by
  • Camarinha-Matos, Luis M [editor.]
  • Scherer, Raimar J [editor.]
  • SpringerLink (Online service)
Series: IFIP Advances in Information and Communication Technology ; 408
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
Online access:
Availability: No items available.

Add to cart
1096.
Advances in Communication Networking [electronic resource] : 19th EUNICE/IFIP WG 6.6 International Workshop, Chemnitz, Germany, August 28-30, 2013. Proceedings / edited by Thomas Bauschert. by
  • Bauschert, Thomas [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8115
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
Online access:
Availability: No items available.

Add to cart
1097.
Software Engineering and Formal Methods [electronic resource] : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings / edited by Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti. by
  • Hierons, Robert M [editor.]
  • Merayo, Mercedes G [editor.]
  • Bravetti, Mario [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8137
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
Online access:
Availability: No items available.

Add to cart
1098.
Logic Programming and Nonmonotonic Reasoning [electronic resource] : 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings / edited by Pedro Cabalar, Tran Cao Son. by
  • Cabalar, Pedro [editor.]
  • Son, Tran Cao [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8148
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
Online access:
Availability: No items available.

Add to cart
1099.
Soft Computing Applications and Intelligent Systems [electronic resource] : Second International Multi-Conference on Artificial Intelligence Technology, M-CAIT 2013, Shah Alam, August 28-29, 2013. Proceedings / edited by Shahrul Azman Noah, Azizi Abdullah, Haslina Arshad, Azuraliza Abu Bakar, Zulaiha Ali Othman, Shahnorbanun Sahran, Nazlia Omar, Zalinda Othman. by
  • Noah, Shahrul Azman [editor.]
  • Abdullah, Azizi [editor.]
  • Arshad, Haslina [editor.]
  • Abu Bakar, Azuraliza [editor.]
  • Othman, Zulaiha Ali [editor.]
  • Sahran, Shahnorbanun [editor.]
  • Omar, Nazlia [editor.]
  • Othman, Zalinda [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 378
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
Online access:
Availability: No items available.

Add to cart
1100.
Security in Computing and Communications [electronic resource] : International Symposium, SSCC 2013, Mysore, India, August 22-24, 2013. Proceedings / edited by Sabu M. Thampi, Pradeep K. Atrey, Chun-I Fan, Gregorio Martinez Perez. by
  • Thampi, Sabu M [editor.]
  • Atrey, Pradeep K [editor.]
  • Fan, Chun-I [editor.]
  • Perez, Gregorio Martinez [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 377
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
Online access:
Availability: No items available.

Add to cart
Pages