000 |
|
01052nam0 2200253 450 |
001 |
|
1000199372 |
005 |
|
20210425092406.0 |
010 |
__ |
■a978-7-5762-0520-6■dCNY48.00 |
100 |
__ |
■a20210208d2020 em y0chiy50 ea |
101 |
0_ |
■achi |
102 |
__ |
■aCN■b360000 |
105 |
__ |
■aak a 000yy |
106 |
__ |
■ar |
200 |
1_ |
■a形式化开发多序列比对算法■f石海鹤, 张旭初著■Axing shi hua kai fa duo xu lie bi+...... |
210 |
__ |
■a南昌■c江西高校出版社■d2020.12 |
215 |
__ |
■a65页■c图■d24cm |
320 |
__ |
■a有书目 (第60-65页) |
330 |
__ |
■a本研究以形式化方法PAR为基础, 综合运用抽象、演绎、泛型等相关方法和机制, 探索面向效率的算法演算法则/策略。通过+...... |
606 |
0_ |
■a最优化算法■x应用■x生物分析■x研究■Azui you hua suan fa |
690 |
__ |
■aO242.23■v5 |
701 |
_0 |
■a石海鹤■4著■Ashi hai he |
701 |
_0 |
■a张旭初■4著■Azhang xu chu |
801 |
|
■aCN■bGSXY■c20210425 |
905 |
|
■aGSXY■fO242.23/S379■g1445455■g1445456■g1445457 |