Welcome to Central Library, SUST

Your search returned 36 results.

Not what you expected? Check for suggestions
Sort
Results
21.
Structured Object-Oriented Formal Language and Method [electronic resource] : Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers / edited by Shaoying Liu. by
  • Liu, Shaoying [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7787
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.

22.
Search Based Software Engineering [electronic resource] : 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings / edited by Günther Ruhe, Yuanyuan Zhang. by
  • Ruhe, Günther [editor.]
  • Zhang, Yuanyuan [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8084
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.

23.
Multicore Software Engineering, Performance, and Tools [electronic resource] : International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings / edited by João M. Lourenço, Eitan Farchi. by
  • Lourenço, João M [editor.]
  • Farchi, Eitan [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8063
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.

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

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

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

27.
Runtime Verification [electronic resource] : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings / edited by Axel Legay, Saddek Bensalem. by
  • Legay, Axel [editor.]
  • Bensalem, Saddek [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8174
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.

28.
Frontiers of Combining Systems [electronic resource] : 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings / edited by Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt. by
  • Fontaine, Pascal [editor.]
  • Ringeissen, Christophe [editor.]
  • Schmidt, Renate A [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8152
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.

29.
Programming Languages [electronic resource] : 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings / edited by André Rauber Du Bois, Phil Trinder. by
  • Bois, André Rauber Du [editor.]
  • Trinder, Phil [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8129
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.

30.
Formal Methods and Software Engineering [electronic resource] : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings / edited by Lindsay Groves, Jing Sun. by
  • Groves, Lindsay [editor.]
  • Sun, Jing [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8144
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.

31.
Implementation and Application of Functional Languages [electronic resource] : 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers / edited by Ralf Hinze. by
  • Hinze, Ralf [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8241
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.

32.
Ada 2012 Rationale [electronic resource] : The Language, The Standard Libraries / by John Barnes. by
  • Barnes, John [author.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8338
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.

33.
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings / edited by Ken McMillan, Aart Middeldorp, Andrei Voronkov. by
  • McMillan, Ken [editor.]
  • Middeldorp, Aart [editor.]
  • Voronkov, Andrei [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8312
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.

34.
Practical Aspects of Declarative Languages [electronic resource] : 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings / edited by Kostis Sagonas. by
  • Sagonas, Kostis [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7752
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.

35.
Engineering Multi-Agent Systems [electronic resource] : First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers / edited by Massimo Cossentino, Amal El Fallah Seghrouchni, Michael Winikoff. by
  • Cossentino, Massimo [editor.]
  • Fallah Seghrouchni, Amal El [editor.]
  • Winikoff, Michael [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8245
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.

36.
Ada 2012 Reference Manual. Language and Standard Libraries [electronic resource] : International Standard ISO/IEC 8652/2012 (E) / edited by S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, Pascal Leroy, Edmond Schonberg. by
  • Taft, S. Tucker [editor.]
  • Duff, Robert A [editor.]
  • Brukardt, Randall L [editor.]
  • Ploedereder, Erhard [editor.]
  • Leroy, Pascal [editor.]
  • Schonberg, Edmond [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8339
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