Results of search for 'ccl=su:{Engineering} and su-to:Computer science and su-to:Compilers and Interpreters' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	141.	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)
	142.	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)
	143.	Practical Aspects of Declarative Languages [electronic resource] : 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings / by Gavanelli, Marco [editor.] Reppy, John [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9585 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)
	144.	Search-Based Software Engineering [electronic resource] : 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings / by Barros, Márcio [editor.] Labiche, Yvan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9275 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)
	145.	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)
	146.	Fundamentals of Software Engineering [electronic resource] : 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers / by Hojjat, Hossein [editor.] Massink, Mieke [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11761 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)
	147.	Unifying Theories of Programming [electronic resource] : 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings / by Ribeiro, Pedro [editor.] Sampaio, Augusto [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11885 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)
	148.	System Analysis and Modeling. Technology-Specific Aspects of Models [electronic resource] : 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings / by Grabowski, Jens [editor.] Herbold, Steffen [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9959 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)
	149.	Computer Safety, Reliability, and Security [electronic resource] : 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings / by Skavhaug, Amund [editor.] Guiochet, Jérémie [editor.] Bitsch, Friedemann [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9922 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)
	150.	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)
	151.	ECOOP 2006 - Object-Oriented Programming [electronic resource] : 20th European Conference, Nantes, France, July 3-7, 2006, Proceedings / by Thomas, Dave [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4067 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)
	152.	Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems [electronic resource] : Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings / by Lakhnech, Yassine [editor.] Yovine, Sergio [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3253 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	153.	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)
	154.	Programming Multi-Agent Systems [electronic resource] : Fifth International Workshop, ProMAS 2007 Honolulu, HI, USA, May 14-18, 2007 Revised and Invited Papers / by Dastani, Mehdi [editor.] El Fallah Seghrouchni, Amal [editor.] Ricci, Alessandro [editor.] Winikoff, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4908 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)
	155.	Formal Modeling and Analysis of Timed Systems [electronic resource] : Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings / by Pettersson, Paul [editor.] Yi, Wang [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3829 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	156.	Formal Methods for Components and Objects [electronic resource] : 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures / by de Boer, Frank S [editor.] Bonsangue, Marcello M [editor.] Graf, Susanne [editor.] de Roever, Willem-Paul [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4111 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)
	157.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings / by Esparza, Javier [editor.] Majumdar, Rupak [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6015 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)
	158.	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)
	159.	Software Engineering and Formal Methods [electronic resource] : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings / by Barthe, Gilles [editor.] Pardo, Alberto [editor.] Schneider, Gerardo [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7041 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)
	160.	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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 892 results.