Mathematics in Computer Science
ESCI-ISI SCOPUS (2007-2023)
1661-8289
1661-8270
Cơ quản chủ quản: Birkhauser Verlag Basel , SPRINGER BASEL AG
Lĩnh vực:
Computational MathematicsApplied MathematicsComputational Theory and Mathematics
Các bài báo tiêu biểu
Lyapunov-Based Control for a Swarm of Planar Nonholonomic Vehicles
Tập 9 Số 4 - Trang 461-475 - 2015
FEVS: A Functional Equivalence Verification Suite for High-Performance Scientific Computing
Tập 5 Số 4 - Trang 427-435 - 2011
BLIM: A New Bit-Parallel Pattern Matching Algorithm Overcoming Computer Word Size Limitation
Tập 3 Số 4 - Trang 407-420 - 2010