Refine your search

Your search returned 3990 results.

Sort
Results
941.
Model-Based Safety and Assessment [electronic resource] : 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings / edited by Christel Seguin, Marc Zeller, Tatiana Prosvirnova. by Series: Lecture Notes in Computer Science ; 13525
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.

942.
Human Centered Computing [electronic resource] : 7th International Conference, HCC 2021, Virtual Event, December 9-11, 2021, Revised Selected Papers / edited by Qiaohong Zu, Yong Tang, Vladimir Mladenovic, Aisha Naseer, Jizheng Wan. by Series: Lecture Notes in Computer Science ; 13795
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: 004.6.

943.
Logic-Based Program Synthesis and Transformation [electronic resource] : 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings / edited by Alicia Villanueva. by Series: Lecture Notes in Computer Science ; 13474
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.

944.
Algorithmic Game Theory [electronic resource] : 15th International Symposium, SAGT 2022, Colchester, UK, September 12-15, 2022, Proceedings / edited by Panagiotis Kanellopoulos, Maria Kyropoulou, Alexandros Voudouris. by Series: Lecture Notes in Computer Science ; 13584
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: 003.3.

945.
Computational Logistics [electronic resource] : 13th International Conference, ICCL 2022, Barcelona, Spain, September 21-23, 2022, Proceedings / edited by Jesica de Armas, Helena Ramalhinho, Stefan Voß. by Series: Lecture Notes in Computer Science ; 13557
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: 303.4833.

946.
947.
948.
Runtime Verification [electronic resource] : 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings / edited by Thao Dang, Volker Stolz. by Series: Lecture Notes in Computer Science ; 13498
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.

949.
950.
Computer Security - ESORICS 2022 [electronic resource] : 27th European Symposium on Research in Computer Security, Copenhagen, Denmark, September 26-30, 2022, Proceedings, Part I / edited by Vijayalakshmi Atluri, Roberto Di Pietro, Christian D. Jensen, Weizhi Meng. by Series: Lecture Notes in Computer Science ; 13554
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.8.

951.
Science of Cyber Security [electronic resource] : 4th International Conference, SciSec 2022, Matsue, Japan, August 10-12, 2022, Revised Selected Papers / edited by Chunhua Su, Kouichi Sakurai, Feng Liu. by Series: Lecture Notes in Computer Science ; 13580
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.8.

952.
Progress in Cryptology - AFRICACRYPT 2022 [electronic resource] : 13th International Conference on Cryptology in Africa, AFRICACRYPT 2022, Fes, Morocco, July 18-20, 2022, Proceedings / edited by Lejla Batina, Joan Daemen. by Series: Lecture Notes in Computer Science ; 13503
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: 005.824.

953.
Advances in Cryptology - CRYPTO 2022 [electronic resource] : 42nd Annual International Cryptology Conference, CRYPTO 2022, Santa Barbara, CA, USA, August 15-18, 2022, Proceedings, Part II / edited by Yevgeniy Dodis, Thomas Shrimpton. by Series: Lecture Notes in Computer Science ; 13508
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: 005.824.

954.
Approximation and Online Algorithms [electronic resource] : 20th International Workshop, WAOA 2022, Potsdam, Germany, September 8-9, 2022, Proceedings / edited by Parinya Chalermsook, Bundit Laekhanukit. by Series: Lecture Notes in Computer Science ; 13538
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.

955.
956.
Computer Vision - ECCV 2022 [electronic resource] : 17th European Conference, Tel Aviv, Israel, October 23-27, 2022, Proceedings, Part XXXIV / edited by Shai Avidan, Gabriel Brostow, Moustapha Cissé, Giovanni Maria Farinella, Tal Hassner. by Series: Lecture Notes in Computer Science ; 13694
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.37.

957.
Computer Vision - ECCV 2022 [electronic resource] : 17th European Conference, Tel Aviv, Israel, October 23-27, 2022, Proceedings, Part XXXI / edited by Shai Avidan, Gabriel Brostow, Moustapha Cissé, Giovanni Maria Farinella, Tal Hassner. by Series: Lecture Notes in Computer Science ; 13691
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.37.

958.
Computer Vision - ECCV 2022 [electronic resource] : 17th European Conference, Tel Aviv, Israel, October 23-27, 2022, Proceedings, Part XXXVIII / edited by Shai Avidan, Gabriel Brostow, Moustapha Cissé, Giovanni Maria Farinella, Tal Hassner. by Series: Lecture Notes in Computer Science ; 13698
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.37.

959.
Computer Vision - ECCV 2022 [electronic resource] : 17th European Conference, Tel Aviv, Israel, October 23-27, 2022, Proceedings, Part XXII / edited by Shai Avidan, Gabriel Brostow, Moustapha Cissé, Giovanni Maria Farinella, Tal Hassner. by Series: Lecture Notes in Computer Science ; 13682
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.37.

960.
                                                                           
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