Pillars of Computer Science: essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday
Nhà xuất bản : Springer
Năm xuất bản : 2008
Mô tả vật lý : 699 p.
Số phân loại : 004.0151
Chủ đề : 1. Computer Science. 2. Book.
Thông tin chi tiết
| Tóm tắt : | "This festschrift is dedicated to Boris Trakhtenbrot on the occasion of his 85th birthday. … The volume covers a wide variety of papers on logic and the foundations of theoretical computer science, written by top people in the field. It is certainly worth acquiring for a library." (K. Lodaya, ACM Computing Reviews, January, 2009) |
Thông tin dữ liệu nguồn
| Thư viện | Ký hiệu xếp giá | Dữ liệu nguồn |
|---|---|---|
Đại học quốc gia Hà Nội
|
|
https://repository.vnu.edu.vn/handle/VNU_123/25426 |
Tài liệu cùng danh mục chủ đề
Hướng dẫn ôn tập tin học đại cương: Dùng cho hệ Đại học tại chức của Đại học KTQD/ B.s.: Hàn Viết Thuận (ch.b), Bùi Thế Ngũ, Trần Công Uẩn.
Tác giả : B.s.: Hàn Viết Thuận (ch.b), Bùi Thế Ngũ, Trần Công Uẩn.
Nhà xuất bản : Thống kê
Năm xuất bản : 2005
Phát triển các mô hình biểu diễn tri thức để giải tự động một số lớp bài toán: LATS Toán học: 1.01.10/ Lê Hoài Bắc
Tác giả : Lê Hoài Bắc
Năm xuất bản : 1999
Tuyển chọn các bài toán tin học dành cho học sinh giỏi trung học phổ thông/ Nguyễn Xuân My ch.b
Tác giả : Nguyễn Xuân My ch.b
Nhà xuất bản : Giáo dục
Năm xuất bản : 2005
Giáo trình toán ứng dụng trong tin học: Sách dùng cho các trường đào tạo hệ trung học chuyên nghiệp/ Bùi Minh Trí
Tác giả : Bùi Minh Trí
Nhà xuất bản : Giáo dục
Năm xuất bản : 2004
Thuật toán đa thức giải một lớp bài toán lập lịch tối ưu trên một máy: LAPTS Toán lý/ Trịnh Nhật Tiến
Tác giả : Trịnh Nhật Tiến
Năm xuất bản : 1984
Đại học Công nghệ - ĐHQGHN 
Đại học Giáo dục - ĐHQGHN 
Đại học khoa học tự nhiên - ĐHQGHN 
Đại học Khoa học Xã hội và Nhân văn - ĐHQGHN 
Đại học Kinh tế - ĐHQGHN 
Đại học Ngoại ngữ - ĐHQGHN 
Đại học Y - Dược - ĐHQGHN 
Học Viện Hàng Không Việt Nam 
Thư viện Huyện Bình Chánh - TVKHTH TP.HCM 
Thư viện huyện Bình Minh - TV Vĩnh Long 
Thư viện huyện Bình Tân - TV Vĩnh Long 
Thư viện Huyện Cần Giờ - TVKHTH TP.HCM 
Thư viện Huyện Củ Chi - TVKHTH TP.HCM 
Thư viện Huyện Hóc Môn - TVKHTH TP.HCM 
Thư viện huyện Long Hồ - TV Vĩnh Long 
Thư viện huyện Mang Thít - TV Vĩnh Long 
Thư viện Huyện Nhà Bè - TVKHTH TP.HCM 
Thư viện huyện Tam Bình - TV Vĩnh Long 
Thư viện huyện Trà Ôn - TV Vĩnh Long 
Thư viện Khoa học Tổng hợp TP.HCM 
Thư viện quận 1 - TVKHTH TP.HCM 
Thư viện quận 10 - TVKHTH TP.HCM 
Thư viện quận 11 - TVKHTH TP.HCM 
Thư viện quận 12 - TVKHTH TP.HCM 
Thư viện quận 2 - TVKHTH TP.HCM 
Thư viện quận 3 - TVKHTH TP.HCM 
Thư viện quận 4 - TVKHTH TP.HCM 
Thư viện quận 5 - TVKHTH TP.HCM 
Thư viện quận 6 - TVKHTH TP.HCM 
Thư viện quận 7 - TVKHTH TP.HCM 
Thư viện quận 8 - TVKHTH TP.HCM 
Thư viện quận Bình Tân - TVKHTH TP.HCM 
Thư viện quận Bình Thạnh - TVKHTH TP.HCM 
Thư viện quận Gò Vấp - TVKHTH TP.HCM 
Thư viện quận Phú Nhuận - TVKHTH TP.HCM 
Thư viện quận Tân Bình - TVKHTH TP.HCM 
Thư viện quận Tân Phú - TVKHTH TP.HCM 
Thư viện Quốc gia Việt Nam 
Thư viện thành phố Thủ Đức (cơ sở 1) - TVKHTH TP.HCM 
Thư viện thành phố Thủ Đức (cơ sở 2) - TVKHTH TP.HCM 
Thư Viện Tỉnh An Giang 
Thư viện tỉnh Vĩnh Long 
Tổ chức y tế thế giới 
Trung tâm giáo dục quốc phòng và An ninh - ĐHQGHN 
Trung tâm Hỗ trợ Sinh viên - ĐHQGHN 
Trường Đại học Luật - ĐHQGHN 
Trường Khoa học liên ngành và nghệ thuật - ĐHQGHN 
Trường Quản trị và Kinh doanh - ĐHQGHN 
Viện Công nghệ Thông tin - ĐHQGHN 
Viện Đảm bảo chất lượng giáo dục - ĐHQGHN 
Viện Quốc tế Pháp ngữ - ĐHQGHN 
Viện Tài nguyên và Môi trường - ĐHQGHN 
Viện Vi sinh vật và Công nghệ Sinh học - ĐHQGHN 
Viện Việt Nam học và Khoa học phát triển - ĐHQGHN