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

خرید کتاب Recent Trends in Algebraic Development Techniques : 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018, Revised Selected Papers

اعمال کد تخفیف
مبلغ قابل پرداخت 20,000 تومان
لغو
این بخش در حال توسعه می باشد و به زودی در دسترس شما عزیزان قرار میگیرد
بستن
کاربر محترم لینک های دانلود حداکثر تا ۳ ساعت دیگر به شماره شما پیامک می شود
از صبر و شکیبایی شما ممنونیم
بستن
Recent Trends in Algebraic Development Techniques : 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018, Revised Selected Papers

Recent Trends in Algebraic Development Techniques : 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018, Revised Selected Papers

Recent Trends in Algebraic Development Techniques : 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018, Revised Selected Papers
افزودن به بوکمارک اشتراک گذاری 0 دیدگاه کاربران 5 (0)

مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.
ترجمه این کتاب مشاهده همه کتاب های ترجمه نشده
Recent Trends in Algebraic Development Techniques : 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018, Revised Selected Papers
از خودتان درباره کتاب توضیح کوتاهی بنویسید
, "This book constitutes the thoroughly refereed post-conference proceedings of the 24th IFIP WG 1.3 International Workshop on Algebraic Development Techniques,
لغو
iran گزارش تخلف

گزارش تخلف

بستن

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

2019

نویسنده

José Luiz Fiadeiro; Ionuț Țuțu

ناشر

Cham : Springer International Publishing : Imprint: Springer, 2019.

شابک

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

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

CMOS Logic Circuit Design

CMOS Logic Circuit Design

John P. Uye...
20
هزار تومان
Fundamentals of Electrical Control

Fundamentals of Electrical Control

Clarence A....
20
هزار تومان
Fundamentals of Logic Design

Fundamentals of Logic Design

Larry L. Ki...
20
هزار تومان
Formal Methods for Dynamical Systems : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

Formal Methods for Dynamical Systems : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

Marco Berna...
20
هزار تومان
Logic and Computer Design Fundamentals

Logic and Computer Design Fundamentals

Charles R. ...
20
هزار تومان
CMOS logic circuit design

CMOS logic circuit design

John
20
هزار تومان
Compact Models and Measurement Techniques for High-Speed Interconnects

Compact Models and Measurement Techniques for High-Speed Interconnects

Rohit Sharm...
20
هزار تومان
Foundations of software science and computation structures : 17th international conference, FOSSACS 2014, held as part of the European joint conferences on theory and practice of software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings

Foundations of software science and computation structures : 17th international conference, FOSSACS 2014, held as part of the European joint conferences on theory and practice of software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings

Anca Muscholl
20
هزار تومان
Progress in Cryptology - LATINCRYPT 2017 : 5th International Conference on Cryptology and Information Security in Latin America, Havana, Cuba, September 20-22, 2017, Revised Selected Papers

Progress in Cryptology - LATINCRYPT 2017 : 5th International Conference on Cryptology and Information Security in Latin America, Havana, Cuba, September 20-22, 2017, Revised Selected Papers

Tanja Lange...
20
هزار تومان
Algebraic Informatics : 8th International Conference, CAI 2019, Niš, Serbia, June 30-July 4, 2019, Proceedings

Algebraic Informatics : 8th International Conference, CAI 2019, Niš, Serbia, June 30-July 4, 2019, Proceedings

Miroslav Ć...
20
هزار تومان
Recent Trends in Algebraic Development Techniques : 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018, Revised Selected Papers

Recent Trends in Algebraic Development Techniques : 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018, Revised Selected Papers

José Luiz ...
20
هزار تومان
P Functions And Boolean Matrix Factorization

P Functions And Boolean Matrix Factorization

A. Thayse
20
هزار تومان
From Logic Design To Logic Programming

From Logic Design To Logic Programming

André Thayse
20
هزار تومان
The Z8000 Microprocessor

The Z8000 Microprocessor

Bradly K Fa...
20
هزار تومان
Spectral Interpretation of Decision Diagrams

Spectral Interpretation of Decision Diagrams

Jaakko T. A...
20
هزار تومان
Fundamentals of Logic Design

Fundamentals of Logic Design

Larry L. Ki...
20
هزار تومان
Introduction to logic design

Introduction to logic design

Sajjan G Shiva
20
هزار تومان
Application and Theory of Petri Nets and Concurrency : 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings

Application and Theory of Petri Nets and Concurrency : 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings

Raymond Dev...
20
هزار تومان
Runtime Verification : 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings

Runtime Verification : 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings

Christian C...
20
هزار تومان
Digital circuit boards : mach 1 ghz

Digital circuit boards : mach 1 ghz

Ralph Morrison
20
هزار تومان
Formal Techniques for Distributed Objects, Components, and Systems : 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings

Formal Techniques for Distributed Objects, Components, and Systems : 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings

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

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

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

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

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

پذیرفتن