Welcome to Central Library, SUST

Your search returned 29 results.

Not what you expected? Check for suggestions
Sort
Results
21.
Descriptional Complexity of Formal Systems [electronic resource] : 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings / edited by Helmut Jurgensen, Rogério Reis. by
  • Jurgensen, Helmut [editor.]
  • Reis, Rogério [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8031
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.
Fundamentals of Computation Theory [electronic resource] : 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings / edited by Leszek Gąsieniec, Frank Wolter. by
  • Gąsieniec, Leszek [editor.]
  • Wolter, Frank [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8070
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.
Algebra and Coalgebra in Computer Science [electronic resource] : 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings / edited by Reiko Heckel, Stefan Milius. by
  • Heckel, Reiko [editor.]
  • Milius, Stefan [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8089
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.
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques [electronic resource] : 16th International Workshop, APPROX 2013, and 17th International Workshop, RANDOM 2013, Berkeley, CA, USA, August 21-23, 2013. Proceedings / edited by Prasad Raghavendra, Sofya Raskhodnikova, Klaus Jansen, José D. P. Rolim. by
  • Raghavendra, Prasad [editor.]
  • Raskhodnikova, Sofya [editor.]
  • Jansen, Klaus [editor.]
  • Rolim, José D. P [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8096
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.
Algorithms in Bioinformatics [electronic resource] : 13th International Workshop, WABI 2013, Sophia Antipolis, France, September 2-4, 2013. Proceedings / edited by Aaron Darling, Jens Stoye. by
  • Darling, Aaron [editor.]
  • Stoye, Jens [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8126
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.
Principles and Practice of Constraint Programming [electronic resource] : 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings / edited by Christian Schulte. by
  • Schulte, Christian [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8124
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.
Computational Methods in Systems Biology [electronic resource] : 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings / edited by Ashutosh Gupta, Thomas A. Henzinger. by
  • Gupta, Ashutosh [editor.]
  • Henzinger, Thomas A [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8130
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.
Logic, Rationality, and Interaction [electronic resource] : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings / edited by Davide Grossi, Olivier Roy, Huaxin Huang. by
  • Grossi, Davide [editor.]
  • Roy, Olivier [editor.]
  • Huang, Huaxin [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8196
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.
Learning and Intelligent Optimization [electronic resource] : 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers / edited by Giuseppe Nicosia, Panos Pardalos. by
  • Nicosia, Giuseppe [editor.]
  • Pardalos, Panos [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7997
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