ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation: 8th Asian Computing Science Conference, Mumbai, India, December 10-12, 2003. Proceedings

دانلود کتاب پیشرفت در علوم رایانه - ASIAN 2003. زبان های برنامه نویسی و زبان های برنامه نویسی محاسباتی توزیع شده و محاسبات توزیع شده: هشتمین کنفرانس علوم محاسبات آسیایی ، بمبئی ، هند ، 10-12 دسامبر ، 2003. مجموعه مقالات

Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation: 8th Asian Computing Science Conference, Mumbai, India, December 10-12, 2003. Proceedings

مشخصات کتاب

Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation: 8th Asian Computing Science Conference, Mumbai, India, December 10-12, 2003. Proceedings

دسته بندی: ریاضیات محاسباتی
ویرایش: 1 
نویسندگان: ,   
سری: Lecture Notes in Computer Science 2896 
ISBN (شابک) : 3540206329 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2003 
تعداد صفحات: 311 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 6 مگابایت

قیمت کتاب (تومان) : 33,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 13


در صورت تبدیل فایل کتاب Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation: 8th Asian Computing Science Conference, Mumbai, India, December 10-12, 2003. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب پیشرفت در علوم رایانه - ASIAN 2003. زبان های برنامه نویسی و زبان های برنامه نویسی محاسباتی توزیع شده و محاسبات توزیع شده: هشتمین کنفرانس علوم محاسبات آسیایی ، بمبئی ، هند ، 10-12 دسامبر ، 2003. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب پیشرفت در علوم رایانه - ASIAN 2003. زبان های برنامه نویسی و زبان های برنامه نویسی محاسباتی توزیع شده و محاسبات توزیع شده: هشتمین کنفرانس علوم محاسبات آسیایی ، بمبئی ، هند ، 10-12 دسامبر ، 2003. مجموعه مقالات



این کتاب مجموعه مقالات داوری هشتمین کنفرانس علوم محاسباتی آسیایی، آسیایی 2003، برگزار شده در بمبئی، هند در دسامبر 2003 است.

16 مقاله کامل اصلاح شده با هم ارائه شده است. با 2 مقاله دعوت شده به دقت بررسی و از بین 53 مقاله ارسالی انتخاب شد. از جمله موضوعات مطرح شده می توان به نظریه نوع برای حفاظت از سیستم عامل ها، سرورهای قابل تنظیم خود، خدمات شبکه، تشخیص محمول، مشخصات سلسله مراتبی، نظریه اثبات، حراج الکترونیک، محاسبات موبایل ایمن، برنامه نویسی، کنترل دسترسی، میان افزار، منطق برنامه، سیستم های بلادرنگ اشاره کرد. ، و سیستم های توزیع احتمالی.


توضیحاتی درمورد کتاب به خارجی

This book constitutes the refereed proceedings of the 8th Asian Computing Science Conference, ASIAN 2003, held in Mumbai, India in December 2003.

The 16 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 53 submissions. Among the topics addressed are type theory for operating systems protection, self configurable servers, network services, predicate detection, hierarchical specification, proof theory, electronic auctions, secure mobile computing, programming casculi, access control, middleware, program logic, real-time systems, and probabilistic distributed systems.



فهرست مطالب

Front Matter....Pages -
Achieving Type Safety for Low-Level Code....Pages 1-2
Kernel Mode Linux: Toward an Operating System Protected by a Type Theory....Pages 3-17
Self-configurable Mirror Servers for Automatic Adaptation to Service Demand Fluctuation....Pages 18-32
Information Flow Security for XML Transformations....Pages 33-53
Unreliable Failure Detectors via Operational Semantics....Pages 54-71
Bankable Postage for Network Services....Pages 72-90
Global Predicate Detection under Fine-Grained Modalities....Pages 91-109
Combining Hierarchical Specification with Hierarchical Implementation....Pages 110-124
Automatic Generation of Simple Lemmas from Recursive Definitions Using Decision Procedures – Preliminary Report –....Pages 125-145
Deaccumulation – Improving Provability....Pages 146-160
Incentive Compatible Mechanism Based on Linear Pricing Scheme for Single-Minded Auction....Pages 161-172
Hierarchical Structure of 1-Safe Petri Nets....Pages 173-187
A Calculus for Secure Mobility....Pages 188-204
A Calculus of Bounded Capacities....Pages 205-223
Paradigm Regained: Abstraction Mechanisms for Access Control....Pages 224-242
The Design and Evaluation of a Middleware Library for Distribution of Language Entities....Pages 243-259
Generating Optimal Linear Temporal Logic Monitors by Coinduction....Pages 260-275
Probabilistic Timed Simulation Verification and Its Application to Stepwise Refinement of Real-Time Systems....Pages 276-290
Model Checking Probabilistic Distributed Systems....Pages 291-304
Back Matter....Pages -




نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی