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

خرید کتاب Constructivity in Computer Science

اعمال کد تخفیف
مبلغ قابل پرداخت 20,000 تومان
لغو
این بخش در حال توسعه می باشد و به زودی در دسترس شما عزیزان قرار میگیرد
بستن
کاربر محترم لینک های دانلود حداکثر تا ۳ ساعت دیگر به شماره شما پیامک می شود
از صبر و شکیبایی شما ممنونیم
بستن
Constructivity in Computer Science

Constructivity in Computer Science

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

Summer Symposium, San Antonio, TX, June 19-22, 1991. Proceedings

مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.
ترجمه این کتاب مشاهده همه کتاب های ترجمه نشده
Constructivity in Computer Science
Summer Symposium, San Antonio, TX, June 19-22, 1991. Proceedings
Mathematicians have long recognized the distinction between an argument showing that an interesting object exists and a procedure for actually constructing the object. Computer science adds a new dimension of interest in constructivity, since a computer program is a formal description of a constructive procedure that can be executed automatically. It has beenover a decade since a conference was devoted to constructivity, and never before has one been held specifically relating computer science to constructivity. Thus, this proceedings volume is the most concentrated offering ever produced of the diverse ways in which constructivity and computer science are related. The papers cover semantics and type theory, logic and theorem proving, real and complex analysis, topology and combinatorics, nonconstructive graph-theoretical techniques, and curriculum and pedagogic issues. The book offers a concentrated view of the many ways in which constructivity has assumed importance in computer science, and contains results available nowhere else.
لغو
iran گزارش تخلف

گزارش تخلف

بستن

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

1992

نویسنده

J.P. Myers

ناشر

Springer

شابک

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

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

Understanding Statebuilding

Understanding Statebuilding

Rebecca Ric...
20
هزار تومان
Disorders and Dysfunctions of the Self

Disorders and Dysfunctions of the Self

Dante Cicch...
20
هزار تومان
Off the Cliff

Off the Cliff

Becky Aikman
20
هزار تومان
Poison and poisoning in science, fiction and cinema : precarious identities

Poison and poisoning in science, fiction and cinema : precarious identities

Heike Klipp...
20
هزار تومان
Constructivity in Computer Science

Constructivity in Computer Science

J.P. Myers
20
هزار تومان
Business Cycles, Indicators, and Forecasting

Business Cycles, Indicators, and Forecasting

James H. Stock
20
هزار تومان
Secrets of Hollywood Special Effects

Secrets of Hollywood Special Effects

Robert E. M...
20
هزار تومان
Hardboiled & High Heeled

Hardboiled & High Heeled

Lind Mizeje...
20
هزار تومان
Projecting History

Projecting History

Nora M. Alter
20
هزار تومان
Fullerenes : synthesis, properties, and chemistry of large carbon clusters : developed from a symposium sponsored by the Divisions of Inorganic Chemistry, Organic Chemistry, Petroleum Chemistry, Inc., Polymer Chemistry, Inc., and Polymeric Materials: Science and Engineering at the 201st National Meeting of the American Chemical Society, Atlanta, Georgia, April 14-19, 1991

Fullerenes : synthesis, properties, and chemistry of large carbon clusters : developed from a symposium sponsored by the Divisions of Inorganic Chemistry, Organic Chemistry, Petroleum Chemistry, Inc., Polymer Chemistry, Inc., and Polymeric Materials: Science and Engineering at the 201st National Meeting of the American Chemical Society, Atlanta, Georgia, April 14-19, 1991

George S Ha...
20
هزار تومان
Psychology and Treatment of Addictive Behavior

Psychology and Treatment of Addictive Behavior

Scott Dowling
20
هزار تومان
Hypergeometric Functions on Domains of Positivity, Jack Polynomials, and Applications

Hypergeometric Functions on Domains of Positivity, Jack Polynomials, and Applications

Donald St. ...
20
هزار تومان
Moving Pictures/Stopping Places

Moving Pictures/Stopping Places

David B. Cl...
20
هزار تومان
Neurotransmitter interactions and cognitive function

Neurotransmitter interactions and cognitive function

Edward D Le...
20
هزار تومان
Neurotransmitters in Epilepsy

Neurotransmitters in Epilepsy

Ruggero Far...
20
هزار تومان
Geometric Analysis

Geometric Analysis

Eric Grinberg
20
هزار تومان
Shari'a, Inshallah

Shari'a, Inshallah

Mark Fathi ...
20
هزار تومان
Mysticism, Magic and Kabbalah in Ashkenazi Judaism

Mysticism, Magic and Kabbalah in Ashkenazi Judaism

Karl Erich ...
20
هزار تومان
Imagery, Creativity, And Discovery

Imagery, Creativity, And Discovery

Beverly Ros...
20
هزار تومان
Cultural aspects of automation : proceedings of the 1st IFAC workshop on cultural aspects of automation, October 1991, Kresm, Austria

Cultural aspects of automation : proceedings of the 1st IFAC workshop on cultural aspects of automation, October 1991, Kresm, Austria

J Forslin;
20
هزار تومان
Geometry and Quantum Field Theory (IAS

Geometry and Quantum Field Theory (IAS

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

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

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

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

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

پذیرفتن