Results of search for 'ccl=su:{Computer Science.} and su-to:Data structures Computer science and se:Lecture notes in computer science and se:Lecture notes in computer science ' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	1.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings / by Bogomolov, Sergiy [editor.] Parker, David [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13465 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)
	2.	Software Engineering and Formal Methods [electronic resource] : 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings / by Schlingloff, Bernd-Holger [editor.] Chai, Ming [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13550 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)
	3.	Frontiers of Algorithmic Wisdom [electronic resource] : International Joint Conference, IJTCS-FAW 2022, Hong Kong, China, August 15–19, 2022, Revised Selected Papers / by Li, Minming [editor.] Sun, Xiaoming [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13461 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)
	4.	Leveraging Applications of Formal Methods, Verification and Validation. Practice [electronic resource] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13704 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)
	5.	Formal Aspects of Component Software [electronic resource] : 18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings / by Tapia Tarifa, Silvia Lizeth [editor.] Proença, José [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13712 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)
	6.	Frontiers of Algorithmics [electronic resource] : 17th International Joint Conference, IJTCS-FAW 2023 Macau, China, August 14–18, 2023 Proceedings / by Li, Minming [editor.] Sun, Xiaoming [editor.] Wu, Xiaowei [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13933 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)
	7.	Web Engineering [electronic resource] : 22nd International Conference, ICWE 2022, Bari, Italy, July 5–8, 2022, Proceedings / by Di Noia, Tommaso [editor.] Ko, In-Young [editor.] Schedl, Markus [editor.] Ardito, Carmelo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13362 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)
	8.	Graph Transformation [electronic resource] : 15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7–8, 2022, Proceedings / by Behr, Nicolas [editor.] Strüber, Daniel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13349 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)
	9.	Conceptual Modeling [electronic resource] : 41st International Conference, ER 2022, Hyderabad, India, October 17–20, 2022, Proceedings / by Ralyté, Jolita [editor.] Chakravarthy, Sharma [editor.] Mohania, Mukesh [editor.] Jeusfeld, Manfred A [editor.] Karlapalem, Kamalakar [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13607 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)
	10.	Computer Information Systems and Industrial Management [electronic resource] : 21st International Conference, CISIM 2022, Barranquilla, Colombia, July 15–17, 2022, Proceedings / by Saeed, Khalid [editor.] Dvorský, Jiří [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13293 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)
	11.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings / by Petrucci, Laure [editor.] Sproston, Jeremy [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14138 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)
	12.	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)
	13.	Web Engineering [electronic resource] : 23rd International Conference, ICWE 2023, Alicante, Spain, June 6–9, 2023, Proceedings / by Garrigós, Irene [editor.] Murillo Rodríguez, Juan Manuel [editor.] Wimmer, Manuel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13893 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)
	14.	Database and XML Technologies [electronic resource] : Second International XML Database Symposium, XSym 2004, Toronto, Canada, August 29-30, 2004, Proceedings / by Bellahsène, Zohra [editor.] Milo, Tova [editor.] Rys, Michael [editor.] Suciu, Dan [editor.] Unland, Rainer [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3186 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	15.	Service Assurance with Partial and Intermittent Resources [electronic resource] : First International Workshop, SAPIR 2004, Fortaleza, Brazil, August 1-6, 2004, Proceedings / by Dini, Petre [editor.] Lorenz, Pascal [editor.] Neuman De Souza, José [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3126 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	16.	Cooperative Information Systems [electronic resource] : 28th International Conference, CoopIS 2022, Bozen-Bolzano, Italy, October 4–7, 2022, Proceedings / by Sellami, Mohamed [editor.] Ceravolo, Paolo [editor.] Reijers, Hajo A [editor.] Gaaloul, Walid [editor.] Panetto, Hervé [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13591 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)
	17.	Computer Information Systems and Industrial Management [electronic resource] : 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22–24, 2023, Proceedings / by Saeed, Khalid [editor.] Dvorský, Jiří [editor.] Nishiuchi, Nobuyuki [editor.] Fukumoto, Makoto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14164 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)
	18.	Cooperative Information Systems [electronic resource] : 29th International Conference, CoopIS 2023, Groningen, The Netherlands, October 30–November 3, 2023, Proceedings / by Sellami, Mohamed [editor.] Vidal, Maria-Esther [editor.] van Dongen, Boudewijn [editor.] Gaaloul, Walid [editor.] Panetto, Hervé [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14353 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	19.	Software Engineering and Formal Methods [electronic resource] : 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings / by Ferreira, Carla [editor.] Willemse, Tim A. C [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14323 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)
	20.	Conceptual Modeling [electronic resource] : 42nd International Conference, ER 2023, Lisbon, Portugal, November 6–9, 2023, Proceedings / by Almeida, João Paulo A [editor.] Borbinha, José [editor.] Guizzardi, Giancarlo [editor.] Link, Sebastian [editor.] Zdravkovic, Jelena [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14320 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 43 results.