Results of search for 'ccl=su:{Engineering }' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	4221.	Requirements Engineering: Foundation for Software Quality [electronic resource] : 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30-July 2, 2010. Proceedings / by Wieringa, Roel [editor.] Persson, Anne [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6182 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)
	4222.	Principles of Distributed Systems [electronic resource] : 9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Paper / by Anderson, James H [editor.] Prencipe, Giuseppe [editor.] Wattenhofer, Roger [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3974 Edition: 1st ed. 2006. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4223.	Computational Science and Its Applications - ICCSA 2006 [electronic resource] : International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part I / by Gervasi, Osvaldo [editor.] Kumar, Vipin [editor.] Tan, C.J. Kenneth [editor.] Taniar, David [editor.] Laganà, Antonio [editor.] Mun, Youngsong [editor.] Choo, Hyunseung [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3980 Edition: 1st ed. 2006. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4224.	Security in Ad-hoc and Sensor Networks [electronic resource] : First European Workshop, ESAS 2004, Heidelberg, Germany, August 6, 2004, Revised Selected Papers / by Castelluccia, Claude [editor.] Hartenstein, Hannes [editor.] Paar, Christof [editor.] Westhoff, Dirk [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 3313 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4225.	Computer Safety, Reliability, and Security [electronic resource] : 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings / by Winther, Rune [editor.] Gran, Bjoern Axel [editor.] Dahll, Gustav [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3688 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4226.	Ad-hoc, Mobile, and Wireless Networks [electronic resource] : 15th International Conference, ADHOC-NOW 2016, Lille, France, July 4-6, 2016, Proceedings / by Mitton, Nathalie [editor.] Loscri, Valeria [editor.] Mouradian, Alexandre [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 9724 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4227.	Formal Aspects of Component Software [electronic resource] : 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers / by Lanese, Ivan [editor.] Madelaine, Eric [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8997 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)
	4228.	NETWORKING 2012 [electronic resource] : 11th International IFIP TC 6 Networking Conference, Prague, Czech Republic, May 21-25, 2012, Proceedings, Part II / by Bestak, Robert [editor.] Kencl, Lukas [editor.] Li, Li Erran [editor.] Widmer, Joerg [editor.] Yin, Hao [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 7290 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)
	4229.	Ubiquitous Computing and Ambient Intelligence [electronic resource] : 6th International Conference, UCAmI 2012, Vitoria-Gasteiz, Spain, December 3-5, 2012, Proceedings / by Bravo, Jose [editor.] López-de-Ipina, Diego [editor.] Moya, Francisco [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7656 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)
	4230.	Algebraic and Numeric Biology [electronic resource] : 4th International Conference, ANB 2010, Hagenberg, Austria, July 31-August 2, 2010, Revised Selected Papers / by Horimoto, Katsuhisa [editor.] Nakatsui, Masahiko [editor.] Popov, Nikolaj [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6479 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)
	4231.	Artificial Intelligence: Theories, Models and Applications [electronic resource] : 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008, Proceedings / by Darzentas, John [editor.] Vouros, George [editor.] Vosinakis, Spyros [editor.] Arnellos, Argyris [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5138 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)
	4232.	Articulated Motion and Deformable Objects [electronic resource] : 6th International Conference, AMDO 2010, Port d'Andratx, Mallorca, Spain, July 7-9, 2010 Proceedings / by Perales Lopez, Francisco Jose [editor.] Fisher, Robert B [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 6169 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)
	4233.	Software Architecture [electronic resource] : 4th European Conference , ECSA 2010, Copenhagen, Denmark, August 23-26, 2010, Proceedings / by Ali Babar, Muhammad [editor.] Gorton, Ian [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6285 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)
	4234.	Communication Technologies for Vehicles [electronic resource] : 4th International Workshop, Nets4Cars/Nets4Trains 2012, Vilnius, Lithuania, April 25-27, 2012, Proceedings / by Vinel, Alexey [editor.] Mehmood, Rashid [editor.] Berbineau, Marion [editor.] Rico Garcia, Cristina [editor.] Huang, Chung-Ming [editor.] Chilamkurti, Naveen [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 7266 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)
	4235.	Formal Methods and Stochastic Models for Performance Evaluation [electronic resource] : Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings / by Horváth, András [editor.] Telek, Miklós [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4054 Edition: 1st ed. 2006. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4236.	Hardware and Software: Verification and Testing [electronic resource] : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers / by Barner, Sharon [editor.] Harris, Ian [editor.] Kroening, Daniel [editor.] Raz, Orna [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6504 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)
	4237.	Formal Methods and Software Engineering [electronic resource] : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings / by Dong, Jin Song [editor.] Zhu, Huibiao [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6447 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)
	4238.	Computer Aided Verification [electronic resource] : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings / by Biere, Armin [editor.] Bloem, Roderick [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8559 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)
	4239.	Principles of Distributed Systems [electronic resource] : 12th International Conference, OPODIS 2008, Luxor, Egypt, December 15-18, 2008. Proceedings / by Baker, Theodore P [editor.] Bui, Alain [editor.] Tixeuil, Sebastien [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5401 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)
	4240.	Logic and Its Applications [electronic resource] : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings / by Ghosh, Sujata [editor.] Prasad, Sanjiva [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10119 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017 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

Places

Topics

Titles

Your search returned 7031 results.