Results
|
|
1.
|
|
|
|
2.
|
|
|
|
3.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings / edited by Bernd Finkbeiner, Thomas Wies. by Series: Theoretical Computer Science and General Issues ; 13182
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: 004.0151.
|
|
|
4.
|
Network and Parallel Computing [electronic resource] : 18th IFIP WG 10.3 International Conference, NPC 2021, Paris, France, November 3-5, 2021, Proceedings / edited by Christophe Cérin, Depei Qian, Jean-Luc Gaudiot, Guangming Tan, Stéphane Zuckerman. by Series: Theoretical Computer Science and General Issues ; 13152
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: 621.39 | 004.6.
|
|
|
5.
|
|
|
|
6.
|
|
|
|
7.
|
|
|
|
8.
|
|
|
|
9.
|
Algorithms and Architectures for Parallel Processing [electronic resource] : 21st International Conference, ICA3PP 2021, Virtual Event, December 3-5, 2021, Proceedings, Part I / edited by Yongxuan Lai, Tian Wang, Min Jiang, Guangquan Xu, Wei Liang, Aniello Castiglione. by Series: Theoretical Computer Science and General Issues ; 13155
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: (1)Call number: 005.13.
|
|
|
10.
|
Algorithms and Architectures for Parallel Processing [electronic resource] : 21st International Conference, ICA3PP 2021, Virtual Event, December 3-5, 2021, Proceedings, Part II / edited by Yongxuan Lai, Tian Wang, Min Jiang, Guangquan Xu, Wei Liang, Aniello Castiglione. by Series: Theoretical Computer Science and General Issues ; 13156
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: (1)Call number: 005.13.
|
|
|
11.
|
Algorithms and Architectures for Parallel Processing [electronic resource] : 21st International Conference, ICA3PP 2021, Virtual Event, December 3-5, 2021, Proceedings, Part III / edited by Yongxuan Lai, Tian Wang, Min Jiang, Guangquan Xu, Wei Liang, Aniello Castiglione. by Series: Theoretical Computer Science and General Issues ; 13157
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: (1)Call number: 005.13.
|
|
|
12.
|
Parallel and Distributed Computing, Applications and Technologies [electronic resource] : 22nd International Conference, PDCAT 2021, Guangzhou, China, December 17-19, 2021, Proceedings / edited by Hong Shen, Yingpeng Sang, Yong Zhang, Nong Xiao, Hamid R. Arabnia, Geoffrey Fox, Ajay Gupta, Manu Malek. by Series: Theoretical Computer Science and General Issues ; 13148
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: (1)Call number: 004.0151.
|