Results
|
21.
|
|
|
22.
|
The maker-breaker percolation game by Murmu, Prateek Kumar | Jana, Nabin Kumar. Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Bhubaneswar: NISER, 2023Availability: No items available.
|
|
23.
|
|
|
24.
|
Neural theorem proving in lean by Vishwakarma, Rahul | Dalai, Deepak Kumar [Guide] | Mishra, Subhankar [Guide]. Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Bhubaneswar : NISER, 2024Availability: Items available for reference: NISER LIBRARY: Not for loan (1)Call number: 519.6 VIS-N.
|
|
25.
|
Study on random matrices by Naskar, Rohan | Majumder, Kaushik [Guide]. Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Bhubaneswar : NISER, 2024Availability: Items available for reference: NISER LIBRARY: Not for loan (1)Call number: 512.643 NAS-S.
|