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

Results
	5961.	Annotating, Extracting and Reasoning about Time and Events [electronic resource] : International Seminar, Dagstuhl Castle, Germany, April 20-15, 2005, Revised Papers / by Schilder, Frank [editor.] Katz, Graham [editor.] Pustejovsky, James [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4795 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)
	5962.	Information and Communications Security [electronic resource] : 15th International Conference, ICICS 2013, Beijing, China, November 20-22, 2013, Proceedings / by Qing, Sihan [editor.] Zhou, Jianying [editor.] Liu, Dongmei [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 8233 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5963.	Computational Logic in Multi-Agent Systems [electronic resource] : 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers / by Fisher, Michael [editor.] Sadri, Fariba [editor.] Thielscher, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5405 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)
	5964.	Artificial Immune Systems [electronic resource] : 5th International Conference, ICARIS 2006, Oeiras, Portugal, September 4-6, 2006, Proceedings / by Bersini, Hugues [editor.] Carneiro, Jorge [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4163 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)
	5965.	Formal Theories of Information [electronic resource] : From Shannon to Semantic Information Theory and General Concepts of Information / by Sommaruga, Giovanni [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5363 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)
	5966.	Curves and Surfaces [electronic resource] : 7th International Conference, Avignon, France, June 24-30, 2010, Revised Selected Papers / by Boissonnat, Jean-Daniel [editor.] Chenin, Patrick [editor.] Cohen, Albert [editor.] Gout, Christian [editor.] Lyche, Tom [editor.] Mazure, Marie-Laurence [editor.] Schumaker, Larry [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6920 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)
	5967.	Information Theoretic Security [electronic resource] : 7th International Conference, ICITS 2013, Singapore, November 28-30, 2013, Proceedings / by Padró, Carles [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 8317 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)
	5968.	OpenMP in a New Era of Parallelism [electronic resource] : 4th International Workshop, IWOMP 2008 West Lafayette, IN, USA, May 12-14, 2008, Proceedings / by Eigenmann, Rudi [editor.] de Supinski, Bronis R [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5004 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)
	5969.	Data Warehousing and Knowledge Discovery [electronic resource] : 7th International Conference, DaWak 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings / by Tjoa, A Min [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3589 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)
	5970.	Transactions on Petri Nets and Other Models of Concurrency III [electronic resource]. by SpringerLink (Online service) Series: Transactions on Petri Nets and Other Models of Concurrency ; 5800 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)
	5971.	Deontic Logic in Computer Science [electronic resource] : 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012, Proceedings / by Agotnes, Thomas [editor.] Broersen, Jan M [editor.] Elgesem, Dag [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7393 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)
	5972.	FM 2009: Formal Methods [electronic resource] : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings / by Cavalcanti, Ana [editor.] Dams, Dennis [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5850 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)
	5973.	Adaptive Agents and Multi-Agent Systems II [electronic resource] : Adaptation and Multi-Agent Learning / by Kudenko, Daniel [editor.] Kazakov, Dimitar [editor.] Alonso, Eduardo [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3394 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)
	5974.	Theorem Proving in Higher Order Logics [electronic resource] : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings / by Berghofer, Stefan [editor.] Nipkow, Tobias [editor.] Urban, Christian [editor.] Wenzel, Makarius [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5674 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)
	5975.	Logic Programming [electronic resource] : 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings / by Etalle, Sandro [editor.] Truszczynski, Miroslav [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4079 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)
	5976.	Lightweight Cryptography for Security and Privacy [electronic resource] : 5th International Workshop, LightSec 2016, Aksaray, Turkey, September 21-22, 2016, Revised Selected Papers / by Bogdanov, Andrey [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 10098 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)
	5977.	Programming Languages and Systems [electronic resource] : Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings / by Yi, Kwangkeun [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3780 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)
	5978.	MICAI 2005: Advances in Artificial Intelligence [electronic resource] : 4th Mexican International Conference on Artificial Intelligence, Monterrey, Mexico, November 14-18, 2005, Proceedings / by Gelbukh, Alexander [editor.] Terashima, Hugo [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3789 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)
	5979.	Topics in Cryptology - CT-RSA 2012 [electronic resource] : The Cryptographers' Track at the RSA Conference 2012, San Francisco, CA, USA, February 27 - March 2, 2012, Proceedings / by Dunkelman, Orr [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 7178 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)
	5980.	Research in Computational Molecular Biology [electronic resource] : 14th Annual International Conference, RECOMB 2010, Lisbon, Portugal, April 25-28, 2010, Proceedings / by Berger, Bonnie [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 6044 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.