provably
بهینه سازی ترکیبی محاسباتی: راه حل های بهینه یا تقریباً بهینه
دانلود کتاب Computational Combinatorial Optimization: Optimal or Provably Near-Optimal Solutions (به فارسی: بهینه سازی ترکیبی محاسباتی: راه حل های بهینه یا تقریباً بهینه) نوشته شده توسط «Alexander Martin (auth.) – Michael Jünger – Denis Naddef (eds.)» اطلاعات کتاب بهینه سازی ترکیبی محاسباتی: راه حل های بهینه یا تقریباً بهینه موضوع اصلی: ریاضیات محاسباتی نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Alexander Martin (auth.) – Michael Jünger – Denis Naddef (eds.) زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2001 تعداد صفحه: 310 حجم کتاب: 3 مگابایت کد کتاب: 3540428771 , 9783540428770 نوبت چاپ: 1…
استگانوگرافی ایمن اثبات شده
دانلود کتاب Provably Secure Steganography (به فارسی: استگانوگرافی ایمن اثبات شده) نوشته شده توسط «Nicholas J Hopper» اطلاعات کتاب استگانوگرافی ایمن اثبات شده موضوع اصلی: الگوریتم ها و ساختارهای داده: واترمارک دیجیتال نوع: کتاب الکترونیکی ناشر: School of Computer Science, Carnegie Mellon University نویسنده: Nicholas J Hopper زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2002 تعداد صفحه: 16 حجم کتاب: 1 مگابایت دانلود کتاب «استگانوگرافی ایمن اثبات شده»
کارآمدتر استگانوگرافی ایمن و قابل اثبات
دانلود کتاب More Efficient Provably Secure Steganography (به فارسی: کارآمدتر استگانوگرافی ایمن و قابل اثبات) نوشته شده توسط «Leonid Reyzin and Scott Russell» اطلاعات کتاب کارآمدتر استگانوگرافی ایمن و قابل اثبات موضوع اصلی: الگوریتم ها و ساختارهای داده: واترمارک دیجیتال نوع: کتاب الکترونیکی نویسنده: Leonid Reyzin and Scott Russell زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2003 تعداد صفحه: 20 حجم کتاب: 1 مگابایت دانلود کتاب «کارآمدتر استگانوگرافی ایمن و قابل اثبات»
بهینه سازی ترکیبی محاسباتی: راه حل های بهینه یا تقریباً بهینه
دانلود کتاب Computational Combinatorial Optimization: Optimal or Provably Near-Optimal Solutions (به فارسی: بهینه سازی ترکیبی محاسباتی: راه حل های بهینه یا تقریباً بهینه) نوشته شده توسط «Alexander Martin (auth.) – Michael Jünger – Denis Naddef (eds.)» اطلاعات کتاب بهینه سازی ترکیبی محاسباتی: راه حل های بهینه یا تقریباً بهینه موضوع اصلی: ریاضیات محاسباتی نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Alexander Martin (auth.) – Michael Jünger – Denis Naddef (eds.) زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 2001 تعداد صفحه: 310 حجم کتاب: 1 مگابایت کد کتاب: 9783540428770 , 3540428771 نوبت چاپ: 1…
ستون فقرات نرم افزار: طراحی نرم افزار قابل اثبات صحیح: تئوری و عمل یا مقدمه ریاضی بر معناشناسی برنامه کامپیوتری
دانلود کتاب The Spine of Software: Designing Provably Correct Software: Theory and Practice or a Mathematical Introduction to the Semantics of Computer Program (به فارسی: ستون فقرات نرم افزار: طراحی نرم افزار قابل اثبات صحیح: تئوری و عمل یا مقدمه ریاضی بر معناشناسی برنامه کامپیوتری) نوشته شده توسط «Robert Laurence Baber» اطلاعات کتاب ستون فقرات نرم افزار: طراحی نرم افزار قابل اثبات صحیح: تئوری و عمل یا مقدمه ریاضی بر معناشناسی برنامه کامپیوتری موضوع اصلی: ریاضیات نوع: کتاب الکترونیکی ناشر: John Wiley & Sons Inc نویسنده: Robert Laurence Baber زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)…
چگونه می توان سیستم های رمزنگاری چندپخشی را در برابر حمله متن رمزی انتخابی تطبیقی ایمن ساخت
دانلود کتاب How to Construct Multicast Cryptosystems Provably Secure Against Adaptive Chosen Ciphertext Attack (به فارسی: چگونه می توان سیستم های رمزنگاری چندپخشی را در برابر حمله متن رمزی انتخابی تطبیقی ایمن ساخت) نوشته شده توسط «Duan Canny» اطلاعات کتاب چگونه می توان سیستم های رمزنگاری چندپخشی را در برابر حمله متن رمزی انتخابی تطبیقی ایمن ساخت موضوع اصلی: تحصیلات نوع: کتاب الکترونیکی نویسنده: Duan Canny زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) تعداد صفحه: 18 حجم کتاب: 1 مگابایت دانلود کتاب «چگونه می توان سیستم های رمزنگاری چندپخشی را در برابر حمله متن رمزی انتخابی…
بهینه سازی ترکیبی محاسباتی: راه حل های بهینه یا تقریباً بهینه
دانلود کتاب Computational Combinatorial Optimization: Optimal or Provably Near-Optimal Solutions (به فارسی: بهینه سازی ترکیبی محاسباتی: راه حل های بهینه یا تقریباً بهینه) نوشته شده توسط «Alexander Martin (auth.) – Michael Jünger – Denis Naddef (eds.)» اطلاعات کتاب بهینه سازی ترکیبی محاسباتی: راه حل های بهینه یا تقریباً بهینه موضوع اصلی: ریاضیات محاسباتی نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Alexander Martin (auth.) – Michael Jünger – Denis Naddef (eds.) زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2001 تعداد صفحه: 310 حجم کتاب: 3 مگابایت کد کتاب: 3540428771 , 9783540428770 نوبت چاپ: 1…
بهینه سازی ترکیبی محاسباتی: راه حل های بهینه یا تقریباً بهینه
دانلود کتاب Computational Combinatorial Optimization: Optimal or Provably Near-Optimal Solutions (به فارسی: بهینه سازی ترکیبی محاسباتی: راه حل های بهینه یا تقریباً بهینه) نوشته شده توسط «Alexander Martin (auth.) – Michael Jünger – Denis Naddef (eds.)» اطلاعات کتاب بهینه سازی ترکیبی محاسباتی: راه حل های بهینه یا تقریباً بهینه موضوع اصلی: ریاضیات محاسباتی نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Alexander Martin (auth.) – Michael Jünger – Denis Naddef (eds.) زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2001 تعداد صفحه: 310 حجم کتاب: 3 مگابایت کد کتاب: 9783540428770 , 3-540-42877-1 نوبت چاپ: 1…
تکنیکهای رسمی در سیستمهای بیدرنگ و تحملپذیر خطا: سومین سمپوزیوم بینالمللی که به طور مشترک با گروه کاری سازماندهی شد سیستمهای کاملاً صحیح – ProCoS Lübeck، آلمان، 19 تا 23 سپتامبر 1994 مجموعه مقالات
دانلود کتاب Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct Systems — ProCoS Lübeck, Germany, September 19–23, 1994 Proceedings (به فارسی: تکنیکهای رسمی در سیستمهای بیدرنگ و تحملپذیر خطا: سومین سمپوزیوم بینالمللی که به طور مشترک با گروه کاری سازماندهی شد سیستمهای کاملاً صحیح – ProCoS Lübeck، آلمان، 19 تا 23 سپتامبر 1994 مجموعه مقالات) نوشته شده توسط «Limor Fix – Fred B. Schneider (auth.) – Hans Langmaack – Willem-Paul de Roever – Jan Vytopil (eds.)» اطلاعات کتاب تکنیکهای رسمی در سیستمهای بیدرنگ و تحملپذیر خطا: سومین سمپوزیوم بینالمللی که…