Khoa Công Nghệ Thông Tin

The HP-UX system administration handbook and toolkit
The book is a thorough guide for system administrators--from the basics of system set-up to the most advanced tips n' tricks for maximizing performance and troubleshooting.
- Vị trí lưu trữ: 03 Quang Trung
- Tổng sách: 1
- Đang rỗi: 1

The object constraint language : precise modeling with UML
This book is a practical guide to OCL for software architects, designers, and developers. Because it is designed for ease and usability, OCL is likely to gain broad acceptance. Much care has been taken during the design of OCL to ensure that the syntax is readable and writable by the average ...
- Vị trí lưu trữ: Tồn kho (03 Quang Trung)
- Tổng sách: 1
- Đang rỗi: 1

The spine of software : designing provably correct software-theory and practice
This book presents this core of knowledge. The concepts covered are based on the view that a variable is a triple of a name, a set, and an element of that set (a value); that a data environment (the execution) of a program is a sequence of variables; and that a statement, subprogram, or program ...
- Vị trí lưu trữ: 03 Quang Trung
- Tổng sách: 1
- Đang rỗi: 1

Part one: Is jad for you?; Part two: How to do a jad; Part three: Session psychology; Part four: Tools and techniques; Part five: Jad and beyond; Part six: In closing.
- Vị trí lưu trữ: Tồn kho (03 Quang Trung)
- Tổng sách: 1
- Đang rỗi: 1

The integration of expert systems into mainstream software
Discussing aspects of integrating expert systems into mainstream software, this work covers such issues as human-computer interaction, software engineering and quality assessment. Three case studies are provided and each chapter includes suggestions for further reading.
- Vị trí lưu trữ: Tồn kho (03 Quang Trung)
- Tổng sách: 1
- Đang rỗi: 1