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

خرید کتاب Semantics of Programming Languages and Model Theory

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

Semantics of Programming Languages and Model Theory

Semantics of Programming Languages and Model Theory
افزودن به بوکمارک اشتراک گذاری 0 دیدگاه کاربران 4 (1)

مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.
ترجمه این کتاب مشاهده همه کتاب های ترجمه نشده
Semantics of Programming Languages and Model Theory
از خودتان درباره کتاب توضیح کوتاهی بنویسید
The interplay between mathematical logic and the theory of programming languages has aroused an increasing amount of interest during the last decades. In this research area, the mathematical fields of model theory, logic and ordered structures have received new stimuli from computer science. Simultaneously, complex mathematical methods have defined new applications in the entire area of semantics of programming languages. Many of the more difficult problems in the theory of computation require a combination of methods from model theory, logic and ordered structures as well as from semantics. The articles in this book deal with both the specialised aspects of the relationship and with pure methods in each of the fields of model theory, ordered structures and semantics. Whereas some chapters are concerned with original research in this area, review articles for the nonspecialist are also included.
M. Droste is at the University GHS Essen, Germany and Y. Gurevich is at the University of Michigan, US
لغو
iran گزارش تخلف

گزارش تخلف

بستن

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

1993

نویسنده

Manfred Droste

ناشر

CRC Press

شابک

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

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

Theory Of Generalized Inverses Over Commutative Rings

Theory Of Generalized Inverses Over Commutative Rings

K.P.S. Bhas...
20
هزار تومان
Linear Algebra And Geometry (Algebra, Logic And Applications)

Linear Algebra And Geometry (Algebra, Logic And Applications)

P.K. Suetin
20
هزار تومان
Exercises in Algebra

Exercises in Algebra

AlexandraI....
20
هزار تومان
Semantics of Programming Languages and Model Theory

Semantics of Programming Languages and Model Theory

Manfred Droste
20
هزار تومان
Advances in Algebra and Model Theory.

Advances in Algebra and Model Theory.

Manfred Dro...
20
هزار تومان
Foundations Of Module And Ring Theory

Foundations Of Module And Ring Theory

Robert Wisb...
20
هزار تومان
Natural Language Understanding

Natural Language Understanding

James F. Allen
20
هزار تومان
Natural Language Understanding

Natural Language Understanding

James F. Allen
20
هزار تومان
<div class=vernacular lang="ru">Основы семантического кодирования : опыт представления и преобразования знаний /</div> Osnovy semanticheskogo kodirovanii︠a︡ : opyt predstavlenii︠a︡ i preobrazovanii︠a︡ znaniĭ

<div class=vernacular lang="ru">Основы семантического кодирования : опыт представления и преобразования знаний /</div> Osnovy semanticheskogo kodirovanii︠a︡ : opyt predstavlenii︠a︡ i preobrazovanii︠a︡ znaniĭ

بدون نویسنده
20
هزار تومان
Introduction to the theory of programming languages

Introduction to the theory of programming languages

Gilles Dowe...
20
هزار تومان
Syntax-directed semantics : formal models based on tree transducers

Syntax-directed semantics : formal models based on tree transducers

Zoltán Fu...
20
هزار تومان
Scenarios: Models, Transformations and Tools : international workshop, Dagstuhl Castle, Germany, September 7-12, 2003 : revised selected papers

Scenarios: Models, Transformations and Tools : international workshop, Dagstuhl Castle, Germany, September 7-12, 2003 : revised selected papers

Stefan Leue...
20
هزار تومان
Journal on data semantics II

Journal on data semantics II

S Spaccapietra
20
هزار تومان
Practical Aspects Of Declarative Languages

Practical Aspects Of Declarative Languages

Michael Hanus
20
هزار تومان
Journal on data semantics X

Journal on data semantics X

S Spaccapietra
20
هزار تومان
Practical Aspects Of Declarative Languages

Practical Aspects Of Declarative Languages

Terrance Swift
20
هزار تومان
Journal on data semantics XIII

Journal on data semantics XIII

S Spaccapie...
20
هزار تومان
Web reasoning and rule systems : fourth international conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010 : proceedings

Web reasoning and rule systems : fourth international conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010 : proceedings

بدون نویسنده
20
هزار تومان
Logic, language, and computation : 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised selected papers

Logic, language, and computation : 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised selected papers

Guram Bezha...
20
هزار تومان
Natural Language Understanding and Logic Programming, II

Natural Language Understanding and Logic Programming, II

Veronica Dahl
20
هزار تومان
Logic Programming

Logic Programming

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

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

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

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

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

پذیرفتن