Mathematical software on Chrome OS by Kok, Jian Zhong

Subjects: “…DRNTU::Engineering::Computer science and engineering::Mathematics of computing::Mathematical software…”
Get full text

Automatic mathematics answer assessment system by Alexander, Martinus

Subjects: “…DRNTU::Engineering::Computer science and engineering::Mathematics of computing::Mathematical software…”
Get full text

Study on probability or number theory by Zhuang, Yugui

Subjects: “…Engineering::Computer science and engineering::Theory of computation::Mathematical logic and formal languages…”
Get full text

Solving Combinatorial Optimization Problems on Quantum Computers by Vyacheslav Korolyov, Oleksandr Khodzinskyi

Subjects: Get full text

A designer support framework for specification comprehensibility in automata-based discrete-event control design by Amrith Dhananjayan

Subjects: “…DRNTU::Engineering::Computer science and engineering::Theory of computation::Mathematical logic and formal languages…”
Get full text

Modeling and verification of safety critical systems : a case study on pacemaker by Koo, Sheng Kiat

Subjects: “…DRNTU::Engineering::Computer science and engineering::Theory of computation::Mathematical logic and formal languages…”
Get full text

Hakmilik strata di Semenanjung Malaysia; Penggunaan teknik statistik didalam penganalisaan suatu ujian pecahtebat; Design of the front end of a satellite receiver; Merekabentuk alat penterjemah elektronik : bahasa Malaysia/bahasa Inggeris dan bahasa Inggeris/bahasa Malaysia; Graphic state background display using microprocessor or computer; Mathematical model of thermoelectric sensors / [mikrofilem] by A. Aziz Mat Ali, Mohd. Fadzil Mohd. Tap, Mustafa Kamal Mahamood, Abdul Aziz Abdul Rahman, Nooreihan Harun

Embedding an object calculus in the unifying theories of programming by Smith, M

Subjects: “…Computing Mathematics…”

Relationship between mental computation and mathematical reasoning by Ramazan Gürbüz, Emrullah Erdem

Subjects: Get full text

Digital karyotyping of cancer cell lines from NGS data by Ahmed Ibrahim Samir Khalil

Subjects: “…Engineering::Computer science and engineering::Mathematics of computing::Mathematical software…”
Get full text

Development of SageMath filter for Moodle by E. O. Modlo, S. O. Semerikov

Subjects: Get full text

18.404J / 6.840J Theory of Computation, Fall 2006 by Sipser, Michael

Subjects: Get full text

Refining learning models in grammatical inference by Wang, Xiangrui

Subjects: “…DRNTU::Engineering::Computer science and engineering::Theory of computation::Mathematical logic and formal languages…”
Get full text

Probabilistic model checking for hybrid systems with hybrid concolic testing and importance sampling by Kong, Pingfan

Subjects: “…DRNTU::Engineering::Computer science and engineering::Theory of computation::Mathematical logic and formal languages…”
Get full text

Development of mobile application for analysis of electricity price plans (A) by Ong, John Rongxing

Subjects: “…DRNTU::Engineering::Computer science and engineering::Theory of computation::Mathematical logic and formal languages…”
Get full text

СТИМУЛИРОВАНИЕ ИЗУЧЕНИЯ ФИЗИКИ В КОЛЛЕДЖЕ ИНФОРМАТИКИ by Пипич Петр Васильевич

Subjects: “…computer mathematics systems…”
Get full text

DNA mediated transistors based on multi-valued logic by Arjun Kudva.

Subjects: “…DRNTU::Engineering::Computer science and engineering::Theory of computation::Mathematical logic and formal languages…”
Get full text

Computational Ecology and Software (http://www.iaees.org/publications/journals/ces/online-version.asp) by ces@iaees.org

Subjects: “…Numerical Analysis and Computational Mathematics…”
Get full text

RSS (http://www.iaees.org/publications/journals/nb/rss.xml) by Network Biology (ISSN 2220-8879)

Subjects: “…Numerical Analysis and Computational Mathematics…”
Get full text

Experimental confirmation of driving pressure boosting and smoothing for hybrid-drive inertial fusion at the 100-kJ laser facility by Ji Yan, Jiwei Li, X. T. He, Lifeng Wang, Yaohua Chen, Feng Wang, Xiaoying Han, Kaiqiang Pan, Juxi Liang, Yulong Li, Zanyang Guan, Xiangming Liu, Xingsen Che, Zhongjing Chen, Xing Zhang, Yan Xu, Bin Li, Minqing He, Hongbo Cai, Liang Hao, Zhanjun Liu, Chunyang Zheng, Zhensheng Dai, Zhengfeng Fan, Bin Qiao, Fuquan Li, Shaoen Jiang, M. Y. Yu, Shaoping Zhu

Get full text