This book constitutes the refereed proceedings of the 8th FIP WG 2.2 International Conference, TCS 2014, held in Rome, Italy, in September 2014. The 26 revised full papers presented, together with two invited talks, were carefully reviewed and selected from 73 submissions. [Suggestion–please check and add more if needed]TCS-2014 consisted of two tracks, with separate program committees, which dealt respectively with: – Track A: Algorithms, Complexity and Models of Computation, and- Track B: Logic, Semantics, Specification and Verification
€57.54
Mua cuốn sách điện tử này và nhận thêm 1 cuốn MIỄN PHÍ!
Ngôn ngữ Anh ● định dạng PDF ● ISBN 9783662446027 ● Biên tập viên Josep Diaz & Ivan Lanese ● Nhà xuất bản Springer Berlin Heidelberg ● Được phát hành 2014 ● Có thể tải xuống 3 lần ● Tiền tệ EUR ● TÔI 6348688 ● Sao chép bảo vệ Adobe DRM
Yêu cầu trình đọc ebook có khả năng DRM
Thêm sách điện tử từ cùng một tác giả / Biên tập viên
48.586 Ebooks trong thể loại này
