Khoa Công Nghệ Thông Tin
FGCS ’92 : Fifth generation computer systems 1992 : volume 2
1. Reasoning about programs; 2. Analogy; 3. Abduction (1); 4. Abduction (2); 5. Semantics of logic programs; 6. Invited paper; 7. Machine learning; 8. Theorem proving; 9. Functional programming and constructive logic; 10. Temporal reasoning; 11. Hardware architecrure and evaluation; 12. Invited ...
- Số tập: volume 2
- Vị trí lưu trữ: Tồn kho (03 Quang Trung)
- Tổng sách: 1
- Đang rỗi: 1
ICQ For Dummies authors Peter Weverka and Michael Taylor, computer publishing pros, spell out what it takes to use this popular Web tool to your advantage and watch your own popularity grow, too!
- Vị trí lưu trữ: 03 Quang Trung
- Tổng sách: 1
- Đang rỗi: 1
Includes 3 parts: Fundamental mathematical techniques; Basic operational research techniques; Specialised operational research application.
- Vị trí lưu trữ: Tồn kho (03 Quang Trung)
- Tổng sách: 1
- Đang rỗi: 1
- Vị trí lưu trữ: Tồn kho (03 Quang Trung)
- Tổng sách: 1
- Đang rỗi: 1
Novell's guide to creating intranetware intranets
Chapter 1. Defining intranets and internets; Chapter 2. Novell web server as an intranet/internet server; Chapter 3. Installing the novell web server; Chapter 4. Configuring and administering the novell web server; Chapter 5. Using HTML to provide dynamic novell web server ...
- Vị trí lưu trữ: Tồn kho (03 Quang Trung)
- Tổng sách: 1
- Đang rỗi: 1





