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

Results
	581.	Software Language Engineering [electronic resource] : First International Conference, SLE 2008 Toulouse, France, September 29-30, 2008, Revised Selected Papers / by Gaševic, Dragan [editor.] Lämmel, Ralf [editor.] van Wyk, Eric [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5452 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	582.	Functional and Logic Programming [electronic resource] : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings / by Codish, Michael [editor.] Sumii, Eijiro [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8475 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)
	583.	Formal Methods: Foundations and Applications [electronic resource] : 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings / by Braga, Christiano [editor.] Martí-Oliet, Narciso [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8941 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)
	584.	Model Driven Engineering Languages and Systems [electronic resource] : 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Proceedings / by Whittle, Jon [editor.] Clark, Tony [editor.] Kühne, Thomas [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6981 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)
	585.	Runtime Verification [electronic resource] : 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers / by Leucker, Martin [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5289 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)
	586.	Data Engineering and Management [electronic resource] : Second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010. Revised Selected Papers / by Kannan, Rajkumar [editor.] Andres, Frederic [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6411 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)
	587.	Mathematics of Program Construction [electronic resource] : 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings / by Hinze, Ralf [editor.] Voigtländer, Janis [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9129 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)
	588.	Programming Languages and Systems [electronic resource] : 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS, Braga, Portugal, March 24 - April 1, 2007, Proceedings / by De Nicola, Rocco [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4421 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)
	589.	Advanced Parallel Processing Technologies [electronic resource] : 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings / by Dou, Yong [editor.] Lin, Haixiang [editor.] Sun, Guangyu [editor.] Wu, Junjie [editor.] Heras, Dora [editor.] Bougé, Luc [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10561 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)
	590.	Formal Verification of Object-Oriented Software [electronic resource] : International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers / by Beckert, Bernhard [editor.] Marché, Claude [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6528 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)
	591.	Software Engineering and Formal Methods [electronic resource] : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings / by Eleftherakis, George [editor.] Hinchey, Mike [editor.] Holcombe, Mike [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7504 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)
	592.	Practical Aspects of Declarative Languages [electronic resource] : 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings / by Hudak, Paul [editor.] Warren, David S [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4902 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)
	593.	Runtime Verification [electronic resource] : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings / by Legay, Axel [editor.] Bensalem, Saddek [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8174 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)
	594.	Recent Advances in Constraints [electronic resource] : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers / by Hnich, Brahim [editor.] Carlsson, Mats [editor.] Fages, Francois [editor.] Rossi, Francesca [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3978 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)
	595.	Software Engineering and Formal Methods [electronic resource] : 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings / by Cimatti, Alessandro [editor.] Sirjani, Marjan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10469 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)
	596.	Formal Methods for Industrial Critical Systems [electronic resource] : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers / by Leue, Stefan [editor.] Merino, Pedro [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4916 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)
	597.	Theory of Security and Applications [electronic resource] : Joint Workshop, TOSCA 2011, Saarbrücken, Germany,March 31-April 1, 2011, Revised Selected Papers / by Moedersheim, Sebastian [editor.] Palamidessi, Catuscia [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 6993 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)
	598.	Formal Methods and Software Engineering [electronic resource] : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings / by Aoki, Toshiaki [editor.] Taguchi, Kenji [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7635 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)
	599.	Rewriting Logic and Its Applications [electronic resource] : 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers / by Ölveczky, Peter Csaba [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6381 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)
	600.	Theory and Practice of Model Transformations [electronic resource] : 4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011, Proceedings / by Cabot, Jordi [editor.] Visser, Eelco [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6707 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 1105 results.