Results of search for 'ccl=su:{Software engineering }' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	921.	The Semantic Web - ISWC 2010 [electronic resource] : 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part II / by Patel-Schneider, Peter F [editor.] Pan, Yue [editor.] Hitzler, Pascal [editor.] Mika, Peter [editor.] Zhang, Lei [editor.] Pan, Jeff Z [editor.] Horrocks, Ian [editor.] Glimm, Birte [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6497 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)
	922.	Embedded Software and Systems [electronic resource] : First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers / by Wu, Zhaohui [editor.] Guo, Minyi [editor.] Chen, Chun [editor.] Bu, Jiajun [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3605 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	923.	SDL 2007: Design for Dependable Systems [electronic resource] : 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings / by Gaudin, Emmanuel [editor.] Najm, Élie [editor.] Reed, Rick [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 4745 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)
	924.	Mechanizing Mathematical Reasoning [electronic resource] : Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday / by Hutter, Dieter [editor.] Stephan, Werner [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2605 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	925.	Mathematics of Program Construction [electronic resource] : 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings / by Bolduc, Claude [editor.] Desharnais, Jules [editor.] Ktari, Bechir [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6120 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)
	926.	Logic and Theory of Algorithms [electronic resource] : 4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedings / by Beckmann, Arnold [editor.] Dimitracopoulos, Costas [editor.] Löwe, Benedikt [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5028 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)
	927.	Information Systems Engineering in Responsible Information Systems [electronic resource] : CAiSE Forum 2019, Rome, Italy, June 3–7, 2019, Proceedings / by Cappiello, Cinzia [editor.] Ruiz, Marcela [editor.] SpringerLink (Online service) Series: Lecture Notes in Business Information Processing ; 350 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)
	928.	Mathematics of Program Construction [electronic resource] : 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings / by Hutton, Graham [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11825 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)
	929.	Software Technologies [electronic resource] : 14th International Conference, ICSOFT 2019, Prague, Czech Republic, July 26–28, 2019, Revised Selected Papers / by van Sinderen, Marten [editor.] Maciaszek, Leszek A [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1250 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)
	930.	Provable and Practical Security [electronic resource] : 14th International Conference, ProvSec 2020, Singapore, November 29 – December 1, 2020, Proceedings / by Nguyen, Khoa [editor.] Wu, Wenling [editor.] Lam, Kwok Yan [editor.] Wang, Huaxiong [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 12505 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)
	931.	Formal Methods: Foundations and Applications [electronic resource] : 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings / by Carvalho, Gustavo [editor.] Stolz, Volker [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12475 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)
	932.	Innovation Practices for Digital Transformation in the Global South [electronic resource] : IFIP WG 13.8, 9.4, Invited Selection / by Abdelnour-Nocera, José [editor.] Makori, Elisha Ondieki [editor.] Robles-Flores, Jose Antonio [editor.] Bitso, Constance [editor.] SpringerLink (Online service) Series: IFIP Advances in Information and Communication Technology ; 645 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)
	933.	Fast and Low-Resource Semi-supervised Abdominal Organ Segmentation [electronic resource] : MICCAI 2022 Challenge, FLARE 2022, Held in Conjunction with MICCAI 2022, Singapore, September 22, 2022, Proceedings / by Ma, Jun [editor.] Wang, Bo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13816 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	934.	Inductive Logic Programming [electronic resource] : 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers / by Blockeel, Hendrik [editor.] Ramon, Jan [editor.] Shavlik, Jude [editor.] Tadepalli, Prasad [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4894 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)
	935.	Computational Science and Its Applications - ICCSA 2010 [electronic resource] : International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV / by Taniar, David [editor.] Gervasi, Osvaldo [editor.] Murgante, Beniamino [editor.] Pardede, Eric [editor.] Apduhan, Bernady O [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6019 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)
	936.	Mathematical and Engineering Methods in Computer Science [electronic resource] : 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17--19, 2014, Revised Selected Papers / by Hliněný, Petr [editor.] Dvořák, Zdeněk [editor.] Jaroš, Jiří [editor.] Kofroň, Jan [editor.] Kořenek, Jan [editor.] Matula, Petr [editor.] Pala, Karel [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8934 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)
	937.	Euro-Par 2009, Parallel Processing - Workshops [electronic resource] : HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Workshops / by Lin, Hai-Xiang [editor.] Alexander, Michael [editor.] Forsell, Martti [editor.] Knüpfer, Andreas [editor.] Prodan, Radu [editor.] Sousa, Leonel [editor.] Streit, Achim [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6043 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)
	938.	Adaptive and Natural Computing Algorithms [electronic resource] : 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part I / by Beliczynski, Bartlomiej [editor.] Dzielinski, Andrzej [editor.] Iwanowski, Marcin [editor.] Ribeiro, Bernadete [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4431 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)
	939.	Computer Supported Cooperative Work in Design IV [electronic resource] : 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papers / by Shen, Weiming [editor.] Yong, Jianming [editor.] Yang, Yun [editor.] Barthès, Jean-Paul A [editor.] Luo, Junzhou [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5236 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)
	940.	Web Information Systems and Mining [electronic resource] : International Conference, WISM 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part I / by Gong, Zhiguo [editor.] Luo, Xiangfeng [editor.] Chen, Junjie [editor.] Lei, Jingsheng [editor.] Wang, Fu Lee [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6987 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 4481 results.