Results of search for 'ccl=Provider:Springer, and su-to:Software engineering' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	1861.	Semirings for Soft Constraint Solving and Programming [electronic resource] / by Bistarelli, Stefano [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2962 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1862.	The Semantic Web: Research and Applications [electronic resource] : First European Semantic Web Symposium, ESWS 2004, Heraklion, Crete, Greece, May 10-12, 2004, Proceedings / by Davies, John Francis [editor.] Bussler, Christoph [editor.] Studer, Rudi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3053 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1863.	Practical Aspects of Declarative Languages [electronic resource] : 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings / by Jayaraman, Bharat [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3057 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1864.	Program Development in Computational Logic [electronic resource] : A Decade of Research Advances in Logic-Based Program Development / by Bruynooghe, Maurice [editor.] Lau, Kung-Kiu [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3049 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1865.	Computer and Information Sciences - ISCIS 2004 [electronic resource] : 19th International Symposium, Kemer-Antalya, Turkey, October 27-29, 2004. Proceedings / by Aykanat, Cevdet [editor.] Dayar, Tugrul [editor.] Korpeoglu, Ibrahim [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3280 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1866.	Risk Assessment and Risk-Driven Testing [electronic resource] : First International Workshop, RISK 2013, Held in Conjunction with ICTSS 2013, Istanbul, Turkey, November 12, 2013. Revised Selected Papers / by Bauer, Thomas [editor.] Großmann, Jürgen [editor.] Seehusen, Fredrik [editor.] Stølen, Ketil [editor.] Wendland, Marc-Florian [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8418 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1867.	Network and System Security [electronic resource] : 11th International Conference, NSS 2017, Helsinki, Finland, August 21–23, 2017, Proceedings / by Yan, Zheng [editor.] Molva, Refik [editor.] Mazurczyk, Wojciech [editor.] Kantola, Raimo [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 10394 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1868.	Formal Methods for Industrial Critical Systems [electronic resource] : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings / by Núñez, Manuel [editor.] Güdemann, Matthias [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9128 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1869.	Formal Methods for Multicore Programming [electronic resource] : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures / by Bernardo, Marco [editor.] Johnsen, Einar Broch [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9104 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1870.	50 Years of Artificial Intelligence [electronic resource] : Essays Dedicated to the 50th Anniversary of Artificial Intelligence / by Lungarella, Max [editor.] Iida, Fumiya [editor.] Bongard, Josh [editor.] Pfeifer, Rolf [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4850 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1871.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings / by Logozzo, Francesco [editor.] Peled, Doron A [editor.] Zuck, Leonore D [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4905 Edition: 1st ed. 2008. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1872.	Testing of Software and Communicating Systems [electronic resource] : 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008 Proceedings / by Suzuki, Kenji [editor.] Higashino, Teruo [editor.] Ulrich, Andreas [editor.] Hasegawa, Toru [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 5047 Edition: 1st ed. 2008. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1873.	Risk Assessment and Risk-Driven Quality Assurance [electronic resource] : 4th International Workshop, RISK 2016, Held in Conjunction with ICTSS 2016, Graz, Austria, October 18, 2016, Revised Selected Papers / by Großmann, Jürgen [editor.] Felderer, Michael [editor.] Seehusen, Fredrik [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10224 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1874.	Requirements Engineering: Foundation for Software Quality [electronic resource] : 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007, Proceedings / by Sawyer, Pete [editor.] Paech, Barbara [editor.] Heymans, Patrick [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4542 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1875.	Central European Functional Programming School [electronic resource] : Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures / by Horváth, Zoltán [editor.] Plasmeijer, Rinus [editor.] Zsók, Viktoria [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6299 Edition: 1st ed. 2010. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1876.	Practical Aspects of Declarative Languages [electronic resource] : 14th International Symposium, PADL 2012, Philadelphia, PA, January 23-24, 2012. Proceedings / by Russo, Claudio [editor.] Zhou, Neng-Fa [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7149 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1877.	Software Process and Product Measurement [electronic resource] : International Conferences IWSM 2008, Metrikon 2008, and Mensura 2008 Munich, Germany, November 18-19, 2008. Proceedings / by Dumke, Reiner R [editor.] Braungarten, René [editor.] Büren, Günter [editor.] Abran, Alain [editor.] Cuadrado-Gallego, Juan J [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5338 Edition: 1st ed. 2008. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1878.	RoboCup 2007: Robot Soccer World Cup XI [electronic resource] / by Visser, Ubbo [editor.] Ribeiro, Fernando [editor.] Ohashi, Takeshi [editor.] Dellaert, Frank [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5001 Edition: 1st ed. 2008. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1879.	Advances in Grid and Pervasive Computing [electronic resource] : 5th International Conference, CPC 2010, Hualien, Taiwan, May 10-13, 2010, Proceedings / by Bellavista, Paolo [editor.] Chang, Ruay-Shiung [editor.] Chao, Han-Chieh [editor.] Lin, Shin-Feng [editor.] Sloot, Peter M.A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6104 Edition: 1st ed. 2010. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1880.	Agents in Principle, Agents in Practice [electronic resource] : 14th International Conference, PRIMA 2011, Wollongong, Australia, November 16-18, 2011, Proceedings / by Kinny, David [editor.] Hsu, Jane Yung-jen [editor.] Governatori, Guido [editor.] Ghose, Aditya [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7047 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 4435 results.