Results of search for 'ccl=su:{Engineering} and su-to:Software engineering and su-to:Software engineering and su-to:Formal Languages and Automata Theory' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	121.	Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 16th European Conference, ECSQARU 2021, Prague, Czech Republic, September 21–24, 2021, Proceedings / by Vejnarová, Jiřina [editor.] Wilson, Nic [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12897 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)
	122.	Testing Software and Systems [electronic resource] : 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings / by Petrenko, Alexandre [editor.] Simao, Adenilso [editor.] Maldonado, José Carlos [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6435 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)
	123.	Provenance and Annotation of Data and Processes [electronic resource] : 8th and 9th International Provenance and Annotation Workshop, IPAW 2020 + IPAW 2021, Virtual Event, July 19–22, 2021, Proceedings / by Glavic, Boris [editor.] Braganholo, Vanessa [editor.] Koop, David [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12839 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)
	124.	Theoretical Aspects of Computing – ICTAC 2018 [electronic resource] : 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings / by Fischer, Bernd [editor.] Uustalu, Tarmo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11187 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)
	125.	Logic, Language, Information, and Computation [electronic resource] : 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings / by Iemhoff, Rosalie [editor.] Moortgat, Michael [editor.] de Queiroz, Ruy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11541 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)
	126.	Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings / by Cerrito, Serenella [editor.] Popescu, Andrei [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11714 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)
	127.	Automated Reasoning [electronic resource] : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II / by Peltier, Nicolas [editor.] Sofronie-Stokkermans, Viorica [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12167 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)
	128.	FM 2014: Formal Methods [electronic resource] : 19th International Symposium, Singapore, May 12-16, 2014. Proceedings / by Jones, Cliff [editor.] Pihlajasaari, Pekka [editor.] Sun, Jun [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8442 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)
	129.	Relational and Algebraic Methods in Computer Science [electronic resource] : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings / by Höfner, Peter [editor.] Jipsen, Peter [editor.] Kahl, Wolfram [editor.] Müller, Martin Eric [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8428 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)
	130.	Automated Reasoning [electronic resource] : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings / by Demri, Stéphane [editor.] Kapur, Deepak [editor.] Weidenbach, Christoph [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8562 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)
	131.	FM 2012: Formal Methods [electronic resource] : 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings / by Giannakopoulou, Dimitra [editor.] Mery, Dominique [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7436 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	132.	Structured Object-Oriented Formal Language and Method [electronic resource] : 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers / by Liu, Shaoying [editor.] Duan, Zhenhua [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8979 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)
	133.	Formal Methods and Software Engineering [electronic resource] : 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings / by Merz, Stephan [editor.] Pang, Jun [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8829 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)
	134.	Hardware and Software: Verification and Testing [electronic resource] : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings / by Piterman, Nir [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9434 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)
	135.	Logic-Based Program Synthesis and Transformation [electronic resource] : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers / by Falaschi, Moreno [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9527 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)
	136.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings / by Sankaranarayanan, Sriram [editor.] Vicario, Enrico [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9268 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)
	137.	Hardware and Software: Verification and Testing [electronic resource] : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings / by Bloem, Roderick [editor.] Arbel, Eli [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10028 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)
	138.	Computer Safety, Reliability, and Security [electronic resource] : SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings / by Skavhaug, Amund [editor.] Guiochet, Jérémie [editor.] Schoitsch, Erwin [editor.] Bitsch, Friedemann [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9923 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)
	139.	Software Technologies: Applications and Foundations [electronic resource] : STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers / by Milazzo, Paolo [editor.] Varró, Dániel [editor.] Wimmer, Manuel [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9946 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)
	140.	Artificial Intelligence [electronic resource] : 17th Russian Conference, RCAI 2019, Ulyanovsk, Russia, October 21–25, 2019, Proceedings / by Kuznetsov, Sergei O [editor.] Panov, Aleksandr I [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1093 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

Item types

Series

Topics

Your search returned 763 results.