دانلود کتاب Baltic Computer Science: Selected Papers
49,000 تومان
علوم کامپیوتر بالتیک: مقالات منتخب
| موضوع اصلی | کامپیوترها |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 626 |
| حجم فایل | 4 مگابایت |
| کد کتاب | 3540541314,9783540541318,0387541314 |
| نوبت چاپ | 1 |
| نویسنده | Dines Bjørner (eds.), E. Tyugu (auth.), G. Mints, Jānis Bārzdiņš |
|---|---|
| زبان | انگلیسی |
| فرمت | DJVU |
| سال انتشار | 1991 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
علوم کامپیوتر بالتیک: مقالات منتخب
این جلد بخش قابل توجهی از نتایج بهدستآمده در چند سال اخیر در زمینه علوم رایانه در جمهوریهای بالتیک استونی، لتونی و لیتوانی را ارائه میکند. این شامل نتایجی است که قبلاً فقط به زبان روسی منتشر شده بود و همچنین نتایج کاملاً جدید. به موضوعات اصلی زیر پرداخته می شود: ترکیب قیاسی برنامه ها، تولید نمونه آزمایشی خودکار، و مشخصات و تولید سیستم های توزیع شده. اینها همه زمینه هایی هستند که دانشمندان حوزه بالتیک در آنها مشارکت قابل توجهی داشته اند. این جلد شامل نتایج نظری و توضیحات کلی و خطوط کلی منطقی برخی از سیستم های عملی است.
Baltic Computer Science: Selected Papers
This volume presents a substantial part of the results obtained in the last few years in the field of computer science in the Baltic Republics of Estonia, Latvia and Lithuania. It includes results previously published only in Russian as well as completely new results. The following main topics are addressed: deductive synthesis of programs, automatic test case generation, and specification and generation of distributed systems. These are all fields where Baltic scientists have made substantial contributions. The volume contains both theoretical results and general descriptions and logical outlines of some practical systems.
برای فرستادن دیدگاه، باید وارد شده باشید.
محصولات مرتبط
دانلود کتاب Data Privacy Management, Cryptocurrencies and Blockchain Technology: ESORICS 2019 International Workshops, DPM 2019 and CBT 2019, Luxembourg, September 26–27, 2019, Proceedings
| موضوع اصلی | کامپیوترها |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer International Publishing |
| تعداد صفحه | 404 |
| حجم فایل | 22.75 مگابایت |
| کد کتاب | 3030315002 , 9783030315009 |
| نوبت چاپ | ویرایش اول. 2019 |
دانلود کتاب Financial Cryptography and Data Security: FC 2018 International Workshops, BITCOIN, VOTING, and WTSC, Nieuwpoort, Curaçao, March 2, 2018, Revised Selected Papers
| موضوع اصلی | کامپیوتر - تجارت و فرهنگ کامپیوتر |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer Berlin Heidelberg |
| تعداد صفحه | 393 |
| حجم فایل | 18.40 مگابایت |
| کد کتاب | 366258820X , 9783662588208 |
| نوبت چاپ | اولین ویرایش |
نقد و بررسیها
هنوز بررسیای ثبت نشده است.