Functional and Logic Programming
Nhà xuất bản : Springer
Năm xuất bản : 2008
Mô tả vật lý : 347 p.
Số phân loại : 005
Chủ đề : 1. Computer Science. 2. Software Engineering ; Functional programming. 3. Book.
Thông tin chi tiết
| Tóm tắt : | This volume contains the proceedings of the 9th International Symposium on Functional and Logic Programming (FLOPS 2008), held in Ise, Japan, April 14–16, 2008 at the Ise City Plaza. FLOPS is a forum for research on all issues concerning functional program-ming and logic programming. In particular it aims to stimulate the cross-fertilization as well as integration of the two paradigms. The previous FLOPSmeetings took place in Fuji-Susono (1995), Shonan (1996), Kyoto (1998),Tsukuba (1999), Tokyo (2001), Aizu (2002), Nara (2004), and again Fuji-Susono(2006). Since its 1999 edition, FLOPS proceedings have been published bySpringer in itsseries, as volumes 1722, 2024,2441, 2998 and 3945, respectively. |
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/26484 |
Tài liệu cùng danh mục chủ đề
Lawdata hệ quản trị cơ sở dữ liệu luật Việt Nam: Version 2.0: Tài liệu hướng dẫn sử dụng
Nhà xuất bản : Văn phòng Quốc hội. Trung tâm TT-TV và nghiên cứu khoa học
Năm xuất bản : 1995
Hướng dẫn thực hành phần mềm Eviews / Bùi, Dương Hải
Tác giả : Bùi, Dương Hải
Nhà xuất bản : H. : KHKT
Năm xuất bản : 2011
Cơ sở dữ liệu / Phạm, Quang Trình
Tác giả : Phạm, Quang Trình
Nhà xuất bản : H.:ĐHQG HN
Năm xuất bản : 2006
Software Business Start-up Memories : Key Decisions in Success Stories / by Roderick van Cann, Slinger Jansen, Sjaak Brinkkemper. / Cann, Roderick van
Tác giả : Cann, Roderick van
Nhà xuất bản : London : Palgrave Macmillan UK : Imprint: Palgrave Macmillan, 2013.
Năm xuất bản : 2013
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
Đạ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