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 and su-to:Compilers Computer programs ' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	61.	Formal Aspects of Component Software [electronic resource] : 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers / by Fiadeiro, José Luiz [editor.] Liu, Zhiming [editor.] Xue, Jinyun [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8348 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)
	62.	Computational Logic in Multi-Agent Systems [electronic resource] : 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings / by Leite, João [editor.] Son, Tran Cao [editor.] Torroni, Paolo [editor.] van der Torre, Leon [editor.] Woltran, Stefan [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8143 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)
	63.	Automated Technology for Verification and Analysis [electronic resource] : 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings / by Chen, Yu-Fang [editor.] Cheng, Chih-Hong [editor.] Esparza, Javier [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11781 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)
	64.	Compiler Construction [electronic resource] : 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings / by Mycroft, Alan [editor.] Zeller, Andreas [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3923 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)
	65.	Computer Aided Verification [electronic resource] : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings / by Gopalakrishnan, Ganesh [editor.] Qadeer, Shaz [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6806 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)
	66.	Functional and Logic Programming [electronic resource] : 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings / by Nakano, Keisuke [editor.] Sagonas, Konstantinos [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12073 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)
	67.	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)
	68.	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)
	69.	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)
	70.	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)
	71.	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)
	72.	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)
	73.	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)
	74.	Dependable Software Engineering. Theories, Tools, and Applications [electronic resource] : 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings / by Feng, Xinyu [editor.] Müller-Olm, Markus [editor.] Yang, Zijiang [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10998 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)
	75.	Static Analysis [electronic resource] : 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings / by Yi, Kwangkeun [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4134 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)
	76.	Abstract State Machines, B and Z [electronic resource] : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings / by Börger, Egon [editor.] Butler, Michael [editor.] Bowen, Jonathan P [editor.] Boca, Paul [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5238 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)
	77.	Functional and Logic Programming [electronic resource] : 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings / by Blume, Matthias [editor.] Kobayashi, Naoki [editor.] Vidal-Oriola, Germán [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6009 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)
	78.	Formal Techniques for Safety-Critical Systems [electronic resource] : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers / by Artho, Cyrille [editor.] Ölveczky, Peter Csaba [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1008 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)
	79.	Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems [electronic resource] : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures / by Bernardo, Marco [editor.] De Nicola, Rocco [editor.] Hillston, Jane [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9700 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)
	80.	Runtime Verification [electronic resource] : 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings / by Deshmukh, Jyotirmoy [editor.] Ničković, Dejan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12399 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

Item types

Series

Topics

Your search returned 410 results.