دانلود کتاب 25 Years of Model Checking: History, Achievements, Perspectives
دانلود کتاب 25 Years of Model Checking: History, Achievements, Perspectives
دانلود کتاب Application and Theory of Petri Nets 1994: 15th International Conference Zaragoza, Spain, June 20–24, 1994 Proceedings
دانلود کتاب Automated Deduction – CADE-19: 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28 – August 2, 2003. Proceedings
کسر خودکار – CADE-19: نوزدهمین کنفرانس بین المللی کسر خودکار، میامی بیچ، فلوریدا، ایالات متحده آمریکا، 28 ژوئیه تا 2 آگوست 2003. مجموعه مقالات
موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
---|---|
نوع کالا | کتاب الکترونیکی |
ناشر | Springer-Verlag Berlin Heidelberg |
تعداد صفحه | 512 |
حجم فایل | 6 مگابایت |
کد کتاب | 3540405593,9783540405597 |
نوبت چاپ | 1 |