Chủ đề được đề xuất trong tìm kiếm của bạn.
Chủ đề được đề xuất trong tìm kiếm của bạn.
2521
Bỡi Nguyễn Viết Tiến
Được phát hành 2005
Được phát hành 2005
Thư viện lưu trữ:
Thư viện Trường CĐ Kỹ Thuật Cao Thắng
2522
Bỡi Phạm Xuân Khánh
Được phát hành 2008
Được phát hành 2008
Thư viện lưu trữ:
Thư viện Trường CĐ Kỹ Thuật Cao Thắng
2523
Bỡi Hoàng Tùng
Được phát hành 2007
Được phát hành 2007
Thư viện lưu trữ:
Thư viện Trường CĐ Kỹ Thuật Cao Thắng
2524
Bỡi Đỗ Đức Giáo
Được phát hành 2011
Được phát hành 2011
Thư viện lưu trữ:
Thư viện Trường CĐ Kỹ Thuật Cao Thắng
2525
Bỡi Phan Hữu Phúc
Được phát hành 2004
Được phát hành 2004
Thư viện lưu trữ:
Thư viện Trường CĐ Kỹ Thuật Cao Thắng
2526
Bỡi Hoàng Tùng
Được phát hành 2004
Được phát hành 2004
Thư viện lưu trữ:
Thư viện Trường CĐ Kỹ Thuật Cao Thắng
2527
Bỡi Lương Ngọc Hải
Được phát hành 2005
Được phát hành 2005
Thư viện lưu trữ:
Thư viện Trường CĐ Kỹ Thuật Cao Thắng
2528
Bỡi Hoàng Tùng
Được phát hành 2007
Được phát hành 2007
Thư viện lưu trữ:
Thư viện Trường CĐ Kỹ Thuật Cao Thắng
2529
Bỡi Hoàng Tùng
Được phát hành 2004
Được phát hành 2004
Thư viện lưu trữ:
Thư viện Trường CĐ Kỹ Thuật Cao Thắng
2530
Bỡi Lương Ngọc Hải
Được phát hành 2009
Được phát hành 2009
Thư viện lưu trữ:
Thư viện Trường CĐ Kỹ Thuật Cao Thắng
2531
Bỡi Phạm Văn Tuân
Được phát hành 2015
Được phát hành 2015
Thư viện lưu trữ:
Thư viện Trường CĐ Kỹ Thuật Cao Thắng
2532
“...” and checker libraries, Linear
Temporal Logic operators, and semantics and usage in formal verification...”
Thư viện lưu trữ:
Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
2533
Bỡi Mitchell, Margaret
Được phát hành 2012
Được phát hành 2012
Thư viện lưu trữ:
Trung tâm Học liệu Trường Đại học Cần Thơ
2534
Bỡi Mitchell, Margaret
Được phát hành 2012
Được phát hành 2012
Thư viện lưu trữ:
Trung tâm Học liệu Trường Đại học Cần Thơ
2535
Bỡi Belfort, Jordan.
Được phát hành 2012
Mục lục:
“... -- Chương 11. Tài năng của một sói già -- Chương 12. Logic thay đổi -- Chương 13. Cánh cửa xoay -- Chương 14...”Được phát hành 2012
Thư viện lưu trữ:
Thư viện Trường Đại học Đà Lạt
2536
Bỡi Abdul-Jawad, Bashar
Được phát hành 2012
“...
easier and let you focus on the logic of the problem at hand, which is exactly what Grails
does. Grails...”Được phát hành 2012
Thư viện lưu trữ:
Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
2537
“... tổng quát: suy dẫn logic, suy dẫn theo quan hệ và suy dẫn theo quan hệ có không quá hai bộ....”
Thư viện lưu trữ:
Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
2538
Bỡi Beresniewicz, John, Billington, Adrian, Büchi, Martin, Caffrey, Melanie, Crisco, Ron, Cunningham, Lewis, Delmolino, Dominic, Harper, Sue, Holm, Torben, McDonald, Connor, Nanda, Arup, Petit, Stephan, Rosenblum, Michael, Sands, Robyn, Shamsudeen, Riyaj
Được phát hành 2011
“... the functionality that distinguishes PL/SQL as a powerful and scalable programming language for deploying logic...”Được phát hành 2011
Thư viện lưu trữ:
Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
2539
Bỡi Trần Quang Vinh
Được phát hành 2008
Được phát hành 2008
Thư viện lưu trữ:
Thư viện Trường CĐ Kỹ Thuật Cao Thắng
2540
Bỡi Bùi Hồng Huế
Được phát hành 2011
Được phát hành 2011
Thư viện lưu trữ:
Thư viện Trường CĐ Kỹ Thuật Cao Thắng