Lectures on Proof Verification and Approximation Algorithms (Lecture Notes in Computer Science (1367))
Thomas Jansen (auth.), Ernst W. Mayr, Hans Jürgen Prömel, Angelika Steger (eds.)قیمت
تخفیف زماندار
۱۳٬۰۰۰ تومان تخفیف
۱۳٬۰۰۰ تومان ارزانتر از قیمت اصلی
بلافاصله پس از خرید، فایل کتاب روی دستگاه شما آمادهٔ دانلود است.
مشخصات کتاب
- سال انتشار
- ۱۳۶۷
- فرمت
- زبان
- انگلیسی
- حجم فایل
- ۱۶٫۹ مگابایت
- شابک
- 9783540642015، 9783540697015، 3540642013، 3540697012
کتابهای مشابه
Software Verification (Lecture Notes in Computer Science)
۴۹٬۰۰۰ تومان
Compiler Specification And Verification (lecture Notes In Computer Science)
۴۹٬۰۰۰ تومان
Compiler Specification And Verification (lecture Notes In Computer Science)
۴۹٬۰۰۰ تومان
Efficient Checking of Polynomials and Proofs and the Hardness of Approximation Problems (Lecture Notes in Computer Science, 1001)
۴۹٬۰۰۰ تومان
Efficient Checking of Polynomials and Proofs and the Hardness of Approximation Problems (Lecture Notes in Computer Science, 1001)
۴۹٬۰۰۰ تومان
Approximation Algorithms Lecture Notes (UIUC CS598CSC)
۴۹٬۰۰۰ تومان
Lecture Notes in Computer Science: Group Theoretic Algorithms and Graph Isomorphism (Lecture Notes in Computer Science)
۴۹٬۰۰۰ تومان
Lecture Notes in Computer Science: Group Theoretic Algorithms and Graph Isomorphism (Lecture Notes in Computer Science)
۴۹٬۰۰۰ تومان
Lecture Notes in Computer Science: Group Theoretic Algorithms and Graph Isomorphism (Lecture Notes in Computer Science)
۴۹٬۰۰۰ تومان
Termination Proofs For Logic Programs (lecture Notes In Computer Science)
۴۹٬۰۰۰ تومان
Termination Proofs For Logic Programs (lecture Notes In Computer Science)
۴۹٬۰۰۰ تومان
Hybrid Systems III: Verification and Control (Lecture Notes in Computer Science)
۴۹٬۰۰۰ تومان
قیمت نهایی
۳۶٬۰۰۰ تومان