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

Formal methods : 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings

Formal methods : 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings

Formal methods : 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings

افزودن به بوکمارک اشتراک گذاری 0 دیدگاه کاربران 5 (0)

SBMF 2020

مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.

ترجمه این کتاب مشاهده همه کتاب های ترجمه نشده

گزارش تخلف

گزارش تخلف

مغایرت عنوان کتاب با توضیحات و تصویر جلد
عدم رعایت حقوق نشر طبق قوانین جمهوری اسلامی ایران
محتوای مستهجن
توهین به قومیتها و محتوای نژادپرستی
توهین به اقیلیتهای مذهبی
اهانت به مقامات سیاسی و مذهبی
اشاعه ی کودک آزاری
سایر موارد

بستن

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

2020

نویسنده

Gustavo Carvalho; V Stolz

ناشر

Cham : Springer, 2020.

شابک

9783030638825

20,000 تومان

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

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

Some Small Countries Do It Better Rapid Growth and Its Causes in Singapore, Finland, and Ireland.

Some Small Countries Do It Better Rapid Growth and Its Causes in Singapore, Finland, and Ireland.

هزار تومان

Proofs and Algorithms

Proofs and Algorithms

هزار تومان

Pattern Recognition

Pattern Recognition

هزار تومان

More OCaml

More OCaml

هزار تومان

Algorithms Illuminated (Part 1)

Algorithms Illuminated (Part 1)

هزار تومان

Combinatorial Algorithms

Combinatorial Algorithms

هزار تومان

False Witness

False Witness

هزار تومان

Clever Algorithms

Clever Algorithms

هزار تومان

Vector Games Math Processors [With CD-ROM]

Vector Games Math Processors [With CD-ROM]

هزار تومان

Projectors and projection methods

Projectors and projection methods

هزار تومان

Reversible Grammar in Natural Language Processing

Reversible Grammar in Natural Language Processing

هزار تومان

Computing Algorithms of Solution of Problems of Applied Mathematics and Their Standard Program Realizationpart 1

Computing Algorithms of Solution of Problems of Applied Mathematics and Their Standard Program Realizationpart 1

هزار تومان

Learning JavaScript Data Structures and Algorithms - Second Edition

Learning JavaScript Data Structures and Algorithms - Second Edition

هزار تومان

Java 9 Data Structures and Algorithms

Java 9 Data Structures and Algorithms

هزار تومان

Discrete Mathematics Using a Computer

Discrete Mathematics Using a Computer

هزار تومان

Combinatorial Optimization and Applications : 7th International Conference, COCOA 2013, Chengdu, China, December 12-14, 2013, Proceedings

Combinatorial Optimization and Applications : 7th International Conference, COCOA 2013, Chengdu, China, December 12-14, 2013, Proceedings

بدون نویسنده

هزار تومان

Computations with Modular Forms Proceedings of a Summer School and Conference, Heidelberg, August/September 2011

Computations with Modular Forms Proceedings of a Summer School and Conference, Heidelberg, August/September 2011

بدون نویسنده

هزار تومان

Graceful, Harmonious and Magic Type Labelings : Relations and Techniques

Graceful, Harmonious and Magic Type Labelings : Relations and Techniques

هزار تومان

Guide to Computational Modelling for Decision Processes : Theory, Algorithms, Techniques and Applications

Guide to Computational Modelling for Decision Processes : Theory, Algorithms, Techniques and Applications

هزار تومان

Algorithmic aspects of cloud computing : second International Workshop, ALGOCLOUD 2016, Aarhus, Denmark, August 22, 2016, Revised selected papers

Algorithmic aspects of cloud computing : second International Workshop, ALGOCLOUD 2016, Aarhus, Denmark, August 22, 2016, Revised selected papers

هزار تومان

Artificial Intelligence and Soft Computing : 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017, Proceedings, Part I

Artificial Intelligence and Soft Computing : 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017, Proceedings, Part I

هزار تومان

اطلاعات
دیدگاه کاربران

برای مطالعه توضیحات وارد حساب کاربری خود شوید

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

دیدگاه خود را بنویسید

|

افزایش درآمد

بهترین های کودک و نوجوان

میخوای آموزش ببینی

قوانین و مقررات

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

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

پذیرفتن