Results of search for 'ccl=au:"SpringerLink (Online service)" and su-to:Engineering and su-to:Software engineering and su-to:Computer Science and su-to:Software Engineering/Programming and Operating Systems' › Central Library, Shahjalal University of Science & Technology catalog

Results
	21.	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)
	22.	Facing the Multicore-Challenge III [electronic resource] : Aspects of New Paradigms and Technologies in Parallel Computing / edited by Rainer Keller, David Kramer, Jan-Philipp Weiss. by Keller, Rainer [editor.] Kramer, David [editor.] Weiss, Jan-Philipp [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7686 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)
	23.	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)
	24.	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)
	25.	Engineering Secure Software and Systems [electronic resource] : 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings / edited by Jan Jürjens, Benjamin Livshits, Riccardo Scandariato. by Jürjens, Jan [editor.] Livshits, Benjamin [editor.] Scandariato, Riccardo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7781 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)
	26.	Aliasing in Object-Oriented Programming. Types, Analysis and Verification [electronic resource] / edited by Dave Clarke, James Noble, Tobias Wrigstad. by Clarke, Dave [editor.] Noble, James [editor.] Wrigstad, Tobias [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7850 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)
	27.	Euro-Par 2012: Parallel Processing Workshops [electronic resource] : BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised Selected Papers / edited by Ioannis Caragiannis, Michael Alexander, Rosa Maria Badia, Mario Cannataro, Alexandru Costan, Marco Danelutto, Frédéric Desprez, Bettina Krammer, Julio Sahuquillo, Stephen L. Scott, Josef Weidendorfer. by Caragiannis, Ioannis [editor.] Alexander, Michael [editor.] Badia, Rosa Maria [editor.] Cannataro, Mario [editor.] Costan, Alexandru [editor.] Danelutto, Marco [editor.] Desprez, Frédéric [editor.] Krammer, Bettina [editor.] Sahuquillo, Julio [editor.] Scott, Stephen L [editor.] Weidendorfer, Josef [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7640 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)
	28.	Compiler Construction [electronic resource] : 22nd International Conference, CC 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 Ranjit Jhala, Koen De Bosschere. by Jhala, Ranjit [editor.] Bosschere, Koen De [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7791 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)
	29.	Languages and Compilers for Parallel Computing [electronic resource] : 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers / edited by Hironori Kasahara, Keiji Kimura. by Kasahara, Hironori [editor.] Kimura, Keiji [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7760 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)
	30.	NASA Formal Methods [electronic resource] : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings / edited by Guillaume Brat, Neha Rungta, Arnaud Venet. by Brat, Guillaume [editor.] Rungta, Neha [editor.] Venet, Arnaud [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7871 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)
	31.	Web Dynpro ABAP for Practitioners [electronic resource] / by Ulrich Gellert, Ana Daniela Cristea. by Gellert, Ulrich [author.] Cristea, Ana Daniela [author.] SpringerLink (Online service) Edition: 2nd ed. 2013. 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)
	32.	Safe and Secure Software Reuse [electronic resource] : 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings / edited by John Favaro, Maurizio Morisio. by Favaro, John [editor.] Morisio, Maurizio [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7925 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)
	33.	Knowledge Science, Engineering and Management [electronic resource] : 6th International Conference, KSEM 2013, Dalian, China, August 10-12, 2013. Proceedings / edited by Mingzheng Wang. by Wang, Mingzheng [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8041 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)
	34.	Multicore Software Engineering, Performance, and Tools [electronic resource] : International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings / edited by João M. Lourenço, Eitan Farchi. by Lourenço, João M [editor.] Farchi, Eitan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8063 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)
	35.	Parallel Computing Technologies [electronic resource] : 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings / edited by Victor Malyshkin. by Malyshkin, Victor [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7979 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)
	36.	Software Engineering and Formal Methods [electronic resource] : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings / edited by Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti. by Hierons, Robert M [editor.] Merayo, Mercedes G [editor.] Bravetti, Mario [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8137 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)
	37.	Ada 2012 Rationale [electronic resource] : The Language, The Standard Libraries / by John Barnes. by Barnes, John [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8338 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)
	38.	Advanced Parallel Processing Technologies [electronic resource] : 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers / edited by Chenggang Wu, Albert Cohen. by Wu, Chenggang [editor.] Cohen, Albert [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8299 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)
	39.	Ada 2012 Reference Manual. Language and Standard Libraries [electronic resource] : International Standard ISO/IEC 8652/2012 (E) / edited by S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, Pascal Leroy, Edmond Schonberg. by Taft, S. Tucker [editor.] Duff, Robert A [editor.] Brukardt, Randall L [editor.] Ploedereder, Erhard [editor.] Leroy, Pascal [editor.] Schonberg, Edmond [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8339 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)
	40.	Innovative Technologies for Dependable OTS-Based Critical Systems [electronic resource] : Challenges and Achievements of the CRITICAL STEP Project / edited by Domenico Cotroneo. by Cotroneo, Domenico [editor.] SpringerLink (Online service) Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Milano : Springer Milan : 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 40 results.