مشخصات کتاب

Information Technology: Selected Tutorials

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

در صورت تبدیل فایل کتاب 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

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

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

دانلود کتاب Treasury Management: Risiko · Analyse · Steuerung

دانلود کتاب The Fruitful City

دانلود کتاب Angewandte Meteorologie: Mikrometeorologische Methoden

دانلود کتاب Stories for Boys Who Dare to Be Different 2: Even More True Tales of Amazing Boys Who Changed the World

دانلود کتاب Feedback in L2 English Writing in the Arab World: Inside the Black Box