Welcome to Central Library, SUST

Your search returned 92 results.

Not what you expected? Check for suggestions
Sort
Results
1.
Belief Revision in Non-Classical Logics [electronic resource] / by Márcio Moretto Ribeiro. by
  • Ribeiro, Márcio Moretto [author.]
  • SpringerLink (Online service)
Series: SpringerBriefs in Computer Science
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.
Mathematics in Computing [electronic resource] : An Accessible Guide to Historical, Foundational and Application Contexts / by Gerard O’Regan. by
  • O’Regan, Gerard [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.
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.
Formal Languages and Compilation [electronic resource] / by Stefano Crespi Reghizzi, Luca Breveglieri, Angelo Morzenti. by
  • Crespi Reghizzi, Stefano [author.]
  • Breveglieri, Luca [author.]
  • Morzenti, Angelo [author.]
  • SpringerLink (Online service)
Series: Texts in Computer Science
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.

5.
Computational Analysis of Terrorist Groups: Lashkar-e-Taiba [electronic resource] : Lashkar-e-Taiba / by V.S. Subrahmanian, Aaron Mannes, Amy Sliva, Jana Shakarian, John P. Dickerson. by
  • Subrahmanian, V.S [author.]
  • Mannes, Aaron [author.]
  • Sliva, Amy [author.]
  • Shakarian, Jana [author.]
  • Dickerson, John P [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.
A General Framework for Reasoning On Inconsistency [electronic resource] / by Maria Vanina Martinez, Cristian Molinaro, V.S. Subrahmanian, Leila Amgoud. by
  • Martinez, Maria Vanina [author.]
  • Molinaro, Cristian [author.]
  • Subrahmanian, V.S [author.]
  • Amgoud, Leila [author.]
  • SpringerLink (Online service)
Series: SpringerBriefs in Computer Science
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.

7.
Modelling Computing Systems [electronic resource] : Mathematics for Computer Science / by Faron Moller, Georg Struth. by
  • Moller, Faron [author.]
  • Struth, Georg [author.]
  • SpringerLink (Online service)
Series: Undergraduate Topics in Computer Science
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.

8.
Concise Computer Mathematics [electronic resource] : Tutorials on Theory and Problems / by Ovidiu Bagdasar. by
  • Bagdasar, Ovidiu [author.]
  • SpringerLink (Online service)
Series: SpringerBriefs in Computer Science
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.

9.
Software Language Engineering [electronic resource] : 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings / edited by Martin Erwig, Richard F. Paige, Eric Van Wyk. by
  • Erwig, Martin [editor.]
  • Paige, Richard F [editor.]
  • Wyk, Eric Van [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8225
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.

10.
Hardware and Software: Verification and Testing [electronic resource] : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings / edited by Valeria Bertacco, Axel Legay. by
  • Bertacco, Valeria [editor.]
  • Legay, Axel [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8244
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.

11.
Fuzzy Logic and Applications [electronic resource] : 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013. Proceedings / edited by Francesco Masulli, Gabriella Pasi, Ronald Yager. by
  • Masulli, Francesco [editor.]
  • Pasi, Gabriella [editor.]
  • Yager, Ronald [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8256
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.

12.
AI*IA 2013: Advances in Artificial Intelligence [electronic resource] : XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings / edited by Matteo Baldoni, Cristina Baroglio, Guido Boella, Roberto Micalizio. by
  • Baldoni, Matteo [editor.]
  • Baroglio, Cristina [editor.]
  • Boella, Guido [editor.]
  • Micalizio, Roberto [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8249
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.

13.
Programming Languages and Systems [electronic resource] : 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings / edited by Chung-chieh Shan. by
  • Shan, Chung-chieh [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8301
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.

14.
Certified Programs and Proofs [electronic resource] : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings / edited by Georges Gonthier, Michael Norrish. by
  • Gonthier, Georges [editor.]
  • Norrish, Michael [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8307
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.

15.
Industrial Deployment of System Engineering Methods [electronic resource] / edited by Alexander Romanovsky, Martyn Thomas. by
  • Romanovsky, Alexander [editor.]
  • Thomas, Martyn [editor.]
  • 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.

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

17.
Unifying Theories of Programming [electronic resource] : 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers / edited by Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi. by
  • Wolff, Burkhart [editor.]
  • Gaudel, Marie-Claude [editor.]
  • Feliachi, Abderrahmane [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7681
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.
Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings / edited by Sergei Artemov, Anil Nerode. by
  • Artemov, Sergei [editor.]
  • Nerode, Anil [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7734
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.
ICT in Education, Research, and Industrial Applications [electronic resource] : 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers / edited by Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych. by
  • Ermolayev, Vadim [editor.]
  • Mayr, Heinrich C [editor.]
  • Nikitchenko, Mykola [editor.]
  • Spivakovsky, Aleksander [editor.]
  • Zholtkevych, Grygoriy [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 347
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.
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.

Pages