Formal analysis of hybrid prefix/carry-select arithmetic systems /
Đã lưu trong:
| Tác giả khác: | , , , |
|---|---|
| Định dạng: | Bài viết |
| Ngôn ngữ: | English |
| Những chủ đề: | |
| Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|
| LEADER | 00903nam a2200313 4500 | ||
|---|---|---|---|
| 001 | DLU110130050 | ||
| 005 | ##20111223 | ||
| 040 | # | # | |a DLU |b eng |
| 041 | # | # | |a eng |
| 044 | # | # | |a uk |
| 245 | # | # | |a Formal analysis of hybrid prefix/carry-select arithmetic systems / |c Feng Liu ... [et al.]. |
| 653 | # | # | |a Carry-select adders |
| 653 | # | # | |a Computer arithmetic |
| 653 | # | # | |a Formal methods |
| 653 | # | # | |a Parallel prefix adders |
| 700 | # | # | |a Chen, Gang. |
| 700 | # | # | |a Liu, Feng. |
| 700 | # | # | |a Song, Xiaoyu. |
| 700 | # | # | |a Tan, Qingping. |
| 773 | # | # | |t The Computer Journal |g Vol. 54, no. 6 (June 2011), p. 894-904 |
| 920 | # | # | |a Phòng Tạp chí -- Trung tâm Thông tin - Thư viện Trường Đại học Đà Lạt |
| 994 | # | # | |a DLU |
| 900 | # | # | |a True |
| 911 | # | # | |a Trương Bảo Trâm Anh |
| 925 | # | # | |a G |
| 926 | # | # | |a A |
| 927 | # | # | |a BB |
| 980 | # | # | |a Thư viện Trường Đại học Đà Lạt |