جستجو در کتاب ها   جستجو در مقالات  جستجو در کل سایت
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 , کتاب دانلود
علوم مهندسی و فناوری>رایانه، اینترنت و فناوری اطلاعات

نام و نام خانوادگی:
متن:
تصویر:
Digital Techniques for Wideband Receivers - 3rd Edition
نویسنده:
سال انتشار: 2015
تعداد صفحات: 610
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 14MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

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

دانلود کتاب تکنیک های دیجیتال برای رسیور های پهنا باند - ویرایش سوم
Web Technologies and Applications - APWeb 2015 Workshops, BSD, WDMA, and BDAT, Guangzhou, China, September 18, 2015, Revised Selected Papers
نویسنده:
سال انتشار: 2015
تعداد صفحات: 178
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 13MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

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

دانلود کتاب فن آوری های وب و برنامه های کاربردی
Solving Software Challenges for Exascale - International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers
نویسنده:
سال انتشار: 2015
تعداد صفحات: 154
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 16MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

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

دانلود کتاب حل چالش های نرم افزاری برای اگزااسکال
Pro iOS Table Views and Collection Views - Using Swift 2
نویسنده:
سال انتشار: 2015
تعداد صفحات: 569
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 15MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

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

دانلود کتاب نما های جدول Pro iOS و نما های مجموعه - استفاده از سویفت 2
Pattern Recognition and Image Analysis - 7th Iberian Conference, IbPRIA 2015, Santiago de Compostela, Spain, June 17-19, 2015, Proceedings
نویسنده:
سال انتشار: 2015
تعداد صفحات: 756
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 112MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

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

دانلود کتاب تشخیص الگو و آنالیز تصویر
Mastering Structured Data on the Semantic Web - From HTML5 Microdata to Linked Open Data
نویسنده:
سال انتشار: 2015
تعداد صفحات: 244
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 9MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

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

دانلود کتاب تسلط داده های ساخت یافته در وب معنایی
Logic, Language, and Computation - 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers
نویسنده:
سال انتشار: 2015
تعداد صفحات: 346
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 18.5MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

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

دانلود کتاب منطق، زبان، و محاسبات
Lightweight Cryptography for Security and Privacy - Third International Workshop, LightSec 2014, Istanbul, Turkey, September 1-2, 2014, Revised Selected Papers
نویسنده:
سال انتشار: 2015
تعداد صفحات: 175
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 8.5MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

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

دانلود کتاب رمزنگاری سبک برای امنیت و حریم شخصی
Information Security Theory and Practice - 9th IFIP WG 11.2 International Conference, WISTP 2015, Heraklion, Crete, Greece, August 24-25, 2015. Proceedings
نویسنده:
سال انتشار: 2015
تعداد صفحات: 285
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 10MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

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

دانلود کتاب نظریه امنیت و عمل اطلاعات
How the Internet Shapes Collective Actions
نویسنده:
سال انتشار: 2015
تعداد صفحات: 83
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 1MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

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

دانلود کتاب چگونه اینترنت اقدامات جمعی را شکل می دهد

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

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

عضویت در سایت

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

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

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

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


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