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

Results
	2241.	The Semantic Web [electronic resource] : 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 – June 1, 2017, Proceedings, Part I / by Blomqvist, Eva [editor.] Maynard, Diana [editor.] Gangemi, Aldo [editor.] Hoekstra, Rinke [editor.] Hitzler, Pascal [editor.] Hartig, Olaf [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10249 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)
	2242.	Theory and Applications of Satisfiability Testing – SAT 2016 [electronic resource] : 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings / by Creignou, Nadia [editor.] Le Berre, Daniel [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9710 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)
	2243.	Agent Computing and Multi-Agent Systems [electronic resource] : 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, Guilin, China, August 7-8, 2006, Proceedings / by Sadananada, Ramakoti [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4088 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)
	2244.	Emerging Trends in Information and Communication Security [electronic resource] : International Conference, ETRICS 2006, Freiburg, Germany, June 6-9, 2006. Proceedings / by Müller, Günter [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 3995 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)
	2245.	Multiagent System Technologies [electronic resource] : 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010 Proceedings / by Dix, Jürgen [editor.] Witteveen, Cees [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6251 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)
	2246.	Formal Methods in Systems Biology [electronic resource] : First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008, Proceedings / by Fisher, Jasmin [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 5054 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)
	2247.	Formal Concept Analysis [electronic resource] : 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008, Proceedings / by Medina, Raoul [editor.] Obiedkov, Sergei [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4933 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)
	2248.	Model Driven Architecture - Foundations and Applications [electronic resource] : 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009, Proceedings / by Paige, Richard F [editor.] Hartman, Alan [editor.] Rensink, Arend [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5562 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2249.	Membrane Computing [electronic resource] : 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers / by Csuhaj-Varju, Erzsebet [editor.] Gheorghe, Marian [editor.] Rozenberg, Grzegorz [editor.] Salomaa, Arto [editor.] Vaszil, György [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7762 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2250.	Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings / by Gorrieri, Roberto [editor.] Wehrheim, Heike [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4037 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)
	2251.	Advanced Lectures on Software Engineering [electronic resource] : LASER Summer School 2007/2008 / by Müller, Peter [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6029 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)
	2252.	Euro-Par 2005 Parallel Processing [electronic resource] : 11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005, Proceedings / by Cunha, José C [editor.] Medeiros, Pedro D [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3648 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)
	2253.	Automated Technology for Verification and Analysis [electronic resource] : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings / by Peled, Doron A [editor.] Tsay, Yih-Kuen [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3707 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)
	2254.	Software Architecture [electronic resource] : 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013, Proceedings / by Drira, Khalil [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7957 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2255.	Advances in Information Security and Assurance [electronic resource] : Third International Conference and Workshops, ISA 2009, Seoul, Korea, June 25-27, 2009. Proceedings / by Park, James (Jong Hyuk) [editor.] Chen, Hsiao-Hwa [editor.] Atiquzzaman, Mohammed [editor.] Lee, Changhoon [editor.] Yeo, Sang-Soo [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 5576 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2256.	Computer Safety, Reliability, and Security [electronic resource] : 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings / by Harrison, Michael Douglas [editor.] Sujan, Mark-Alexander [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5219 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)
	2257.	Advances in Hybrid Information Technology [electronic resource] : First International Conference, ICHIT 2006, Jeju Island, Korea, November 9-11, 2006, Revised Selected Papers / by Szczuka, Marcin S [editor.] Howard, Daniel [editor.] Slezak, Dominik [editor.] Kim, Haeng-kon [editor.] Kim, Tai-hoon [editor.] Ko, Il-seok [editor.] Lee, Geuk [editor.] Sloot, Peter M.A [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4413 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)
	2258.	On the Move to Meaningful Internet Systems: OTM 2009 [electronic resource] : Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009, Vilamoura, Portugal, November 1-6, 2009, Proceedings, Part II / by Meersman, Robert [editor.] Dillon, Tharam [editor.] Herrero, Pilar [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5871 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2259.	Large-Scale Scientific Computing [electronic resource] : 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers / by Lirkov, Ivan [editor.] Margenov, Svetozar D [editor.] Wasniewski, Jerzy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7116 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)
	2260.	How the World Computes [electronic resource] : Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012, Proceedings / by Cooper, Barry S [editor.] Dawar, Anuj [editor.] Löwe, Benedikt [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7318 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Titles

Your search returned 3843 results.