Welcome to Central Library, SUST

Your search returned 1662 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1081.
SOFSEM 2013: Theory and Practice of Computer Science [electronic resource] : 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings / edited by Peter van Emde Boas, Frans C. A. Groen, Giuseppe F. Italiano, Jerzy Nawrocki, Harald Sack. by
  • Emde Boas, Peter van [editor.]
  • Groen, Frans C. A [editor.]
  • Italiano, Giuseppe F [editor.]
  • Nawrocki, Jerzy [editor.]
  • Sack, Harald [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7741
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.
Service Orientation in Holonic and Multi Agent Manufacturing and Robotics [electronic resource] / edited by Theodor Borangiu, Andre Thomas, Damien Trentesaux. by
  • Borangiu, Theodor [editor.]
  • Thomas, Andre [editor.]
  • Trentesaux, Damien [editor.]
  • SpringerLink (Online service)
Series: Studies in Computational Intelligence ; 472
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.
Advances in Knowledge Discovery and Management [electronic resource] / edited by Fabrice Guillet, Bruno Pinaud, Gilles Venturini, Djamel Abdelkader Zighed. by
  • Guillet, Fabrice [editor.]
  • Pinaud, Bruno [editor.]
  • Venturini, Gilles [editor.]
  • Zighed, Djamel Abdelkader [editor.]
  • SpringerLink (Online service)
Series: Studies in Computational Intelligence ; 471
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.
Formal Aspects of Component Software [electronic resource] : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers / edited by Corina S. Păsăreanu, Gwen Salaün. by
  • Păsăreanu, Corina S [editor.]
  • Salaün, Gwen [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7684
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.
Mobile Communication and Power Engineering [electronic resource] : Second International Joint Conference, AIM/CCPE 2012, Bangalore, India, April 27-28, 2012, Revised Selected Papers / edited by Vinu V Das, Yogesh Chaba. by
  • Das, Vinu V [editor.]
  • Chaba, Yogesh [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 296
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.
Job Scheduling Strategies for Parallel Processing [electronic resource] : 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers / edited by Walfredo Cirne, Narayan Desai, Eitan Frachtenberg, Uwe Schwiegelshohn. by
  • Cirne, Walfredo [editor.]
  • Desai, Narayan [editor.]
  • Frachtenberg, Eitan [editor.]
  • Schwiegelshohn, Uwe [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7698
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.
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings / edited by Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni. by
  • Giacobazzi, Roberto [editor.]
  • Berdine, Josh [editor.]
  • Mastroeni, Isabella [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7737
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.
Formal Methods for Components and Objects [electronic resource] : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers / edited by Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue. by
  • Beckert, Bernhard [editor.]
  • Damiani, Ferruccio [editor.]
  • Boer, Frank S. de [editor.]
  • Bonsangue, Marcello M [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7542
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.
Facing the Multicore-Challenge III [electronic resource] : Aspects of New Paradigms and Technologies in Parallel Computing / edited by Rainer Keller, David Kramer, Jan-Philipp Weiss. by
  • Keller, Rainer [editor.]
  • Kramer, David [editor.]
  • Weiss, Jan-Philipp [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7686
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.
Vehicle Propulsion Systems [electronic resource] : Introduction to Modeling and Optimization / by Lino Guzzella, Antonio Sciarretta. by
  • Guzzella, Lino [author.]
  • Sciarretta, Antonio [author.]
  • SpringerLink (Online service)
Edition: 3rd ed. 2013.
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.
Multimodal Interaction in Image and Video Applications [electronic resource] / by Angel D. Sappa, Jordi Vitrià. by
  • Sappa, Angel D [author.]
  • Vitrià, Jordi [author.]
  • SpringerLink (Online service)
Series: Intelligent Systems Reference Library ; 48
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.
Extracellular Matrix in Development [electronic resource] / edited by Douglas W. DeSimone, Robert P. Mecham. by
  • DeSimone, Douglas W [editor.]
  • Mecham, Robert P [editor.]
  • SpringerLink (Online service)
Series: Biology of Extracellular Matrix
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.
Dynamics in Logistics [electronic resource] : Third International Conference, LDIC 2012 Bremen, Germany, February/March 2012 Proceedings / edited by Hans-Jörg Kreowski, Bernd Scholz-Reiter, Klaus-Dieter Thoben. by
  • Kreowski, Hans-Jörg [editor.]
  • Scholz-Reiter, Bernd [editor.]
  • Thoben, Klaus-Dieter [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Logistics
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.
Generative and Transformational Techniques in Software Engineering IV [electronic resource] : International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers / edited by Ralf Lämmel, João Saraiva, Joost Visser. by
  • Lämmel, Ralf [editor.]
  • Saraiva, João [editor.]
  • Visser, Joost [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7680
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.
Applications of Nanomaterials in Sensors and Diagnostics [electronic resource] / edited by Adisorn Tuantranont. by
  • Tuantranont, Adisorn [editor.]
  • SpringerLink (Online service)
Series: Springer Series on Chemical Sensors and Biosensors, Methods and Applications ; 14
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.
Mathematical and Engineering Methods in Computer Science [electronic resource] : 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers / edited by Antonín Kučera, Thomas A. Henzinger, Jaroslav Nešetřil, Tomáš Vojnar, David Antoš. by
  • Kučera, Antonín [editor.]
  • Henzinger, Thomas A [editor.]
  • Nešetřil, Jaroslav [editor.]
  • Vojnar, Tomáš [editor.]
  • Antoš, David [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7721
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.
The Railway Track and Its Long Term Behaviour [electronic resource] : A Handbook for a Railway Track of High Quality / by Konstantinos Tzanakakis. by
  • Tzanakakis, Konstantinos [author.]
  • SpringerLink (Online service)
Series: Springer Tracts on Transportation and Traffic ; 2
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.
Software Engineering [electronic resource] : International Summer Schools, ISSSE 2009-2011, Salerno, Italy. Revised Tutorial Lectures / edited by Andrea De Lucia, Filomena Ferrucci. by
  • Lucia, Andrea De [editor.]
  • Ferrucci, Filomena [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7171
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.
Brain-Computer Interface Research [electronic resource] : A State-of-the-Art Summary / edited by Christoph Guger, Brendan Z. Allison, Günter Edlinger. by
  • Guger, Christoph [editor.]
  • Allison, Brendan Z [editor.]
  • Edlinger, Günter [editor.]
  • SpringerLink (Online service)
Series: SpringerBriefs in Electrical and Computer Engineering
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.
Software Language Engineering [electronic resource] : 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers / edited by Krzysztof Czarnecki, Görel Hedin. by
  • Czarnecki, Krzysztof [editor.]
  • Hedin, Görel [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7745
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