ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Modeling time in computing

دانلود کتاب مدل سازی زمان در محاسبات

Modeling time in computing

مشخصات کتاب

Modeling time in computing

دسته بندی: الگوریتم ها و ساختارهای داده
ویرایش:  
نویسندگان: , , ,   
سری: Monographs in Theoretical Computer Science. An EATCS Series 
ISBN (شابک) : 9783642323324, 9783642323317 
ناشر: Springer Berlin Heidelberg 
سال نشر: 2012 
تعداد صفحات: 429 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت

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



کلمات کلیدی مربوط به کتاب مدل سازی زمان در محاسبات: علوم کامپیوتر، سخت افزار کامپیوتر، تئوری اطلاعات، پردازش الکترونیکی داده ها.



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

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


در صورت تبدیل فایل کتاب Modeling time in computing به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


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

مدل هایی که شامل مفهوم زمان هستند در رشته هایی مانند علوم طبیعی، مهندسی، فلسفه و زبان شناسی همه جا حاضر هستند، اما در محاسبه انتزاعات ارائه شده توسط مدل های سنتی مشکل دارند و این رشته مدل های جدید بسیاری را ایجاد کرده است. این کتاب ارائه‌ای منظم و منظم از نتایج چندین دهه تحقیق در مورد توسعه، تجزیه و تحلیل و بکارگیری مدل‌های زمانی در محاسبات و مهندسی است. نویسندگان پس از یک انگیزه آغازین به معرفی موضوعات، ساختار و اهداف، مفاهیم فرمالیسم و ​​مدل را به طور کلی به همراه برخی از معیارهای طبقه بندی اساسی خود معرفی می کنند. در انجام این کار، آنها مبانی منطق گزاره‌ای و محمولی و مسائل اساسی را که هنگام مدل‌سازی زمان در همه انواع سیستم‌ها به وجود می‌آیند، ارائه می‌کنند. بخش اول خلاصه‌ای از مدل‌های سنتی در مهندسی و علوم طبیعی، از جمله علوم کامپیوتری بنیادی است: سیستم‌های دینامیکی و تئوری کنترل. طراحی سخت افزار؛ و تحلیل الگوریتمی و پیچیدگی نرم افزار. بخش دوم فرمالیسم‌های پیشرفته و تخصصی را پوشش می‌دهد که با مدل‌سازی زمان در سیستم‌های نرم‌افزاری ناهمگن سروکار دارند: فرمالیسم‌هایی که ماشین‌های حالت محدود را به‌عنوان \"اجداد\" مشترک به اشتراک می‌گذارند. شبکه های پتری در انواع مختلف؛ نمادهای مبتنی بر منطق ریاضی، مانند منطق زمانی. جبرهای پردازشی؛ و \"رویکردهای دو زبانه\" ترکیب دو نماد با ویژگی‌های مختلف برای مدل‌سازی و تأیید سیستم‌های پیچیده، به عنوان مثال، چارچوب‌های بررسی مدل. در نهایت، کتاب با جمع بندی نکات و نکاتی در مورد تحولات آینده و چالش های باز به پایان می رسد. این ارائه از سبکی دقیق، اما نه بیش از حد فنی، مناسب برای خوانندگان با پیشینه‌های ناهمگون استفاده می‌کند، و هر فصل با نکات کتابشناختی دقیق و تمرین‌هایی با دقت انتخاب شده با دشواری و دامنه متفاوت تکمیل می‌شود. هدف این کتاب دانشجویان تحصیلات تکمیلی و پژوهشگران علوم کامپیوتر است، در حالی که محققان و دست اندرکاران سایر رشته های علمی و مهندسی علاقه مند به مدل سازی زمان با طعم محاسباتی نیز کتاب ارزش را خواهند یافت و رویکرد تطبیقی ​​و مفهومی این کتاب را به معرفی ارزشمندی تبدیل می کند. برای افراد غیر متخصص نویسندگان دانش پایه ای از حساب دیفرانسیل و انتگرال، نظریه احتمالات، الگوریتم ها و برنامه نویسی را فرض می کنند، در حالی که دانش پیشرفته تر از خودکار، زبان های رسمی و منطق ریاضی مفید است.   بیشتر بخوانید...
چکیده:
این کتاب به جزئیات نتایج چندین دهه تحقیق در مورد توسعه، تجزیه و تحلیل و به کارگیری زمان می پردازد. مدل هایی برای محاسبات و مهندسی هر فصل با جزئیات کتابشناختی نکات و تمرین هایی با دشواری و دامنه متفاوت تکمیل می شود.  بیشتر بخوانید...

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

Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy, and linguistics, but in computing the abstractions provided by the traditional models are problematic and the discipline has spawned many novel models. This book is a systematic thorough presentation of the results of several decades of research on developing, analyzing, and applying time models to computing and engineering. After an opening motivation introducing the topics, structure and goals, the authors introduce the notions of formalism and model in general terms along with some of their fundamental classification criteria. In doing so they present the fundamentals of propositional and predicate logic, and essential issues that arise when modeling time across all types of system. Part I is a summary of the models that are traditional in engineering and the natural sciences, including fundamental computer science: dynamical systems and control theory; hardware design; and software algorithmic and complexity analysis. Part II covers advanced and specialized formalisms dealing with time modeling in heterogeneous software-intensive systems: formalisms that share finite state machines as common "ancestors"; Petri nets in many variants; notations based on mathematical logic, such as temporal logic; process algebras; and "dual-language approaches" combining two notations with different characteristics to model and verify complex systems, e.g., model-checking frameworks. Finally, the book concludes with summarizing remarks and hints towards future developments and open challenges. The presentation uses a rigorous, yet not overly technical, style, appropriate for readers with heterogeneous backgrounds, and each chapter is supplemented with detailed bibliographic remarks and carefully chosen exercises of varying difficulty and scope. The book is aimed at graduate students and researchers in computer science, while researchers and practitioners in other scientific and engineering disciplines interested in time modeling with a computational flavor will also find the book of value, and the comparative and conceptual approach makes this a valuable introduction for non-experts. The authors assume a basic knowledge of calculus, probability theory, algorithms, and programming, while a more advanced knowledge of automata, formal languages, and mathematical logic is useful.  Read more...
Abstract:
This book details the results of several decades of research on developing, analyzing, and applying time models to computing and engineering. Each chapter is supplemented with detailed bibliographic remarks and exercises of varying difficulty and scope.  Read more...


فهرست مطالب

Front Matter....Pages i-xvi
It’s About Time....Pages 1-7
Languages and Interpretations....Pages 9-26
Dimensions of the Time Modeling Problem....Pages 27-57
Front Matter....Pages 59-59
Dynamical Systems....Pages 61-79
Time in Hardware Modeling and Design....Pages 81-102
Time in the Analysis of Algorithms....Pages 103-149
Front Matter....Pages 151-152
Synchronous Abstract Machines....Pages 153-207
Asynchronous Abstract Machines: Petri Nets....Pages 209-247
Logic-Based Formalisms....Pages 249-323
Algebraic Formalisms....Pages 325-363
Dual-Language Approaches....Pages 365-407
Time Is Up....Pages 409-414
Back Matter....Pages 415-423




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

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