مشخصات کتاب

Logics and models of concurrent systems

ویرایش:  
نویسندگان: Krzysztof R Apt,  North Atlantic Treaty Organization. Scientific Affairs Division (ed.)  
سری: NATO ASI series., Series F,, Computer and systems sciences ;, no. 13 
ISBN (شابک) : 0387151818, 9783540151814 
ناشر: Springer-Verlag 
سال نشر: 1985 
تعداد صفحات: 509 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 5 مگابایت 

در صورت تبدیل فایل کتاب Logics and models of concurrent systems به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب منطق و مدل های سیستم های همزمان نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

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

چالش های مشکلات مسابقات بین المللی برنامه نویسی راهی موثر برای بهبود مهارت ها و درک الگوریتمی و کدنویسی شماست. این جلد از مسائل مسابقه برنامه نویسی بین المللی برای ایجاد انگیزه برای مطالعه الگوریتم ها، برنامه نویسی و سایر موضوعات در علوم کامپیوتر استفاده می کند. این کتاب شامل بیش از 100 چالش برنامه نویسی، و همچنین تئوری و مفاهیم کلیدی لازم برای نزدیک شدن به آنها است. مسائل بر اساس موضوع سازماندهی می شوند و با مواد آموزشی کامل تکمیل می شوند. خوانندگان درک دقیقی از تکنیک های الگوریتمی و موضوعات کدگذاری پیشرفته به دست می آورند. ویژگی‌های منحصربه‌فرد: *  تعداد زیادی مشکلات برنامه‌نویسی مناسب برای خودآموزی را ارائه می‌دهد - همه با قضاوت آنلاین در www.programming-challenges.com *  آموزش تمرینی را برای همه مسابقات برنامه‌نویسی اصلی ارائه می‌دهد - مسابقه بین‌المللی برنامه‌نویسی دانشگاهی ACM (ACM) ICPC)، المپیاد بین‌المللی در انفورماتیک (IOI) و چالش Topcoder *  به عنوان ابزاری راحت و مبتنی بر وب برای افزودن یک مؤلفه برنامه‌نویسی به هر الگوریتم یا دوره مهندسی نرم‌افزار عمل می‌کند *  حاوی کد کاری کامل برای ساختارهای داده اساسی و نمودار، رشته، الگوریتم‌های عددی و هندسی *  بررسی مختصر و در عین حال کاملی از عناصر کلیدی در نظریه اعداد، هندسه، برنامه‌نویسی پویا و الگوریتم‌های نمودار ارائه می‌کند *  از همه زبان‌های برنامه‌نویسی محبوب (C، C++، پاسکال، جاوا) پشتیبانی می‌کند. Steven S. Skiena عضو آن است. از دانشکده علوم کامپیوتر در SUNY Stony Brook و نویسنده بسیاری از کتاب های پرکاربرد، از جمله کتابچه راهنمای طراحی الگوریتم است. او در سال 2001 جایزه IEEE Computer Society Teaching Award را دریافت کرد. Miguel Revilla یکی از اعضای هیئت علمی علوم کامپیوتر در دانشگاه وایادولید، اسپانیا است. او آرشیودار رسمی وب سایت ACM ICPC و خالق/نگهدار ربات داور اصلی وب سایت میزبان مسابقه است.

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

The challenges of problems from international programming competitions are an effective way to improve your algorithmic and coding skills and understanding.   This volume uses international programming competition-type problems to motivate the study of algorithms, programming, and other topics in computer science.  The book includes more than 100 programming challenges, as well as the theory and key concepts necessary for approaching them.  Problems are organized by topic, and supplemented by complete tutorial material.  Readers gain a concrete understanding of both algorithmic techniques and advanced coding topics.  Unique Features: *  Offers a wealth of rich programming problems suitable for self-study -- all with on-line judging at www.programming-challenges.com *  Presents practice training for all major programming contests -- ACM International Collegiate Programming Contest (ACM ICPC), International Olympiad in Informatics (IOI), and Topcoder Challenge *  Serves as a convenient, web-based means of adding a programming component to any algorithms or software engineering course *  Contains complete working code for fundamental data structures and graph, string, numerical and geometric algorithms *  Provides a brief-yet-thorough treatment of key elements in number theory, geometry, dynamic programming, and graph algorithms *  Supports all popular programming languages (C, C++, Pascal, Java) Steven S. Skiena is a member of the faculty of computer science at SUNY Stony Brook and is author of many widely used books, including The Algorithm Design Manual.  He received the 2001 IEEE Computer Society Undergraduate Teaching Award.  Miguel Revilla is a member of the faculty of computer science at the University of Valladolid, Spain.  He is official website archivist of the ACM ICPC and creator/maintainer of the primary robot-judge, contest-hosting website.  

فهرست مطالب

Front Matter....Pages I-VIII
Front Matter....Pages 1-1
Using Temporal Logic for Automatic Verification of Finite State Systems....Pages 3-26
Resolution Modal Logics....Pages 27-55
Tools for Verifying Network Protocols....Pages 57-76
An Axiomatic Semantics of Concurrent Programming Languages....Pages 77-122
In Transition From Global to Modular Temporal Reasoning about Programs....Pages 123-144
Front Matter....Pages 145-145
Correctness Proofs of Distributed Termination Algorithms....Pages 147-167
Script: A Communication Abstraction Mechanism and its Verification....Pages 169-212
The Cooperation Test : a syntax-directed verification method....Pages 213-257
Front Matter....Pages 259-259
Notes on Algebraic Calculi of Processes....Pages 261-303
Deadlock Analysis in Networks of Communicating Processes....Pages 305-323
A Paradigm for Detecting Quiescent Properties in Distributed Computations....Pages 325-341
About Fair Asynchrony....Pages 343-368
A Logic for the Specification and Proof of Controllable Processes of CCS....Pages 369-395
Specification-Oriented Programming in TCSP....Pages 397-435
Front Matter....Pages 437-437
Theoretical Foundations for Non-Monotonic Reasoning in Expert Systems....Pages 439-457
Towards a Theory of Knowledge and Ignorance: Preliminary Report....Pages 459-476
On the Development of Reactive Systems....Pages 477-498
Back Matter....Pages 499-499

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

کتاب های تصادفی

دانلود کتاب Red Hand of Doom

دانلود کتاب Architecting CSS - The Programmer’s Guide to Effective Style Sheets

دانلود کتاب Australian Terrier: a Comprehensive Owner's Guide

دانلود کتاب Advanced groundwater remediation : active and passive technologies

دانلود کتاب Continuous Integration (CI) and Continuous Delivery (CD): A Practical Guide to Designing and Developing Pipelines