Results
|
|
4361.
|
|
|
|
4362.
|
|
|
|
4363.
|
|
|
|
4364.
|
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning [electronic resource] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III / edited by Tiziana Margaria, Bernhard Steffen. by Series: Lecture Notes in Computer Science ; 13703
Edition: 1st ed. 2022.
Material type: Text; Format:
electronic
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022
Availability: Items available for loan: National Library of India (1)Call number: 005.1.
|
|
|
4365.
|
Computer Vision - ECCV 2022 [electronic resource] : 17th European Conference, Tel Aviv, Israel, October 23-27, 2022, Proceedings, Part XX / edited by Shai Avidan, Gabriel Brostow, Moustapha Cissé, Giovanni Maria Farinella, Tal Hassner. by Series: Lecture Notes in Computer Science ; 13680
Edition: 1st ed. 2022.
Material type: Text; Format:
electronic
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022
Availability: Items available for loan: National Library of India (1)Call number: 006.37.
|
|
|
4366.
|
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles [electronic resource] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen. by Series: Lecture Notes in Computer Science ; 13701
Edition: 1st ed. 2022.
Material type: Text; Format:
electronic
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022
Availability: Items available for loan: National Library of India (1)Call number: 005.1.
|
|
|
4367.
|
|
|
|
4368.
|
Computer Vision - ECCV 2022 [electronic resource] : 17th European Conference, Tel Aviv, Israel, October 23-27, 2022, Proceedings, Part XXXVII / edited by Shai Avidan, Gabriel Brostow, Moustapha Cissé, Giovanni Maria Farinella, Tal Hassner. by Series: Lecture Notes in Computer Science ; 13697
Edition: 1st ed. 2022.
Material type: Text; Format:
electronic
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022
Availability: Items available for loan: National Library of India (1)Call number: 006.37.
|
|
|
4369.
|
Computer Vision - ECCV 2022 [electronic resource] : 17th European Conference, Tel Aviv, Israel, October 23-27, 2022, Proceedings, Part XIV / edited by Shai Avidan, Gabriel Brostow, Moustapha Cissé, Giovanni Maria Farinella, Tal Hassner. by Series: Lecture Notes in Computer Science ; 13674
Edition: 1st ed. 2022.
Material type: Text; Format:
electronic
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022
Availability: Items available for loan: National Library of India (1)Call number: 006.37.
|
|
|
4370.
|
|
|
|
4371.
|
|
|
|
4372.
|
|
|
|
4373.
|
|
|
|
4374.
|
Medical Image Computing and Computer Assisted Intervention - MICCAI 2023 [electronic resource] : 26th International Conference, Vancouver, BC, Canada, October 8-12, 2023, Proceedings, Part VI / edited by Hayit Greenspan, Anant Madabhushi, Parvin Mousavi, Septimiu Salcudean, James Duncan, Tanveer Syeda-Mahmood, Russell Taylor. by Series:
Edition: 1st ed. 2023.
Material type: Text; Format:
electronic
; Literary form:
Not fiction
Language: English
Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023
Availability: Items available for loan: National Library of India (1)Call number: 6.
|
|
|
4375.
|
Geographical Information Systems Theory, Applications and Management [electronic resource] : 7th International Conference, GISTAM 2021, Virtual Event, April 23-25, 2021, and 8th International Conference, GISTAM 2022, Virtual Event, April 27-29, 2022, Revised Selected Papers / edited by Cédric Grueau, Robert Laurini, Lemonia Ragia. by Series:
Edition: 1st ed. 2023.
Material type: Text; Format:
electronic
; Literary form:
Not fiction
Language: English
Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023
Availability: Items available for loan: National Library of India (1)Call number: 005.3.
|
|
|
4376.
|
Blockchain - ICBC 2023 [electronic resource] : 6th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Honolulu, HI, USA, September 23-26, 2023, Proceedings / edited by Qin Wang, Jun Feng, Liang-Jie Zhang. by Series:
Edition: 1st ed. 2023.
Material type: Text; Format:
electronic
; Literary form:
Not fiction
Language: English
Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023
Availability: Items available for loan: National Library of India (1)Call number: 005.8.
|
|
|
4377.
|
|
|
|
4378.
|
|
|
|
4379.
|
|
|
|
4380.
|
|