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

Results
	5501.	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)
	5502.	Automated Deduction in Geometry [electronic resource] : 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers / by Botana, Francisco [editor.] Recio, Tomas [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4869 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)
	5503.	MICAI 2008: Advances in Artificial Intelligence [electronic resource] : 7th Mexican International Conference on Artificial Intelligence, Atizapán de Zaragoza, Mexico, October 27-31, 2008 Proceedings / by Gelbukh, Alexander [editor.] Morales, Eduardo F [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5317 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)
	5504.	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)
	5505.	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)
	5506.	Rough Sets and Knowledge Technology [electronic resource] : Third International Conference, RSKT 2008, Chengdu, China, May 17-19, 2008, Proceedings / by Wang, Guoyin [editor.] Li, Tianrui [editor.] Grzymala-Busse, Jerzy W [editor.] Miao, Duoqian [editor.] Yao, Yiyu Y [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5009 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)
	5507.	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)
	5508.	Computational Intelligence and Bioinspired Systems [electronic resource] : 8th International Work-Conference on Artificial Neural Networks, IWANN 2005, Vilanova i la Geltrú, Barcelona, Spain, June 8-10, 2005, Proceedings / by Cabestany, Joan [editor.] Prieto, Alberto [editor.] Sandoval, Francisco [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3512 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)
	5509.	Combinatorial Optimization [electronic resource] : 4th International Symposium, ISCO 2016, Vietri sul Mare, Italy, May 16-18, 2016, Revised Selected Papers / by Cerulli, Raffaele [editor.] Fujishige, Satoru [editor.] Mahjoub, A. Ridha [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9849 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)
	5510.	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)
	5511.	Implementation and Application of Automata [electronic resource] : 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings / by Ibarra, Oscar H [editor.] Yen, Hsu-Chun [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4094 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)
	5512.	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)
	5513.	Descriptional Complexity of Formal Systems [electronic resource] : 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings / by Câmpeanu, Cezar [editor.] Manea, Florin [editor.] Shallit, Jeffrey [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9777 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)
	5514.	Advances in Cryptology -- CRYPTO 2012 [electronic resource] : 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012, Proceedings / by Safavi-Naini, Reihaneh [editor.] Canetti, Ran [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 7417 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)
	5515.	Internet and Network Economics [electronic resource] : Third International Workshop,WINE 2007, San Diego, CA, USA, December 12-14, 2007, Proceedings / by Deng, Xiaotie [editor.] Graham, Fan Chung [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4858 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)
	5516.	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)
	5517.	Paradigms in Cryptology – Mycrypt 2016. Malicious and Exploratory Cryptology [electronic resource] : Second International Conference, Mycrypt 2016, Kuala Lumpur, Malaysia, December 1-2, 2016, Revised Selected Papers / by Phan, Raphaël C.-W [editor.] Yung, Moti [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 10311 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)
	5518.	Advances in Cryptology - CRYPTO 2007 [electronic resource] : 27th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2007, Proceedings / by Menezes, Alfred [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 4622 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)
	5519.	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)
	5520.	Multi-Agent-Based Simulation XIII [electronic resource] : International Workshop, MABS 2012, Valencia, Spain, June 4-8, 2012, Revised Selected Papers / by Giardini, Francesca [editor.] Amblard, Frédéric [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7838 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 9091 results.