Khoa Công Nghệ Thông Tin
Next generation case tools. Studies in computer and communications systems, 3
This collection of articles from some of the foremost researchers in the field provides an overview of what is currently happening in CASE research and what CASE environments of the future may look like. Topics covered include use of formal specifications in CASE, ...
- Vị trí lưu trữ: Tồn kho (03 Quang Trung)
- Tổng sách: 1
- Đang rỗi: 1
The creative computer : machine intelligence and human knowledge
1. Brute force and ignorance; 2. Computers join the experts; 3. Human window on the world; 4. Thinking about thinking; 5. Experience and discovery; 6. The creation of new knowledge; 7. A metaphor upside down; 8. Coming to model heaven; 9. The cat that isn't there; 10. ...
- Vị trí lưu trữ: Tồn kho (03 Quang Trung)
- Tổng sách: 1
- Đang rỗi: 1
The olduvai imperative : case and the State of software engineering practice
The book takes you step by step through the actual processes that software engineers go through, showing what actually happens - not what ought to happen - during software development. It goes on to cover standards and metrics, issues in software quality, platforms and ...
- Vị trí lưu trữ: 03 Quang Trung
- Tổng sách: 1
- Đang rỗi: 1
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 ...
- 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