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

Results
	3961.	Research and Advanced Technology for Digital Libraries [electronic resource] : 10th European Conference, EDCL 2006, Alicante Spain, September 17-22, 2006, Proceedings / by Gonzalo, Julio [editor.] Thanos, Constantino [editor.] Verdejo, M. Felisa [editor.] Carrasco, Rafael C [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4172 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)
	3962.	CONCUR 2008 - Concurrency Theory [electronic resource] : 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings / by van Breugel, Franck [editor.] Chechik, Marsha [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5201 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)
	3963.	Intelligent Tutoring Systems [electronic resource] : 10th International Conference, ITS 2010, Pittsburgh, PA, USA, June 14-18, 2010, Proceedings, Part II / by Aleven, Vincent [editor.] Kay, Judy [editor.] Mostow, Jack [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6095 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)
	3964.	Recent Advances in Constraints [electronic resource] : 12th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers / by Fages, François [editor.] Rossi, Francesca [editor.] Soliman, Sylvain [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5129 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)
	3965.	Data Privacy Management and Autonomous Spontaneous Security [electronic resource] : 4th International Workshop, DPM 2009 and Second International Workshop, SETOP 2009, St. Malo, France, September 24-25, 2009, Revised Selected Papers / by Garcia-Alfaro, Joaquin [editor.] Navarro-Arribas, Guillermo [editor.] Cuppens-Boulahia, Nora [editor.] Roudier, Yves [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 5939 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)
	3966.	Transactions on Rough Sets V [electronic resource]. by SpringerLink (Online service) Series: Transactions on Rough Sets ; 4100 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)
	3967.	Human Language Technology. Challenges for Computer Science and Linguistics [electronic resource] : 4th Language and Technology Conference, LTC 2009, Roznan, Poland, November 6-8, 2009, Revised Selected Papers / by Vetulani, Zygmunt [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6562 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)
	3968.	Advanced Parallel Processing Technologies [electronic resource] : 7th International Symposium, APPT 2007 Guangzhou, China, November 22-23, 2007 Proceedings / by Xu, Ming [editor.] Zhan, Yinwei [editor.] Cao, Jiannong [editor.] Liu, Yijun [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4847 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)
	3969.	Multi-Agent-Based Simulation XIV [electronic resource] : International Workshop, MABS 2013, Saint Paul, MN, USA, May 6-7, 2013, Revised Selected Papers / by Alam, Shah Jamal [editor.] Parunak, H. Van Dyke [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8235 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)
	3970.	Modelling and Simulation for Autonomous Systems [electronic resource] : Third International Workshop, MESAS 2016, Rome, Italy, June 15-16, 2016, Revised Selected Papers / by Hodicky, Jan [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9991 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)
	3971.	Cellular Automata [electronic resource] : 12th International Conference on Cellular Automata for Research and Industry, ACRI 2016, Fez, Morocco, September 5-8, 2016. Proceedings / by El Yacoubi, Samira [editor.] Wąs, Jarosław [editor.] Bandini, Stefania [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9863 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)
	3972.	Public-Key Cryptography -- PKC 2014 [electronic resource] : 17th International Conference on Practice and Theory in Public-Key Cryptography, Buenos Aires, Argentina, March 26-28, 2014, Proceedings / by Krawczyk, Hugo [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 8383 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)
	3973.	Public-Key Cryptography – PKC 2016 [electronic resource] : 19th IACR International Conference on Practice and Theory in Public-Key Cryptography, Taipei, Taiwan, March 6-9, 2016, Proceedings, Part II / by Cheng, Chen-Mou [editor.] Chung, Kai-Min [editor.] Persiano, Giuseppe [editor.] Yang, Bo-Yin [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 9615 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3974.	Structural Information and Communication Complexity [electronic resource] : 17th International Colloquium, SIROCCO 2010, Sirince, Turkey, June 7-11, 2010, Proceedings / by Patt-Shamir, Boaz [editor.] Ekim, Tinaz [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6058 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)
	3975.	Advances in Cryptology – EUROCRYPT 2017 [electronic resource] : 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 – May 4, 2017, Proceedings, Part I / by Coron, Jean-Sébastien [editor.] Nielsen, Jesper Buus [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 10210 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)
	3976.	Computer Algebra in Scientific Computing [electronic resource] : 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings / by Ganzha, Victor G [editor.] Mayr, Ernst W [editor.] Vorozhtsov, Evgenii V [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3718 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)
	3977.	Advances in Database Technology - EDBT 2006 [electronic resource] : 10 International Conference on Extending Database Technology, Munich, Germany, 26-31 March 2006, Proceedings / by Ioannidis, Yannis [editor.] Scholl, Marc H [editor.] Schmidt, Joachim W [editor.] Matthes, Florian [editor.] Hatzopoulos, Mike [editor.] Boehm, Klemens [editor.] Kemper, Alfons [editor.] Grust, Torsten [editor.] Boehm, Christian [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3896 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)
	3978.	Model Driven Architecture - Foundations and Applications [electronic resource] : First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005, Proceedings / by Hartman, Alan [editor.] Kreische, David [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3748 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)
	3979.	Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 31 -- June 1, 2005 / by Barták, Roman [editor.] Milano, Michela [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3524 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)
	3980.	Interactive Theorem Proving [electronic resource] : Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings / by Beringer, Lennart [editor.] Felty, Amy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7406 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 8328 results.