Results of search for 'ccl=su:"Computer programming." and itype:SPRINGER' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	61.	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)
	62.	Computer Programming in C for Beginners [electronic resource] / by Gonzalez, Avelino J [author.] SpringerLink (Online service) 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)
	63.	Trends in Functional Programming [electronic resource] : 22nd International Symposium, TFP 2021, Virtual Event, February 17–19, 2021, Revised Selected Papers / by Zsók, Viktória [editor.] Hughes, John [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12834 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)
	64.	Formal Methods and Software Engineering [electronic resource] : 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings / by Riesco, Adrian [editor.] Zhang, Min [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13478 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)
	65.	A List of Successes That Can Change the World [electronic resource] : Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday / by Lindley, Sam [editor.] McBride, Conor [editor.] Trinder, Phil [editor.] Sannella, Don [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9600 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)
	66.	The Art of High Performance Computing for Computational Science, Vol. 2 [electronic resource] : Advanced Techniques and Examples for Materials Science / by Geshi, Masaaki [editor.] SpringerLink (Online service) Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	67.	Service-Oriented Computing [electronic resource] : 16th Symposium and Summer School, SummerSOC 2022, Hersonissos, Crete, Greece, July 3–9, 2022, Revised Selected Papers / by Barzen, Johanna [editor.] Leymann, Frank [editor.] Dustdar, Schahram [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1603 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)
	68.	Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops [electronic resource] : AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26–30, 2022, Revised Selected Papers / by Masci, Paolo [editor.] Bernardeschi, Cinzia [editor.] Graziani, Pierluigi [editor.] Koddenbrock, Mario [editor.] Palmieri, Maurizio [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13765 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	69.	Formal Methods and Software Engineering [electronic resource] : 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings / by Breitman, Karin [editor.] Cavalcanti, Ana [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5885 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)
	70.	Logic and Program Semantics [electronic resource] : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday / by Constable, Robert L [editor.] Silva, Alexandra [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7230 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)
	71.	Engineering Multi-Agent Systems [electronic resource] : 5th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papers / by El Fallah-Seghrouchni, Amal [editor.] Ricci, Alessandro [editor.] Son, Tran Cao [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10738 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)
	72.	Software Engineering and Formal Methods [electronic resource] : 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings / by Johnsen, Einar Broch [editor.] Schaefer, Ina [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10886 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)
	73.	Logic-Based Program Synthesis and Transformation [electronic resource] : 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers / by Fioravanti, Fabio [editor.] Gallagher, John P [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10855 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)
	74.	Rewriting Logic and Its Applications [electronic resource] : 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings / by Rusu, Vlad [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11152 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.	Software Architecture [electronic resource] : Second International Conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 Proceedings / by Morrison, Ronald [editor.] Balasubramaniam, Dharini [editor.] Falkner, Katrina [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5292 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)
	76.	Software Composition [electronic resource] : 11th International Conference, SC 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings / by Gschwind, Thomas [editor.] De Paoli, Flavio [editor.] Gruhn, Volker [editor.] Book, Matthias [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7306 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)
	77.	Software Composition [electronic resource] : 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers / by Lumpe, Markus [editor.] Vanderperren, Wim [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4829 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)
	78.	Scala: From a Functional Programming Perspective [electronic resource] : An Introduction to the Programming Language / by Torra, Vicenç [author.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9980 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)
	79.	Aliasing in Object-Oriented Programming [electronic resource] : Types, Analysis and Verification / by Clarke, David [editor.] Wrigstad, Tobias [editor.] Noble, James [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7850 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)
	80.	Rules and Reasoning [electronic resource] : Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings / by Benzmüller, Christoph [editor.] Ricca, Francesco [editor.] Parent, Xavier [editor.] Roman, Dumitru [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11092 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 1611 results.