Results
|
|
821.
|
|
|
|
822.
|
|
|
|
823.
|
|
|
|
824.
|
|
|
|
825.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings / edited by Cezara Dragoi, Michael Emmi, Jingbo Wang. 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: 004.0151.
|
|
|
826.
|
Human-Computer Interaction - INTERACT 2023 [electronic resource] : 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part I / edited by José Abdelnour Nocera, Marta Kristín Lárusdóttir, Helen Petrie, Antonio Piccinno, Marco Winckler. 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.437 | 004.019.
|
|
|
827.
|
Architecture of Computing Systems [electronic resource] : 36th International Conference, ARCS 2023, Athens, Greece, June 13-15, 2023, Proceedings / edited by Georgios Goumas, Sven Tomforde, Jürgen Brehm, Stefan Wildermann, Thilo Pionteck. 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: 004.6.
|
|
|
828.
|
Metaheuristics [electronic resource] : 14th International Conference, MIC 2022, Syracuse, Italy, July 11-14, 2022, Proceedings / edited by Luca Di Gaspero, Paola Festa, Amir Nakib, Mario Pavone. by Series:
Edition: 1st ed. 2023.
Material type: Text; Format:
electronic
; Literary form:
Not fiction
Language: English
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2023
Availability: Items available for loan: National Library of India (1)Call number: 004.0151.
|
|
|
829.
|
|
|
|
830.
|
Computer Vision - ACCV 2022 [electronic resource] : 16th Asian Conference on Computer Vision, Macao, China, December 4-8, 2022, Proceedings, Part II / edited by Lei Wang, Juergen Gall, Tat-Jun Chin, Imari Sato, Rama Chellappa. 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: 006.37.
|
|
|
831.
|
Computer Vision - ACCV 2022 [electronic resource] : 16th Asian Conference on Computer Vision, Macao, China, December 4-8, 2022, Proceedings, Part VI / edited by Lei Wang, Juergen Gall, Tat-Jun Chin, Imari Sato, Rama Chellappa. 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: 006.
|
|
|
832.
|
|
|
|
833.
|
Pattern Recognition, Computer Vision, and Image Processing. ICPR 2022 International Workshops and Challenges [electronic resource] : Montreal, QC, Canada, August 21-25, 2022, Proceedings, Part I / edited by Jean-Jacques Rousseau, Bill Kapralos. 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: 006.37.
|
|
|
834.
|
|
|
|
835.
|
Parallel and Distributed Computing, Applications and Technologies [electronic resource] : 23rd International Conference, PDCAT 2022, Sendai, Japan, December 7-9, 2022, Proceedings / edited by Hiroyuki Takizawa, Hong Shen, Toshihiro Hanawa, Jong Hyuk Park, Hui Tian, Ryusuke Egawa. 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: 004.0151.
|
|
|
836.
|
Intelligent Human Computer Interaction [electronic resource] : 14th International Conference, IHCI 2022, Tashkent, Uzbekistan, October 20-22, 2022, Revised Selected Papers / edited by Hakimjon Zaynidinov, Madhusudan Singh, Uma Shanker Tiwary, Dhananjay Singh. 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.437 | 004.019.
|
|
|
837.
|
|
|
|
838.
|
Risks and Security of Internet and Systems [electronic resource] : 17th International Conference, CRiSIS 2022, Sousse, Tunisia, December 7-9, 2022, Revised Selected Papers / edited by Slim Kallel, Mohamed Jmaiel, Mohammad Zulkernine, Ahmed Hadj Kacem, Frédéric Cuppens, Nora Cuppens. 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.
|
|
|
839.
|
|
|
|
840.
|
Advances in Cryptology - CRYPTO 2023 [electronic resource] : 43rd Annual International Cryptology Conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20-24, 2023, Proceedings, Part III / edited by Helena Handschuh, Anna Lysyanskaya. 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.824.
|