Results of search for 'ccl=Provider:Springer, and su-ut:Computer science' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	3721.	Financial Cryptography and Data Security [electronic resource] : 18th International Conference, FC 2014, Christ Church, Barbados, March 3-7, 2014, Revised Selected Papers / by Christin, Nicolas [editor.] Safavi-Naini, Reihaneh [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 8437 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3722.	WALCOM: Algorithms and Computation [electronic resource] : Third International Workshop, WALCOM 2009, Kolkata, India, February 18-20, 2009, Proceedings / by Das, Sandip [editor.] Uehara, Ryuhei [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5431 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)
	3723.	Programs, Proofs, Processes [electronic resource] : 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings / by Ferreira, Fernando [editor.] Löwe, Benedikt [editor.] Mayordomo, Elvira [editor.] Gomes, Luís Mendes [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6158 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)
	3724.	Logic Programming [electronic resource] : 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings / by Dahl, Verónica [editor.] Niemelä, Ilkka [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4670 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)
	3725.	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)
	3726.	Programming Multi-Agent-Systems [electronic resource] : 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers / by Bordini, R.H [editor.] Dastani, M [editor.] Dix, J [editor.] El Fallah Seghrouchni, A [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4411 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)
	3727.	Theory of Cryptography [electronic resource] : Sixth Theory of Cryptography Conference, TCC 2009, San Francisco, CA, USA, March 15-17, 2009, Proceedings / by Reingold, Omer [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 5444 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)
	3728.	Hybrid Artificial Intelligent Systems, Part II [electronic resource] : 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010, Proceedings / by Romay, Manuel Grana [editor.] Savio, Alexandre Manhaes [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6077 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)
	3729.	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)
	3730.	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)
	3731.	Optical Supercomputing [electronic resource] : Third International Workshop, OSC 2010, Bertinoro, Italy, November 17-19, 2010, Revised Selected Papers / by Dolev, Shlomi [editor.] Oltean, Mihai [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6748 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)
	3732.	Applications of Evolutionary Computing [electronic resource] : Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC / by Rothlauf, Franz [editor.] Branke, Jürgen [editor.] Cagnoni, Stefano [editor.] Corne, David W [editor.] Drechsler, Rolf [editor.] Jin, Yaochu [editor.] Machado, Penousal [editor.] Marchiori, Elena [editor.] Romero, Juan [editor.] Smith, George D [editor.] Squillero, Giovanni [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3449 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)
	3733.	Digital Watermarking [electronic resource] : 4th International Workshop, IWDW 2005, Siena, Italy, September 15-17, 2005, Proceedings / by Barni, Mauro [editor.] Cox, Ingemar [editor.] Kalker, Ton [editor.] Kim, Hyoung Joong [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 3710 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)
	3734.	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)
	3735.	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)
	3736.	Mathematical Foundations of Computer Science 2014 [electronic resource] : 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part I / by Csuhaj-Varjú, Ersébet [editor.] Dietzfelbinger, Martin [editor.] Ésik, Zoltán [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8634 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3737.	Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings / by Brünnler, Kai [editor.] Metcalfe, George [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6793 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)
	3738.	Transactions on High-Performance Embedded Architectures and Compilers I [electronic resource] / by O'Boyle, Mike [editor.] Bodin, Francois [editor.] Cintra, Marcelo [editor.] McKee, Sally A [editor.] SpringerLink (Online service) Series: Transactions on High-Performance Embedded Architectures and Compilers ; 4050 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)
	3739.	Adaptive Multimedia Retrieval: User, Context, and Feedback [electronic resource] : Third International Workshop, AMR 2005, Glasgow, UK, July 28-29, 2005, Revised Selected Papers / by Detyniecki, Marcin [editor.] Jose, Joemon M [editor.] Nürnberger, Andreas [editor.] van Rijsbergen, C. J [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3877 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)
	3740.	Digital Privacy [electronic resource] : PRIME - Privacy and Identity Management for Europe / by Camenisch, Jan [editor.] Leenes, Ronald [editor.] Sommer, Dieter [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 6545 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 7935 results.