Welcome to Central Library, SUST

Your search returned 43 results.

Not what you expected? Check for suggestions
Sort
Results
1.
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.

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

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

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

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

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

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

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

10.
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings / edited by Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni. by
  • Giacobazzi, Roberto [editor.]
  • Berdine, Josh [editor.]
  • Mastroeni, Isabella [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7737
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.
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.

12.
Software Language Engineering [electronic resource] : 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers / edited by Krzysztof Czarnecki, Görel Hedin. by
  • Czarnecki, Krzysztof [editor.]
  • Hedin, Görel [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7745
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.
Foundations of Software Science and Computation Structures [electronic resource] : 16th International Conference, FOSSACS 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 Frank Pfenning. by
  • Pfenning, Frank [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7794
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.
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky [electronic resource] : Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday / edited by Bob Coecke, Luke Ong, Prakash Panangaden. by
  • Coecke, Bob [editor.]
  • Ong, Luke [editor.]
  • Panangaden, Prakash [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7860
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.
Logic-Based Program Synthesis and Transformation [electronic resource] : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers / edited by Elvira Albert. by
  • Albert, Elvira [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7844
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.
Formal Concept Analysis [electronic resource] : 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings / edited by Peggy Cellier, Felix Distel, Bernhard Ganter. by
  • Cellier, Peggy [editor.]
  • Distel, Felix [editor.]
  • Ganter, Bernhard [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7880
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.
Automated Deduction – CADE-24 [electronic resource] : 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings / edited by Maria Paola Bonacina. by
  • Bonacina, Maria Paola [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7898
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.
Formal Techniques for Distributed Systems [electronic resource] : Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings / edited by Dirk Beyer, Michele Boreale. by
  • Beyer, Dirk [editor.]
  • Boreale, Michele [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7892
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.
Integrated Formal Methods [electronic resource] : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings / edited by Einar Broch Johnsen, Luigia Petre. by
  • Johnsen, Einar Broch [editor.]
  • Petre, Luigia [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7940
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.
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.

Pages