-
81
Mathematical software on Chrome OS
Published 2015Subjects: “…DRNTU::Engineering::Computer science and engineering::Mathematics of computing::Mathematical software…”
Get full text
Final Year Project (FYP) -
82
Automatic mathematics answer assessment system
Published 2017Subjects: “…DRNTU::Engineering::Computer science and engineering::Mathematics of computing::Mathematical software…”
Get full text
Final Year Project (FYP) -
83
Study on probability or number theory
Published 2023Subjects: “…Engineering::Computer science and engineering::Theory of computation::Mathematical logic and formal languages…”
Get full text
Final Year Project (FYP) -
84
Solving Combinatorial Optimization Problems on Quantum Computers
Published 2020-07-01Subjects: Get full text
Article -
85
A designer support framework for specification comprehensibility in automata-based discrete-event control design
Published 2013Subjects: “…DRNTU::Engineering::Computer science and engineering::Theory of computation::Mathematical logic and formal languages…”
Get full text
Thesis -
86
Modeling and verification of safety critical systems : a case study on pacemaker
Published 2014Subjects: “…DRNTU::Engineering::Computer science and engineering::Theory of computation::Mathematical logic and formal languages…”
Get full text
Final Year Project (FYP) -
87
-
88
Embedding an object calculus in the unifying theories of programming
Published 2010Subjects: “…Computing Mathematics…”
Thesis -
89
Relationship between mental computation and mathematical reasoning
Published 2016-12-01Subjects: Get full text
Article -
90
Digital karyotyping of cancer cell lines from NGS data
Published 2020Subjects: “…Engineering::Computer science and engineering::Mathematics of computing::Mathematical software…”
Get full text
Thesis-Doctor of Philosophy -
91
-
92
-
93
Refining learning models in grammatical inference
Published 2008Subjects: “…DRNTU::Engineering::Computer science and engineering::Theory of computation::Mathematical logic and formal languages…”
Get full text
Thesis -
94
Probabilistic model checking for hybrid systems with hybrid concolic testing and importance sampling
Published 2016Subjects: “…DRNTU::Engineering::Computer science and engineering::Theory of computation::Mathematical logic and formal languages…”
Get full text
Thesis -
95
Development of mobile application for analysis of electricity price plans (A)
Published 2019Subjects: “…DRNTU::Engineering::Computer science and engineering::Theory of computation::Mathematical logic and formal languages…”
Get full text
Final Year Project (FYP) -
96
СТИМУЛИРОВАНИЕ ИЗУЧЕНИЯ ФИЗИКИ В КОЛЛЕДЖЕ ИНФОРМАТИКИ
Published 2022-01-01Subjects: “…computer mathematics systems…”
Get full text
Article -
97
DNA mediated transistors based on multi-valued logic
Published 2013Subjects: “…DRNTU::Engineering::Computer science and engineering::Theory of computation::Mathematical logic and formal languages…”
Get full text
Final Year Project (FYP) -
98
Computational Ecology and Software (http://www.iaees.org/publications/journals/ces/online-version.asp)
Get full text
Article -
99
RSS (http://www.iaees.org/publications/journals/nb/rss.xml)
Get full text
Article -
100