دانلود کتاب Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings
فناوری خودکار برای تأیید و تجزیه و تحلیل: چهارمین سمپوزیوم بین المللی، ATVA 2006، پکن، چین، 23-26 اکتبر 2006. مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 546 |
| حجم فایل | 8 مگابایت |
| کد کتاب | 3540472371,9783540472377 |
| نوبت چاپ | 1 |
دانلود کتاب COTS-Based Software Systems: 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005. Proceedings
سیستم های نرم افزاری مبتنی بر COTS: چهارمین کنفرانس بین المللی، ICCBSS 2005، بیلبائو، اسپانیا، 7-11 فوریه، 2005. مجموعه مقالات
| موضوع اصلی | فن آوری |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 312 |
| حجم فایل | 3 مگابایت |
| کد کتاب | 3540245480,9783540245483,9783540305873 |
| نوبت چاپ | 1 |
دانلود کتاب Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
دانلود کتاب Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures
دانلود کتاب Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures
روش های رسمی برای اجزا و اشیاء: اولین سمپوزیوم بین المللی، FMCO 2002، لیدن، هلند، 5-8 نوامبر 2002، سخنرانی های تجدید نظر شده
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 512 |
| حجم فایل | 5 مگابایت |
| کد کتاب | 3540203036,9783540203032 |
| نوبت چاپ | 1 |
دانلود کتاب Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures
روش های رسمی برای اجزا و اشیاء: دومین سمپوزیوم بین المللی، FMCO 2003، لیدن، هلند، 4-7 نوامبر 2003. سخنرانی های تجدید نظر شده
| موضوع اصلی | کامپیوترها |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 371 |
| حجم فایل | 7 مگابایت |
| کد کتاب | 3540229426,9783540229421,9783540301011 |
| نوبت چاپ | 1 |
دانلود کتاب Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures
روش های رسمی برای اجزا و اشیاء: سومین سمپوزیوم بین المللی، FMCO 2004، لیدن، هلند، 2 تا 5 نوامبر 2004، سخنرانی های تجدید نظر شده
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 328 |
| حجم فایل | 3 مگابایت |
| کد کتاب | 3540291318,9783540291312 |
| نوبت چاپ | 1 |
دانلود کتاب Formal Techniques for Networked and Distributed Systems – FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings
تکنیک های رسمی برای سیستم های شبکه ای و توزیع شده – FORTE 2007: بیست و هفتمین کنفرانس بین المللی IFIP WG 6.1، تالین، استونی، 27-29 ژوئن، 2007. مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 378 |
| حجم فایل | 5 مگابایت |
| کد کتاب | 3540731954,9783540731955 |
| نوبت چاپ | 1 |
دانلود کتاب Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004. Proceedings
دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings
ابزارها و الگوریتمها برای ساخت و تحلیل سیستمها: ششمین کنفرانس بینالمللی، TACAS 2000 به عنوان بخشی از کنفرانسهای مشترک اروپایی در نظریه و عمل نرمافزار، ETAPS 2000 برلین، آلمان، 25 مارس - 2 آوریل 2000 مجموعه مقالات برگزار شد.
| موضوع اصلی | الگوریتم ها و ساختارهای داده |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 552 |
| حجم فایل | 5 مگابایت |
| کد کتاب | 3540672826,9783540672821 |
| نوبت چاپ | 1 |