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

Results
	1101.	Information Security and Cryptology – ICISC 2019 [electronic resource] : 22nd International Conference, Seoul, South Korea, December 4–6, 2019, Revised Selected Papers / by Seo, Jae Hong [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11975 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)
	1102.	Information Processing and Management of Uncertainty in Knowledge-Based Systems [electronic resource] : 18th International Conference, IPMU 2020, Lisbon, Portugal, June 15–19, 2020, Proceedings, Part I / by Lesot, Marie-Jeanne [editor.] Vieira, Susana [editor.] Reformat, Marek Z [editor.] Carvalho, João Paulo [editor.] Wilbik, Anna [editor.] Bouchon-Meunier, Bernadette [editor.] Yager, Ronald R [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1237 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)
	1103.	Natural Language Processing and Information Systems [electronic resource] : 25th International Conference on Applications of Natural Language to Information Systems, NLDB 2020, Saarbrücken, Germany, June 24–26, 2020, Proceedings / by Métais, Elisabeth [editor.] Meziane, Farid [editor.] Horacek, Helmut [editor.] Cimiano, Philipp [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12089 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)
	1104.	Application and Theory of Petri Nets and Concurrency [electronic resource] : 41st International Conference, PETRI NETS 2020, Paris, France, June 24–25, 2020, Proceedings / by Janicki, Ryszard [editor.] Sidorova, Natalia [editor.] Chatain, Thomas [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12152 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)
	1105.	Advances in Production Management Systems. Towards Smart and Digital Manufacturing [electronic resource] : IFIP WG 5.7 International Conference, APMS 2020, Novi Sad, Serbia, August 30 – September 3, 2020, Proceedings, Part II / by Lalic, Bojan [editor.] Majstorovic, Vidosav [editor.] Marjanovic, Ugljesa [editor.] von Cieminski, Gregor [editor.] Romero, David [editor.] SpringerLink (Online service) Series: IFIP Advances in Information and Communication Technology ; 592 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)
	1106.	Fundamental Approaches to Software Engineering [electronic resource] : 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings / by Guerra, Esther [editor.] Stoelinga, Mariëlle [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12649 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1107.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I / by Groote, Jan Friso [editor.] Larsen, Kim Guldstrand [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12651 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1108.	Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings / by Das, Anupam [editor.] Negri, Sara [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12842 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1109.	Frontiers of Combining Systems [electronic resource] : 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8–10, 2021, Proceedings / by Konev, Boris [editor.] Reger, Giles [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12941 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1110.	Combinatorics on Words [electronic resource] : 13th International Conference, WORDS 2021, Rouen, France, September 13–17, 2021, Proceedings / by Lecroq, Thierry [editor.] Puzynina, Svetlana [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12847 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1111.	Networked Systems [electronic resource] : 10th International Conference, NETYS 2022, Virtual Event, May 17–19, 2022, Proceedings / by Koulali, Mohammed-Amine [editor.] Mezini, Mira [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13464 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1112.	Advanced Data Mining and Applications [electronic resource] : 18th International Conference, ADMA 2022, Brisbane, QLD, Australia, November 28–30, 2022, Proceedings, Part I / by Chen, Weitong [editor.] Yao, Lina [editor.] Cai, Taotao [editor.] Pan, Shirui [editor.] Shen, Tao [editor.] Li, Xue [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13725 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1113.	Logic Synthesis for VLSI-Based Combined Finite State Machines [electronic resource] : Synthesis Targeting ASICs, CPLDs and FPGAs / by Barkalov, Alexander [author.] Titarenko, Larysa [author.] Mielcarek, Kamil [author.] Mazurkiewicz, Małgorzata [author.] Kawecka, Elżbieta [author.] SpringerLink (Online service) Series: Lecture Notes in Electrical Engineering ; 922 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1114.	Decision and Game Theory for Security [electronic resource] : 4th International Conference, GameSec 2013, Fort Worth, TX, USA, November 11-12, 2013, Proceedings / by Das, Sajal K [editor.] Nita-Rotaru, Cristina [editor.] Kantarcioglu, Murat [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 8252 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)
	1115.	Language and Automata Theory and Applications [electronic resource] : 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings / by Dediu, Adrian-Horia [editor.] Martín-Vide, Carlos [editor.] Sierra-Rodríguez, José-Luis [editor.] Truthe, Bianca [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8370 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)
	1116.	Wireless Sensor Networks [electronic resource] : 11th European Conference, EWSN 2014, Oxford, UK, February 17-19, 2014, Proceedings / by Krishnamachari, Bhaskar [editor.] Murphy, Amy L [editor.] Trigoni, Niki [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 8354 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)
	1117.	Computational Intelligence Methods for Bioinformatics and Biostatistics [electronic resource] : 10th International Meeting, CIBB 2013, Nice, France, June 20-22, 2013, Revised Selected Papers / by Formenti, Enrico [editor.] Tagliaferri, Roberto [editor.] Wit, Ernst [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 8452 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)
	1118.	Reasoning Web. Reasoning and the Web in the Big Data Era [electronic resource] : 10th International Summer School 2014, Athens, Greece, September 8-13, 2014. Proceedings / by Koubarakis, Manolis [editor.] Stamou, Giorgos [editor.] Stoilos, Giorgos [editor.] Horrocks, Ian [editor.] Kolaitis, Phokion [editor.] Lausen, Georg [editor.] Weikum, Gerhard [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8714 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)
	1119.	Software Engineering and Formal Methods [electronic resource] : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings / by Giannakopoulou, Dimitra [editor.] Salaün, Gwen [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8702 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)
	1120.	Rough Sets and Intelligent Systems Paradigms [electronic resource] : Second International Conference, RSEISP 2014, Granada and Madrid, Spain, July 9-13, 2014. Proceedings / by Kryszkiewicz, Marzena [editor.] Cornelis, Chris [editor.] Ciucci, Davide [editor.] Medina-Moreno, Jesús [editor.] Motoda, Hiroshi [editor.] Ras, Zbigniew [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8537 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 5827 results.