Results of search for 'ccl=su:{Language and su-ut:Computer science and su-to:Machine theory' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	21.	At the Intersection of Language, Logic, and Information [electronic resource] : ESSLLI 2018 Student Session, Sofia, Bulgaria, August 6–17, 2018, Selected Papers / by Sikos, Jennifer [editor.] Pacuit, Eric [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11667 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	22.	Intelligent Computer Mathematics [electronic resource] : CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings / by Watt, Stephen M [editor.] Sexton, Alan [editor.] Davenport, James H [editor.] Sojka, Petr [editor.] Urban, Josef [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8543 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)
	23.	Formal Grammar [electronic resource] : 22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017, Revised Selected Papers / by Foret, Annie [editor.] Muskens, Reinhard [editor.] Pogodalla, Sylvain [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10686 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	24.	Formal Grammar 2018 [electronic resource] : 23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings / by Foret, Annie [editor.] Kobele, Greg [editor.] Pogodalla, Sylvain [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10950 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	25.	Practical Aspects of Declarative Languages [electronic resource] : 25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings / by Hanus, Michael [editor.] Inclezan, Daniela [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13880 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)
	26.	Mathematics of Program Construction [electronic resource] : 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings / by Hutton, Graham [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11825 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)
	27.	Metadata and Semantic Research [electronic resource] : 13th International Conference, MTSR 2019, Rome, Italy, October 28–31, 2019, Revised Selected Papers / by Garoufallou, Emmanouel [editor.] Fallucchi, Francesca [editor.] William De Luca, Ernesto [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1057 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)
	28.	Knowledge Discovery, Knowledge Engineering and Knowledge Management [electronic resource] : 9th International Joint Conference, IC3K 2017, Funchal, Madeira, Portugal, November 1-3, 2017, Revised Selected Papers / by Fred, Ana [editor.] Aveiro, David [editor.] Dietz, Jan L. G [editor.] Liu, Kecheng [editor.] Bernardino, Jorge [editor.] Salgado, Ana [editor.] Filipe, Joaquim [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 976 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)
	29.	Foundations of Software Science and Computation Structures [electronic resource] : 24th International Conference, FOSSACS 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 Kiefer, Stefan [editor.] Tasson, Christine [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12650 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)
	30.	Monotonicity in Logic and Language [electronic resource] : Second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beijing, China, December 17-20, 2020, Proceedings / by Deng, Dun [editor.] Liu, Fenrong [editor.] Liu, Mingming [editor.] Westerståhl, Dag [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12564 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	31.	Developments in Language Theory [electronic resource] : 25th International Conference, DLT 2021, Porto, Portugal, August 16–20, 2021, Proceedings / by Moreira, Nelma [editor.] Reis, Rogério [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12811 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)
	32.	Foundations of Information and Knowledge Systems [electronic resource] : 12th International Symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022, Proceedings / by Varzinczak, Ivan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science 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)
	33.	On the Move to Meaningful Internet Systems: OTM 2019 Conferences [electronic resource] : Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings / by Panetto, Hervé [editor.] Debruyne, Christophe [editor.] Hepp, Martin [editor.] Lewis, Dave [editor.] Ardagna, Claudio Agostino [editor.] Meersman, Robert [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11877 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)
	34.	Computational Processing of the Portuguese Language [electronic resource] : 7th International Workshop, PROPOR 2006, Itatiaia, Brazil, May 13-17, 2006, Proceedings / by Vieira, Renata [editor.] Quaresma, Paulo [editor.] Nunes, Maria das Graças Volpe [editor.] Mamede, Nuno J [editor.] Oliveira, Cláudia [editor.] Dias, Maria Carmelita [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3960 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)
	35.	Advances in Information Retrieval [electronic resource] : 43rd European Conference on IR Research, ECIR 2021, Virtual Event, March 28 – April 1, 2021, Proceedings, Part I / by Hiemstra, Djoerd [editor.] Moens, Marie-Francine [editor.] Mothe, Josiane [editor.] Perego, Raffaele [editor.] Potthast, Martin [editor.] Sebastiani, Fabrizio [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12656 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)
	36.	Aspects of Natural Language Processing [electronic resource] : Essays Dedicated to Leonard Bolc on the Occasion of His 75th Birthday / by Marciniak, Malgorzata [editor.] Mykowiecka, Agnieszka [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5070 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)
	37.	Chinese Lexical Semantics [electronic resource] : 18th Workshop, CLSW 2017, Leshan, China, May 18–20, 2017, Revised Selected Papers / by Wu, Yunfang [editor.] Hong, Jia-Fei [editor.] Su, Qi [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10709 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)
	38.	Language, Logic, and Computation [electronic resource] : 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019, Revised Selected Papers / by Özgün, Aybüke [editor.] Zinova, Yulia [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13206 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)
	39.	Combinatorics on Words [electronic resource] : 14th International Conference, WORDS 2023, Umeå, Sweden, June 12–16, 2023, Proceedings / by Frid, Anna [editor.] Mercaş, Robert [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13899 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)
	40.	Developments in Language Theory [electronic resource] : 26th International Conference, DLT 2022, Tampa, FL, USA, May 9–13, 2022, Proceedings / by Diekert, Volker [editor.] Volkov, Mikhail [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13257 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

Item types

Series

Topics

Your search returned 131 results.