Results of search for 'ccl=su:{Theory of Computation.} and su-to:Programming Techniques and su-to:Computer Science' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	1.	Evolving OpenMP in an Age of Extreme Parallelism [electronic resource] : 5th International Workshop on OpenMP, IWOMP 2009, Dresden, Germany, June 3-5, 2009 Proceedings / by Müller, Matthias S [editor.] de Supinski, Bronis R [editor.] Chapman, Barbara [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5568 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)
	2.	Practical Aspects of Declarative Languages [electronic resource] : 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20–21, 2020, Proceedings / by Komendantskaya, Ekaterina [editor.] Liu, Yanhong Annie [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12007 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)
	3.	Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] : 13th European PVM/MPI User's Group Meeting, Bonn, Germany, September 17-20, 2006, Proceedings / by Mohr, Bernd [editor.] Larsson Träff, Jesper [editor.] Worringen, Joachim [editor.] Dongarra, Jack [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4192 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)
	4.	Programming Languages and Systems [electronic resource] : 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings / by Ryu, Sukyoung [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11275 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)
	5.	End-User Development [electronic resource] : 2nd International Symposium, IS-EUD 2009, Siegen, Germany, March 2-4, 2009, Proceedings / by Pipek, Volkmar [editor.] Rosson, Mary-Beth [editor.] Wulf, Volker [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5435 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)
	6.	Rigorous Development of Complex Fault-Tolerant Systems [electronic resource] / by Butler, Michael [editor.] Jones, Cliff [editor.] Romanovsky, Alexander [editor.] Troubitsyna, Elena [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4157 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)
	7.	Logic Programming [electronic resource] : 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings / by Hill, Patricia M [editor.] Warren, David S [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5649 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)
	8.	Programming Languages and Systems [electronic resource] : 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings / by Chang, Bor-Yuh Evan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10695 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)
	9.	Search-Based Software Engineering [electronic resource] : 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings / by Le Goues, Claire [editor.] Yoo, Shin [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8636 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)
	10.	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)
	11.	Software Process and Product Measurement [electronic resource] : International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009. Proceedings / by Abran, Alain [editor.] Braungarten, René [editor.] Dumke, Reiner R [editor.] Cuadrado-Gallego, Juan J [editor.] Brunekreef, Jacob [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5891 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)
	12.	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)
	13.	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)
	14.	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)
	15.	Integrated Formal Methods [electronic resource] : 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings / by Davies, Jim [editor.] Gibbons, Jeremy [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4591 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)
	16.	A 25-Year Perspective on Logic Programming [electronic resource] : Achievements of the Italian Association for Logic Programming, GULP / by Dovier, Agostino [editor.] Pontelli, Enrico [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6125 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)
	17.	Methods and Tools of Parallel Programming Multicomputers [electronic resource] : Second Russia-Taiwan Symposium, MTPP 2010, Vladivostok, Russia, May 16-19, 2010, Revised Selected Papers / by Hsu, Ching-Hsien [editor.] Malyshkin, Victor [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6083 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)
	18.	Programming Languages and Systems [electronic resource] : 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings / by Ueda, Kazunori [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6461 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)
	19.	Computer Performance Engineering [electronic resource] : 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008, Proceedings / by Thomas, Nigel [editor.] Juiz, Carlos [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5261 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)
	20.	Automated Technology for Verification and Analysis [electronic resource] : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings / by Liu, Zhiming [editor.] Ravn, Anders P [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5799 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 42 results.