Results of search for 'ccl=su:{Computer programs.}' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	501.	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)
	502.	Computer Safety, Reliability, and Security [electronic resource] : 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings / by Koornneef, Floor [editor.] van Gulijk, Coen [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9337 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)
	503.	Software Composition [electronic resource] : 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011, Proceedings / by Apel, Sven [editor.] Jackson, Ethan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6708 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)
	504.	ECOOP 2013 -- Object-Oriented Programming [electronic resource] : 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings / by Castagna, Giuseppe [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7920 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)
	505.	Programming Multi-Agent Systems [electronic resource] : Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers / by Bordini, Rafael H [editor.] Dastani, Mehdi [editor.] Seghrouchni, Amal El Fallah [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3862 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)
	506.	Reliable Systems on Unreliable Networked Platforms [electronic resource] : 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers / by Kordon, Fabrice [editor.] Sztipanovits, Janos [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4322 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)
	507.	Advanced Parallel Processing Technologies [electronic resource] : 11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings / by Chen, Yunji [editor.] Ienne, Paolo [editor.] Ji, Qing [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9231 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)
	508.	Computer Aided Verification [electronic resource] : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings / by Touili, Tayssir [editor.] Cook, Byron [editor.] Jackson, Paul [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6174 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)
	509.	Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications [electronic resource] : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9953 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)
	510.	Computational Processing of the Portuguese Language [electronic resource] : 9th International Conference, PROPOR 2010, Porto Alegre, RS, Brazil, April 27-30, 2010. Proceedings / by Branco, António [editor.] Klautau, Aldebaro [editor.] Vieira, Renata [editor.] Strube de Lima, Vera Lúcia [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6001 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)
	511.	Static Analysis [electronic resource] : 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings / by Riis Nielson, Hanne [editor.] Filé, Gilberto [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4634 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)
	512.	Computer Safety, Reliability, and Security [electronic resource] : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings / by Tonetta, Stefano [editor.] Schoitsch, Erwin [editor.] Bitsch, Friedemann [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10488 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)
	513.	SDL 2017: Model-Driven Engineering for Future Internet [electronic resource] : 18th International SDL Forum, Budapest, Hungary, October 9–11, 2017, Proceedings / by Csöndes, Tibor [editor.] Kovács, Gábor [editor.] Réthy, György [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10567 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)
	514.	PRIMA 2017: Principles and Practice of Multi-Agent Systems [electronic resource] : 20th International Conference, Nice, France, October 30 – November 3, 2017, Proceedings / by An, Bo [editor.] Bazzan, Ana [editor.] Leite, João [editor.] Villata, Serena [editor.] van der Torre, Leendert [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10621 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)
	515.	Conceptual Modeling [electronic resource] : 36th International Conference, ER 2017, Valencia, Spain, November 6–9, 2017, Proceedings / by Mayr, Heinrich C [editor.] Guizzardi, Giancarlo [editor.] Ma, Hui [editor.] Pastor, Oscar [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10650 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)
	516.	Perspectives of System Informatics [electronic resource] : 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers / by Petrenko, Alexander K [editor.] Voronkov, Andrei [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10742 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)
	517.	Software Technologies: Applications and Foundations [electronic resource] : STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers / by Seidl, Martina [editor.] Zschaler, Steffen [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10748 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)
	518.	Inductive Logic Programming [electronic resource] : 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers / by Lachiche, Nicolas [editor.] Vrain, Christel [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10759 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)
	519.	Theory and Practice of Model Transformation [electronic resource] : 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings / by Rensink, Arend [editor.] Sánchez Cuadrado, Jesús [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10888 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)
	520.	Formal Techniques for Distributed Systems [electronic resource] : Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings / by Giese, Holger [editor.] Rosu, Grigore [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7273 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Titles

Your search returned 1578 results.