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

Verification, model checking, and abstract interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, proceedings

Verification, model checking, and abstract interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, proceedings

Verification, model checking, and abstract interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, proceedings

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

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

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

گزارش تخلف

گزارش تخلف

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

بستن

فرمت کتاب

print book

زبان

english

تاریخ انتشار

2013

نویسنده

Roberto Giacobazzi; Josh Berdine, (chercheur en informatique); Isabella Mastroeni, (chercheur en informatique)

ناشر

Heidelberg ; Dordrecht ; London ; New York : Springer, cop. 2013.

شابک

978-3-642-35872-2

20,000 تومان

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

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

Fourier analysis on finite groups with applications in signal processing and system design

Fourier analysis on finite groups with applications in signal processing and system design

هزار تومان

Theory of function spaces. II

Theory of function spaces. II

هزار تومان

Nonlinear system theory : the Volterra/Wiener approach

Nonlinear system theory : the Volterra/Wiener approach

هزار تومان

Nonlinear System Theory

Nonlinear System Theory

هزار تومان

Practical Fourier Analysis for Multigrid Methods

Practical Fourier Analysis for Multigrid Methods

هزار تومان

Practical Fourier Analysis for Multigrid Methods

Practical Fourier Analysis for Multigrid Methods

هزار تومان

Modélisation et simulation à base d'agents : exemples commentés, outils informatiques et questions théoriques

Modélisation et simulation à base d'agents : exemples commentés, outils informatiques et questions théoriques

هزار تومان

Applications of fuzzy sets to systems analysis

Applications of fuzzy sets to systems analysis

هزار تومان

Fourier Analysis of Time Series

Fourier Analysis of Time Series

هزار تومان

Dynamique de la commande linéaire

Dynamique de la commande linéaire

هزار تومان

High-integrity system specification and design

High-integrity system specification and design

هزار تومان

Conceptual modeling : foundations and applications : essays in honor of John Mylopoulos

Conceptual modeling : foundations and applications : essays in honor of John Mylopoulos

بدون نویسنده

هزار تومان

Verification, model checking, and abstract interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, proceedings

Verification, model checking, and abstract interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, proceedings

هزار تومان

Variational Methods in Optimum Control Theory

Variational Methods in Optimum Control Theory

هزار تومان

Abstract Harmonic Analysis

Abstract Harmonic Analysis

هزار تومان

Martingale Hardy Spaces And Their Applications In Fourier Analysis

Martingale Hardy Spaces And Their Applications In Fourier Analysis

هزار تومان

9780470187777

9780470187777

بدون نویسنده

هزار تومان

Sampling, wavelets, and tomography

Sampling, wavelets, and tomography

هزار تومان

Discrete Fourier Analysis and Wavelets

Discrete Fourier Analysis and Wavelets

هزار تومان

Macrosystems Theory And Its Applications

Macrosystems Theory And Its Applications

هزار تومان

Explicit Stability Conditions for Continuous Systems

Explicit Stability Conditions for Continuous Systems

هزار تومان

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

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

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

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

|

افزایش درآمد

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

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

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

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

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

پذیرفتن