Zobrazeno 1 - 10
of 525
pro vyhledávání: '"Singh, Pratap"'
Autor:
Bourgeat, Thomas, Clester, Ian, Erbsen, Andres, Gruetter, Samuel, Singh, Pratap, Wright, Andrew, Chlipala, Adam
Instruction sets, from families like x86 and ARM, are at the center of many ambitious formal-methods projects. Many verification, synthesis, programming, and debugging tools rely on formal semantics of instruction sets, but different tools can use se
Externí odkaz:
http://arxiv.org/abs/2104.00762
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Goyal, Naman, Warudkar, Ashwin, Kolipakam, Vishnupriya, Pant, Bhawana, Kuppusamy, Sivakumar, Singh, Pratap, Qureshi, Qamar, Nair, Manoj V.
Publikováno v:
Ibis; Jul2024, Vol. 166 Issue 3, p1059-1063, 5p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Singh, Udai B., Singh, Shailendra, Malviya, Deepti, Karthikeyan, Nanjappan, Imran, Mohd., Chaurasia, Rajan, Alam, Manzar, Singh, Pratap, Sarma, B. K., Rai, Jai P., Damodaran, T., Tripathi, J. K., Kumar, Sunil, Sharma, Arun K.
Publikováno v:
Journal of Plant Pathology, 2019 Nov 01. 101(4), 943-954.
Externí odkaz:
https://www.jstor.org/stable/48699631
Publikováno v:
The Wilson Journal of Ornithology, 2019 Sep 01. 131(3), 650-658.
Externí odkaz:
https://www.jstor.org/stable/27014185
Publikováno v:
In Materials Today: Proceedings 2021 34 Part 3:661-666
Autor:
Meena, Satya Narayan, Sharma, Shanti Kumar, Singh, Pratap, Meena, Bharat Prakash, Ram, Asha, Meena, Roshan Lal, Singh, Deepak, Meena, Ram Bhawan, Nogiya, Mahaveer, Jain, Devendra, Kumar, Kuldeep
Publikováno v:
Scientific Reports; 3/21/2024, Vol. 14 Issue 1, p1-16, 16p