المؤلفون: Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani

المصدر: TheoretiCS, Vol Volume 2 (2023)

مصطلحات موضوعية: computer science - formal languages and automata theory, computer science - symbolic computation, electrical engineering and systems science - systems and control, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://theoretics.episciences.org/9088/pdf; https://doaj.org/toc/2751-4838

URL الوصول: https://doaj.org/article/6b3519a0b3084f459a688dac55cd1a44

المؤلفون: Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche

المصدر: Logical Methods in Computer Science, Vol Volume 18, Issue 4 (2022)

مصطلحات موضوعية: computer science - formal languages and automata theory, computer science - programming languages, f.3.1, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://lmcs.episciences.org/7606/pdf; https://doaj.org/toc/1860-5974

URL الوصول: https://doaj.org/article/f95579cb2be14fbe85d3ea7ce947ecad

المؤلفون: Anthony W. Lin, Rupak Majumdar

المصدر: Logical Methods in Computer Science, Vol Volume 17, Issue 4 (2021)

مصطلحات موضوعية: computer science - logic in computer science, computer science - formal languages and automata theory, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://lmcs.episciences.org/6693/pdf; https://doaj.org/toc/1860-5974

URL الوصول: https://doaj.org/article/a67cb9a1db0c45a7bab19cf3a4c50944

المؤلفون: Rayna Dimitrova, Rupak Majumdar, Vinayak S. Prabhu

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 286, Iss Proc. CREST 2018, Pp 31-33 (2019)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1901.00589v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/e483880de8b44d9c83ab64e1b6a90df2

المؤلفون: Rayna Dimitrova, Rupak Majumdar

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 193, Iss Proc. GandALF 2015, Pp 100-114 (2015)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1509.07202v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/fbb4439fd1c3454eafc4fb5b71bfbe8b

المؤلفون: Krishnendu Chatterjee, Rupak Majumdar

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 25, Iss Proc. GANDALF 2010, Pp 22-29 (2010)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1006.1403v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/880a44e73e67432fbc61473a68c8251b

المؤلفون: Gunes Ercal, Rafit Izhak-Ratzin, Rupak Majumdar, Adam Meyerson

المصدر: International Journal of Distributed Sensor Networks, Vol 7 (2011)

مصطلحات موضوعية: Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://doaj.org/toc/1550-1477

URL الوصول: https://doaj.org/article/4faf5f1dd2a64211827ac4dd3cd4bf4b

المؤلفون: Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar, Vishwanath Raman

المصدر: Logical Methods in Computer Science, Vol Volume 6, Issue 3 (2010)

مصطلحات موضوعية: computer science - computer science and game theory, f.4.1, f.1.1, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://lmcs.episciences.org/783/pdf; https://doaj.org/toc/1860-5974

URL الوصول: https://doaj.org/article/91724a4f19294727af1bc93dd5e0275e

المؤلفون: Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga

المصدر: Logical Methods in Computer Science, Vol Volume 4, Issue 3 (2008)

مصطلحات موضوعية: computer science - logic in computer science, f.4.1, f.1.1, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://lmcs.episciences.org/781/pdf; https://doaj.org/toc/1860-5974

URL الوصول: https://doaj.org/article/439ca66a17094e95a4f9c47d12e8009b

المؤلفون: Yu Hu, Shih, Victor, Rupak Majumdar, Lei He

المصدر: 2007 IEEE/ACM International Conference on Computer-Aided Design Computer-Aided Design, 2007. ICCAD 2007. IEEE/ACM International Conference on. :350-353 Nov, 2007

Relation: 2007 IEEE/ACM International Conference on Computer-Aided Design