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

Results
	361.	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)
	362.	Machine Learning and Knowledge Extraction [electronic resource] : 6th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2022, Vienna, Austria, August 23–26, 2022, Proceedings / by Holzinger, Andreas [editor.] Kieseberg, Peter [editor.] Tjoa, A Min [editor.] Weippl, Edgar [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13480 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)
	363.	Studies in Complexity and Cryptography [electronic resource] : Miscellanea on the Interplay between Randomness and Computation / by Goldreich, Oded [author.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6650 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	364.	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)
	365.	Advanced Language Technologies for Digital Libraries [electronic resource] : International Workshops on NLP4DL 2009, Viareggio, Italy, June 15, 2009 and AT4DL 2009, Trento, Italy, September 8, 2009 / by Bernardi, Raffaella [editor.] Segond, Frederique [editor.] Zaihrayeu, Ilya [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6699 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	366.	Theory and Application of Satisfiability Testing [electronic resource] : 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings / by Sakallah, Karem A [editor.] Simon, Laurent [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6695 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	367.	Formal Methods: Foundations and Applications [electronic resource] : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers / by Davies, Jim [editor.] Silva, Leila [editor.] Simao, Adenilso [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6527 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	368.	The Semantic Web: ESWC 2022 Satellite Events [electronic resource] : Hersonissos, Crete, Greece, May 29 – June 2, 2022, Proceedings / by Groth, Paul [editor.] Rula, Anisa [editor.] Schneider, Jodi [editor.] Tiddi, Ilaria [editor.] Simperl, Elena [editor.] Alexopoulos, Panos [editor.] Hoekstra, Rinke [editor.] Alam, Mehwish [editor.] Dimou, Anastasia [editor.] Tamper, Minna [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13384 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)
	369.	Software Language Engineering [electronic resource] : 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings / by Erwig, Martin [editor.] Paige, Richard F [editor.] Van Wyk, Eric [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8225 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)
	370.	Semantic Technology [electronic resource] : 6th Joint International Conference, JIST 2016, Singapore, Singapore, November 2-4, 2016, Revised Selected Papers / by Li, Yuan-Fang [editor.] Hu, Wei [editor.] Dong, Jin Song [editor.] Antoniou, Grigoris [editor.] Wang, Zhe [editor.] Sun, Jun [editor.] Liu, Yang [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10055 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)
	371.	Compiler Construction [electronic resource] : 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings / by Hendren, Laurie [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4959 Edition: 1st ed. 2008. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	372.	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)
	373.	Belief Functions: Theory and Applications [electronic resource] : 6th International Conference, BELIEF 2021, Shanghai, China, October 15–19, 2021, Proceedings / by Denœux, Thierry [editor.] Lefèvre, Eric [editor.] Liu, Zhunga [editor.] Pichon, Frédéric [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12915 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)
	374.	Theory and Applications of Models of Computation [electronic resource] : 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings / by Chan, T-H. Hubert [editor.] Lau, Lap Chi [editor.] Trevisan, Luca [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7876 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	375.	Language and Automata Theory and Applications [electronic resource] : 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings / by Dediu, Adrian-Horia [editor.] Janoušek, Jan [editor.] Martín-Vide, Carlos [editor.] Truthe, Bianca [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9618 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)
	376.	Scalable Uncertainty Management [electronic resource] : 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings / by Moral, Serafín [editor.] Pivert, Olivier [editor.] Sánchez, Daniel [editor.] Marín, Nicolás [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10564 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)
	377.	Graph Structures for Knowledge Representation and Reasoning [electronic resource] : 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers / by Cochez, Michael [editor.] Croitoru, Madalina [editor.] Marquis, Pierre [editor.] Rudolph, Sebastian [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12640 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)
	378.	The Semantic Web: ESWC 2021 Satellite Events [electronic resource] : Virtual Event, June 6–10, 2021, Revised Selected Papers / by Verborgh, Ruben [editor.] Dimou, Anastasia [editor.] Hogan, Aidan [editor.] d'Amato, Claudia [editor.] Tiddi, Ilaria [editor.] Bröring, Arne [editor.] Mayer, Simon [editor.] Ongenae, Femke [editor.] Tommasini, Riccardo [editor.] Alam, Mehwish [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12739 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)
	379.	Graph Structures for Knowledge Representation and Reasoning [electronic resource] : 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers / by Croitoru, Madalina [editor.] Marquis, Pierre [editor.] Rudolph, Sebastian [editor.] Stapleton, Gem [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10775 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)
	380.	Description Logic, Theory Combination, and All That [electronic resource] : Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday / by Lutz, Carsten [editor.] Sattler, Uli [editor.] Tinelli, Cesare [editor.] Turhan, Anni-Yasmin [editor.] Wolter, Frank [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11560 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 1753 results.