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

Results
	381.	Logic, Language and Meaning [electronic resource] : 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers / by Aloni, Maria [editor.] Bastiaanse, Harald [editor.] de Jager, Tikitu [editor.] Schulz, Katrin [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6042 Edition: 1st ed. 2010. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	382.	Recent Trends in Algebraic Development Techniques [electronic resource] : 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers / by Fiadeiro, José Luiz [editor.] Schobbens, Pierre-Yves [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4409 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	383.	Computational Processing of the Portuguese Language [electronic resource] : 11th International Conference, PROPOR 2014, Sao Carlos/SP, Brazil, October 6-8, 2014, Proceedings / by Baptista, Jorge [editor.] Mamede, Nuno [editor.] Candeias, Sara [editor.] Paraboni, Ivandré [editor.] Pardo, Thiago A.S [editor.] Volpe Nunes, Maria das Gracas [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8775 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)
	384.	AI*IA 2015 Advances in Artificial Intelligence [electronic resource] : XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23-25, 2015, Proceedings / by Gavanelli, Marco [editor.] Lamma, Evelina [editor.] Riguzzi, Fabrizio [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9336 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)
	385.	Artificial Life and Evolutionary Computation [electronic resource] : 13th Italian Workshop, WIVACE 2018, Parma, Italy, September 10–12, 2018, Revised Selected Papers / by Cagnoni, Stefano [editor.] Mordonini, Monica [editor.] Pecori, Riccardo [editor.] Roli, Andrea [editor.] Villani, Marco [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 900 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)
	386.	Model Checking Software [electronic resource] : 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings / by Biondi, Fabrizio [editor.] Given-Wilson, Thomas [editor.] Legay, Axel [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11636 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)
	387.	Logic and Argumentation [electronic resource] : 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings / by Baroni, Pietro [editor.] Benzmüller, Christoph [editor.] Wáng, Yὶ N [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13040 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)
	388.	New Trends in Databases and Information Systems [electronic resource] : ADBIS 2019 Short Papers, Workshops BBIGAP, QAUCA, SemBDM, SIMPDA, M2P, MADEISD, and Doctoral Consortium, Bled, Slovenia, September 8–11, 2019, Proceedings / by Welzer, Tatjana [editor.] Eder, Johann [editor.] Podgorelec, Vili [editor.] Wrembel, Robert [editor.] Ivanović, Mirjana [editor.] Gamper, Johann [editor.] Morzy, Mikoƚaj [editor.] Tzouramanis, Theodoros [editor.] Darmont, Jérôme [editor.] Kamišalić Latifić, Aida [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1064 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)
	389.	Trustworthy Global Computing [electronic resource] : 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers / by Abadi, Martín [editor.] Lluch Lafuente, Alberto [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8358 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)
	390.	Web Reasoning and Rule Systems [electronic resource] : 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings / by Ortiz, Magdalena [editor.] Schlobach, Stefan [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9898 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)
	391.	Foundations of Information and Knowledge Systems [electronic resource] : 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14–18, 2018, Proceedings / by Ferrarotti, Flavio [editor.] Woltran, Stefan [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10833 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)
	392.	Deceptive AI [electronic resource] : First International Workshop, DeceptECAI 2020, Santiago de Compostela, Spain, August 30, 2020 and Second International Workshop, DeceptAI 2021, Montreal, Canada, August 19, 2021, Proceedings / by Sarkadi, Stefan [editor.] Wright, Benjamin [editor.] Masters, Peta [editor.] McBurney, Peter [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1296 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)
	393.	Formal Analysis by Abstract Interpretation [electronic resource] : Case Studies in Modern Protocols / by Aziz, Benjamin [author.] SpringerLink (Online service) Series: SpringerBriefs in Applied Sciences and Technology 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)
	394.	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)
	395.	Metadata and Semantic Research [electronic resource] : 15th International Conference, MTSR 2021, Virtual Event, November 29 – December 3, 2021, Revised Selected Papers / by Garoufallou, Emmanouel [editor.] Ovalle-Perandones, María-Antonia [editor.] Vlachidis, Andreas [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1537 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)
	396.	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)
	397.	Metadata and Semantic Research [electronic resource] : 16th Research Conference, MTSR 2022, London, UK, November 7–11, 2022, Revised Selected Papers / by Garoufallou, Emmanouel [editor.] Vlachidis, Andreas [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1789 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)
	398.	On the Move to Meaningful Internet Systems: OTM 2016 Workshops [electronic resource] : Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS, and OTMA 2016, Rhodes, Greece, October 24–28, 2016, Revised Selected Papers / by Ciuciu, Ioana [editor.] Debruyne, Christophe [editor.] Panetto, Hervé [editor.] Weichhart, Georg [editor.] Bollen, Peter [editor.] Fensel, Anna [editor.] Vidal, Maria-Esther [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10034 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)
	399.	The Semantic Web – ISWC 2019 [electronic resource] : 18th International Semantic Web Conference, Auckland, New Zealand, October 26–30, 2019, Proceedings, Part I / by Ghidini, Chiara [editor.] Hartig, Olaf [editor.] Maleshkova, Maria [editor.] Svátek, Vojtěch [editor.] Cruz, Isabel [editor.] Hogan, Aidan [editor.] Song, Jie [editor.] Lefrançois, Maxime [editor.] Gandon, Fabien [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11778 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)
	400.	Artificial General Intelligence [electronic resource] : 14th International Conference, AGI 2021, Palo Alto, CA, USA, October 15–18, 2021, Proceedings / by Goertzel, Ben [editor.] Iklé, Matthew [editor.] Potapov, Alexey [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13154 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 1743 results.