جستجو در کتاب ها   جستجو در مقالات  جستجو در کل سایت
Formal Methods for Components and Objects
نویسنده:
سال انتشار: 2010
تعداد صفحات: 347
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 5.5MB
رمز فایل: www.ketabdownload.com
قیمت: 50,000ريال

افزودن به سبد دانلود

کتاب دانلود - دانلود کتاب های علمی و دانشگاهی

All modern industries rely on large and complex software systems. In order to construct such large systems in a systematic manner, the focus of the development methodologies has switched in the last two decades from functional to structural issues. Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires a greater emphasis on specification, modeling, and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages like Java. This state-of-the-art survey presents the outcome of the 8th Symposium on Formal Methods for Components and Objects, held in Eindhoven, The Netherlands, in November 2009. The volume contains 17 revised contributions submitted after the symposium by speakers from each of the following European IST projects: the IST-FP6 project BIONETS on biologically inspired services evolution for the pervasive age; the IST-FP7 project COMPAS on compliance-driven models, languages, and architectures for services; the IST-FP6 project CREDO on modelling and analysis of evolutionary structures for distributed services; the IST-FP7 DEPLOY on industrial deployment of advanced system engineering methods for high productivity and dependability; the IST-FP7 project HATS on highly adaptable and trustworthy software using formal methods; the IST-FP7 project INESS on integrated European railway signalling system; the IST-FP7 project MOGENTES on model-based generation of tests for dependable embedded systems; the IST-FP6 project PROTEST on property based testing; and the IST-FP7 project QUASIMODO on quantitative system properties in model-driven-design of embedded systems

 

دانلود کتاب روش های رسمی برای اجزاء و اهداف Formal Methods for Components and Objects


دانلود کتاب روش های رسمی برای اجزاء و اهداف , دانلود کتاب , روش های رسمی برای اجزاء و اهداف , Formal Methods for Components and Objects , کتاب دانلود
علوم مهندسی و فناوری>رایانه، اینترنت و فناوری اطلاعات

نام و نام خانوادگی:
متن:
تصویر:
Formalizing Data-Centric Web Services
نویسنده:
سال انتشار: 2015
تعداد صفحات: 136
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 6MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

افزودن به سبد دانلود توضیحات بیشتر

دانلود کتاب رسمی کردن خدمات وب داده محور
Evolving Computability - 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings
نویسنده:
سال انتشار: 2015
تعداد صفحات: 375
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 6.5MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

افزودن به سبد دانلود توضیحات بیشتر

دانلود کتاب رایانش در حال تحول
Everyday Computing with Windows 8.1
نویسنده:
سال انتشار: 2015
تعداد صفحات: 134
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 8.5MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

افزودن به سبد دانلود توضیحات بیشتر

دانلود کتاب محاسبات روزمره با ویندوز 8.1
Dashboards for Excel
نویسنده:
سال انتشار: 2015
تعداد صفحات: 545
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 32MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

افزودن به سبد دانلود توضیحات بیشتر

دانلود کتاب داشبورد ها برای اکسل
Cryptographic Hardware and Embedded Systems - CHES 2015 - 17th International Workshop, Saint-Malo, France, September 13-16, 2015, Proceedings
نویسنده:
سال انتشار: 2015
تعداد صفحات: 705
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 56MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

افزودن به سبد دانلود توضیحات بیشتر

دانلود کتاب سخت افزار رمزنگاری و سیستم های جاسازی شده
Computing the Continuous Discretely - Integer-Point Enumeration in Polyhedra
نویسنده:
سال انتشار: 2015
تعداد صفحات: 295
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 2.5MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

افزودن به سبد دانلود توضیحات بیشتر

دانلود کتاب محاسبه پراکنده مداوم
Computer Vision - ECCV 2014 Workshops - Zurich, Switzerland, September 6-7 and 12, 2014, Proceedings, Part IV
نویسنده:
سال انتشار: 2015
تعداد صفحات: 407
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 55MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

افزودن به سبد دانلود توضیحات بیشتر

دانلود کتاب چشم انداز کامپیوتر - کارگاه های آموزشی ECCV 2014 - بخش IV
Computer Vision - ACCV 2014 Workshops - Singapore, Singapore, November 1-2, 2014, Revised Selected Papers, Part II
نویسنده:
سال انتشار: 2015
تعداد صفحات: 722
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 196MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

افزودن به سبد دانلود توضیحات بیشتر

دانلود کتاب چشم انداز کامپیوتر - کارگاه های آموزشی ACCV 2014 بخش II
Computer Engineering and Technology - 18th CCF Conference, NCCET 2014, Guiyang, China, July 29 - August 1, 2014, Revised Selected Papers
نویسنده:
سال انتشار: 2015
تعداد صفحات: 195
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 47MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

افزودن به سبد دانلود توضیحات بیشتر

دانلود کتاب مهندسی و فناوری کامپیوتر
Computer Analysis of Images and Patterns - 16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015 Proceedings, Part I
نویسنده:
سال انتشار: 2015
تعداد صفحات: 863
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 127MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

افزودن به سبد دانلود توضیحات بیشتر

دانلود کتاب آنالیز کامپیوتری تصاویر و الگو ها

روشنایی خیابان با گام‌های عابران تشخیص بیماریهای ژنتیکی جنین با تست پاپ اسمیر مارمولکی که با پوستش آب می‌نوشد ساخت اولین نانو ربات برای کمک به جراحان ساختمان‌های هوشمندی که آسیب را حس می‌کنند امکان درمان بیماران آسیب نخاعی تا چند سال آینده طراحی ربات‌های هدفمند با قابلیت یادگیری مشابه کودک ربات‌های قاتل در راهند تامین انرژی رایانه‌های آینده با نانوسیم‌های مبتنی بر دی‌ان‌ای لینکدین در روسیه فیلتر می‌شود ارتباط کمبود ویتامین D با شیوع آسم در کودکان کانال تلگرام پابلیکا طراحی کشتی فوق سریع بدون سرنشین در چین کشف دلیل علمی تکرار یک ترانه در ذهن! نصب اسلحه لیزری روی جنگنده‌های آمریکا گاوهایی که به صاحبان خود پیام می‌فرستند! لامپی که با باکتری روشن می‌شود طراحی حسگر بویایی برای کاوشگرهای آینده ناسا تمرکز خودروساز سوئدی روی آسایش مسافران ترمیم قلب‌های آسیب دیده با سلول‌های بنیادی کشف دو سیاره جدید توسط دانشمندان برزیلی تولید ارزان‌ترین لامپ خورشیدی جهان فناوری زیردریایی‌ برای ساخت میدان روی آب حمل نوزاد بر روی چمدان کانال تلگرام دانشتاد : (دانشجو و استاد) : کانال جدیدترین اخبار علمی جهان تنظیم صحیح DNS و رفع مشکل دیده نشدن برخی سایتها خانه سیار زوج آمریکایی سردترین نقطه کره زمین 21 ساعت را در تاریکی سپری می‌کند امام خامنه ای در دیدار نخبگان علمی مطرح کردند: ایران پیشرفته و شریف، نیازمند نسل جوانی شجاع،تحصیل‌کرده و انقلابی دانشمندان به دنبال ایجاد یک دولت صلح‌طلب در فضا! کشف دوست پلوتو در منظومه شمسی تشخیص دیابت از روی عرق! بازگشت «حس لامسه» به یک معلول با کمک کاشت مغزی نانو داروی درمان همزمان سرطان کبد و هپاتیت با منشا گیاهی اکتشافات نفتی باعث ایجاد زلزله می‌شود اگر مورچه هم‌قد انسان بود با سرعت 83 کیلومتر بر ساعت راه می‌رفت هر انسان در طول زندگی خود 7500 حیوان را می‌خورد سرنخ های تازه درباره بیماری خواب برخی از داروهای فشار خون سبب افسردگی و اختلال دو قطبی می شوند انتقال داده ها از طریق لمس درمان آلزایمر با کمک ژن تراپی روسیه سلاح رادیوالکترونیک جدید آزمایش کرد هندی‌ها کتابخوان‌تر هستند سریع‌ترین خودروی جهان با سقف تاشو نخستین ترن‌ هوایی معلق بین زمین و هوا تولید آب آشامیدنی از هوا درمان همزمان سرطان کبد و هپاتیت با نانوداروی ایرانی کشف تولد خورشیدهای جوان از پس ابرهای فروپاشیده احتمال تولید قرص جوانی! خمیازه طولانی نشانه هوش بیشتر است حواس انسان 8 گانه است نه 5 گانه تاثیر هورمون عشق در حس معنویت تجهیز اتوبوس‌های ولوو به فناوری تشخیص عابر پیاده بررسی میکروب‌های موجود در ایستگاه فضایی بین‌المللی پرورش سوخت هواپیما روی درخت مایکروسافت به دنبال درمان سرطان تا 10 سال آینده درمان آسیب‌های نخاعی با گرافن مرتفع‌ترین ساختمان سبز در تایوان آباژور خورشیدی خارق‌العاده کشف زبان جهانی انسان‌ها
میکروب شناسی پزشکی جاوتز 2016
دانلود رایگان کتاب میکروب شناسی پزشکی جاوتز ملنیک آدلبرگ ویرایش بیست و هفتم 2016 و خرید کتاب فارسی جاوتز 2016 (ترجمه جهاندیده و جهاندیده)
ترجمه متون علمی و تخصصی علوم پایه و پزشکی  خرید اینترنتی کتاب میکروب شناسی جاوتز

نظرات و پیشنهادات

عضویت در سایت

پشتیبانی آنلاین

نام و نام خانوادگی:
پست الکترونیک:
متن:

نام کاربری:
کلمه عبور:
کلمه عبور را بخاطر بسپار
کلمه عبور خود را فراموش کرده ام
عضویت در سایت

نام و نام خانوادگی:
پست الکترونیک:
شماره موبایل:
گفتگو با:


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