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

خرید کتاب Theory and Applications of Satisfiability Testing

اعمال کد تخفیف
مبلغ قابل پرداخت 20,000 تومان
لغو
این بخش در حال توسعه می باشد و به زودی در دسترس شما عزیزان قرار میگیرد
بستن
کاربر محترم لینک های دانلود حداکثر تا ۳ ساعت دیگر به شماره شما پیامک می شود
از صبر و شکیبایی شما ممنونیم
بستن
برای خرید و دانلود فایل باید وارد شوید
ثبت نام / ورود بستن
Theory and Applications of Satisfiability Testing

Theory and Applications of Satisfiability Testing

Theory and Applications of Satisfiability Testing
افزودن به بوکمارک اشتراک گذاری 0 دیدگاه کاربران 5 (0)

مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.
ترجمه این کتاب مشاهده همه کتاب های ترجمه نشده
Theory and Applications of Satisfiability Testing
از خودتان درباره کتاب توضیح کوتاهی بنویسید
This book constitutes the refereed proceedings of the 8th International Conference on Theory and Applications of Satisfiability Testing, SAT 2005, held in St Andrews, Scotland in June 2005. The 26 revised full papers presented together with 16 revised short papers presented as posters during the technical programme were carefully selected from 73 submissions. The whole spectrum of research in propositional and quantified Boolean formula satisfiability testing is covered including proof systems, search techniques, probabilistic analysis of algorithms and their properties, problem encodings, industrial applications, specific tools, case studies, and empirical results.
لغو
iran گزارش تخلف

گزارش تخلف

بستن

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

2005

نویسنده

Fahiem Bacchus

ناشر

Springer Verlag Berlin Heidelberg

شابک

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

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

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
هزار تومان
Guide to Computational Modelling for Decision Processes : Theory, Algorithms, Techniques and Applications

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

Stuart Berr...
20
هزار تومان
Data Structures and Algorithms with Python

Data Structures and Algorithms with Python

Steve Hubbard
20
هزار تومان
Data Structures and Algorithms with Python

Data Structures and Algorithms with Python

بدون نویسنده
20
هزار تومان
Solving Software Challenges for Exascale : International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers

Solving Software Challenges for Exascale : International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers

Stefano Mar...
20
هزار تومان
Guide to Computational Modelling for Decision Processes

Guide to Computational Modelling for Decision Processes

Marcello Tr...
20
هزار تومان
Security with Noisy Data

Security with Noisy Data

Boris Skoric
20
هزار تومان
Genetic Programming Theory and Practice XI

Genetic Programming Theory and Practice XI

Mark Kotanchek
20
هزار تومان
A Polynomial Translation of Mobile Ambients into Safe Petri Nets : Understanding a Calculus of Hierarchical Protection Domains

A Polynomial Translation of Mobile Ambients into Safe Petri Nets : Understanding a Calculus of Hierarchical Protection Domains

20
هزار تومان
Vorkurs Informatik : Der Einstieg ins Informatikstudium

Vorkurs Informatik : Der Einstieg ins Informatikstudium

20
هزار تومان
Economics and Computation : an Introduction to Algorithmic Game Theory, Computational Social Choice, and Fair Division

Economics and Computation : an Introduction to Algorithmic Game Theory, Computational Social Choice, and Fair Division

Jörg Rothe
20
هزار تومان
Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

Sujata Ghos...
20
هزار تومان
Small Dynamic Complexity Classes : an Investigation into Dynamic Descriptive Complexity

Small Dynamic Complexity Classes : an Investigation into Dynamic Descriptive Complexity

Thomas Zeume
20
هزار تومان
Public-Key Cryptography - PKC 2017 : 20th IACR International Conference on Practice and Theory in Public-Key Cryptography, Amsterdam, the Netherlands, March 28-31, 2017, Proceedings, Part I

Public-Key Cryptography - PKC 2017 : 20th IACR International Conference on Practice and Theory in Public-Key Cryptography, Amsterdam, the Netherlands, March 28-31, 2017, Proceedings, Part I

Serge Fehr
20
هزار تومان
Transactions on Petri Nets and Other Models of Concurrency XII

Transactions on Petri Nets and Other Models of Concurrency XII

Maciej Kout...
20
هزار تومان
Computer Performance Engineering

Computer Performance Engineering

Anne Remke
20
هزار تومان
Artificial intelligence XXXV : 38th SGAI International Conference on Artificial Intelligence, AI 2018, Cambridge, UK, December 11-13, 2018 : proceedings

Artificial intelligence XXXV : 38th SGAI International Conference on Artificial Intelligence, AI 2018, Cambridge, UK, December 11-13, 2018 : proceedings

Max A Bramer
20
هزار تومان
Algorithmic Aspects in Information and Management

Algorithmic Aspects in Information and Management

Sergiy Butenko
20
هزار تومان
Sofsem 2018

Sofsem 2018

Jiří Wied...
20
هزار تومان
Algorithms for Computational Biology

Algorithms for Computational Biology

Bianca Truthe
20
هزار تومان
Advances in Intelligent Data Analysis XIII

Advances in Intelligent Data Analysis XIII

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

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

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

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

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

پذیرفتن