Your search returned 12 results.

Sort
Results
1.
Languages and Compilers for Parallel Computing [electronic resource] : 33rd International Workshop, LCPC 2020, Virtual Event, October 14-16, 2020, Revised Selected Papers / edited by Barbara Chapman, José Moreira. by Series: Theoretical Computer Science and General Issues ; 13149
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: (1)Call number: 005.13.

2.
Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings / edited by Sergei Artemov, Anil Nerode. by Series: Theoretical Computer Science and General Issues ; 13137
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: 511.3.

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

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 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: 621.39 | 004.6.

5.
Algorithms and Discrete Applied Mathematics [electronic resource] : 8th International Conference, CALDAM 2022, Puducherry, India, February 10-12, 2022, Proceedings / edited by Niranjan Balachandran, R. Inkulu. by Series: Theoretical Computer Science and General Issues ; 13179
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.

6.
Internet of Things - ICIOT 2021 [electronic resource] : 6th International Conference, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10-14, 2021, Proceedings / edited by Bedir Tekinerdogan, Yingwei Wang, Liang-Jie Zhang. by Series: Theoretical Computer Science and General Issues ; 12993
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: (1)Call number: 621.39 | 004.6.

7.
WALCOM: Algorithms and Computation [electronic resource] : 16th International Conference and Workshops, WALCOM 2022, Jember, Indonesia, March 24-26, 2022, Proceedings / edited by Petra Mutzel, Md. Saidur Rahman, Slamin. by Series: Theoretical Computer Science and General Issues ; 13174
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: (1)Call number: 004.0151.

8.
Frontiers of Algorithmics [electronic resource] : International Joint Conference, IJTCS-FAW 2021, Beijing, China, August 16-19, 2021, Proceedings / edited by Jing Chen, Minming Li, Guochuan Zhang. by Series: Theoretical Computer Science and General Issues ; 12874
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.

9.
10.
11.
12.
                                                                           
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