Heuristic-guided abstraction refinement /
Đã lưu trong:
| Údair Eile: | Gu, Ming., He, Fei., Song, Xiaoyu., Sun, Jiaguang. |
|---|---|
| Formáid: | Bài viết |
| Teanga: | English |
| Ábhair: | |
| Clibeanna: |
Cuir Clib Leis
Gan Chlibeanna, Bí ar an gcéad duine leis an taifead seo a chlibeáil!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|
Míreanna Comhchosúla
-
Heuristic search : theory and applications /
le: Edelkamp, Stefan.
Foilsithe: (2012) -
How to solve it: Modern heuristics
le: Zbigniew Michalewicz
Foilsithe: (2000) -
Heuristic Reasoning
le: Ippoliti, Emiliano
Foilsithe: (2015) - Hardness results and heuristic for multi-groups interconnection /
-
Xây dựng giải thuật heuristic để bù công suất phản kháng đối với mạng phân phối hình tia=Heuristic algorithms construction to compensate reactive power distribution network for the ray
le: Võ, Trà Nam