computer
منطق برای دانشمندان کامپیوتر
دانلود کتاب Logic for computer scientists (به فارسی: منطق برای دانشمندان کامپیوتر) نوشته شده توسط «Uwe Schöning (auth.)» اطلاعات کتاب منطق برای دانشمندان کامپیوتر موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Birkhäuser Basel نویسنده: Uwe Schöning (auth.) زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 2008 تعداد صفحه: 168 حجم کتاب: 2 مگابایت کد کتاب: 9780817634537 , 9780817647629 , 9783764334536 , 0817634533 , 0817647627 , 3764334533 نوبت چاپ: 1 توضیحات کتاب منطق برای دانشمندان کامپیوتر این کتاب مفاهیم و روش‌های منطق صوری را از دیدگاه علوم کامپیوتر معرفی می‌کند، که شامل منطق گزاره‌ای، منطق محمول…
رویکردهای کامپیوتری به مسائل ریاضی
دانلود کتاب Computer approaches to mathematical problems (به فارسی: رویکردهای کامپیوتری به مسائل ریاضی) نوشته شده توسط «Jurg Nievergelt – etc.» اطلاعات کتاب رویکردهای کامپیوتری به مسائل ریاضی موضوع اصلی: ریاضیات نوع: کتاب الکترونیکی ناشر: Prentice Hall نویسنده: Jurg Nievergelt – etc. زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1974 تعداد صفحه: 267 حجم کتاب: 3 مگابایت کد کتاب: 9780131648555 , 0131648551 دانلود کتاب «رویکردهای کامپیوتری به مسائل ریاضی»
پیشرفت در ریاضیات ترکیبی: مجموعه مقالات کارگاه واترلو در جبر کامپیوتر 2008
دانلود کتاب Advances in combinatorial mathematics: Proceedings of the Waterloo workshop in computer algebra 2008 (به فارسی: پیشرفت در ریاضیات ترکیبی: مجموعه مقالات کارگاه واترلو در جبر کامپیوتر 2008) نوشته شده توسط «Georgy P. Egorychev (auth.) – Ilias S. Kotsireas – Eugene V. Zima (eds.)» اطلاعات کتاب پیشرفت در ریاضیات ترکیبی: مجموعه مقالات کارگاه واترلو در جبر کامپیوتر 2008 موضوع اصلی: جبر نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Georgy P. Egorychev (auth.) – Ilias S. Kotsireas – Eugene V. Zima (eds.) زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2010 تعداد صفحه: 174…
مقدمه ای بر قلب شناسی محاسباتی: مدل سازی ریاضی و شبیه سازی کامپیوتری
دانلود کتاب Introduction to computational cardiology: Mathematical modeling and computer simulation (به فارسی: مقدمه ای بر قلب شناسی محاسباتی: مدل سازی ریاضی و شبیه سازی کامپیوتری) نوشته شده توسط «Boris Ja. Kogan (auth.)» اطلاعات کتاب مقدمه ای بر قلب شناسی محاسباتی: مدل سازی ریاضی و شبیه سازی کامپیوتری موضوع اصلی: ریاضیات نوع: کتاب الکترونیکی ناشر: Springer US نویسنده: Boris Ja. Kogan (auth.) زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2010 تعداد صفحه: 231 حجم کتاب: 10 مگابایت کد کتاب: 0387766855 , 9780387766850 نوبت چاپ: 1 توضیحات کتاب مقدمه ای بر قلب شناسی محاسباتی: مدل…
دسته ها و علوم کامپیوتر
دانلود کتاب Categories and computer science (به فارسی: دسته ها و علوم کامپیوتر) نوشته شده توسط «R. F. C. Walters» اطلاعات کتاب دسته ها و علوم کامپیوتر موضوع اصلی: سخنرانی ها، تک نگاری ها نوع: کتاب الکترونیکی ناشر: Cambridge University Press نویسنده: R. F. C. Walters زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1992 تعداد صفحه: 172 حجم کتاب: 1 مگابایت کد کتاب: 9780521422260 , 0521422264 , 0521419972 , 9780521419970 توضیحات کتاب دسته ها و علوم کامپیوتر نظریه مقوله در سالهای اخیر اهمیت و محبوبیت فزاینده ای در علوم کامپیوتر پیدا کرده است و…
نظریه گراف در مهندسی مدرن: طراحی به کمک کامپیوتر، کنترل، بهینه سازی، تجزیه و تحلیل قابلیت اطمینان
دانلود کتاب Graph Theory in Modern Engineering: Computer Aided Design, Control, Optimization, Reliability Analysis (به فارسی: نظریه گراف در مهندسی مدرن: طراحی به کمک کامپیوتر، کنترل، بهینه سازی، تجزیه و تحلیل قابلیت اطمینان) نوشته شده توسط «Ernest J. Henley and R.A. Williams (Eds.)» اطلاعات کتاب نظریه گراف در مهندسی مدرن: طراحی به کمک کامپیوتر، کنترل، بهینه سازی، تجزیه و تحلیل قابلیت اطمینان موضوع اصلی: فن آوری نوع: کتاب الکترونیکی ناشر: Academic Press نویسنده: Ernest J. Henley and R.A. Williams (Eds.) زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1973 تعداد صفحه: ii-xvi, 1-303 حجم کتاب:…
ریاضیات هارمونی: از اقلیدس تا ریاضیات معاصر و علوم کامپیوتر
دانلود کتاب The mathematics of harmony: from Euclid to contemporary mathematics and computer science (به فارسی: ریاضیات هارمونی: از اقلیدس تا ریاضیات معاصر و علوم کامپیوتر) نوشته شده توسط «Alexey Stakhov – Scott Olsen» اطلاعات کتاب ریاضیات هارمونی: از اقلیدس تا ریاضیات معاصر و علوم کامپیوتر موضوع اصلی: ریاضیات نوع: کتاب الکترونیکی ناشر: WS نویسنده: Alexey Stakhov – Scott Olsen زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2009 تعداد صفحه: 739 حجم کتاب: 10 مگابایت کد کتاب: 9789812775825 , 981277582X توضیحات کتاب ریاضیات هارمونی: از اقلیدس تا ریاضیات معاصر و علوم کامپیوتر این جلد…
کاربردهای دسته بندی ها در علوم کامپیوتر: Proc. ریاضی لندن. Soc. سیمپ.، دورهام 1991
دانلود کتاب Applications of Categories in Computer Science: Proc. London Math. Soc. Symp., Durham 1991 (به فارسی: کاربردهای دسته بندی ها در علوم کامپیوتر: Proc. ریاضی لندن. Soc. سیمپ.، دورهام 1991) نوشته شده توسط «M. P. Fourman – P. T. Johnstone – A. M. Pitts» اطلاعات کتاب کاربردهای دسته بندی ها در علوم کامپیوتر: Proc. ریاضی لندن. Soc. سیمپ.، دورهام 1991 موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Cambridge University Press نویسنده: M. P. Fourman – P. T. Johnstone – A. M. Pitts زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1992 تعداد صفحه: 349…
منطق خطی در علوم کامپیوتر
دانلود کتاب Linear logic in computer science (به فارسی: منطق خطی در علوم کامپیوتر) نوشته شده توسط «Thomas Ehrhard – Jean-Yves Girard – Paul Ruet – Philip Scott» اطلاعات کتاب منطق خطی در علوم کامپیوتر موضوع اصلی: سخنرانی ها، تک نگاری ها نوع: کتاب الکترونیکی ناشر: CUP نویسنده: Thomas Ehrhard – Jean-Yves Girard – Paul Ruet – Philip Scott زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 2004 تعداد صفحه: 392 حجم کتاب: 3 مگابایت کد کتاب: 9780521608572 , 0521608570 دانلود کتاب «منطق خطی در علوم کامپیوتر»
بازجویی شکل برای طراحی و ساخت به کمک کامپیوتر
دانلود کتاب Shape interrogation for computer aided design and manufacturing (به فارسی: بازجویی شکل برای طراحی و ساخت به کمک کامپیوتر) نوشته شده توسط «Nicholas M. Patrikalakis – Takashi Maekawa (auth.)» اطلاعات کتاب بازجویی شکل برای طراحی و ساخت به کمک کامپیوتر موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Nicholas M. Patrikalakis – Takashi Maekawa (auth.) زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 2010 تعداد صفحه: 408 حجم کتاب: 5 مگابایت کد کتاب: 364204073X , 9783642040733 نوبت چاپ: 1 توضیحات کتاب بازجویی شکل برای طراحی و ساخت به کمک کامپیوتر…