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

Results
	461.	Provable and Practical Security [electronic resource] : 17th International Conference, ProvSec 2023, Wuhan, China, October 20–22, 2023, Proceedings / by Zhang, Mingwu [editor.] Au, Man Ho [editor.] Zhang, Yudi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14217 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)
	462.	Health Information Science [electronic resource] : 12th International Conference, HIS 2023, Melbourne, VIC, Australia, October 23–24, 2023, Proceedings / by Li, Yan [editor.] Huang, Zhisheng [editor.] Sharma, Manik [editor.] Chen, Lu [editor.] Zhou, Rui [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14305 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)
	463.	Rules and Reasoning [electronic resource] : 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18–20, 2023, Proceedings / by Fensel, Anna [editor.] Ozaki, Ana [editor.] Roman, Dumitru [editor.] Soylu, Ahmet [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14244 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)
	464.	Logic-Based Program Synthesis and Transformation [electronic resource] : 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings / by Glück, Robert [editor.] Kafle, Bishoksan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14330 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)
	465.	Composability, Comprehensibility and Correctness of Working Software [electronic resource] : 8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers / by Porkoláb, Zoltán [editor.] Zsók, Viktória [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 11950 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)
	466.	Logic and Engineering of Natural Language Semantics [electronic resource] : 19th International Conference, LENLS19, Tokyo, Japan, November 19–21, 2022, Revised Selected Papers / by Bekki, Daisuke [editor.] Mineshima, Koji [editor.] McCready, Elin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14213 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)
	467.	Static Analysis [electronic resource] : 30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings / by Hermenegildo, Manuel V [editor.] Morales, José F [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14284 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)
	468.	Logic, Rationality, and Interaction [electronic resource] : 9th International Workshop, LORI 2023, Jinan, China, October 26–29, 2023, Proceedings / by Alechina, Natasha [editor.] Herzig, Andreas [editor.] Liang, Fei [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14329 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)
	469.	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)
	470.	List Decoding of Error-Correcting Codes [electronic resource] : Winning Thesis of the 2002 ACM Doctoral Dissertation Competition / by Guruswami, Venkatesan [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3282 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)
	471.	Theory Is Forever [electronic resource] : Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday / by Karhumäki, Juhani [editor.] Maurer, Hermann [editor.] Paun, Gheorghe [editor.] Rozenberg, Grzegorz [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3113 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)
	472.	Least Squares Orthogonal Distance Fitting of Curves and Surfaces in Space [electronic resource] / by Ahn, Sung Joon [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3151 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)
	473.	Data Engineering in Medical Imaging [electronic resource] : First MICCAI Workshop, DEMI 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8, 2023, Proceedings / by Bhattarai, Binod [editor.] Ali, Sharib [editor.] Rau, Anita [editor.] Nguyen, Anh [editor.] Namburete, Ana [editor.] Caramalau, Razvan [editor.] Stoyanov, Danail [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14314 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)
	474.	Reachability Problems [electronic resource] : 17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings / by Bournez, Olivier [editor.] Formenti, Enrico [editor.] Potapov, Igor [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14235 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)
	475.	Computer Performance Engineering and Stochastic Modelling [electronic resource] : 19th European Workshop, EPEW 2023, and 27th International Conference, ASMTA 2023, Florence, Italy, June 20–23, 2023, Proceedings / by Iacono, Mauro [editor.] Scarpa, Marco [editor.] Barbierato, Enrico [editor.] Serrano, Salvatore [editor.] Cerotti, Davide [editor.] Longo, Francesco [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14231 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)
	476.	Web and Big Data [electronic resource] : 6th International Joint Conference, APWeb-WAIM 2022, Nanjing, China, November 25–27, 2022, Proceedings, Part II / by Li, Bohan [editor.] Yue, Lin [editor.] Tao, Chuanqi [editor.] Han, Xuming [editor.] Calvanese, Diego [editor.] Amagasa, Toshiyuki [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13422 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)
	477.	Automated Technology for Verification and Analysis [electronic resource] : 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part II / by André, Étienne [editor.] Sun, Jun [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14216 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)
	478.	Information and Communications Security [electronic resource] : 25th International Conference, ICICS 2023, Tianjin, China, November 18–20, 2023, Proceedings / by Wang, Ding [editor.] Yung, Moti [editor.] Liu, Zheli [editor.] Chen, Xiaofeng [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14252 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)
	479.	The Semantic Web: ESWC 2023 Satellite Events [electronic resource] : Hersonissos, Crete, Greece, May 28 - June 1, 2023, Proceedings / by Pesquita, Catia [editor.] Skaf-Molli, Hala [editor.] Efthymiou, Vasilis [editor.] Kirrane, Sabrina [editor.] Ngonga, Axel [editor.] Collarana, Diego [editor.] Cerqueira, Renato [editor.] Alam, Mehwish [editor.] Trojahn, Cassia [editor.] Hertling, Sven [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13998 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)
	480.	Recent Trends in Algebraic Development Techniques [electronic resource] : 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers / by Madeira, Alexandre [editor.] Martins, Manuel A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13710 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 1702 results.