دانلود کتاب Applied Semantics: International Summer School, APPSEM 2000 Caminha, Portugal, September 9–15, 2000 Advanced Lectures
دانلود کتاب Applied Semantics: International Summer School, APPSEM 2000 Caminha, Portugal, September 9–15, 2000 Advanced Lectures
دانلود کتاب Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
ساخت و تجزیه و تحلیل دستگاه های هوشمند ایمن، ایمن و قابل همکاری: کارگاه بین المللی، CASSIS 2004، مارسی، فرانسه، 10-14 مارس، 2004، مقالات منتخب اصلاح شده
| موضوع اصلی | ساخت و ساز |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 258 |
| حجم فایل | 4 مگابایت |
| کد کتاب | 9783540242871,3540242872 |
| نوبت چاپ | 1 |
دانلود کتاب Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers
ساخت و تجزیه و تحلیل دستگاه های هوشمند ایمن، ایمن و قابل همکاری: دومین کارگاه بین المللی، CASSIS 2005، نیس، فرانسه، 8-11 مارس 2005، مقالات منتخب اصلاح شده
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 173 |
| حجم فایل | 2 مگابایت |
| کد کتاب | 3540336893,9783540336891 |
| نوبت چاپ | 1 |
دانلود کتاب Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
روشهای رسمی برای سیستمهای توزیع شده مبتنی بر شی باز: دهمین کنفرانس بینالمللی IFIP WG 6.1، FMOODS 2008، اسلو، نروژ، 4-6 ژوئن، 2008 مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 259 |
| حجم فایل | 3 مگابایت |
| کد کتاب | 3540688625,9783540688624 |
| نوبت چاپ | 1 |
دانلود کتاب Foundations of Probabilistic Programming
دانلود کتاب Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures
دانلود کتاب Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures
دانلود کتاب Trustworthy Global Computing: Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers
محاسبات جهانی قابل اعتماد: سومین سمپوزیوم، TGC 2007، سوفیا-آنتیپولیس، فرانسه، 5-6 نوامبر 2007، مقالات منتخب اصلاح شده
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 401 |
| حجم فایل | 5 مگابایت |
| کد کتاب | 3540786627,9783540786627 |
| نوبت چاپ | 1 |
دانلود کتاب Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings (Lecture … Computer Science and General Issues)
تأیید، بررسی مدل، و تفسیر چکیده: یازدهمین کنفرانس بین المللی، VMCAI 2010، مادرید، اسپانیا، 17-19 ژانویه 2010، مجموعه مقالات (سخنرانی ... علوم کامپیوتر و مسائل عمومی)
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer |
| تعداد صفحه | 406 |
| حجم فایل | 4 مگابایت |
| کد کتاب | 3642113184,9783642113185 |
| نوبت چاپ | نسخه اول. |