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

خرید کتاب Interactive theorem proving 4th International Conference ; proceedings

اعمال کد تخفیف
مبلغ قابل پرداخت 20,000 تومان
لغو
این بخش در حال توسعه می باشد و به زودی در دسترس شما عزیزان قرار میگیرد
بستن
کاربر محترم لینک های دانلود حداکثر تا ۳ ساعت دیگر به شماره شما پیامک می شود
از صبر و شکیبایی شما ممنونیم
بستن
برای خرید و دانلود فایل باید وارد شوید
ثبت نام / ورود بستن
Interactive theorem proving 4th International Conference ; proceedings

Interactive theorem proving 4th International Conference ; proceedings

Interactive theorem proving 4th International Conference ; proceedings
افزودن به بوکمارک اشتراک گذاری 0 دیدگاه کاربران 5 (0)

مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.
ترجمه این کتاب مشاهده همه کتاب های ترجمه نشده
Interactive theorem proving 4th International Conference ; proceedings
از خودتان درباره کتاب توضیح کوتاهی بنویسید
, ,
لغو
iran گزارش تخلف

گزارش تخلف

بستن

فرمت کتاب

print book

زبان

english

تاریخ انتشار

2013

نویسنده

Sandrine Blazy; Christine

ناشر

Berlin Heidelberg Springer 2013

شابک

978-3-642-39633-5
20,000 تومان
خرید کتاب مطالعه نمونه درخواست ترجمه کتاب

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

Glowworm Swarm Optimization Theory, Algorithms, and Applications

Glowworm Swarm Optimization Theory, Algorithms, and Applications

Krishnanand...
20
هزار تومان
Recent Advances in Intelligent Image Search and Video Retrieval

Recent Advances in Intelligent Image Search and Video Retrieval

Chengjun Li...
20
هزار تومان
Advances in Computational Intelligence Proceedings of International Conference on Computational Intelligence 2015

Advances in Computational Intelligence Proceedings of International Conference on Computational Intelligence 2015

Sudip Kumar...
20
هزار تومان
Quantum Interaction 8th International Conference, QI 2014, Filzbach, Switzerland, June 30 -- July 3, 2014. Revised Selected Papers

Quantum Interaction 8th International Conference, QI 2014, Filzbach, Switzerland, June 30 -- July 3, 2014. Revised Selected Papers

Harald Atma...
20
هزار تومان
Probability Collectives A Distributed Multi-agent System Approach for Optimization

Probability Collectives A Distributed Multi-agent System Approach for Optimization

Anand Kulka...
20
هزار تومان
Advances in Human Factors and Ergonomics in Healthcare Proceedings of the AHFE 2016 International Conference on Human Factors and Ergonomics in Healthcare, July 27-31, 2016, Walt Disney World®, Florida, USA

Advances in Human Factors and Ergonomics in Healthcare Proceedings of the AHFE 2016 International Conference on Human Factors and Ergonomics in Healthcare, July 27-31, 2016, Walt Disney World®, Florida, USA

Vincent Duf...
20
هزار تومان
Emergent Computation A Festschrift for Selim G. Akl

Emergent Computation A Festschrift for Selim G. Akl

Andrew Adam...
20
هزار تومان
Intelligent Autonomous Systems 14 Proceedings of the 14th International Conference IAS-14

Intelligent Autonomous Systems 14 Proceedings of the 14th International Conference IAS-14

Weidong Che...
20
هزار تومان
Intelligent Computing and Applications Proceedings of the International Conference on ICA, 22-24 December 2014

Intelligent Computing and Applications Proceedings of the International Conference on ICA, 22-24 December 2014

Durbadal Ma...
20
هزار تومان
Playable Cities The City as a Digital Playground

Playable Cities The City as a Digital Playground

Anton Nijho...
20
هزار تومان
Advances in Computational Intelligence Proceedings of International Conference on Computational Intelligence 2015

Advances in Computational Intelligence Proceedings of International Conference on Computational Intelligence 2015

Sudip Kumar...
20
هزار تومان
Fuzzy Logic Based Power-Efficient Real-Time Multi-Core System

Fuzzy Logic Based Power-Efficient Real-Time Multi-Core System

Jameel Ahme...
20
هزار تومان
Innovations in Intelligent Machines-5 Computational Intelligence in Control Systems Engineering

Innovations in Intelligent Machines-5 Computational Intelligence in Control Systems Engineering

بدون نویسنده
20
هزار تومان
Learning dynamic spatial relations the case of a knowledge-based endoscopic camera guidance robot

Learning dynamic spatial relations the case of a knowledge-based endoscopic camera guidance robot

Andreas Bih...
20
هزار تومان
Reverse Engineering the Mind Consciously Acting Machines and Accelerated Evolution

Reverse Engineering the Mind Consciously Acting Machines and Accelerated Evolution

Florian Neu...
20
هزار تومان
Revolutionizing collaboration through e-work, e-business, and e-service

Revolutionizing collaboration through e-work, e-business, and e-service

Shimon Y No...
20
هزار تومان
Cyber Physical Systems Approach to Smart Electric Power Grid

Cyber Physical Systems Approach to Smart Electric Power Grid

بدون نویسنده
20
هزار تومان
Multi-Level Decision Making Models, Methods and Applications

Multi-Level Decision Making Models, Methods and Applications

Guangquan Z...
20
هزار تومان
Theory and practice of computer science proceedings

Theory and practice of computer science proceedings

Giuseppe F ...
20
هزار تومان
Stochastic Optimization Methods Applications in Engineering and Operations Research

Stochastic Optimization Methods Applications in Engineering and Operations Research

Kurt Marti
20
هزار تومان
Proceedings of the 2015 Chinese Intelligent Automation Conference [...] Intelligent automation

Proceedings of the 2015 Chinese Intelligent Automation Conference [...] Intelligent automation

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

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

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

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

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

پذیرفتن