Results of search for 'ccl=copydate:"©2013"' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	941.	Security Protocols [electronic resource] : 21st International Workshop, Cambridge, UK, March 19-20, 2013, Revised Selected Papers / by Christianson, Bruce [editor.] Malcolm, James [editor.] Stajano, Frank [editor.] Anderson, Jonathan [editor.] Bonneau, Joseph [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 8263 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)
	942.	Computational Linguistics and Intelligent Text Processing [electronic resource] : 14th International Conference, CICLing 2013, Karlovasi, Samos, Greece, March 24-30, 2013, Proceedings, Part II / by Gelbukh, Alexander [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7817 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)
	943.	Selected Areas in Cryptography [electronic resource] : 19th International Conference, SAC 2012, Windsor, Canada, August 15-16, 2012, Revised Selected Papers / by Knudsen, Lars R [editor.] Wu, Huapeng [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 7707 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)
	944.	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)
	945.	Security and Trust Management [electronic resource] : 9th International Workshop, STM 2013, Egham, UK, September 12-13, 2013, Proceedings / by Accorsi, Rafael [editor.] Ranise, Silvio [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 8203 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)
	946.	Formal Methods for Dynamical Systems [electronic resource] : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures / by Bernardo, Marco [editor.] de Vink, Erik [editor.] Di Pierro, Alessandra [editor.] Wiklicky, Herbert [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7938 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)
	947.	Computer Aided Systems Theory -- EUROCAST 2013 [electronic resource] : 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013. Revised Selected Papers, Part II / by Moreno-Díaz, Roberto [editor.] Pichler, Franz [editor.] Quesada-Arencibia, Alexis [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8112 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)
	948.	Computer Aided Verification [electronic resource] : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings / by Sharygina, Natasha [editor.] Veith, Helmut [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8044 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)
	949.	Spatial and Temporal Databases [electronic resource] : 13th International Symposium, SSTD 2013, Munich, Germany, August 21-23, 2013, Proceedings / by Nascimento, Mario A [editor.] Sellis, Timos [editor.] Cheng, Reynold [editor.] Sander, Jörg [editor.] Zheng, Yu [editor.] Kriegel, Hans-Peter [editor.] Renz, Matthias [editor.] Sengstock, Christian [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8098 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)
	950.	Foundations and Practice of Security [electronic resource] : 5th International Symposium on Foundations and Practice of Security, FPS 2012, Montreal, QC, Canada, October 25-26, 2012, Revised Selected Papers / by Garcia-Alfaro, Joaquin [editor.] Cuppens, Frederic [editor.] Cuppens-Boulahia, Nora [editor.] Miri, Ali [editor.] Tawbi, Nadia [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 7743 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)
	951.	Theoretical Aspects of Computing -- ICTAC 2013 [electronic resource] : 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings / by Liu, Zhiming [editor.] Woodcock, Jim [editor.] Zhu, Huibiao [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8049 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)
	952.	Advances in Knowledge Discovery and Data Mining [electronic resource] : 17th Pacific-Asia Conference, PAKDD 2013, Gold Coast, Australia, April 14-17, 2013, Proceedings, Part I / by Pei, Jian [editor.] Tseng, Vincent S [editor.] Cao, Longbing [editor.] Motoda, Hiroshi [editor.] Xu, Guandong [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7818 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)
	953.	Biomimetic and Biohybrid Systems [electronic resource] : Second International Conference, Living Machines 2013, London, UK, July 29 -- August 2, 2013, Proceedings / by Lepora, Nathan F [editor.] Mura, Anna [editor.] Krapp, Holger G [editor.] Verschure, Paul F.M.J [editor.] Prescott, Tony J [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8064 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)
	954.	Serious Games Development and Applications [electronic resource] : 4th International Conference, SGDA 2013, Trondheim, Norway, September 25-27, 2013, Proceedings / by Ma, Minhua [editor.] Fradinho Oliveira, Manuel [editor.] Petersen, Sobah [editor.] Baalsrud Hauge, Jannicke [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 8101 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)
	955.	Advances in Cryptology – EUROCRYPT 2013 [electronic resource] : 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Athens, Greece, May 26-30, 2013, Proceedings / by Johansson, Thomas [editor.] Nguyen, Phong Q [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 7881 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)
	956.	Computational Linguistics and Intelligent Text Processing [electronic resource] : 14th International Conference, CICLing 2013, Samos, Greece, March 24-30, 2013, Proceedings, Part I / by Gelbukh, Alexander [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7816 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)
	957.	Computational Science and Its Applications -- ICCSA 2013 [electronic resource] : 13th International Conference, ICCSA 2013, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part IV / by Murgante, Beniamino [editor.] Misra, Sanjay [editor.] Carlini, Maurizio [editor.] Torre, Carmelo Maria [editor.] Nguyen, Hong-Quang [editor.] Taniar, David [editor.] Apduhan, Bernady O [editor.] Gervasi, Osvaldo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7974 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)
	958.	Trust and Trustworthy Computing [electronic resource] : 6th International Conference, TRUST 2013, London, UK, June 17-19, 2013, Proceedings / by Huth, Michael [editor.] Asokan, N [editor.] Capkun, Srdjan [editor.] Flechais, Ivan [editor.] Coles-Kemp, Lizzie [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 7904 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)
	959.	Advances in Depth Images Analysis and Applications [electronic resource] : International Workshop, WDIA 2012, Tsukuba, Japan, November 11, 2012, Revised Selected and Invited Papers / by Jiang, Xiaoyi [editor.] Pereira Bellon, Olga Regina [editor.] Goldgof, Dmitry [editor.] Oishi, Takeshi [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 7854 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)
	960.	Service-Oriented Computing [electronic resource] : 11th International Conference, ICSOC 2013, Berlin, Germany, December 2-5, 2013. Proceedings / by Basu, Samik [editor.] Pautasso, Cesare [editor.] Zhang, Liang [editor.] Fu, Xiang [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8274 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 1343 results.