Welcome to Central Library, SUST

Your search returned 68 results.

Not what you expected? Check for suggestions
Sort
Results
61.
Reachability Problems [electronic resource] : 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings / edited by Parosh Aziz Abdulla, Igor Potapov. by
  • Abdulla, Parosh Aziz [editor.]
  • Potapov, Igor [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8169
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.

62.
Model-Driven Engineering Languages and Systems [electronic resource] : 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings / edited by Ana Moreira, Bernhard Schätz, Jeff Gray, Antonio Vallecillo, Peter Clarke. by
  • Moreira, Ana [editor.]
  • Schätz, Bernhard [editor.]
  • Gray, Jeff [editor.]
  • Vallecillo, Antonio [editor.]
  • Clarke, Peter [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8107
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.

63.
Constraint Solving and Language Processing [electronic resource] : 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers / edited by Denys Duchier, Yannick Parmentier. by
  • Duchier, Denys [editor.]
  • Parmentier, Yannick [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8114
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.

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

65.
In Search of Elegance in the Theory and Practice of Computation [electronic resource] : Essays Dedicated to Peter Buneman / edited by Val Tannen, Limsoon Wong, Leonid Libkin, Wenfei Fan, Wang-Chiew Tan, Michael Fourman. by
  • Tannen, Val [editor.]
  • Wong, Limsoon [editor.]
  • Libkin, Leonid [editor.]
  • Fan, Wenfei [editor.]
  • Tan, Wang-Chiew [editor.]
  • Fourman, Michael [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8000
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.

66.
Testing Software and Systems [electronic resource] : 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings / edited by Hüsnü Yenigün, Cemal Yilmaz, Andreas Ulrich. by
  • Yenigün, Hüsnü [editor.]
  • Yilmaz, Cemal [editor.]
  • Ulrich, Andreas [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8254
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.

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

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

Pages