دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب 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
دسته بندی: برنامه نويسي ویرایش: 1 نویسندگان: Greg Morrisett (auth.), Vijay A. Saraswat (eds.) سری: Lecture Notes in Computer Science 2896 ISBN (شابک) : 9783540206323, 9783540409656 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2003 تعداد صفحات: 313 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 36,000
کلمات کلیدی مربوط به کتاب پیشرفت در علوم محاسبات - 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 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب پیشرفت در علوم محاسبات - ASIAN 2003. زبانهای برنامه نویسی و زبانهای برنامه نویسی توزیع شده و محاسبه توزیع شده: هشتمین کنفرانس علوم رایانه ای آسیا ، بمبئی ، هند ، 10-12 دسامبر 2003. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب پیشرفت در علوم محاسبات - ASIAN 2003. زبانهای برنامه نویسی و زبانهای برنامه نویسی توزیع شده و محاسبه توزیع شده: هشتمین کنفرانس علوم رایانه ای آسیا ، بمبئی ، هند ، 10-12 دسامبر 2003. مجموعه مقالات
این کتاب مجموعه مقالات داوری هشتمین کنفرانس علوم محاسباتی آسیایی، آسیایی 2003، برگزار شده در بمبئی، هند در دسامبر 2003 است.
16 مقاله کامل اصلاح شده با هم ارائه شده است. با 2 مقاله دعوت شده به دقت بررسی و از بین 53 مقاله ارسالی انتخاب شد. از جمله موضوعات مطرح شده عبارتند از نظریه نوع برای حفاظت از سیستم عامل، سرورهای قابل تنظیم، خدمات شبکه، تشخیص محمول، مشخصات سلسله مراتبی، نظریه اثبات، حراج الکترونیک، محاسبات موبایل امن، برنامه نویسی casculi، کنترل دسترسی، میان افزار، منطق برنامه، سیستم های بلادرنگ. ، و سیستم های توزیع احتمالی.
توضیحاتی درمورد کتاب به خارجی
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 -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Real World Functional Programming: With Examples in F# and C#
دانلود کتاب Microsoft Office. Access 2003. Kompendium. Professionelles Arbeiten mit Daten.
دانلود کتاب Programming: Principles and Practice Using C++
دانلود کتاب Automata, Languages and Programming: 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I
دانلود کتاب Android Apprentice (Fourth Edition): Beginning Android Development with Kotlin
دانلود کتاب Introducing Fortran 95
دانلود کتاب Analysis and Visualization Tools for Constraint Programming: Constraint Debugging
دانلود کتاب Algorithmic Principles of Mathematical Programming
دانلود کتاب Programming and Customizing the Avr Microcontroller
