Welcome to Central Library, SUST

Your search returned 42 results.

Not what you expected? Check for suggestions
Sort
Results
1.
Meta-Programming and Model-Driven Meta-Program Development [electronic resource] : Principles, Processes and Techniques / by Vytautas Štuikys, Robertas Damaševičius. by
  • Štuikys, Vytautas [author.]
  • Damaševičius, Robertas [author.]
  • SpringerLink (Online service)
Series: Advanced Information and Knowledge Processing ; 5
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013
Availability: No items available.

2.
An Introduction to Network Programming with Java [electronic resource] : Java 7 Compatible / by Jan Graba. by
  • Graba, Jan [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: London : Springer London : Imprint: Springer, 2013
Availability: No items available.

3.
Using Event-B for Critical Device Software Systems [electronic resource] / by Neeraj Kumar Singh. by
  • Singh, Neeraj Kumar [author.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013
Availability: No items available.

4.
Distributed Programming [electronic resource] : Theory and Practice / by A. Udaya Shankar. by
  • Shankar, A. Udaya [author.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013
Availability: No items available.

5.
Requirements Engineering and Management for Software Development Projects [electronic resource] / by Murali Chemuturi. by
  • Chemuturi, Murali [author.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013
Availability: No items available.

6.
Scala Design Patterns [electronic resource] : Patterns for Practical Reuse and Design / by John Hunt. by
  • Hunt, John [author.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.

7.
Automated Technology for Verification and Analysis [electronic resource] : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings / edited by Dang Van Hung, Mizuhito Ogawa. by
  • Hung, Dang Van [editor.]
  • Ogawa, Mizuhito [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8172
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.

8.
Runtime Verification [electronic resource] : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers / edited by Shaz Qadeer, Serdar Tasiran. by
  • Qadeer, Shaz [editor.]
  • Tasiran, Serdar [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7687
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.

9.
Distributed Computing and Networking [electronic resource] : 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings / edited by Davide Frey, Michel Raynal, Saswati Sarkar, Rudrapatna K. Shyamasundar, Prasun Sinha. by
  • Frey, Davide [editor.]
  • Raynal, Michel [editor.]
  • Sarkar, Saswati [editor.]
  • Shyamasundar, Rudrapatna K [editor.]
  • Sinha, Prasun [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7730
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.

10.
Software Engineering for Self-Adaptive Systems II [electronic resource] : International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers / edited by Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw. by
  • Lemos, Rogério de [editor.]
  • Giese, Holger [editor.]
  • Müller, Hausi A [editor.]
  • Shaw, Mary [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7475
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.

11.
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
Availability: No items available.

12.
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
Availability: No items available.

13.
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
Availability: No items available.

14.
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
Availability: No items available.

15.
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
Availability: No items available.

16.
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
Availability: No items available.

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

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

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

20.
Transactions on Pattern Languages of Programming III [electronic resource] / edited by James Noble, Ralph Johnson, Uwe Zdun, Eugene Wallingford. by
  • Noble, James [editor.]
  • Johnson, Ralph [editor.]
  • Zdun, Uwe [editor.]
  • Wallingford, Eugene [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7840
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