جستجو در کتاب ها   جستجو در مقالات   جستجو در کل سایت
Formal Methods - An Appetizer
نویسنده:
سال انتشار: 2019
تعداد صفحات: 170
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 2MB
رمز فایل: www.ketabdownload.com
قیمت: 150,000ريال

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

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

This textbook is an introduction to the use of formal methods ranging from semantics of key programming constructs to techniques for the analysis and verification of programs. The authors use program graphs as the mechanism for representing the control structure of programs in order to find a balance between generality and conceptual complexity

 

دانلود کتاب روش های رسمی - یک اشتها آور Formal Methods - An Appetizer


دانلود کتاب روش های رسمی , یک اشتها آور , دانلود کتاب , روش های رسمی , Formal Methods , An Appetizer
علوم مهندسی و فناوری>رایانه، اینترنت و فناوری اطلاعات

نام و نام خانوادگی:
متن:
تصویر:
Gamification Mindset
نویسنده:
سال انتشار: 2019
تعداد صفحات: 144
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 2.5MB
رمز فایل: www.ketabdownload.com
قیمت: 150,000ريال

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

دانلود کتاب اندیشه بازی سازی
Cyberdanger - Understanding and Guarding Against Cybercrime
نویسنده:
سال انتشار: 2019
تعداد صفحات: 231
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 6MB
رمز فایل: www.ketabdownload.com
قیمت: 150,000ريال

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

دانلود کتاب خطر سایبری - درک و محافظت در برابر جرم سایبری
Cyber Security in Parallel and Distributed Computing - Concepts, Techniques, Applications and Case Studies
نویسنده:
سال انتشار: 2019
تعداد صفحات: 272
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 5MB
رمز فایل: www.ketabdownload.com
قیمت: 150,000ريال

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

دانلود کتاب امنیت سایبری در رایانش موازی و توزیع شده - مفاهیم، تکنیک ها، برنامه های کاربردی و مطالعات موردی
Information and Operational Technology Security Systems - First International Workshop, IOSec 2018, CIPSEC Project, Heraklion, Crete, Greece, September 13, 2018, Revised Selected Papers
نویسنده:
سال انتشار: 2019
تعداد صفحات: 152
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 9MB
رمز فایل: www.ketabdownload.com
قیمت: 150,000ريال

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

دانلود کتاب سیستم های امنیتی فناوری اطلاعات و عملیاتی
Databases Theory and Applications - 30th Australasian Database Conference, ADC 2019, Sydney, NSW, Australia, January 29 – February 1, 2019, Proceedings
نویسنده:
سال انتشار: 2019
تعداد صفحات: 146
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 7.5MB
رمز فایل: www.ketabdownload.com
قیمت: 150,000ريال

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

دانلود کتاب تئوری و کاربرد های پایگاه داده
Cyber-Vigilance and Digital Trust - Cyber Security in the Era of Cloud Computing and IoT
نویسنده:
سال انتشار: 2019
تعداد صفحات: 244
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 6MB
رمز فایل: www.ketabdownload.com
قیمت: 150,000ريال

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

دانلود کتاب هوشیاری سایبری و اعتماد دیجیتال - امنیت سایبری در عصر رایانش ابری و IoT
Software Project Estimation - Intelligent Forecasting, Project Control, and Client Relationship Management
نویسنده:
سال انتشار: 2020
تعداد صفحات: 128
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 3MB
رمز فایل: www.ketabdownload.com
قیمت: 200,000ريال

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

دانلود کتاب تخمین پروژه نرم افزار - پیش بینی هوشمند، کنترل پروژه و مدیریت ارتباط با مشتری
The Digital Big Bang - The Hard Stuff, the Soft Stuff, and the Future of Cybersecurity
نویسنده:
سال انتشار: 2019
تعداد صفحات: 328
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 3MB
رمز فایل: www.ketabdownload.com
قیمت: 150,000ريال

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

دانلود کتاب بینگ بنگ (انفجار بزرگ) دیجیتال - چیز سخت، چیز نرم و آینده امنیت سایبری
Disruptive Technology and Defence Innovation Ecosystems
نویسنده:
سال انتشار: 2019
تعداد صفحات: 229
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 10MB
رمز فایل: www.ketabdownload.com
قیمت: 150,000ريال

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

دانلود کتاب تکنولوژی مخرب و اکوسیستم های نوآوری دفاع
Discourse - A Concept for Information and Communication Sciences
نویسنده:
سال انتشار: 2019
تعداد صفحات: 212
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 4MB
رمز فایل: www.ketabdownload.com
قیمت: 150,000ريال

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

دانلود کتاب گفتمان - مفهومی برای علوم اطلاعات و ارتباطات

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

عضویت در سایت

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

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

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

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


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