Results of search for 'ccl=su:{Engineering} and su-to:Software Engineering and su-to:Computer science' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	581.	Self-star Properties in Complex Information Systems [electronic resource] : Conceptual and Practical Foundations / by Babaoglu, Ozalp [editor.] Jelasity, Márk [editor.] Montresor, Alberto [editor.] Fetzer, Christof [editor.] Leonardi, Stefano [editor.] van Moorsel, Aad [editor.] van Steen, Maarten [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3460 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)
	582.	Compiler Construction [electronic resource] : 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings / by Hendren, Laurie [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4959 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)
	583.	Declarative Agent Languages and Technologies V [electronic resource] : 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers / by Baldoni, Matteo [editor.] Son, Tran Cao [editor.] van Riemsdijk, M. Birna [editor.] Winikoff, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4897 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)
	584.	Mathematical Modeling and Supercomputer Technologies [electronic resource] : 20th International Conference, MMST 2020, Nizhny Novgorod, Russia, November 23 – 27, 2020, Revised Selected Papers / by Balandin, Dmitry [editor.] Barkalov, Konstantin [editor.] Gergel, Victor [editor.] Meyerov, Iosif [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1413 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)
	585.	Information and Software Technologies [electronic resource] : 27th International Conference, ICIST 2021, Kaunas, Lithuania, October 14–16, 2021, Proceedings / by Lopata, Audrius [editor.] Gudonienė, Daina [editor.] Butkienė, Rita [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1486 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)
	586.	Advances in Conceptual Modeling [electronic resource] : ER 2021 Workshops CoMoNoS, EmpER, CMLS St. John's, NL, Canada, October 18–21, 2021, Proceedings / by Reinhartz-Berger, Iris [editor.] Sadiq, Shazia [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 13012 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)
	587.	Formal Methods in Outer Space [electronic resource] : Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday / by Bartocci, Ezio [editor.] Falcone, Yliès [editor.] Leucker, Martin [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 13065 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)
	588.	Fundamentals of Software Engineering [electronic resource] : 9th International Conference, FSEN 2021, Virtual Event, May 19–21, 2021, Revised Selected Papers / by Hojjat, Hossein [editor.] Massink, Mieke [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12818 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)
	589.	Advanced Network Technologies and Intelligent Computing [electronic resource] : Second International Conference, ANTIC 2022, Varanasi, India, December 22–24, 2022, Proceedings, Part I / by Woungang, Isaac [editor.] Dhurandher, Sanjay Kumar [editor.] Pattanaik, Kiran Kumar [editor.] Verma, Anshul [editor.] Verma, Pradeepika [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1797 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	590.	Scalable Uncertainty Management [electronic resource] : 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings / by Moral, Serafín [editor.] Pivert, Olivier [editor.] Sánchez, Daniel [editor.] Marín, Nicolás [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10564 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)
	591.	Distributed Computer and Communication Networks: Control, Computation, Communications [electronic resource] : 23rd International Conference, DCCN 2020, Moscow, Russia, September 14-18, 2020, Revised Selected Papers / by Vishnevskiy, Vladimir M [editor.] Samouylov, Konstantin E [editor.] Kozyrev, Dmitry V [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1337 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)
	592.	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)
	593.	Collaborative Computing: Networking, Applications and Worksharing [electronic resource] : 16th EAI International Conference, CollaborateCom 2020, Shanghai, China, October 16–18, 2020, Proceedings, Part I / by Gao, Honghao [editor.] Wang, Xinheng [editor.] Iqbal, Muddesar [editor.] Yin, Yuyu [editor.] Yin, Jianwei [editor.] Gu, Ning [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 349 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)
	594.	Advanced Research in Technologies, Information, Innovation and Sustainability [electronic resource] : Second International Conference, ARTIIS 2022, Santiago de Compostela, Spain, September 12–15, 2022, Revised Selected Papers, Part II / by Guarda, Teresa [editor.] Portela, Filipe [editor.] Augusto, Maria Fernanda [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1676 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)
	595.	AIxIA 2022 – Advances in Artificial Intelligence [electronic resource] : XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 – December 2, 2022, Proceedings / by Dovier, Agostino [editor.] Montanari, Angelo [editor.] Orlandini, Andrea [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13796 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)
	596.	Human-Centered Artificial Intelligence [electronic resource] : Advanced Lectures / by Chetouani, Mohamed [editor.] Dignum, Virginia [editor.] Lukowicz, Paul [editor.] Sierra, Carles [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13500 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)
	597.	Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 -- October 1, 2014. Proceedings / by Felber, Pascal [editor.] Garg, Vijay [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8756 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)
	598.	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)
	599.	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)
	600.	Testing Software and Systems [electronic resource] : 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings / by Gaston, Christophe [editor.] Kosmatov, Nikolai [editor.] Le Gall, Pascale [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11812 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 2443 results.