Results of search for 'ccl=au:"SpringerLink (Online service)" and se:Lecture Notes in Computer Science, and su-to:Engineering and su-to:Computer Engineering and Networks' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	121.	The Logic of Software. A Tasting Menu of Formal Methods [electronic resource] : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday / by Ahrendt, Wolfgang [editor.] Beckert, Bernhard [editor.] Bubel, Richard [editor.] Johnsen, Einar Broch [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13360 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)
	122.	Socio-Technical Aspects in Security [electronic resource] : 11th International Workshop, STAST 2021, Virtual Event, October 8, 2021, Revised Selected Papers / by Parkin, Simon [editor.] Viganò, Luca [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13176 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)
	123.	Pattern Recognition Applications and Methods [electronic resource] : 10th International Conference, ICPRAM 2021, and 11th International Conference, ICPRAM 2022, Virtual Event, February 4–6, 2021 and February 3–5, 2022, Revised Selected Papers / by De Marsico, Maria [editor.] Sanniti di Baja, Gabriella [editor.] Fred, Ana [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13822 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)
	124.	Computer Safety, Reliability, and Security [electronic resource] : 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6–9, 2022, Proceedings / by Trapp, Mario [editor.] Saglietti, Francesca [editor.] Spisländer, Marc [editor.] Bitsch, Friedemann [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13414 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)
	125.	Gaming, Simulation and Innovations: Challenges and Opportunities [electronic resource] : 52nd International Simulation and Gaming Association Conference, ISAGA 2021, Indore, India, September 6–10, 2021, Revised Selected Papers / by Dhar, Upinder [editor.] Dubey, Jigyasu [editor.] Dumblekar, Vinod [editor.] Meijer, Sebastiaan [editor.] Lukosch, Heide [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13219 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)
	126.	Rewriting Logic and Its Applications [electronic resource] : 14th International Workshop, WRLA 2022, Munich, Germany, April 2–3, 2022, Revised Selected Papers / by Bae, Kyungmin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13252 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)
	127.	Computer Aided Verification [electronic resource] : 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II / by Shoham, Sharon [editor.] Vizel, Yakir [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13372 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)
	128.	Computer Aided Verification [electronic resource] : 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I / by Shoham, Sharon [editor.] Vizel, Yakir [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13371 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)
	129.	Machines, Computations, and Universality [electronic resource] : 9th International Conference, MCU 2022, Debrecen, Hungary, August 31 – September 2, 2022, Proceedings / by Durand-Lose, Jérôme [editor.] Vaszil, György [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13419 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)
	130.	Parallel and Distributed Computing: Applications and Technologies [electronic resource] : 5th International Conference, PDCAT 2004, Singapore, December 8-10, 2004, Proceedings / by Liew, Kim-Meow [editor.] Shen, Hong [editor.] See, Simon [editor.] Cai, Wentong [editor.] Fan, Pingzhi [editor.] Horiguchi, Susumu [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3320 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)
	131.	Information Security and Cryptology – ICISC 2021 [electronic resource] : 24th International Conference, Seoul, South Korea, December 1–3, 2021, Revised Selected Papers / by Park, Jong Hwan [editor.] Seo, Seung-Hyun [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13218 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)
	132.	Cellular Automata [electronic resource] : 15th International Conference on Cellular Automata for Research and Industry, ACRI 2022, Geneva, Switzerland, September 12–15, 2022, Proceedings / by Chopard, Bastien [editor.] Bandini, Stefania [editor.] Dennunzio, Alberto [editor.] Arabi Haddad, Mira [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13402 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)
	133.	Parallel Problem Solving from Nature – PPSN XVII [electronic resource] : 17th International Conference, PPSN 2022, Dortmund, Germany, September 10–14, 2022, Proceedings, Part II / by Rudolph, Günter [editor.] Kononova, Anna V [editor.] Aguirre, Hernán [editor.] Kerschke, Pascal [editor.] Ochoa, Gabriela [editor.] Tušar, Tea [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13399 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)
	134.	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)
	135.	Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries [electronic resource] : 7th International Workshop, BrainLes 2021, Held in Conjunction with MICCAI 2021, Virtual Event, September 27, 2021, Revised Selected Papers, Part I / by Crimi, Alessandro [editor.] Bakas, Spyridon [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 12962 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)
	136.	Digital Forensics and Watermarking [electronic resource] : 21st International Workshop, IWDW 2022, Guilin, China, November 18-19, 2022, Revised Selected Papers / by Zhao, Xianfeng [editor.] Tang, Zhenjun [editor.] Comesaña-Alfaro, Pedro [editor.] Piva, Alessandro [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13825 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)
	137.	Image Analysis and Processing – ICIAP 2022 [electronic resource] : 21st International Conference, Lecce, Italy, May 23–27, 2022, Proceedings, Part II / by Sclaroff, Stan [editor.] Distante, Cosimo [editor.] Leo, Marco [editor.] Farinella, Giovanni M [editor.] Tombari, Federico [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13232 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)
	138.	Computational Science and Its Applications – ICCSA 2022 Workshops [electronic resource] : Malaga, Spain, July 4–7, 2022, Proceedings, Part VI / by Gervasi, Osvaldo [editor.] Murgante, Beniamino [editor.] Misra, Sanjay [editor.] Rocha, Ana Maria A. C [editor.] Garau, Chiara [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13382 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)
	139.	Design and Architecture for Signal and Image Processing [electronic resource] : 15th International Workshop, DASIP 2022, Budapest, Hungary, June 20–22, 2022, Proceedings / by Desnos, Karol [editor.] Pertuz, Sergio [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13425 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)
	140.	MultiMedia Modeling [electronic resource] : 28th International Conference, MMM 2022, Phu Quoc, Vietnam, June 6–10, 2022, Proceedings, Part I / by Þór Jónsson, Björn [editor.] Gurrin, Cathal [editor.] Tran, Minh-Triet [editor.] Dang-Nguyen, Duc-Tien [editor.] Hu, Anita Min-Chun [editor.] Huynh Thi Thanh, Binh [editor.] Huet, Benoit [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13141 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 425 results.