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

Results
	2221.	Diagrammatic Representation and Inference [electronic resource] : Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings / by Blackwell, Alan [editor.] Marriott, Kim [editor.] Shimojima, Atsushi [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2980 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)
	2222.	Logic Programming and Nonmonotonic Reasoning [electronic resource] : 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings / by Balduccini, Marcello [editor.] Janhunen, Tomi [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10377 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)
	2223.	The Nature of Computation: Logic, Algorithms, Applications [electronic resource] : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings / by Bonizzoni, Paola [editor.] Brattka, Vasco [editor.] Löwe, Benedikt [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7921 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)
	2224.	Future Data and Security Engineering [electronic resource] : 1st International Conference, FDSE 2014, Ho Chi Minh City, Vietnam, November 19-21, 2014, Proceedings / by Dang, Tran Khanh [editor.] Wagner, Roland [editor.] Neuhold, Erich J [editor.] Takizawa, Makoto [editor.] Küng, Josef [editor.] Thoai, Nam [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8860 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)
	2225.	Distributed Computing and Networking [electronic resource] : 11th International Conference, ICDCN 2010, Kolkata, India, January 3-6, 2010, Proceedings / by Kant, Krishna [editor.] Pemmaraju, Sriram V [editor.] Sivalingam, Krishna M [editor.] Wu, Jie [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5935 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)
	2226.	Public Key Cryptography - PKC 2007 [electronic resource] : 10th International Conference on Practice and Theory in Public-Key Cryptography, Beijing, China, April 16-20, 2007, Proceedings / by Okamoto, Tatsuaki [editor.] Wang, Xiaoyun [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 4450 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)
	2227.	FM 2005: Formal Methods [electronic resource] : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings / by Fitzgerald, John [editor.] Hayes, Ian J [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3582 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)
	2228.	Information and Communication Technology [electronic resource] : International Conference, ICT-EurAsia 2013, Yogyakarta, Indonesia, March 25-29, 2013, Proceedings / by Mustofa, Khabib [editor.] Neuhold, Erich [editor.] Tjoa, A Min [editor.] Weippl, Edgar R [editor.] You, Ilsun [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7804 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)
	2229.	Domain-Specific Languages [electronic resource] : IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings / by Taha, Walid Mohamed [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5658 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)
	2230.	Neural Information Processing [electronic resource] : 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16–21, 2016, Proceedings, Part II / by Hirose, Akira [editor.] Ozawa, Seiichi [editor.] Doya, Kenji [editor.] Ikeda, Kazushi [editor.] Lee, Minho [editor.] Liu, Derong [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9948 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)
	2231.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings / by Jones, Neil [editor.] Müller-Olm, Markus [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5403 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)
	2232.	Mathematics of Program Construction [electronic resource] : 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings / by Audebaud, Philippe [editor.] Paulin-Mohring, Christine [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5133 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)
	2233.	WALCOM: Algorithms and Computation [electronic resource] : Second International Workshop, WALCOM 2008, Dhaka, Bangladesh, February 7-8, 2008, Proceedings / by Nakano, Shin-ichi [editor.] Rahman, Md. Saidur [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4921 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)
	2234.	Unifying Theories of Programming [electronic resource] : First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers / by Dunne, Steve [editor.] Stoddart, Bill [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4010 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)
	2235.	Computational Science – ICCS 2008 [electronic resource] : 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part I / by Bubak, Marian [editor.] van Albada, Geert Dick [editor.] Dongarra, Jack [editor.] Sloot, Peter M.A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5101 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)
	2236.	Computer Safety, Reliability, and Security [electronic resource] : 26th International Conference, SAFECOMP 2007, Nurmberg, Germany, September 18-21, 2007, Proceedings / by Saglietti, Francesca [editor.] Oster, Norbert [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4680 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)
	2237.	Logics in Artificial Intelligence [electronic resource] : 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010, Proceedings / by Janhunen, Tomi [editor.] Niemelä, Ilkka [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6341 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)
	2238.	Critical Information Infrastructures Security [electronic resource] : First International Workshop, CRITIS 2006, Samos Island, Greece, August 31 - September 1, 2006 / by Lopez, Javier [author.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 4347 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)
	2239.	Verified Software: Theories, Tools, Experiments [electronic resource] : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions / by Meyer, Bertrand [editor.] Woodcock, Jim [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4171 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)
	2240.	Adaptive and Natural Computing Algorithms [electronic resource] : 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part II / by Beliczynski, Bartlomiej [editor.] Dzielinski, Andrzej [editor.] Iwanowski, Marcin [editor.] Ribeiro, Bernadete [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4432 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Titles

Your search returned 3843 results.