Refine your search

Your search returned 3990 results.

Sort
Results
3101.
Model Checking Software [electronic resource] : 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings / edited by Owolabi Legunsen, Grigore Rosu. by Series: Lecture Notes in Computer Science ; 13255
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 005.1.

3102.
Image Analysis and Processing - ICIAP 2022 [electronic resource] : 21st International Conference, Lecce, Italy, May 23-27, 2022, Proceedings, Part III / edited by Stan Sclaroff, Cosimo Distante, Marco Leo, Giovanni M. Farinella, Federico Tombari. by Series: Lecture Notes in Computer Science ; 13233
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 006.37.

3103.
Extended Reality [electronic resource] : First International Conference, XR Salento 2022, Lecce, Italy, July 6-8, 2022, Proceedings, Part I / edited by Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco. by Series: Lecture Notes in Computer Science ; 13445
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 006.

3104.
Human Interface and the Management of Information: Applications in Complex Technological Environments [electronic resource] : Thematic Area, HIMI 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings, Part II / edited by Sakae Yamamoto, Hirohiko Mori. by Series: Lecture Notes in Computer Science ; 13306
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 005.437 | 004.019.

3105.
Formal Modeling and Analysis of Timed Systems [electronic resource] : 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings / edited by Sergiy Bogomolov, David Parker. by Series: Lecture Notes in Computer Science ; 13465
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 004.0151.

3106.
Theory and Applications of Models of Computation [electronic resource] : 17th Annual Conference, TAMC 2022, Tianjin, China, September 16-18, 2022, Proceedings / edited by Ding-Zhu Du, Donglei Du, Chenchen Wu, Dachuan Xu. by Series: Lecture Notes in Computer Science ; 13571
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 518.1.

3107.
Distributed Applications and Interoperable Systems [electronic resource] : 22nd IFIP WG 6.1 International Conference, DAIS 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings / edited by David Eyers, Spyros Voulgaris. by Series: Lecture Notes in Computer Science ; 13272
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 005.1.

3108.
3109.
3110.
Medical Image Computing and Computer Assisted Intervention - MICCAI 2022 [electronic resource] : 25th International Conference, Singapore, September 18-22, 2022, Proceedings, Part V / edited by Linwei Wang, Qi Dou, P. Thomas Fletcher, Stefanie Speidel, Shuo Li. by Series: Lecture Notes in Computer Science ; 13435
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 621.382.

3111.
Medical Image Computing and Computer Assisted Intervention - MICCAI 2022 [electronic resource] : 25th International Conference, Singapore, September 18-22, 2022, Proceedings, Part VI / edited by Linwei Wang, Qi Dou, P. Thomas Fletcher, Stefanie Speidel, Shuo Li. by Series: Lecture Notes in Computer Science ; 13436
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 621.382.

3112.
Algorithmic Aspects in Information and Management [electronic resource] : 16th International Conference, AAIM 2022, Guangzhou, China, August 13-14, 2022, Proceedings / edited by Qiufen Ni, Weili Wu. by Series: Lecture Notes in Computer Science ; 13513
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 004.0151.

3113.
Advances in Swarm Intelligence [electronic resource] : 13th International Conference, ICSI 2022, Xi'an, China, July 15-19, 2022, Proceedings, Part I / edited by Ying Tan, Yuhui Shi, Ben Niu. by Series: Lecture Notes in Computer Science ; 13344
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 004.0151.

3114.
Predictive Intelligence in Medicine [electronic resource] : 5th International Workshop, PRIME 2022, Held in Conjunction with MICCAI 2022, Singapore, September 22, 2022, Proceedings / edited by Islem Rekik, Ehsan Adeli, Sang Hyun Park, Celia Cintas. by Series: Lecture Notes in Computer Science ; 13564
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 006.3.

3115.
3116.
Data Augmentation, Labelling, and Imperfections [electronic resource] : Second MICCAI Workshop, DALI 2022, Held in Conjunction with MICCAI 2022, Singapore, September 22, 2022, Proceedings / edited by Hien V. Nguyen, Sharon X. Huang, Yuan Xue. by Series: Lecture Notes in Computer Science ; 13567
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 006.

3117.
3118.
Post-Quantum Cryptography [electronic resource] : 13th International Workshop, PQCrypto 2022, Virtual Event, September 28-30, 2022, Proceedings / edited by Jung Hee Cheon, Thomas Johansson. by Series: Lecture Notes in Computer Science ; 13512
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 005.824.

3119.
Frontiers of Algorithmic Wisdom [electronic resource] : International Joint Conference, IJTCS-FAW 2022, Hong Kong, China, August 15-19, 2022, Revised Selected Papers / edited by Minming Li, Xiaoming Sun. by Series: Lecture Notes in Computer Science ; 13461
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 004.0151.

3120.
Progress in Cryptology - INDOCRYPT 2022 [electronic resource] : 23rd International Conference on Cryptology in India, Kolkata, India, December 11-14, 2022, Proceedings / edited by Takanori Isobe, Santanu Sarkar. by Series: Lecture Notes in Computer Science ; 13774
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 005.824.

                                                                           
web counter

Copyright ©2020 The National Library of India, Govt. of India ↔ Hosted by NVLI, MOC ↔ Technology and Design by National Library of India, Ministry of Culture, Govt. of India