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

Results
	2981.	Trends and Applications in Knowledge Discovery and Data Mining [electronic resource] : PAKDD 2015 Workshops: BigPMA, VLSP, QIMIE, DAEBH, Ho Chi Minh City, Vietnam, May 19-21, 2015. Revised Selected Papers / by Li, Xiao-Li [editor.] Cao, Tru [editor.] Lim, Ee-Peng [editor.] Zhou, Zhi-Hua [editor.] Ho, Tu-Bao [editor.] Cheung, David [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9441 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)
	2982.	Quantum Interaction [electronic resource] : 10th International Conference, QI 2016, San Francisco, CA, USA, July 20-22, 2016, Revised Selected Papers / by de Barros, Jose Acacio [editor.] Coecke, Bob [editor.] Pothos, Emmanuel [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10106 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)
	2983.	Implementation and Application of Functional Languages [electronic resource] : 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers / by Hage, Jurriaan [editor.] Morazán, Marco T [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6647 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)
	2984.	Computational Linguistics and Intelligent Text Processing [electronic resource] : 8th International Conference, CICLing 2007, Mexico City, Mexico, February 18-24, 2007, Proceedings / by Gelbukh, Alexander [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4394 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)
	2985.	Stochastic Algorithms: Foundations and Applications [electronic resource] : 4th International Symposium, SAGA 2007, Zurich, Switzerland, September 13-14, 2007, Proceedings / by Hromkovič, Juraj [editor.] Královiç, Richard [editor.] Nunkesser, Marc [editor.] Widmayer, Peter [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4665 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)
	2986.	Theory of Cryptography [electronic resource] : 11th International Conference, TCC 2014, San Diego, CA, USA, February 24-26, 2014, Proceedings / by Lindell, Yehuda [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 8349 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)
	2987.	Service Availability [electronic resource] : Third International Service Availability Symposium, ISAS 2006, Helsinki, Finland, May 15-16, 2006, Revised Selected Papers / by Penkler, Dave [editor.] Reitenspiess, Manfred [editor.] Tam, Francis [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4328 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)
	2988.	KI 2017: Advances in Artificial Intelligence [electronic resource] : 40th Annual German Conference on AI, Dortmund, Germany, September 25–29, 2017, Proceedings. by Kern-Isberner, Gabriele [editor.] Fürnkranz, Johannes [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10505 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)
	2989.	Advances in Cryptology - ASIACRYPT 2009 [electronic resource] : 15th International Conference on the Theory and Application of Cryptology and Information Security, Tokyo, Japan, December 6-10, 2009, Proceedings / by Matsui, Mitsuri [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 5912 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)
	2990.	Artificial Intelligence and Simulation [electronic resource] : 13th International Conference on AI, Simulation, and Planning in High Autonomy Systems, AIS 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers / by Kim, Tag G [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3397 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)
	2991.	Digital-Forensics and Watermarking [electronic resource] : 11th International Workshop, IWDW 2012, Shanghai, China, October 31--November 3, 2012, Revised Selected Papers / by Shi, Yun Q [editor.] Pérez-González, Fernando [editor.] Kim, Hyoung Joong [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 7809 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)
	2992.	Formal Methods for Industrial Critical Systems [electronic resource] : 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings / by Dierkes, Michael [editor.] Pecheur, Charles [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8187 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)
	2993.	Semantics in Data and Knowledge Bases [electronic resource] : Third International Workshop, SDKB 2008, Nantes, France, March 29, 2008, Revised Selected Papers / by Schewe, Klaus-Dieter [editor.] Thalheim, Bernhard [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4925 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)
	2994.	Computer Science Logic [electronic resource] : 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings / by Grädel, Erich [editor.] Kahle, Reinhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5771 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)
	2995.	Computational Intelligence and Security [electronic resource] : International Conference, CIS 2006, Guangzhou, China, November 3-6, 2006, Revised Selected Papers / by Wang, Yunping [editor.] Cheung, Yiu-ming [editor.] Liu, Hailin [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4456 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)
	2996.	Recent Advances in Constraints [electronic resource] : 11th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006 Caparica, Portugal, June 26-28, 2006 Revised Selected and Invited Papers / by Azevedo, Francisco [editor.] Barahona, Pedro [editor.] Fages, Francois [editor.] Rossi, Francesca [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4651 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)
	2997.	Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques [electronic resource] : 15th International Workshop, APPROX 2012, and 16th International Workshop, RANDOM 2012, Cambridge, MA, USA, August 15-17, 2012, Proceedings / by Gupta, Anupam [editor.] Jansen, Klaus [editor.] Rolim, José D.P [editor.] SERVEDIO, ROCCO [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7408 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)
	2998.	Advances in Neural Networks - ISNN 2009 [electronic resource] : 6th International Symposium on Neural Networks, ISNN 2009 Wuhan, China, May 26-29, 2009 Proceedings, Part I / by Yu, Wen [editor.] He, Haibo [editor.] Zhang, Nian [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5551 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)
	2999.	Intelligent Computer Mathematics [electronic resource] : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings / by Kohlhase, Michael [editor.] Johansson, Moa [editor.] Miller, Bruce [editor.] de Moura, Leonardo [editor.] Tompa, Frank [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9791 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)
	3000.	Algorithms in Bioinformatics [electronic resource] : 12th International Workshop, WABI 2012, Ljubljana, Slovenia, September 10-12, 2012. Proceedings / by Raphael, Ben [editor.] Tang, Jijun [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 7534 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 5827 results.