Results of search for 'ccl=pl:"Cham : "' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	5821.	FM 2015: Formal Methods [electronic resource] : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings / by Bjørner, Nikolaj [editor.] de Boer, Frank [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9109 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)
	5822.	Pattern Recognition [electronic resource] : 38th German Conference, GCPR 2016, Hannover, Germany, September 12-15, 2016, Proceedings / by Rosenhahn, Bodo [editor.] Andres, Bjoern [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9796 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)
	5823.	Certified Programs and Proofs [electronic resource] : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings / by Gonthier, Georges [editor.] Norrish, Michael [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8307 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)
	5824.	Topics in Cryptology – CT-RSA 2017 [electronic resource] : The Cryptographers’ Track at the RSA Conference 2017, San Francisco, CA, USA, February 14–17, 2017, Proceedings / by Handschuh, Helena [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 10159 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)
	5825.	Practical Aspects of Declarative Languages [electronic resource] : 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings / by Lierler, Yuliya [editor.] Taha, Walid [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10137 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)
	5826.	Future Internet Testing [electronic resource] : First International Workshop, FITTEST 2013, Istanbul, Turkey, November 12, 2013, Revised Selected Papers / by Vos, Tanja E.J [editor.] Lakhotia, Kiran [editor.] Bauersfeld, Sebastian [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8432 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)
	5827.	Information Security [electronic resource] : 18th International Conference, ISC 2015, Trondheim, Norway, September 9-11, 2015, Proceedings / by Lopez, Javier [editor.] Mitchell, Chris J [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 9290 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)
	5828.	Ambient Assisted Living. ICT-based Solutions in Real Life Situations [electronic resource] : 7th International Work-Conference, IWAAL 2015, Puerto Varas, Chile, December 1-4, 2015, Proceedings / by Cleland, Ian [editor.] Guerrero, Luis [editor.] Bravo, José [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9455 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)
	5829.	Agents and Artificial Intelligence [electronic resource] : 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers / by van den Herik, Jaap [editor.] Filipe, Joaquim [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10162 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)
	5830.	Theory and Models for Cyber Situation Awareness [electronic resource] / by Liu, Peng [editor.] Jajodia, Sushil [editor.] Wang, Cliff [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10030 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)
	5831.	Multiple Access Communications [electronic resource] : 9th International Workshop, MACOM 2016, Aalborg, Denmark, November 21-22, 2016, Proceedings / by Madsen, Tatiana K [editor.] Nielsen, Jimmy J [editor.] Pratas, Nuno K [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 10121 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)
	5832.	Algorithmic Learning Theory [electronic resource] : 25th International Conference, ALT 2014, Bled, Slovenia, October 8-10, 2014, Proceedings / by Auer, Peter [editor.] Clark, Alexander [editor.] Zeugmann, Thomas [editor.] Zilles, Sandra [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8776 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)
	5833.	Frontiers in Algorithmics [electronic resource] : 11th International Workshop, FAW 2017, Chengdu, China, June 23-25, 2017, Proceedings / by Xiao, Mingyu [editor.] Rosamond, Frances [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10336 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)
	5834.	Information and Communications Security [electronic resource] : 18th International Conference, ICICS 2016, Singapore, Singapore, November 29 – December 2, 2016, Proceedings / by Lam, Kwok-Yan [editor.] Chi, Chi-Hung [editor.] Qing, Sihan [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 9977 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)
	5835.	Quantitative Evaluation of Systems [electronic resource] : 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings / by Agha, Gul [editor.] Van Houdt, Benny [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9826 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)
	5836.	Computational Forensics [electronic resource] : 5th International Workshop, IWCF 2012, Tsukuba, Japan, November 11, 2012 and 6th International Workshop, IWCF 2014, Stockholm, Sweden, August 24, 2014, Revised Selected Papers / by Garain, Utpal [editor.] Shafait, Faisal [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 8915 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)
	5837.	Computer Aided Verification [electronic resource] : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I / by Chaudhuri, Swarat [editor.] Farzan, Azadeh [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9779 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)
	5838.	Scaling OpenMP for Exascale Performance and Portability [electronic resource] : 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20–22, 2017, Proceedings / by de Supinski, Bronis R [editor.] Olivier, Stephen L [editor.] Terboven, Christian [editor.] Chapman, Barbara M [editor.] Müller, Matthias S [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10468 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)
	5839.	Formal Concept Analysis [electronic resource] : 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings / by Baixeries, Jaume [editor.] Sacarea, Christian [editor.] Ojeda-Aciego, Manuel [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9113 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)
	5840.	Computational Collective Intelligence [electronic resource] : 9th International Conference, ICCCI 2017, Nicosia, Cyprus, September 27-29, 2017, Proceedings, Part II / by Nguyen, Ngoc Thanh [editor.] Papadopoulos, George A [editor.] Jędrzejowicz, Piotr [editor.] Trawiński, Bogdan [editor.] Vossen, Gottfried [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10449 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 8340 results.