Verification, Model Checking, and Abstract Interpretation / David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Neil D. Jones, Markus Müller-Olm.
Tác giả : David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Neil D. Jones, Markus Müller-Olm.
Nhà xuất bản : Springer
Năm xuất bản : 2009
Số phân loại : 005.1/4
Chủ đề : 1. Computer Science. 2. Book.
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/29837 |
Tài liệu cùng danh mục chủ đề
Em học lập trình Coding / Randy Lynn ; 1980Edu dịch
Tác giả : Randy Lynn ; 1980Edu dịch
Nhà xuất bản : Dân trí
Năm xuất bản : 2022
Tớ học lập trình : làm quen với Python / Louie Stowell và Rosie Dickins ; John Devolle minh họa ; Matt Preston thiết kế ; Sean Oxspring và Ben Woodhall tư vấn lập trình ; Mai Thành Trung dịch
Tác giả : Louie Stowell và Rosie Dickins ; John Devolle minh họa ; Matt Preston thiết kế ; Sean Oxspring và Ben Woodhall tư vấn lập trình ; Mai Thành Trung dịch
Nhà xuất bản : Thế giới
Năm xuất bản : 2023
Hướng dẫn lập trình C# : bài tập thực hành / Nguyễn Tất Bảo Thiện, Phạm Quang Huy
Tác giả : Nguyễn Tất Bảo Thiện, Phạm Quang Huy
Nhà xuất bản : Thanh niên
Năm xuất bản : 2023
Lập trình ứng dụng python dành cho người bắt đầu / Phạm Quang Huy, Lê Cảnh Trung, Phan Bá Đạm
Tác giả : Phạm Quang Huy, Lê Cảnh Trung, Phan Bá Đạm
Nhà xuất bản : Thanh niên
Năm xuất bản : 2023
Tự học lập trình C# bằng hình ảnh : bài tập thực hành / Phạm Phương Hoa, Phạm Quang Hiển
Tác giả : Phạm Phương Hoa, Phạm Quang Hiển
Nhà xuất bản : Thanh niên
Năm xuất bản : 2023
Đạ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