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

Results
	121.	Tests and Proofs [electronic resource] : 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings / by Seidl, Martina [editor.] Tillmann, Nikolai [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8570 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)
	122.	Integrated Formal Methods [electronic resource] : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings / by Ábrahám, Erika [editor.] Huisman, Marieke [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9681 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)
	123.	Abstract State Machines, Alloy, B, TLA, VDM, and Z [electronic resource] : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings / by Butler, Michael [editor.] Schewe, Klaus-Dieter [editor.] Mashkoor, Atif [editor.] Biro, Miklos [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9675 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)
	124.	Transactions on Rough Sets XVIII [electronic resource] / by Peters, James F [editor.] Skowron, Andrzej [editor.] Li, Tianrui [editor.] Yang, Yan [editor.] Yao, JingTao [editor.] Nguyen, Hung Son [editor.] SpringerLink (Online service) Series: Transactions on Rough Sets ; 8449 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	125.	Current Trends in Web Engineering [electronic resource] : ICWE 2017 International Workshops, Liquid Multi-Device Software and EnWoT, practi-O-web, NLPIT, SoWeMine, Rome, Italy, June 5-8, 2017, Revised Selected Papers / by Garrigós, Irene [editor.] Wimmer, Manuel [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10544 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)
	126.	Intelligent Computer Mathematics [electronic resource] : 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings / by Kamareddine, Fairouz [editor.] Sacerdoti Coen, Claudio [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12833 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)
	127.	Software Engineering and Formal Methods [electronic resource] : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings / by Calinescu, Radu [editor.] Rumpe, Bernhard [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9276 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)
	128.	Verification and Evaluation of Computer and Communication Systems [electronic resource] : 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings / by Atig, Mohamed Faouzi [editor.] Bensalem, Saddek [editor.] Bliudze, Simon [editor.] Monsuez, Bruno [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11181 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)
	129.	Flexible Query Answering Systems [electronic resource] : 13th International Conference, FQAS 2019, Amantea, Italy, July 2–5, 2019, Proceedings / by Cuzzocrea, Alfredo [editor.] Greco, Sergio [editor.] Larsen, Henrik Legind [editor.] Saccà, Domenico [editor.] Andreasen, Troels [editor.] Christiansen, Henning [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11529 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)
	130.	Advances in Conceptual Modeling [electronic resource] : ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4–7, 2019, Proceedings / by Guizzardi, Giancarlo [editor.] Gailly, Frederik [editor.] Suzana Pitangueira Maciel, Rita [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11787 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)
	131.	Diagrammatic Representation and Inference [electronic resource] : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020, Proceedings / by Pietarinen, Ahti-Veikko [editor.] Chapman, Peter [editor.] Bosveld-de Smet, Leonie [editor.] Giardino, Valeria [editor.] Corter, James [editor.] Linker, Sven [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12169 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)
	132.	Logic, Language, and Computation [electronic resource] : 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers / by Bezhanishvili, Nick [editor.] Löbner, Sebastian [editor.] Schwabe, Kerstin [editor.] Spada, Luca [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6618 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)
	133.	Advances in Geometric Modeling and Processing [electronic resource] : 5th International Conference,GMP 2008, Hangzhou, China, April 23-25, 2008, Proceedings / by Chen, Falai [editor.] Jüttler, Bert [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4975 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)
	134.	Formal Methods and Software Engineering [electronic resource] : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings / by Duan, Zhenhua [editor.] Ong, Luke [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10610 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)
	135.	Agents and Artificial Intelligence [electronic resource] : 9th International Conference, ICAART 2017, Porto, Portugal, February 24–26, 2017, Revised Selected Papers / by van den Herik, Jaap [editor.] Rocha, Ana Paula [editor.] Filipe, Joaquim [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10839 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)
	136.	Rough Sets [electronic resource] : International Joint Conference, IJCRS 2018, Quy Nhon, Vietnam, August 20-24, 2018, Proceedings / by Nguyen, Hung Son [editor.] Ha, Quang-Thuy [editor.] Li, Tianrui [editor.] Przybyła-Kasperek, Małgorzata [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11103 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)
	137.	The Semantic Web – ISWC 2018 [electronic resource] : 17th International Semantic Web Conference, Monterey, CA, USA, October 8–12, 2018, Proceedings, Part II / by Vrandečić, Denny [editor.] Bontcheva, Kalina [editor.] Suárez-Figueroa, Mari Carmen [editor.] Presutti, Valentina [editor.] Celino, Irene [editor.] Sabou, Marta [editor.] Kaffee, Lucie-Aimée [editor.] Simperl, Elena [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11137 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)
	138.	Bioinformatics Research and Applications [electronic resource] : 15th International Symposium, ISBRA 2019, Barcelona, Spain, June 3–6, 2019, Proceedings / by Cai, Zhipeng [editor.] Skums, Pavel [editor.] Li, Min [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 11490 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)
	139.	Chinese Lexical Semantics [electronic resource] : 20th Workshop, CLSW 2019, Beijing, China, June 28–30, 2019, Revised Selected Papers / by Hong, Jia-Fei [editor.] Zhang, Yangsen [editor.] Liu, Pengyuan [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11831 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)
	140.	Topics in Theoretical Computer Science [electronic resource] : Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1–2, 2020, Proceedings / by S. Barbosa, Luís [editor.] Ali Abam, Mohammad [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12281 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

Topics

Your search returned 1743 results.