ورود به حساب کاربری

خرید کتاب Computer Aided Verification : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings

اعمال کد تخفیف
مبلغ قابل پرداخت 20,000 تومان
لغو
این بخش در حال توسعه می باشد و به زودی در دسترس شما عزیزان قرار میگیرد
بستن
کاربر محترم لینک های دانلود حداکثر تا ۳ ساعت دیگر به شماره شما پیامک می شود
از صبر و شکیبایی شما ممنونیم
بستن
برای خرید و دانلود فایل باید وارد شوید
ثبت نام / ورود بستن
Computer Aided Verification : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings

Computer Aided Verification : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings

Computer Aided Verification : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings
افزودن به بوکمارک اشتراک گذاری 0 دیدگاه کاربران 5 (0)

مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.
ترجمه این کتاب مشاهده همه کتاب های ترجمه نشده
Computer Aided Verification : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings
از خودتان درباره کتاب توضیح کوتاهی بنویسید
, "This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Computer Aided Verification,
لغو
iran گزارش تخلف

گزارش تخلف

بستن

فرمت کتاب

print book

زبان

english

تاریخ انتشار

2013

نویسنده

Natasha Sharygina; Helmut Veith; SpringerLink (Online service)

ناشر

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.

شابک

9783642397998
20,000 تومان
خرید کتاب مطالعه نمونه درخواست ترجمه کتاب

کتاب های مرتبط

Advances in multimedia information processing - PCM 2013 : 14th Pacific-Rim Conference on Multimedia, Nanjing, China, December 13-16, 2013 : proceedings

Advances in multimedia information processing - PCM 2013 : 14th Pacific-Rim Conference on Multimedia, Nanjing, China, December 13-16, 2013 : proceedings

Benoit Huet...
20
هزار تومان
Swarm, evolutionary, and memetic computing : 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013 : proceedings

Swarm, evolutionary, and memetic computing : 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013 : proceedings

Bijaya Ketan
20
هزار تومان
Emerging Technologies for Education : First International Symposium, SETE 2016, Held in Conjunction with ICWL 2016, Rome, Italy, October 26-29, 2016, Revised Selected Papers

Emerging Technologies for Education : First International Symposium, SETE 2016, Held in Conjunction with ICWL 2016, Rome, Italy, October 26-29, 2016, Revised Selected Papers

Ting-Ting W...
20
هزار تومان
Pattern Recognition Applications and Methods : 5th International Conference, ICPRAM 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers

Pattern Recognition Applications and Methods : 5th International Conference, ICPRAM 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers

Ana Fred; M...
20
هزار تومان
Language and Automata Theory and Applications : 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings

Language and Automata Theory and Applications : 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings

Frank Drewe...
20
هزار تومان
Logic, Language, and Computation : 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers

Logic, Language, and Computation : 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers

Helle Hvid ...
20
هزار تومان
Uncertainty reasoning for the semantic web III : ISWC International Workshops, URSW 2011-2013 : revised selected papers

Uncertainty reasoning for the semantic web III : ISWC International Workshops, URSW 2011-2013 : revised selected papers

Fernando Bo...
20
هزار تومان
Membrane computing : 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014 : revised selected papers

Membrane computing : 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014 : revised selected papers

Marian Gheo...
20
هزار تومان
Machine learning in medical imaging : 6th International Workshop, MLMI 2011, held in conjunction with MICCAI 2015, Munich, Germany, October 5, 2015 : proceedings

Machine learning in medical imaging : 6th International Workshop, MLMI 2011, held in conjunction with MICCAI 2015, Munich, Germany, October 5, 2015 : proceedings

Luping Zhou...
20
هزار تومان
Symbiotic Interaction : 4th International Workshop, Symbiotic 2015, Berlin, Germany, October 7-8, 2015, Proceedings

Symbiotic Interaction : 4th International Workshop, Symbiotic 2015, Berlin, Germany, October 7-8, 2015, Proceedings

Benjamin Bl...
20
هزار تومان
Advances in cryptology--EUROCRYPT 2016 : 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Vienna, Austria, May 8-12, 2016, proceedings

Advances in cryptology--EUROCRYPT 2016 : 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Vienna, Austria, May 8-12, 2016, proceedings

Jean-Séba...
20
هزار تومان
High Performance Computing

High Performance Computing

Sadaf Alam
20
هزار تومان
Verified Software. Theories, Tools, and Experiments

Verified Software. Theories, Tools, and Experiments

Philipp Rummer
20
هزار تومان
Product-Focused Software Process Improvement : 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28-30, 2018, Proceedings

Product-Focused Software Process Improvement : 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28-30, 2018, Proceedings

Marco Kuhrm...
20
هزار تومان
Intelligent Human Computer Interaction : 10th International Conference, IHCI 2018, Allahabad, India, December 7-9, 2018, Proceedings

Intelligent Human Computer Interaction : 10th International Conference, IHCI 2018, Allahabad, India, December 7-9, 2018, Proceedings

Uma Shanker...
20
هزار تومان
Neural Information Processing : 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part II

Neural Information Processing : 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part II

Long Cheng;...
20
هزار تومان
Algorithmic Aspects in Information and Management

Algorithmic Aspects in Information and Management

Sergiy Butenko
20
هزار تومان
Analysis of Images, Social Networks and Texts

Analysis of Images, Social Networks and Texts

Will M P Va...
20
هزار تومان
Future Data and Security Engineering

Future Data and Security Engineering

Nam Thoai
20
هزار تومان
Computational Methods in Systems Biology

Computational Methods in Systems Biology

Kieran Smal...
20
هزار تومان
Secure and Trustworthy Service Composition

Secure and Trustworthy Service Composition

Erkuden Rios
20
هزار تومان
  • اطلاعات
  • دیدگاه کاربران
برای مطالعه توضیحات وارد حساب کاربری خود شوید

دیدگاه کاربران

دیدگاه خود را بنویسید
|
افزایش درآمد افزایش درآمد بهترین های کودک و نوجوان بهترین های کودک و نوجوان میخوای آموزش ببینی میخوای آموزش ببینی
قوانین و مقررات

بوکم با هدف خدمات محتوایی به پژوهشگران، اساتید و دانشجویان راه اندازی شده است. ما را در ارائه خدمات بهتر یاری داده و به گسترش بوکم کمک نمایید.

قوانین استفاده از بوکم:
1- کاربران موظف به استفاده ضحیح از محتوای رایگان و یا قابل خریداری سایت هستند و این استفاده باید در دایره ی قوانین حاکم در جمهوری اسلامی ایران باشد.
2- بوکم در دایره ی قوانین جمهوری اسلامی ایران فعالیت دارد و از قوانین مالکیت فکری و کپی رایت طبق قواعد جمهوری اسلامی ایران فعالیت میکند. چنانچه در این مورد سهوا اشتباهی انجام شده لطفا اطلاع بدهید تا سریعا پیگیری شود.
3- به خاطر تغییراتی که در فروشگاه های مرجعی که بوکم از آنها کتاب تهیه میکند پیش می آید، ممکن است کتاب خریداری شده ی کاربر قابل تهیه کردن نباشد که در این صورت بوکم مبلغ پرداختی کاربر را به حساب او عودت داده و یا کیف پول او نزد بوکم را شارژ می نماید.
4- بیشتر از کتابهای درخواستی به صورت آنی در اختیار خریدار قرار میگیرد. مواردی که آنی قابل ارسال نیست حداکثر در سه ساعت در زمان کاری تهیه شده و به کاربر اطلاع داده شده و لینک دانلود برای او ارسال میشود.
5- کاربران موظف به حفظ محتوای خریداری شده توسط خودشان هستند و بوکم تعهد نگهداری یک ماه از کتاب خریداری شده توسط کاربر را دارد.
6- کاربرانی که در تامین محتوا و همکاری در فروش با بوکم همکاری دارند بایست طبق قوانین جمهوری اسلامی ایران اقدام به فروش در پلتفرم بوکم نمایند و پاسخگوی مراجع ذی صلاح درباره محتوای فروشی خود در بستر بوکم را به عهده دارند.
7- فایل فروخته شده با ارائه دلیل منطقی(مثل کیفیت نامناسب کتاب برای خوانش) تا 24 ساعت از سوی کاربر قابل عودت می باشد.

پذیرفتن