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

Results
	1061.	Robust and Online Large-Scale Optimization [electronic resource] : Models and Techniques for Transportation Systems / by Ahuja, Ravindra K [editor.] Möhring, Rolf H [editor.] Zaroliagis, Christos D [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5868 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)
	1062.	Formal Methods: Foundations and Applications [electronic resource] : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings / by Gheyi, Rohit [editor.] Naumann, David [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7498 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)
	1063.	Utility Computing [electronic resource] : 15th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2004, Davis, CA, USA, November 15-17, 2004. Proceedings / by Sahai, Akhil [editor.] Felix, Wu [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3278 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1064.	Web Services and Formal Methods [electronic resource] : 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers / by Carbone, Marco [editor.] Petit, Jean-Marc [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7176 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)
	1065.	Computer Aided Verification [electronic resource] : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I / by Majumdar, Rupak [editor.] Kunčak, Viktor [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10426 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)
	1066.	Euro-Par 2010 - Parallel Processing [electronic resource] : 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part II / by D'Ambra, Pasqua [editor.] Guarracino, Mario [editor.] Talia, Domenico [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6272 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)
	1067.	Passive and Active Network Measurement [electronic resource] : 8th International Conference, PAM 2007, Louvain-la-Neuve, Belgium, April 5-6, 2007, Proceedings / by Uhlig, Steve [editor.] Papagiannaki, Konstantina [editor.] Bonaventure, Olivier [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 4427 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)
	1068.	Principles of Distributed Systems [electronic resource] : 13th International Conference, OPODIS 2009, Nîmes, France, December 15-18, 2009. Proceedings / by Abdelzaher, Tarek F [editor.] Raynal, Michel [editor.] Santoro, Nicola [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5923 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)
	1069.	Cryptographic Hardware and Embedded Systems - CHES 2007 [electronic resource] : 9th International Workshop, Vienna, Austria, September 10-13, 2007, Proceedings / by Paillier, Pascal [editor.] Verbauwhede, Ingrid [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 4727 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)
	1070.	Frontiers of High Performance Computing and Networking - ISPA 2007 Workshops [electronic resource] : ISPA 2007 International Workshops, SSDSN, UPWN, WISH, SGC, ParDMCom, HiPCoMB, and IST-AWSN, Niagara Falls, Canada, August, 28-September 1, 2007, Proceedings / by Thulasiraman, Parimala [editor.] He, Xubin [editor.] Xu, Tony Li [editor.] Denko, Mieso [editor.] Thulasiram, Ruppa K [editor.] Yang, Laurence T [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4743 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)
	1071.	Public Key Infrastructure [electronic resource] : First European PKIWorkshop: Research and Applications, EuroPKI 2004, Samos Island, Greece, June 25-26, 2004, Proceedings / by Katsikas, Sokratis K [editor.] Gritzalis, Stefanos [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3093 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1072.	Algorithms and Architectures for Parallel Processing, Part II [electronic resource] : 11th International Conference, ICA3PP 2011, Workshops, Melbourne, Australia, October 24-26, 2011, Proceedings, Part II / by Xiang, Yang [editor.] Cuzzocrea, Alfredo [editor.] Hobbs, Michael [editor.] Zhou, Wanlei [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7017 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)
	1073.	Research in Attacks, Intrusions, and Defenses [electronic resource] : 20th International Symposium, RAID 2017, Atlanta, GA, USA, September 18–20, 2017, Proceedings / by Dacier, Marc [editor.] Bailey, Michael [editor.] Polychronakis, Michalis [editor.] Antonakakis, Manos [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 10453 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)
	1074.	Recent Advances in Intrusion Detection [electronic resource] : 8th International Symposium, RAID 2005, Seattle, WA, USA, September 7-9, 2005, Revised Papers / by Valdes, Alfonso [editor.] Zamboni, Diego [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 3858 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)
	1075.	Theory of Cryptography [electronic resource] : 4th Theory of Cryptography Conference, TCC 2007, Amsterdam, The Netherlands, February 21-24, 2007, Proceedings / by Vadhan, Salil P [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 4392 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)
	1076.	Information Security Practice and Experience [electronic resource] : First International Conference, ISPEC 2005, Singapore, April 11-14, 2005, Proceedings / by Deng, Robert H [editor.] Bao, Feng [editor.] Pang, HweeHwa [editor.] Zhou, Jianying [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 3439 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)
	1077.	SDL 2013: Model Driven Dependability Engineering [electronic resource] : 16th International SDL Forum, Montreal, Canada, June 26-28, 2013, Proceedings / by Khendek, Ferhat [editor.] Toeroe, Maria [editor.] Gherbi, Abdelouahed [editor.] Reed, Rick [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 7916 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)
	1078.	Tests and Proofs [electronic resource] : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings / by Beckert, Bernhard [editor.] Hähnle, Reiner [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4966 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)
	1079.	HCI in Business [electronic resource] : Second International Conference, HCIB 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings / by Fui-Hoon Nah, Fiona [editor.] Tan, Chuan-Hoo [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9191 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)
	1080.	Sequences and Their Applications - SETA 2014 [electronic resource] : 8th International Conference, Melbourne, VIC, Australia, November 24-28, 2014, Proceedings / by Schmidt, Kai-Uwe [editor.] Winterhof, Arne [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8865 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 2470 results.