Welcome to Central Library, SUST

Your search returned 274 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
101.
Seminal Contributions to Information Systems Engineering [electronic resource] : 25 Years of CAiSE / edited by Janis Bubenko, John Krogstie, Oscar Pastor, Barbara Pernici, Colette Rolland, Arne Sølvberg. by
  • Bubenko, Janis [editor.]
  • Krogstie, John [editor.]
  • Pastor, Oscar [editor.]
  • Pernici, Barbara [editor.]
  • Rolland, Colette [editor.]
  • Sølvberg, Arne [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
Online access:
Availability: No items available.

Add to cart
102.
Aliasing in Object-Oriented Programming. Types, Analysis and Verification [electronic resource] / edited by Dave Clarke, James Noble, Tobias Wrigstad. by
  • Clarke, Dave [editor.]
  • Noble, James [editor.]
  • Wrigstad, Tobias [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7850
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
103.
Euro-Par 2012: Parallel Processing Workshops [electronic resource] : BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised Selected Papers / edited by Ioannis Caragiannis, Michael Alexander, Rosa Maria Badia, Mario Cannataro, Alexandru Costan, Marco Danelutto, Frédéric Desprez, Bettina Krammer, Julio Sahuquillo, Stephen L. Scott, Josef Weidendorfer. by
  • Caragiannis, Ioannis [editor.]
  • Alexander, Michael [editor.]
  • Badia, Rosa Maria [editor.]
  • Cannataro, Mario [editor.]
  • Costan, Alexandru [editor.]
  • Danelutto, Marco [editor.]
  • Desprez, Frédéric [editor.]
  • Krammer, Bettina [editor.]
  • Sahuquillo, Julio [editor.]
  • Scott, Stephen L [editor.]
  • Weidendorfer, Josef [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7640
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
104.
Transactions on Aspect-Oriented Software Development X [electronic resource] / edited by Gary T. Leavens, Shigeru Chiba, Éric Tanter. by
  • Leavens, Gary T [editor.]
  • Chiba, Shigeru [editor.]
  • Tanter, Éric [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7800
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
105.
Innovation and Future of Enterprise Information Systems [electronic resource] : ERP Future 2012 Conference, Salzburg, Austria, November 2012, Revised Papers / edited by Felix Piazolo, Michael Felderer. by
  • Piazolo, Felix [editor.]
  • Felderer, Michael [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Information Systems and Organisation ; 4
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
106.
Programming Languages and Systems [electronic resource] : 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Matthias Felleisen, Philippa Gardner. by
  • Felleisen, Matthias [editor.]
  • Gardner, Philippa [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7792
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
107.
Compiler Construction [electronic resource] : 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Ranjit Jhala, Koen De Bosschere. by
  • Jhala, Ranjit [editor.]
  • Bosschere, Koen De [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7791
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
108.
Fundamental Approaches to Software Engineering [electronic resource] : 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Vittorio Cortellessa, Dániel Varró. by
  • Cortellessa, Vittorio [editor.]
  • Varró, Dániel [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7793
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
109.
Foundations of Software Science and Computation Structures [electronic resource] : 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Frank Pfenning. by
  • Pfenning, Frank [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7794
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
110.
Foundations and Practice of Security [electronic resource] : 5th International Symposium, FPS 2012, Montreal, QC, Canada, October 25-26, 2012, Revised Selected Papers / edited by Joaquin Garcia-Alfaro, Frédéric Cuppens, Nora Cuppens-Boulahia, Ali Miri, Nadia Tawbi. by
  • Garcia-Alfaro, Joaquin [editor.]
  • Cuppens, Frédéric [editor.]
  • Cuppens-Boulahia, Nora [editor.]
  • Miri, Ali [editor.]
  • Tawbi, Nadia [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7743
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
111.
Smart Card Research and Advanced Applications [electronic resource] : 11th International Conference, CARDIS 2012, Graz, Austria, November 28-30, 2012, Revised Selected Papers / edited by Stefan Mangard. by
  • Mangard, Stefan [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7771
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
112.
Perspectives on the Future of Software Engineering [electronic resource] : Essays in Honor of Dieter Rombach / edited by Jürgen Münch, Klaus Schmid. by
  • Münch, Jürgen [editor.]
  • Schmid, Klaus [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
Online access:
Availability: No items available.

Add to cart
113.
Requirements Engineering: Foundation for Software Quality [electronic resource] : 19th International Working Conference, REFSQ 2013, Essen, Germany, April 8-11, 2013. Proceedings / edited by Joerg Doerr, Andreas L. Opdahl. by
  • Doerr, Joerg [editor.]
  • Opdahl, Andreas L [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7830
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
114.
Business Modeling and Software Design [electronic resource] : Second International Symposium, BMSD 2012, Geneva, Switzerland, July 4-6, 2012, Revised Selected Papers / edited by Boris Shishkov. by
  • Shishkov, Boris [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Business Information Processing ; 142
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
115.
Feature-Oriented Software Product Lines [electronic resource] : Concepts and Implementation / by Sven Apel, Don Batory, Christian Kästner, Gunter Saake. by
  • Apel, Sven [author.]
  • Batory, Don [author.]
  • Kästner, Christian [author.]
  • Saake, Gunter [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
Online access:
Availability: No items available.

Add to cart
116.
Enterprise Architecture Patterns [electronic resource] : Practical Solutions for Recurring IT-Architecture Problems / by Thierry Perroud, Reto Inversini. by
  • Perroud, Thierry [author.]
  • Inversini, Reto [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
Online access:
Availability: No items available.

Add to cart
117.
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
Online access:
Availability: No items available.

Add to cart
118.
Service-Oriented Computing - ICSOC 2012 Workshops [electronic resource] : ICSOC 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, WESOA, and Satellite Events, Shanghai, China, November 12-15, 2012, Revised Selected Papers / edited by Aditya Ghose, Huibiao Zhu, Qi Yu, Alex Delis, Quang Z. Sheng, Olivier Perrin, Jianmin Wang, Yan Wang. by
  • Ghose, Aditya [editor.]
  • Zhu, Huibiao [editor.]
  • Yu, Qi [editor.]
  • Delis, Alex [editor.]
  • Sheng, Quang Z [editor.]
  • Perrin, Olivier [editor.]
  • Wang, Jianmin [editor.]
  • Wang, Yan [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7759
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
119.
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
Online access:
Availability: No items available.

Add to cart
120.
Mobile Networks and Management [electronic resource] : 4th International Conference, MONAMI 2012, Hamburg, Germany, September 24-26, 2012, Revised Selected Papers / edited by Andreas Timm-Giel, John Strassner, Ramón Agüero, Susana Sargento, Kostas Pentikousis. by
  • Timm-Giel, Andreas [editor.]
  • Strassner, John [editor.]
  • Agüero, Ramón [editor.]
  • Sargento, Susana [editor.]
  • Pentikousis, Kostas [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 58
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