دانلود کتاب Automated Deduction – CADE-21: 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings
دانلود کتاب CONCUR ’95: Concurrency Theory: 6th International Conference Philadelphia, PA, USA, August 21–24, 1995 Proceedings
دانلود کتاب Concurrency: Theory, Language, and Architecture: UK/Japan Workshop Oxford, UK, September 25–27, 1989 Proceedings
دانلود کتاب Foundations of Software Science and Computational Structures: 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
مبانی علم نرم افزار و ساختارهای محاسباتی: سیزدهمین کنفرانس بین المللی، FOSSACS 2010، به عنوان بخشی از کنفرانس های مشترک اروپایی در مورد نظریه و عمل نرم افزار، ETAPS 2010، پافوس، قبرس، 20-28 مارس 2010 برگزار شد.
| موضوع اصلی | کامپیوترها |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 389 |
| حجم فایل | 5 مگابایت |
| کد کتاب | 3642120318,9783642120312 |
| نوبت چاپ | 1 |