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

Results
	1481.	Advances in Artificial Intelligence [electronic resource] : 28th Canadian Conference on Artificial Intelligence, Canadian AI 2015, Halifax, Nova Scotia, Canada, June 2-5, 2015, Proceedings / by Barbosa, Denilson [editor.] Milios, Evangelos [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9091 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)
	1482.	Logic-Based Program Synthesis and Transformation [electronic resource] : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers / by Falaschi, Moreno [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9527 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)
	1483.	Advanced Concepts for Intelligent Vision Systems [electronic resource] : 16th International Conference, ACIVS 2015, Catania, Italy, October 26-29, 2015. Proceedings / by Battiato, Sebastiano [editor.] Blanc-Talon, Jacques [editor.] Gallo, Giovanni [editor.] Philips, Wilfried [editor.] Popescu, Dan [editor.] Scheunders, Paul [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9386 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)
	1484.	DNA Computing and Molecular Programming [electronic resource] : 21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015. Proceedings / by Phillips, Andrew [editor.] Yin, Peng [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9211 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)
	1485.	Neural Information Processing [electronic resource] : 22nd International Conference, ICONIP 2015, Istanbul, Turkey, November 9-12, 2015, Proceedings Part III / by Arik, Sabri [editor.] Huang, Tingwen [editor.] Lai, Weng Kin [editor.] Liu, Qingshan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9491 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)
	1486.	Hybrid Systems Biology [electronic resource] : Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers / by Maler, Oded [editor.] Halász, Ádám [editor.] Dang, Thao [editor.] Piazza, Carla [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 7699 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)
	1487.	Search-Based Software Engineering [electronic resource] : 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings / by Barros, Márcio [editor.] Labiche, Yvan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9275 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)
	1488.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings / by Sankaranarayanan, Sriram [editor.] Vicario, Enrico [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9268 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)
	1489.	Cellular Automata and Discrete Complex Systems [electronic resource] : 20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised Selected Papers / by Isokawa, Teijiro [editor.] Imai, Katsunobu [editor.] Matsui, Nobuyuki [editor.] Peper, Ferdinand [editor.] Umeo, Hiroshi [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8996 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)
	1490.	Digital-Forensics and Watermarking [electronic resource] : 13th International Workshop, IWDW 2014, Taipei, Taiwan, October 1-4, 2014. Revised Selected Papers / by Shi, Yun-Qing [editor.] Kim, Hyoung Joong [editor.] Pérez-González, Fernando [editor.] Yang, Ching-Nung [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 9023 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)
	1491.	Cryptography and Coding [electronic resource] : 15th IMA International Conference, IMACC 2015, Oxford, UK, December 15-17, 2015. Proceedings / by Groth, Jens [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 9496 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)
	1492.	Reasoning Web. Web Logic Rules [electronic resource] : 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures. / by Faber, Wolfgang [editor.] Paschke, Adrian [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9203 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)
	1493.	Hardware and Software: Verification and Testing [electronic resource] : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings / by Bloem, Roderick [editor.] Arbel, Eli [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10028 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)
	1494.	From Bioinspired Systems and Biomedical Applications to Machine Learning [electronic resource] : 8th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2019, Almería, Spain, June 3–7, 2019, Proceedings, Part II / by Ferrández Vicente, José Manuel [editor.] Álvarez-Sánchez, José Ramón [editor.] de la Paz López, Félix [editor.] Toledo Moreo, Javier [editor.] Adeli, Hojjat [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11487 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1495.	Computational Science – ICCS 2019 [electronic resource] : 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part III / by Rodrigues, João M. F [editor.] Cardoso, Pedro J. S [editor.] Monteiro, Jânio [editor.] Lam, Roberto [editor.] Krzhizhanovskaya, Valeria V [editor.] Lees, Michael H [editor.] Dongarra, Jack J [editor.] Sloot, Peter M.A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11538 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1496.	Fundamentals of Software Engineering [electronic resource] : 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers / by Hojjat, Hossein [editor.] Massink, Mieke [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11761 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1497.	Natural Language Processing and Chinese Computing [electronic resource] : 8th CCF International Conference, NLPCC 2019, Dunhuang, China, October 9–14, 2019, Proceedings, Part I / by Tang, Jie [editor.] Kan, Min-Yen [editor.] Zhao, Dongyan [editor.] Li, Sujian [editor.] Zan, Hongying [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11838 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1498.	Theory of Cryptography [electronic resource] : 17th International Conference, TCC 2019, Nuremberg, Germany, December 1–5, 2019, Proceedings, Part I / by Hofheinz, Dennis [editor.] Rosen, Alon [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11891 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1499.	Semantic Technology [electronic resource] : 9th Joint International Conference, JIST 2019, Hangzhou, China, November 25–27, 2019, Proceedings / by Wang, Xin [editor.] Lisi, Francesca Alessandra [editor.] Xiao, Guohui [editor.] Botoeva, Elena [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12032 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1500.	Relational and Algebraic Methods in Computer Science [electronic resource] : 18th International Conference, RAMiCS 2020, Palaiseau, France, October 26–29, 2020, Proceedings / by Fahrenberg, Uli [editor.] Jipsen, Peter [editor.] Winter, Michael [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12062 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 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.