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

Results
	3841.	Advances in Cryptology – EUROCRYPT 2008 [electronic resource] : 27th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Istanbul, Turkey, April 13-17, 2008, Proceedings / by Smart, Nigel [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 4965 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)
	3842.	Transactions on Petri Nets and Other Models of Concurrency V [electronic resource]. by SpringerLink (Online service) Series: Transactions on Petri Nets and Other Models of Concurrency ; 6900 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)
	3843.	Applied Algebra, Algebraic Algorithms and Error-Correcting Codes [electronic resource] : 16th International Symposium, AAECC-16, Las Vegas, NV, USA, February 20-24, 2006, Proceedings / by Fossorier, Marc [editor.] Imai, Hideki [editor.] Lin, Shu [editor.] Poli, Alain [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3857 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)
	3844.	Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 9th International Symposium, SSS 2007 Paris, France, November 14-16, 2007 Proceedings / by Masuzawa, Toshimitsu [editor.] Tixeuil, Sébastien [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4838 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)
	3845.	Automated Deduction - CADE-25 [electronic resource] : 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings / by Felty, Amy P [editor.] Middeldorp, Aart [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9195 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)
	3846.	Self-Sustaining Systems [electronic resource] : First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008, Proceedings / by Hirschfeld, Robert [editor.] Rose, Kim [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5146 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)
	3847.	Computer Analysis of Images and Patterns [electronic resource] : 13th International Conference, CAIP 2009, Münster, Germany, September 2-4, 2009, Proceedings / by Jiang, Xiaoyi [editor.] Petkov, Nicolai [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 5702 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)
	3848.	Reliable Systems on Unreliable Networked Platforms [electronic resource] : 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers / by Kordon, Fabrice [editor.] Sztipanovits, Janos [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4322 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)
	3849.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings / by Fränzle, Martin [editor.] Markey, Nicolas [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9884 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)
	3850.	Algorithms - ESA 2009 [electronic resource] : 17th Annual European Symposium, Copenhagen, Denmark, September 7-9, Proceedings / by Fiat, Amos [editor.] Sanders, Peter [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5757 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)
	3851.	Engineering Secure Software and Systems [electronic resource] : First International Symposium, ESSoS 2009 Leuven, Belgium, February 4-6, 2009, Proceedings / by MASSACCI, Fabio [editor.] Redwine, Samuel [editor.] Zannone, Nicola [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 5429 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)
	3852.	Information Security Applications [electronic resource] : 16th International Workshop, WISA 2015, Jeju Island, Korea, August 20-22, 2015, Revised Selected Papers / by Kim, Ho-won [editor.] Choi, Dooho [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 9503 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)
	3853.	Information Theoretic Security [electronic resource] : 5th International Conference, ICITS 2011, Amsterdam, The Netherlands, May 21-24, 2011, Proceedings / by Fehr, Serge [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 6673 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)
	3854.	Algorithms and Architectures for Parallel Processing [electronic resource] : 8th International Conference, ICA3PP 2008, Agia Napa, Cyprus, June 9-11, 2008, Proceedings / by Bourgeois, Anu G [editor.] Zheng, Si Quing [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5022 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)
	3855.	Search Computing [electronic resource] : Broadening Web Search / by Ceri, Stefano [editor.] Brambilla, Marco [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7538 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)
	3856.	Intelligent Data Engineering and Automated Learning – IDEAL 2017 [electronic resource] : 18th International Conference, Guilin, China, October 30 – November 1, 2017, Proceedings / by Yin, Hujun [editor.] Gao, Yang [editor.] Chen, Songcan [editor.] Wen, Yimin [editor.] Cai, Guoyong [editor.] Gu, Tianlong [editor.] Du, Junping [editor.] Tallón-Ballesteros, Antonio J [editor.] Zhang, Minling [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10585 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)
	3857.	Combinatorial Optimization and Applications [electronic resource] : 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part II / by Gao, Xiaofeng [editor.] Du, Hongwei [editor.] Han, Meng [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10628 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)
	3858.	Parallel Processing and Applied Mathematics [electronic resource] : 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I / by Wyrzykowski, Roman [editor.] Dongarra, Jack [editor.] Deelman, Ewa [editor.] Karczewski, Konrad [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10777 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3859.	Graph Drawing [electronic resource] : 13 th International Symposium, GD 2005, Limerick, Ireland, September 12-14, 2005, Revised Papers / by Healy, Patrick [editor.] Nikolov, Nikola S [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3843 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)
	3860.	Computer Aided Verification [electronic resource] : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings / by Touili, Tayssir [editor.] Cook, Byron [editor.] Jackson, Paul [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6174 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 9091 results.