دانلود کتاب Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures
دانلود کتاب Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays
روشهای رسمی و سیستمهای ترکیبی بیدرنگ: مقالههایی به افتخار داین بیورنر و چائوچن ژو به مناسبت هفتادمین سالگرد تولدشان
| موضوع اصلی | کامپیوتر - برنامه نویسی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 542 / 550 |
| حجم فایل | 5.37 مگابایت |
| کد کتاب | 354075220X , 9783540752202 |
| نوبت چاپ | 1 |
دانلود کتاب Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays
روشهای رسمی و سیستمهای ترکیبی بیدرنگ: مقالههایی به افتخار داین بیورنر و چائوچن ژو به مناسبت هفتادمین سالگرد تولدشان
| موضوع اصلی | کامپیوتر - برنامه نویسی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 542 / 557 |
| حجم فایل | 6.60 مگابایت |
| کد کتاب | 354075220X , 9783540752202 |
| نوبت چاپ | 1 |
دانلود کتاب Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003. Proceedings
دانلود کتاب Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers
روشهای رسمی: مبانی و کاربردها: دوازدهمین سمپوزیوم برزیلی روشهای رسمی، SBMF 2009 گرامادو، برزیل، 19-21 اوت، 2009 مقالات منتخب اصلاح شده
| موضوع اصلی | کامپیوترها |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 351 |
| حجم فایل | 4 مگابایت |
| کد کتاب | 3642104517,9783642104510 |
| نوبت چاپ | 1 |
دانلود کتاب Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 Revised Lectures
تکنیک های اصلاح در مهندسی نرم افزار: اولین مدرسه تابستانی پرنامبوکو در مهندسی نرم افزار، PSSE 2004، رسیف، برزیل، 23 نوامبر تا 5 دسامبر 2004 سخنرانی های تجدید نظر شده
| موضوع اصلی | فن آوری |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 393 |
| حجم فایل | 3 مگابایت |
| کد کتاب | 3540462538,9783540462538 |
| نوبت چاپ | 1 |
دانلود کتاب Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings
دانلود کتاب Theoretical Aspects of Computing – ICTAC 2010: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings
دانلود کتاب Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
نرم افزار تایید شده: نظریه ها، ابزارها، آزمایش ها: اولین کنفرانس IFIP TC 2/WG 2.3، VSTTE 2005، زوریخ، سوئیس، 10-13 اکتبر 2005، مقالات و بحث های منتخب اصلاح شده
| موضوع اصلی | برنامه نویسی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 546 |
| حجم فایل | 8 مگابایت |
| کد کتاب | 3540691472,9783540691471 |
| نوبت چاپ | 1 |