Results
|
|
1.
|
|
|
|
2.
|
Coordination Models and Languages [electronic resource] : 24th IFIP WG 6.1 International Conference, COORDINATION 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 Maurice H. ter Beek, Marjan Sirjani. by Series: Lecture Notes in Computer Science ; 13271
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.
|
|
|
3.
|
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering [electronic resource] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen. by Series: Lecture Notes in Computer Science ; 13702
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.
|
|
|
4.
|
|
|
|
5.
|
|
|
|
6.
|
|
|
|
7.
|
Human Aspects of IT for the Aged Population. Technology in Everyday Living [electronic resource] : 8th International Conference, ITAP 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings, Part II / edited by Qin Gao, Jia Zhou. by Series: Lecture Notes in Computer Science ; 13331
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.437 | 004.019.
|
|
|
8.
|
|
|
|
9.
|
Human Aspects of IT for the Aged Population [electronic resource] : 9th International Conference, ITAP 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I / edited by Qin Gao, Jia Zhou. 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.
|
|
|
10.
|
|
|
|
11.
|
|
|
|
12.
|
Distributed Computing and Intelligent Technology [electronic resource] : 19th International Conference, ICDCIT 2023, Bhubaneswar, India, January 18-22, 2023, Proceedings / edited by Anisur Rahaman Molla, Gokarna Sharma, Pradeep Kumar, Sanjay Rawat. 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,213,821 | 004.6.
|
|
|
13.
|
Human Aspects of IT for the Aged Population [electronic resource] : 9th International Conference, ITAP 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II / edited by Qin Gao, Jia Zhou. 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.
|
|
|
14.
|
Leveraging Applications of Formal Methods, Verification and Validation. Practice [electronic resource] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV / edited by Tiziana Margaria, Bernhard Steffen. by Series: Lecture Notes in Computer Science ; 13704
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.
|
|
|
15.
|
Computer Vision - ECCV 2022 [electronic resource] : 17th European Conference, Tel Aviv, Israel, October 23-27, 2022, Proceedings, Part I / edited by Shai Avidan, Gabriel Brostow, Moustapha Cissé, Giovanni Maria Farinella, Tal Hassner. by Series: Lecture Notes in Computer Science ; 13661
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.
|
|
|
16.
|
|
|
|
17.
|
|
|
|
18.
|
Information and Communication Technologies for Ageing Well and e-Health [electronic resource] : 7th International Conference, ICT4AWE 2021, Virtual Event, April 24-26, 2021, and 8th International Conference, ICT4AWE 2022, Virtual Event, April 23-25, 2022, Revised Selected Papers / edited by Leszek A. Maciaszek, Maurice D. Mulvenna, Martina Ziefle. 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: 610.285.
|
|
|
19.
|
|
|
|
20.
|
|