Mathematical theory of programs: Dedicated to the memory/ Takayasu Ito
Tác giả : Takayasu Ito
Nhà xuất bản : Sankeisha
Năm xuất bản : 2013
Nơi xuất bản : Aichi
Mô tả vật lý : ix, 460 p.; 26 cm
ISBN : 9784864871600
Số phân loại : 004.0151
Chủ đề : 1. Chương trình máy tính. 2. Toán học.
Thông tin dữ liệu nguồn
| Thư viện | Ký hiệu xếp giá | Dữ liệu nguồn |
|---|---|---|
Thư viện Quốc gia Việt Nam
|
|
https://opac.nlv.gov.vn/pages/opac/wpid-detailbib-id-723943.html |
X
Nhan đề :
Xếp giá :
Bạn đọc :
Ngày mượn :
Hạn trả :
Tài liệu cùng tác giả
Program correctness and observable computability/ Takayasu Ito
Tác giả : Takayasu Ito
Nhà xuất bản : Sankeisha
Năm xuất bản : 2013
Tài liệu cùng danh mục chủ đề
Từ điển an toàn thông tin Anh - Việt, Việt - Anh = : English-Vietnamese and Vietnamese-English dictionary of information security / Ban từ điển
Tác giả : Ban từ điển
Nhà xuất bản : KHKT
Năm xuất bản : 2001
Dictionary of computing and communications / McGraw-Hill
Tác giả : McGraw-Hill
Nhà xuất bản : McGraw-Hill
Năm xuất bản : 2003
Từ điển máy tính Anh-Việt : English-Vietnamese computer dictionary / Ngọc Anh Thư Press
Tác giả : Ngọc Anh Thư Press
Nhà xuất bản : Thống Kê
Năm xuất bản : 2002
Toán rời rạc cơ sở toán cho máy tính = : Foundations of computer science / Alfred V. Aho và Jeffrey D. Ullman; Trần Đức Quang biên dịch
Tác giả : Alfred V. Aho và Jeffrey D. Ullman; Trần Đức Quang biên dịch
Nhà xuất bản : ĐHQG
Năm xuất bản : 2003
Giáo trình tin học đại cương B / Ngũ Thiện Ngọc Lâm, Nguyễn Minh Trung
Tác giả : Ngũ Thiện Ngọc Lâm, Nguyễn Minh Trung
Nhà xuất bản : Trường Đại học Cần Thơ
Năm xuất bản : 2003
Đạ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 quốc gia Hà Nội 
Đại học Y - Dược - ĐHQGHN 
Học Viện Hàng Không Việt Nam 
Thư viện đại học Cần Thơ 
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 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