Refine your search

Your search returned 136 results.

Not what you expected? Check for suggestions
1.
Modelling Foundations and Applications [electronic resource] : 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings / edited by Gabriele Taentzer, Francis Bordeleau.

by Taentzer, Gabriele [editor.] | Bordeleau, Francis [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :

2.
Theory and Practice of Model Transformations [electronic resource] : 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings / edited by Dimitris Kolovos, Manuel Wimmer.

by Kolovos, Dimitris [editor.] | Wimmer, Manuel [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :

3.
Tests and Proofs [electronic resource] : 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings / edited by Jasmin Christian Blanchette, Nikolai Kosmatov.

by Blanchette, Jasmin Christian [editor.] | Kosmatov, Nikolai [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :

4.
Search-Based Software Engineering [electronic resource] : 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings / edited by Márcio Barros, Yvan Labiche.

by Barros, Márcio [editor.] | Labiche, Yvan [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :

5.
Software Engineering and Formal Methods [electronic resource] : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings / edited by Radu Calinescu, Bernhard Rumpe.

by Calinescu, Radu [editor.] | Rumpe, Bernhard [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :

6.
Software Engineering for Resilient Systems [electronic resource] : 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings / edited by Alessandro Fantechi, Patrizio Pelliccione.

by Fantechi, Alessandro [editor.] | Pelliccione, Patrizio [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :

7.
Logic, Rewriting, and Concurrency [electronic resource] : Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday / edited by Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott.

by Martí-Oliet, Narciso [editor.] | Ölveczky, Peter Csaba [editor.] | Talcott, Carolyn [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :

8.
Advanced Parallel Processing Technologies [electronic resource] : 11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings / edited by Yunji Chen, Paolo Ienne, Qing Ji.

by Chen, Yunji [editor.] | Ienne, Paolo [editor.] | Ji, Qing [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :

9.
Model Checking Software [electronic resource] : 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings / edited by Bernd Fischer, Jaco Geldenhuys.

by Fischer, Bernd [editor.] | Geldenhuys, Jaco [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :

10.
Correct System Design [electronic resource] : Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings / edited by Roland Meyer, André Platzer, Heike Wehrheim.

by Meyer, Roland [editor.] | Platzer, André [editor.] | Wehrheim, Heike [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :

11.
Software Architecture [electronic resource] : 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015. Proceedings / edited by Danny Weyns, Raffaela Mirandola, Ivica Crnkovic.

by Weyns, Danny [editor.] | Mirandola, Raffaela [editor.] | Crnkovic, Ivica [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :

12.
Runtime Verification [electronic resource] : 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings / edited by Ezio Bartocci, Rupak Majumdar.

by Bartocci, Ezio [editor.] | Majumdar, Rupak [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :

13.
Programming Languages [electronic resource] : 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings / edited by Alberto Pardo, S. Doaitse Swierstra.

by Pardo, Alberto [editor.] | Swierstra, S. Doaitse [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :

14.
Computer Safety, Reliability, and Security [electronic resource] : 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings / edited by Floor Koornneef, Coen van Gulijk.

by Koornneef, Floor [editor.] | van Gulijk, Coen [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :

15.
OpenMP: Heterogenous Execution and Data Movements [electronic resource] : 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings / edited by Christian Terboven, Bronis R. de Supinski, Pablo Reble, Barbara M. Chapman, Matthias S. Müller.

by Terboven, Christian [editor.] | de Supinski, Bronis R [editor.] | Reble, Pablo [editor.] | Chapman, Barbara M [editor.] | Müller, Matthias S [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :

16.
Fundamentals of Software Engineering [electronic resource] : 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers / edited by Mehdi Dastani, Marjan Sirjani.

by Dastani, Mehdi [editor.] | Sirjani, Marjan [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :

17.
SDL 2015: Model-Driven Engineering for Smart Cities [electronic resource] : 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings / edited by Joachim Fischer, Markus Scheidgen, Ina Schieferdecker, Rick Reed.

by Fischer, Joachim [editor.] | Scheidgen, Markus [editor.] | Schieferdecker, Ina [editor.] | Reed, Rick [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :

18.
Formal Methods and Software Engineering [electronic resource] : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings / edited by Michael Butler, Sylvain Conchon, Fatiha Zaïdi.

by Butler, Michael [editor.] | Conchon, Sylvain [editor.] | Zaïdi, Fatiha [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :

19.
Testing Software and Systems [electronic resource] : 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings / edited by Khaled El-Fakih, Gerassimos Barlas, Nina Yevtushenko.

by El-Fakih, Khaled [editor.] | Barlas, Gerassimos [editor.] | Yevtushenko, Nina [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :

20.
Globalizing Domain-Specific Languages [electronic resource] : International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers / edited by Benoit Combemale, Betty H.C. Cheng, Robert B. France, Jean-Marc Jézéquel, Bernhard Rumpe.

by Combemale, Benoit [editor.] | Cheng, Betty H.C [editor.] | France, Robert B [editor.] | Jézéquel, Jean-Marc [editor.] | Rumpe, Bernhard [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :

21.
Hardware and Software: Verification and Testing [electronic resource] : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings / edited by Nir Piterman.

by Piterman, Nir [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :

22.
Programming Languages and Systems [electronic resource] : 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings / edited by Xinyu Feng, Sungwoo Park.

by Feng, Xinyu [editor.] | Park, Sungwoo [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :

23.
Information Security [electronic resource] : 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings / edited by Yvo Desmedt.

by Desmedt, Yvo [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :

24.
Software Engineering [electronic resource] : International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures / edited by Bertrand Meyer, Martin Nordio.

by Meyer, Bertrand [editor.] | Nordio, Martin [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :

25.
Euro-Par 2015: Parallel Processing [electronic resource] : 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings / edited by Jesper Larsson Träff, Sascha Hunold, Francesco Versaci.

by Träff, Jesper Larsson [editor.] | Hunold, Sascha [editor.] | Versaci, Francesco [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :


Implemented and Maintained by Biju Patnaik Central Library.
For any Suggestions/Query Contact to library or Email: library@nitrkl.ac.in OR bpcl-cir@nitrkl.ac.in. Ph:91+6612462103
Website/OPAC best viewed in Mozilla Browser in 1366X768 Resolution.

Powered by Koha