ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Information Technology: Selected Tutorials

دانلود کتاب فناوری اطلاعات: برگزیده آموزش

Information Technology: Selected Tutorials

مشخصات کتاب

Information Technology: Selected Tutorials

ویرایش:  
نویسندگان:   
سری:  
ISBN (شابک) : 1402081596 
ناشر:  
سال نشر: 2004 
تعداد صفحات: 340 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 10 مگابایت 

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



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

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


در صورت تبدیل فایل کتاب Information Technology: Selected Tutorials به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب فناوری اطلاعات: برگزیده آموزش

این جلد چندین موضوع مهم و پیشرفته در فناوری اطلاعات را گزارش می دهد، از جمله: • کیفیت خدمات در شبکه های اطلاعاتی • توسعه ریسک محور سیستم های حیاتی امنیتی با استفاده از UMLsec • توسعه نرم افزار قابل حمل • استدلال رسمی در مورد سیستم ها، نرم‌افزار و سخت‌افزار با استفاده از توابع، محمولات و روابط • مشکل نظارت بر سیستم‌های توزیع‌شده • جوان‌سازی نرم‌افزار - مدل‌سازی و تحلیل • آزمایش و طراحی برای آزمایش مدارهای مجتمع سیگنال مختلط • خدمات وب • کاربردهای سیستم‌های چند عاملی • گسسته شبیه سازی رویداد • اتوماسیون با محوریت انسان. فناوری اطلاعات: آموزش های منتخب شامل مقالات ارائه شده در هجدهمین کنگره جهانی کامپیوتر IFIP است که در اوت 2004 در تولوز فرانسه برگزار شد و توسط فدراسیون بین المللی پردازش اطلاعات (IFIP) حمایت شد.


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

This volume reports on several important and state-of-the-art topics in information technology, including:• Quality of Service in Information Networks • Risk-Driven Development of Security-Critical Systems Using UMLsec • Developing Portable Software• Formal Reasoning about Systems, Software and Hardware Using Functionals, Predicates and Relations • The Problematic of Distributed Systems Supervision • Software Rejuvenation -- Modeling and Analysis • Test and Design-for-Test of Mixed-Signal Integrated Circuits • Web Services• Applications of Multi-Agent Systems • Discrete Event Simulation • Human-Centered Automation.Information Technology: Selected Tutorials comprises papers presented at the IFIP 18th World Computer Congress, which was held in August 2004 in Toulouse, France and sponsored by the International Federation for Information Processing (IFIP).



فهرست مطالب

Team DDU......Page 1
Contents......Page 6
Preface......Page 8
Quality of Service in Information Networks......Page 10
Risk-Driven Development Of Security-Critical Systems Using UMLsec......Page 30
Developing Portable Software......Page 64
Formal Reasoning About Systems, Software and Hardware Using Functionals, Predicates and Relations......Page 94
The Problematic of Distributed Systems Supervision – An Example: Genesys......Page 124
Software Rejuvenation - Modeling and Analysis......Page 160
Test and Design-for-Test of Mixed-Signal Integrated Circuits......Page 192
Web Services......Page 222
Applications of Multi-Agent Systems......Page 248
Discrete Event Simulation with Applications to Computer Communication Systems Performance......Page 280
Human-Centered Automation: A Matter of Agent Design and Cognitive Function Allocation......Page 314




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