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

Results
	5141.	Model Checking and Artificial Intelligence [electronic resource] : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers / by Peled, Doron A [editor.] Wooldridge, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5348 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)
	5142.	Numerical Software Verification [electronic resource] : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings / by Abate, Alessandro [editor.] Boldo, Sylvie [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10381 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)
	5143.	Automated Deduction -- CADE-23 [electronic resource] : 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings / by Bjørner, Nikolaj [editor.] Sofronie-Stokkermans, Viorica [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6803 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)
	5144.	Selected Areas in Cryptography [electronic resource] : 17th International Workshop, SAC 2010, Waterloo, Ontario, Canada, August 12-13, 2010, Revised Selected Papers / by Biryukov, Alex [editor.] Gong, Guang [editor.] Stinson, Douglas R [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 6544 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)
	5145.	Topics in Cryptology -- CT-RSA 2006 [electronic resource] : The Cryptographers' Track at the RSA Conference 2006, San Jose, CA, USA, February 13-17, 2005, Proceedings / by Pointcheval, David [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 3860 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)
	5146.	Computational Science -- ICCS 2005 [electronic resource] : 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part III / by Sunderam, V.S [editor.] van Albada, G. Dick [editor.] Sloot, Peter M.A [editor.] Dongarra, Jack [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3516 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)
	5147.	Provable Security [electronic resource] : Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings / by Baek, Joon Sang [editor.] Bao, Feng [editor.] Chen, Kefei [editor.] Lai, Xuejia [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 5324 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)
	5148.	Pattern Recognition and Image Analysis [electronic resource] : 5th Iberian Conference, IbPRIA 2011, Las Palmas de Gran Canaria, Spain, June 8-10, 2011. Proceedings / by Vitria, Jordi [editor.] Sanches, Joao Miguel [editor.] Hernández, Mario [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 6669 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)
	5149.	Advances in Cryptology – EUROCRYPT 2009 [electronic resource] : 28th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cologne, Germany, April 26-30, 2009, Proceedings / by Joux, Antoine [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 5479 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)
	5150.	Natural Language Processing and Information Systems [electronic resource] : 22nd International Conference on Applications of Natural Language to Information Systems, NLDB 2017, Liège, Belgium, June 21-23, 2017, Proceedings / by Frasincar, Flavius [editor.] Ittoo, Ashwin [editor.] Nguyen, Le Minh [editor.] Métais, Elisabeth [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10260 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)
	5151.	Computational Geometry, Graphs and Applications [electronic resource] : International Conference,CGGA 2010, Dalian, China, November 3-6, 2010, Revised, Selected Papers / by Akiyama, Jin [editor.] Bo, Jiang [editor.] Kano, Mikio [editor.] Tan, Xuehou [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7033 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)
	5152.	Artificial Evolution [electronic resource] : 10th International Conference, Evolution Artificielle, EA 2011, Angers, France, October 24-26, 2011, Revised Selected Papers / by Hao, Jin-Kao [editor.] Legrand, Pierrick [editor.] Collet, Pierre [editor.] Monmarché, Nicolas [editor.] Lutton, Evelyne [editor.] Schoenauer, Marc [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7401 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)
	5153.	Cryptology and Network Security [electronic resource] : 9th International Conference, CANS 2010, Kuala Lumpur, Malaysia, December 12-14, 2010, Proceedings / by Heng, Swee-Huay [editor.] Wright, Rebecca N [editor.] Goi, Bok-Min [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 6467 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)
	5154.	Information Security and Privacy [electronic resource] : 12th Australasian Conference, ACISP 2007, Townsville, Australia, July 2-4, 2007, Proceedings / by Pieprzyk, Josef [editor.] Ghodosi, Hossein [editor.] Dawson, Ed [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 4586 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)
	5155.	Membrane Computing [electronic resource] : 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers / by Leporati, Alberto [editor.] Rozenberg, Grzegorz [editor.] Salomaa, Arto [editor.] Zandron, Claudio [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10105 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)
	5156.	Runtime Verification [electronic resource] : 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings / by Bartocci, Ezio [editor.] Majumdar, Rupak [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9333 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)
	5157.	Computational Methods in Systems Biology [electronic resource] : 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27–29, 2017, Proceedings / by Feret, Jérôme [editor.] Koeppl, Heinz [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 10545 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)
	5158.	Fundamental Approaches to Software Engineering [electronic resource] : 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / by Egyed, Alexander [editor.] Schaefer, Ina [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9033 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5159.	Coordination, Organizations, Institutions and Norms in Agent Systems IV [electronic resource] : COIN 2008 International Workshops COIN@AAMAS 2008, Estoril, Portugal, May 12, 2008 COIN@AAAI 2008, Chicago, USA, July 14, 2008, Revised Selected Papers / by Hubner, Jomi Fred [editor.] Matson, Eric T [editor.] Boissier, Olivier [editor.] Dignum, Virginia [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5428 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)
	5160.	Evaluation of Multilingual and Multi-modal Information Retrieval [electronic resource] : 7th Workshop of the Cross-Language Evaluation Forum, CLEF 2006, Alicante, Spain, September 20-22, 2006, Revised Selected Papers / by Clough, Paul [editor.] Gey, Fredric C [editor.] Karlgren, Jussi [editor.] Magnini, Bernardo [editor.] Oard, Douglas W [editor.] de Rijke, Maarten [editor.] Stempfhuber, Maximilian [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4730 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

Places

Topics

Titles

Your search returned 9091 results.