سخنرانی در مورد الگوریتم های تأیید اثبات و تقریب
Lectures on Proof Verification and Approximation Algorithms
نویسنده: Thomas Jansen (auth.), Ernst W. Mayr, Hans Jürgen Prömel, Angelika Steger (eds.)
ناشر: Springer-Verlag Berlin Heidelberg
سال انتشار: 1998
تعداد صفحات: 348 [337]
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 16 مگابایت