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

Results
	1461.	Music Representation and Transformation in Software [electronic resource] : Structure and Algorithms in Python / by Pazel, Donald P [author.] SpringerLink (Online service) 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)
	1462.	Testing Software and Systems [electronic resource] : 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10–12, 2021, Proceedings / by Clark, David [editor.] Menendez, Hector [editor.] Cavalli, Ana Rosa [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13045 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)
	1463.	HCI in Mobility, Transport, and Automotive Systems [electronic resource] : 5th International Conference, MobiTAS 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23–28, 2023, Proceedings, Part II / by Krömker, Heidi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14049 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)
	1464.	Cross-Cultural Design [electronic resource] : 15th International Conference, CCD 2023, Held as Part of the 25th International Conference, HCII 2023, Copenhagen, Denmark, July 23–28, 2023, Proceedings, Part I / by Rau, Pei-Luen Patrick [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14022 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)
	1465.	Cross-Cultural Design [electronic resource] : 15th International Conference, CCD 2023, Held as Part of the 25th International Conference, HCII 2023, Copenhagen, Denmark, July 23–28, 2023, Proceedings, Part II / by Rau, Pei-Luen Patrick [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14023 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)
	1466.	Cross-Cultural Design [electronic resource] : 15th International Conference, CCD 2023, Held as Part of the 25th International Conference, HCII 2023, Copenhagen, Denmark, July 23–28, 2023, Proceedings, Part III / by Rau, Pei-Luen Patrick [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14024 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)
	1467.	Graph Transformation [electronic resource] : 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19–20, 2023, Proceedings / by Fernández, Maribel [editor.] Poskitt, Christopher M [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13961 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)
	1468.	Software Architecture. ECSA 2022 Tracks and Workshops [electronic resource] : Prague, Czech Republic, September 19–23, 2022, Revised Selected Papers / by Batista, Thais [editor.] Bureš, Tomáš [editor.] Raibulet, Claudia [editor.] Muccini, Henry [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13928 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)
	1469.	Computer Aided Verification [electronic resource] : 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III / by Enea, Constantin [editor.] Lal, Akash [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13966 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)
	1470.	Computer Aided Verification [electronic resource] : 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part II / by Enea, Constantin [editor.] Lal, Akash [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13965 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)
	1471.	IoT as a Service [electronic resource] : 8th EAI International Conference, IoTaaS 2022, Virtual Event, November 17-18, 2022, Proceedings / by Rabie, Khaled [editor.] Kharel, Rupak [editor.] Mohjazi, Lina [editor.] Elganimi, Taissir [editor.] Khan, Wali Ullah [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 506 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)
	1472.	Optimising the Software Development Process with Artificial Intelligence [electronic resource] / by Romero, José Raúl [editor.] Medina-Bulo, Inmaculada [editor.] Chicano, Francisco [editor.] SpringerLink (Online service) Series: Natural Computing Series Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1473.	An Introduction to Software Design [electronic resource] : Concepts, Principles, Methodologies, and Techniques / by Hu, Chenglie [author.] SpringerLink (Online service) 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)
	1474.	Concise Guide to Software Verification [electronic resource] : From Model Checking to Annotation Checking / by Huisman, Marieke [author.] Wijs, Anton [author.] SpringerLink (Online service) Series: Texts in Computer Science 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)
	1475.	Collaboration Technologies and Social Computing [electronic resource] : 29th International Conference, CollabTech 2023, Osaka, Japan, August 29–September 1, 2023, Proceedings / by Takada, Hideyuki [editor.] Marutschke, D. Moritz [editor.] Alvarez, Claudio [editor.] Inoue, Tomoo [editor.] Hayashi, Yugo [editor.] Hernandez-Leo, Davinia [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14199 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)
	1476.	Euro-Par 2023: Parallel Processing [electronic resource] : 29th International Conference on Parallel and Distributed Computing, Limassol, Cyprus, August 28 – September 1, 2023, Proceedings / by Cano, José [editor.] Dikaiakos, Marios D [editor.] Papadopoulos, George A [editor.] Pericàs, Miquel [editor.] Sakellariou, Rizos [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14100 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)
	1477.	Systems, Software and Services Process Improvement [electronic resource] : 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 – September 1, 2023, Proceedings, Part II / by Yilmaz, Murat [editor.] Clarke, Paul [editor.] Riel, Andreas [editor.] Messnarz, Richard [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1891 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)
	1478.	Fundamentals of Software Engineering [electronic resource] : 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers / by Hojjat, Hossein [editor.] Ábrahám, Erika [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14155 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)
	1479.	Modelling Autonomic Communications Environments [electronic resource] : Third IEEE International Workshop, MACE 2008, Samos Island, Greece, September 22-26, 2008, Proceedings / by Burgess, Mark [editor.] Denazis, Spyros [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 5276 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)
	1480.	NASA Formal Methods [electronic resource] : 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings / by Goodloe, Alwyn [editor.] Person, Suzette [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7226 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

Your search returned 4481 results.