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

Results
	141.	Graph Transformation [electronic resource] : 15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7–8, 2022, Proceedings / by Behr, Nicolas [editor.] Strüber, Daniel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13349 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)
	142.	OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments [electronic resource] : Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 – 4, 2016, Revised Selected Papers / by Gorentla Venkata, Manjunath [editor.] Imam, Neena [editor.] Pophale, Swaroop [editor.] Mintz, Tiffany M [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10007 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)
	143.	Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] : 14th European PVM/MPI User's Group Meeting, Paris France, September 30 - October 3, 2007, Proceedings / by Capello, Franck [editor.] Herault, Thomas [editor.] Dongarra, Jack [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4757 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)
	144.	Verified Software: Theories, Tools and Experiments [electronic resource] : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers / by Giannakopoulou, Dimitra [editor.] Kroening, Daniel [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8471 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)
	145.	Trends in Functional Programming [electronic resource] : 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers / by Wang, Meng [editor.] Owens, Scott [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10788 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)
	146.	Accelerator Programming Using Directives [electronic resource] : 7th International Workshop, WACCPD 2020, Virtual Event, November 20, 2020, Proceedings / by Bhalachandra, Sridutt [editor.] Wienke, Sandra [editor.] Chandrasekaran, Sunita [editor.] Juckeland, Guido [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12655 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)
	147.	Euro-Par 2011 Parallel Processing [electronic resource] : 17th International Euro-ParConference, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part I / by Jeannot, Emmanuel [editor.] Namyst, Raymond [editor.] Roman, Jean [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6852 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)
	148.	Reliable Software Technologies – Ada-Europe 2011 [electronic resource] : 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings / by Romanovsky, Alexander [editor.] Vardanega, Tullio [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6652 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)
	149.	Programming Languages and Systems [electronic resource] : 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, Proceedings / by Ramalingam, G [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5356 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)
	150.	Nonsequential and Distributed Programming with Go [electronic resource] : Synchronization of Concurrent Processes: Communication - Cooperation - Competition / by Maurer, Christian [author.] SpringerLink (Online service) Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	151.	Novel Techniques in Recovering, Embedding, and Enforcing Policies for Control-Flow Integrity [electronic resource] / by Lin, Yan [author.] SpringerLink (Online service) Series: Information Security and Cryptography 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)
	152.	Component-Based Software Engineering [electronic resource] : 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings / by Chaudron, Michel R. V [editor.] Szyperski, Clemens [editor.] Reussner, Ralf H [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5282 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)
	153.	Logic-Based Program Synthesis and Transformation [electronic resource] : 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers / by Mesnard, Fred [editor.] Stuckey, Peter J [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11408 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)
	154.	Graphical Models for Security [electronic resource] : 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers / by Cybenko, George [editor.] Pym, David [editor.] Fila, Barbara [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11086 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)
	155.	Extreme Programming and Agile Processes in Software Engineering [electronic resource] : 5th International Conference, XP 2004, Garmisch-Partenkirchen, Germany, June 6-10, 2004, Proceedings / by Eckstein, Jutta [editor.] Baumeister, Hubert [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3092 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)
	156.	Software Engineering Techniques [electronic resource] : Third IFIP TC 2 Central and East-European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers / by Huzar, Zbigniev [editor.] Koci, Radek [editor.] Meyer, Bertrand [editor.] Walter, Bartosz [editor.] Zendulka, Jaroslav [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4980 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)
	157.	Model-Based Engineering of Embedded Real-Time Systems [electronic resource] : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers / by Giese, Holger [editor.] Karsai, Gabor [editor.] Lee, Edward A [editor.] Rumpe, Bernhard [editor.] Schätz, Bernhard [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6100 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.	Formal Methods: Foundations and Applications [electronic resource] : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers / by Davies, Jim [editor.] Silva, Leila [editor.] Simao, Adenilso [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6527 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)
	159.	Evaluation of Novel Approaches to Software Engineering [electronic resource] : 15th International Conference, ENASE 2020, Prague, Czech Republic, May 5–6, 2020, Revised Selected Papers / by Ali, Raian [editor.] Kaindl, Hermann [editor.] Maciaszek, Leszek A [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1375 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)
	160.	Leveraging Applications of Formal Methods, Verification and Validation [electronic resource] : 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 13036 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 773 results.