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

Results
	2481.	Computational Science – ICCS 2018 [electronic resource] : 18th International Conference, Wuxi, China, June 11–13, 2018 Proceedings, Part III / by Shi, Yong [editor.] Fu, Haohuan [editor.] Tian, Yingjie [editor.] Krzhizhanovskaya, Valeria V [editor.] Lees, Michael Harold [editor.] Dongarra, Jack [editor.] Sloot, Peter M. A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10862 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2482.	New Frontiers in Artificial Intelligence [electronic resource] : JSAI-isAI Workshops, JURISIN, SKL, AI-Biz, LENLS, AAA, SCIDOCA, kNeXI, Tsukuba, Tokyo, November 13-15, 2017, Revised Selected Papers / by Arai, Sachiyo [editor.] Kojima, Kazuhiro [editor.] Mineshima, Koji [editor.] Bekki, Daisuke [editor.] Satoh, Ken [editor.] Ohta, Yuiko [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10838 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2483.	Rough Sets [electronic resource] : International Joint Conference, IJCRS 2016, Santiago de Chile, Chile, October 7–11, 2016, Proceedings / by Flores, Víctor [editor.] Gomide, Fernando [editor.] Janusz, Andrzej [editor.] Meneses, Claudio [editor.] Miao, Duoqian [editor.] Peters, Georg [editor.] Ślęzak, Dominik [editor.] Wang, Guoyin [editor.] Weber, Richard [editor.] Yao, Yiyu [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9920 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)
	2484.	Formal Techniques for Distributed Systems [electronic resource] : Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings / by Giese, Holger [editor.] Rosu, Grigore [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7273 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)
	2485.	Intelligent Data Engineering and Automated Learning – IDEAL 2016 [electronic resource] : 17th International Conference, Yangzhou, China, October 12–14, 2016, Proceedings / by Yin, Hujun [editor.] Gao, Yang [editor.] Li, Bin [editor.] Zhang, Daoqiang [editor.] Yang, Ming [editor.] Li, Yun [editor.] Klawonn, Frank [editor.] Tallón-Ballesteros, Antonio J [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9937 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)
	2486.	Inductive Logic Programming [electronic resource] : 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers / by Inoue, Katsumi [editor.] Ohwada, Hayato [editor.] Yamamoto, Akihiro [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9575 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)
	2487.	FM 2016: Formal Methods [electronic resource] : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings / by Fitzgerald, John [editor.] Heitmeyer, Constance [editor.] Gnesi, Stefania [editor.] Philippou, Anna [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9995 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)
	2488.	Arithmetic of Finite Fields [electronic resource] : 5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014. Revised Selected Papers / by Koç, Çetin Kaya [editor.] Mesnager, Sihem [editor.] Savaş, Erkay [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9061 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)
	2489.	Graph Transformation [electronic resource] : 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings / by Giese, Holger [editor.] König, Barbara [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8571 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)
	2490.	Search Computing [electronic resource] : Challenges and Directions / by Ceri, Stefano [editor.] Brambilla, Marco [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5950 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)
	2491.	Information Theoretic Security [electronic resource] : 8th International Conference, ICITS 2015, Lugano, Switzerland, May 2-5, 2015. Proceedings / by Lehmann, Anja [editor.] Wolf, Stefan [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 9063 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)
	2492.	Performance Evaluation and Benchmarking [electronic resource] : Transaction Processing Performance Council Technology Conference, TPCTC 2009, Lyon, France, August 24-28, 2009, Revised Selected Papers / by Nambiar, Raghunath [editor.] Poess, Meikel [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5895 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)
	2493.	Advances in Swarm Intelligence [electronic resource] : First International Conference, ICSI 2010, Beijing, China, June 12-15, 2010, Proceedings, Part II / by TAN, KAY CHEN [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6146 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)
	2494.	Language and Automata Theory and Applications [electronic resource] : 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings / by Dediu, Adrian-Horia [editor.] Formenti, Enrico [editor.] Martín-Vide, Carlos [editor.] Truthe, Bianca [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8977 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)
	2495.	Computational Science and Its Applications - ICCSA 2007 [electronic resource] : International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part III / by Gervasi, Osvaldo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4707 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)
	2496.	Verified Software: Theorie, Tools, Experiments [electronic resource] : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers / by Cohen, Ernie [editor.] Rybalchenko, Andrey [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8164 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)
	2497.	Rules and Reasoning [electronic resource] : International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings / by Costantini, Stefania [editor.] Franconi, Enrico [editor.] Van Woensel, William [editor.] Kontchakov, Roman [editor.] Sadri, Fariba [editor.] Roman, Dumitru [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10364 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)
	2498.	Data Warehousing and Knowledge Discovery [electronic resource] : 8th International Conference, DaWaK 2006, Krakow, Poland, September 4-8, 2006, Proceedings / by Min Tjoa, A [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4081 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)
	2499.	Quantum Interaction [electronic resource] : 9th International Conference, QI 2015, Filzbach, Switzerland, July 15-17, 2015, Revised Selected Papers / by Atmanspacher, Harald [editor.] Filk, Thomas [editor.] Pothos, Emmanuel [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9535 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)
	2500.	Time for Verification [electronic resource] : Essays in Memory of Amir Pnueli / by Manna, Zohar [editor.] Peled, Doron A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6200 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 5827 results.