Results of search for 'ccl=su:{Programming languages Electronic computers.} and su-to:Software Engineering and su-to:Software engineering and su-to:Software Engineering' › Central Library, Shahjalal University of Science & Technology catalog

Results
	1.	Automated Technology for Verification and Analysis [electronic resource] : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings / edited by Dang Van Hung, Mizuhito Ogawa. by Hung, Dang Van [editor.] Ogawa, Mizuhito [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8172 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	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; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	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; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	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; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5.	Software and Data Technologies [electronic resource] : 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers / edited by José Cordeiro, Maria Virvou, Boris Shishkov. by Cordeiro, José [editor.] Virvou, Maria [editor.] Shishkov, Boris [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 170 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6.	Evaluation of Novel Approaches to Software Engineering [electronic resource] : 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers / edited by Leszek A. Maciaszek, Kang Zhang. by Maciaszek, Leszek A [editor.] Zhang, Kang [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 275 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	7.	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; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	8.	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; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	9.	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; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	10.	Software Engineering for Self-Adaptive Systems II [electronic resource] : International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers / edited by Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw. by Lemos, Rogério de [editor.] Giese, Holger [editor.] Müller, Hausi A [editor.] Shaw, Mary [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7475 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	11.	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; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	12.	Formal Methods for Components and Objects [electronic resource] : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers / edited by Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue. by Beckert, Bernhard [editor.] Damiani, Ferruccio [editor.] Boer, Frank S. de [editor.] Bonsangue, Marcello M [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7542 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	13.	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; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	14.	Software Engineering [electronic resource] : International Summer Schools, ISSSE 2009-2011, Salerno, Italy. Revised Tutorial Lectures / edited by Andrea De Lucia, Filomena Ferrucci. by Lucia, Andrea De [editor.] Ferrucci, Filomena [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7171 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	15.	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; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	16.	Construction and Evolution of Code Generators [electronic resource] : A Model-Driven and Service-Oriented Approach / by Sven Jörges. by Jörges, Sven [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7747 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	17.	Software and Data Technologies [electronic resource] : 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers / edited by María José Escalona, José Cordeiro, Boris Shishkov. by Escalona, María José [editor.] Cordeiro, José [editor.] Shishkov, Boris [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 303 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	18.	Assurances for Self-Adaptive Systems [electronic resource] : Principles, Models, and Techniques / edited by Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes. by Cámara, Javier [editor.] Lemos, Rogério de [editor.] Ghezzi, Carlo [editor.] Lopes, Antónia [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7740 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	19.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 19th International Conference, TACAS 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 Nir Piterman, Scott A. Smolka. by Piterman, Nir [editor.] Smolka, Scott A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7795 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	20.	System Analysis and Modeling: Theory and Practice [electronic resource] : 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers / edited by Øystein Haugen, Rick Reed, Reinhard Gotzhein. by Haugen, Øystein [editor.] Reed, Rick [editor.] Gotzhein, Reinhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7744 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 66 results.