Welcome to Central Library, SUST

Your search returned 38 results.

Not what you expected? Check for suggestions
Sort
Results
1.
TouchDevelop: Programming on the Go [electronic resource] / by R. Nigel Horspool, Nikolai Tillmann. by
  • Horspool, R. Nigel [author.]
  • Tillmann, Nikolai [author.]
  • SpringerLink (Online service)
Edition: Third Edition.
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berkeley, CA : Apress : Imprint: Apress, 2013
Availability: No items available.

2.
Guide to Programming and Algorithms Using R [electronic resource] / by Özgür Ergül. by
  • Ergül, Özgür [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.

3.
Logic Programming with Prolog [electronic resource] / by Max Bramer. by
  • Bramer, Max [author.]
  • SpringerLink (Online service)
Edition: 2nd 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.

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

5.
Compiler Design [electronic resource] : Syntactic and Semantic Analysis / by Reinhard Wilhelm, Helmut Seidl, Sebastian Hack. by
  • Wilhelm, Reinhard [author.]
  • Seidl, Helmut [author.]
  • Hack, Sebastian [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.

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

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

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

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

10.
Languages and Compilers for Parallel Computing [electronic resource] : 24th International Workshop, LCPC 2011, Fort Collins, CO, USA, September 8-10, 2011. Revised Selected Papers / edited by Sanjay Rajopadhye, Michelle Mills Strout. by
  • Rajopadhye, Sanjay [editor.]
  • Mills Strout, Michelle [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7146
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.
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.

12.
Learning C# by Programming Games [electronic resource] / by Arjan Egges, Jeroen D. Fokker, Mark H. Overmars. by
  • Egges, Arjan [author.]
  • Fokker, Jeroen D [author.]
  • Overmars, Mark H [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.

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

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

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

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

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

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

19.
Static Analysis [electronic resource] : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings / edited by Francesco Logozzo, Manuel Fähndrich. by
  • Logozzo, Francesco [editor.]
  • Fähndrich, Manuel [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7935
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.
Tests and Proofs [electronic resource] : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings / edited by Margus Veanes, Luca Viganò. by
  • Veanes, Margus [editor.]
  • Viganò, Luca [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7942
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