Results of search for 'ccl=su:{Artificial Intelligence} and su-to:Computer Communication Networks and se:Programming and Software Engineering' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	21.	Software Technologies: Applications and Foundations [electronic resource] : STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers / by Milazzo, Paolo [editor.] Varró, Dániel [editor.] Wimmer, Manuel [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9946 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)
	22.	Reversible Computation [electronic resource] : 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings / by Kari, Jarkko [editor.] Ulidowski, Irek [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11106 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)
	23.	Web Services – ICWS 2019 [electronic resource] : 26th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings / by Miller, John [editor.] Stroulia, Eleni [editor.] Lee, Kisung [editor.] Zhang, Liang-Jie [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11512 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)
	24.	Measurement, Modelling and Evaluation of Computing Systems [electronic resource] : 20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16–18, 2020, Proceedings / by Hermanns, Holger [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12040 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)
	25.	Sustaining TEL: From Innovation to Learning and Practice [electronic resource] : 5th European Conference on Technology Enhanced Learning, EC-TEL 2010, Barcelona, Spain, September 28 - October 1, 2010, Proceedings / by Wolpers, Martin [editor.] Kirschner, Paul A [editor.] Scheffel, Maren [editor.] Lindstaedt, Stefanie [editor.] Dimitrova, Vania [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6383 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)
	26.	Software Engineering and Formal Methods [electronic resource] : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings / by Barthe, Gilles [editor.] Pardo, Alberto [editor.] Schneider, Gerardo [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7041 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)
	27.	Requirements Engineering: Foundation for Software Quality [electronic resource] : 27th International Working Conference, REFSQ 2021, Essen, Germany, April 12–15, 2021, Proceedings / by Dalpiaz, Fabiano [editor.] Spoletini, Paola [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12685 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)
	28.	Practical Aspects of Declarative Languages [electronic resource] : 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings / by Morales, José F [editor.] Orchard, Dominic [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12548 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)
	29.	Model and Data Engineering [electronic resource] : 4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings / by Ait Ameur, Yamine [editor.] Bellatreche, Ladjel [editor.] Papadopoulos, George A [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8748 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)
	30.	Information Quality in e-Health [electronic resource] : 7th Conference of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2011, Graz, Austria, November 25-26, 2011, Proceedings / by Holzinger, Andreas [editor.] Simonic, Klaus-Martin [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7058 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)
	31.	Coordination Models and Languages [electronic resource] : 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings / by Damiani, Ferruccio [editor.] Dardha, Ornela [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12717 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)
	32.	Formal Techniques for Distributed Objects, Components, and Systems [electronic resource] : 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings / by Peters, Kirstin [editor.] Willemse, Tim A. C [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12719 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)
	33.	Static Analysis [electronic resource] : 27th International Symposium, SAS 2020, Virtual Event, November 18–20, 2020, Proceedings / by Pichardie, David [editor.] Sighireanu, Mihaela [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12389 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)
	34.	Model-Based Methodologies for Pervasive and Embedded Software [electronic resource] : 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012, Revised Papers / by Machado, Ricardo J [editor.] Maciel, Rita Suzana [editor.] Rubin, Julia [editor.] Botterweck, Goetz [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7706 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)
	35.	Measurement, Modelling and Evaluation of Computing Systems [electronic resource] : 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings / by German, Reinhard [editor.] Hielscher, Kai-Steffen [editor.] Krieger, Udo R [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10740 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)
	36.	Hardware and Software: Verification and Testing [electronic resource] : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings / by Strichman, Ofer [editor.] Tzoref-Brill, Rachel [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10629 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)
	37.	Human-Centered Software Engineering [electronic resource] : 4th International Conference, HCSE 2012, Toulouse, France, October 29-31, 2012, Proceedings / by Winckler, Marco [editor.] Forbrig, Peter [editor.] Bernhaupt, Regina [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7623 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)
	38.	Software Engineering for Multi-Agent Systems IV [electronic resource] : Research Issues and Practical Applications / by Garcia, Alessandro [editor.] Choren, Ricardo [editor.] Lucena, Carlos [editor.] Giorgini, Paolo [editor.] Holvoet, Tom [editor.] Romanovsky, Alexander [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3914 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)
	39.	Semantic Web Rules [electronic resource] : International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010, Proceedings / by Dean, Mike [editor.] Hall, John [editor.] Rotolo, Antonino [editor.] Tabet, Said [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6403 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)
	40.	Agent-Oriented Software Engineering VI [electronic resource] : 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers / by Müller, Jörg [editor.] Zambonelli, Franco [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3950 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 73 results.