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

Results
	581.	Programming Languages and Systems [electronic resource] : 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings / by Sergey, Ilya [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13240 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)
	582.	Fundamental Approaches to Software Engineering [electronic resource] : 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings / by Johnsen, Einar Broch [editor.] Wimmer, Manuel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13241 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)
	583.	Bio-Inspired Computing: Theories and Applications [electronic resource] : 17th International Conference, BIC-TA 2022, Wuhan, China, December 16–18, 2022, Revised Selected Papers / by Pan, Linqiang [editor.] Zhao, Dongming [editor.] Li, Lianghao [editor.] Lin, Jianqing [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1801 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	584.	NASA Formal Methods [electronic resource] : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings / by Rozier, Kristin Yvonne [editor.] Chaudhuri, Swarat [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13903 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	585.	Intelligent Computing in Bioinformatics [electronic resource] : 10th International Conference, ICIC 2014, Taiyuan, China, August 3-6, 2014, Proceedings / by Huang, De-Shuang [editor.] Han, Kyungsook [editor.] Gromiha, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 8590 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)
	586.	Interpretability of Machine Intelligence in Medical Image Computing, and Topological Data Analysis and Its Applications for Medical Data [electronic resource] : 4th International Workshop, iMIMIC 2021, and 1st International Workshop, TDA4MedicalData 2021, Held in Conjunction with MICCAI 2021, Strasbourg, France, September 27, 2021, Proceedings / by Reyes, Mauricio [editor.] Henriques Abreu, Pedro [editor.] Cardoso, Jaime [editor.] Hajij, Mustafa [editor.] Zamzmi, Ghada [editor.] Rahul, Paul [editor.] Thakur, Lokendra [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 12929 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)
	587.	Techniques for Searching, Parsing, and Matching [electronic resource] / by Pettorossi, Alberto [author.] SpringerLink (Online service) 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)
	588.	Formalizing Natural Languages: Applications to Natural Language Processing and Digital Humanities [electronic resource] : 15th International Conference, NooJ 2021, Besançon, France, June 9–11, 2021, Revised Selected Papers / by Bigey, Magali [editor.] Richeton, Annabel [editor.] Silberztein, Max [editor.] Thomas, Izabella [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1520 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)
	589.	Practical Aspects of Declarative Languages [electronic resource] : 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17–18, 2022, Proceedings / by Cheney, James [editor.] Perri, Simona [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 13165 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)
	590.	Advanced Information Systems Engineering [electronic resource] : 35th International Conference, CAiSE 2023, Zaragoza, Spain, June 12–16, 2023, Proceedings / by Indulska, Marta [editor.] Reinhartz-Berger, Iris [editor.] Cetina, Carlos [editor.] Pastor, Oscar [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13901 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	591.	Graph-Based Representation and Reasoning [electronic resource] : 28th International Conference on Conceptual Structures, ICCS 2023, Berlin, Germany, September 11–13, 2023, Proceedings / by Ojeda-Aciego, Manuel [editor.] Sauerwald, Kai [editor.] Jäschke, Robert [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	592.	Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing [electronic resource] : 10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 2, 2005, Proceedings, Part II / by Slezak, Dominik [editor.] Yao, JingTao [editor.] Peters, James F [editor.] Ziarko, Wojciech [editor.] Hu, Xiaohua [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3642 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)
	593.	Introduction to Computation [electronic resource] : Haskell, Logic and Automata / by Sannella, Donald [author.] Fourman, Michael [author.] Peng, Haoran [author.] Wadler, Philip [author.] SpringerLink (Online service) Series: Undergraduate Topics in Computer Science 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)
	594.	Transactions on Petri Nets and Other Models of Concurrency XVI [electronic resource] / by Koutny, Maciej [editor.] Kordon, Fabrice [editor.] Moldt, Daniel [editor.] SpringerLink (Online service) Series: Transactions on Petri Nets and Other Models of Concurrency ; 13220 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	595.	Computational Science – ICCS 2023 [electronic resource] : 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part III / by Mikyška, Jiří [editor.] de Mulatier, Clélia [editor.] Paszynski, Maciej [editor.] Krzhizhanovskaya, Valeria V [editor.] Dongarra, Jack J [editor.] Sloot, Peter M.A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 10475 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	596.	Computational Science – ICCS 2023 [electronic resource] : 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part IV / by Mikyška, Jiří [editor.] de Mulatier, Clélia [editor.] Paszynski, Maciej [editor.] Krzhizhanovskaya, Valeria V [editor.] Dongarra, Jack J [editor.] Sloot, Peter M.A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 10476 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	597.	Computational Science – ICCS 2023 [electronic resource] : 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part II / by Mikyška, Jiří [editor.] de Mulatier, Clélia [editor.] Paszynski, Maciej [editor.] Krzhizhanovskaya, Valeria V [editor.] Dongarra, Jack J [editor.] Sloot, Peter M.A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14074 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	598.	Formal Concept Analysis [electronic resource] : 17th International Conference, ICFCA 2023, Kassel, Germany, July 17–21, 2023, Proceedings / by Dürrschnabel, Dominik [editor.] López Rodríguez, Domingo [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13934 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	599.	Advances in Swarm Intelligence [electronic resource] : 14th International Conference, ICSI 2023, Shenzhen, China, July 14–18, 2023, Proceedings, Part I / by Tan, Ying [editor.] Shi, Yuhui [editor.] Luo, Wenjian [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13968 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	600.	Metaheuristics and Nature Inspired Computing [electronic resource] : 8th International Conference, META 2021, Marrakech, Morocco, October 27-30, 2021, Proceedings / by Dorronsoro, Bernabé [editor.] Yalaoui, Farouk [editor.] Talbi, El-Ghazali [editor.] Danoy, Grégoire [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1541 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 2608 results.