trento

  • جنبه های نظری و عملی بررسی مدل اسپین: پنجمین و ششمین کارگاه بین المللی اسپین ترنتو، ایتالیا، 5 ژوئیه 1999 تولوز، فرانسه، 21 و 24 سپتامبر 1999 مجموعه مقالات

    دانلود کتاب Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops Trento, Italy, July 5, 1999 Toulouse, France, September 21 and 24, 1999 Proceedings (به فارسی: جنبه های نظری و عملی بررسی مدل اسپین: پنجمین و ششمین کارگاه بین المللی اسپین ترنتو، ایتالیا، 5 ژوئیه 1999 تولوز، فرانسه، 21 و 24 سپتامبر 1999 مجموعه مقالات) نوشته شده توسط «John Rushby (auth.) – Dennis Dams – Rob Gerth – Stefan Leue – Mieke Massink (eds.)» اطلاعات کتاب جنبه های نظری و عملی بررسی مدل اسپین: پنجمین و ششمین کارگاه بین المللی اسپین ترنتو، ایتالیا، 5 ژوئیه…

  • محاسبات سرویس گرا – ICSOC 2003: اولین کنفرانس بین المللی، ترنتو، ایتالیا، 15-18 دسامبر 2003. مجموعه مقالات

    دانلود کتاب Service-Oriented Computing – ICSOC 2003: First International Conference, Trento, Italy, December 15-18, 2003. Proceedings (به فارسی: محاسبات سرویس گرا – ICSOC 2003: اولین کنفرانس بین المللی، ترنتو، ایتالیا، 15-18 دسامبر 2003. مجموعه مقالات) نوشته شده توسط «Phillipa Oaks – Arthur H. M. ter Hofstede – David Edmond (auth.) – Maria E. Orlowska – Sanjiva Weerawarana – Michael P. Papazoglou – Jian Yang (eds.)» اطلاعات کتاب محاسبات سرویس گرا – ICSOC 2003: اولین کنفرانس بین المللی، ترنتو، ایتالیا، 15-18 دسامبر 2003. مجموعه مقالات موضوع اصلی: سازمان و پردازش داده ها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Phillipa…

  • تجزیه و تحلیل پیچیده و هندسه: مجموعه مقالات کنفرانس در ترنتو

    دانلود کتاب Complex analysis and geometry: proceedings of the conference at Trento (به فارسی: تجزیه و تحلیل پیچیده و هندسه: مجموعه مقالات کنفرانس در ترنتو) نوشته شده توسط «Vincenzo Ancona – Edoardo Ballico – A. Silva» اطلاعات کتاب تجزیه و تحلیل پیچیده و هندسه: مجموعه مقالات کنفرانس در ترنتو موضوع اصلی: ریاضیات نوع: کتاب الکترونیکی ناشر: Marcel Dekker نویسنده: Vincenzo Ancona – Edoardo Ballico – A. Silva زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1996 تعداد صفحه: 553 حجم کتاب: 5 مگابایت کد کتاب: 0824796721 , 9780824796723 , 9780585350233 نوبت چاپ: 1 توضیحات کتاب…

  • روش های محاسباتی در زیست شناسی سیستم ها: کنفرانس بین المللی، CMSB 2006، ترنتو، ایتالیا، 18-19 اکتبر 2006. مجموعه مقالات

    دانلود کتاب Computational Methods in Systems Biology: International Conference, CMSB 2006, Trento, Italy, October 18-19, 2006. Proceedings (به فارسی: روش های محاسباتی در زیست شناسی سیستم ها: کنفرانس بین المللی، CMSB 2006، ترنتو، ایتالیا، 18-19 اکتبر 2006. مجموعه مقالات) نوشته شده توسط «Marino Miculan – Giorgio Bacci (auth.) – Corrado Priami (eds.)» اطلاعات کتاب روش های محاسباتی در زیست شناسی سیستم ها: کنفرانس بین المللی، CMSB 2006، ترنتو، ایتالیا، 18-19 اکتبر 2006. مجموعه مقالات موضوع اصلی: ریاضیات محاسباتی نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Marino Miculan – Giorgio Bacci (auth.) – Corrado Priami (eds.) زبان: English فرمت کتاب:…

  • سیستم های ذرات برهم کنش کوانتومی: یادداشت های سخنرانی مدرسه بین المللی Volterra-CIRM، ترنتو، 2000

    دانلود کتاب Quantum interacting particle systems: Lecture notes of the Volterra-CIRM international school, Trento, 2000 (به فارسی: سیستم های ذرات برهم کنش کوانتومی: یادداشت های سخنرانی مدرسه بین المللی Volterra-CIRM، ترنتو، 2000) نوشته شده توسط «Franco Fagnola – L. Accardi» اطلاعات کتاب سیستم های ذرات برهم کنش کوانتومی: یادداشت های سخنرانی مدرسه بین المللی Volterra-CIRM، ترنتو، 2000 موضوع اصلی: فیزیک کوانتوم نوع: کتاب الکترونیکی ناشر: World Scientific Publishing Company نویسنده: Franco Fagnola – L. Accardi زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 2002 تعداد صفحه: 357 حجم کتاب: 2 مگابایت کد کتاب: 981238104X ,…

  • تکنیک ها و کاربردهای بازنویسی: دهمین کنفرانس بین المللی، RTA-99 ترنتو، ایتالیا، 2 تا 4 ژوئیه، 1999 مجموعه مقالات

    دانلود کتاب Rewriting Techniques and Applications: 10th International Conference, RTA-99 Trento, Italy, July 2–4, 1999 Proceedings (به فارسی: تکنیک ها و کاربردهای بازنویسی: دهمین کنفرانس بین المللی، RTA-99 ترنتو، ایتالیا، 2 تا 4 ژوئیه، 1999 مجموعه مقالات) نوشته شده توسط «Robert Nieuwenhuis – José Miguel Rivero (auth.) – Paliath Narendran – Michael Rusinowitch (eds.)» اطلاعات کتاب تکنیک ها و کاربردهای بازنویسی: دهمین کنفرانس بین المللی، RTA-99 ترنتو، ایتالیا، 2 تا 4 ژوئیه، 1999 مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Robert Nieuwenhuis – José Miguel Rivero (auth.) – Paliath Narendran – Michael Rusinowitch (eds.)…

  • مبانی منطق و برنامه ریزی کاربردی: کارگاه آموزشی ترنتو، ایتالیا، 15 تا 19 دسامبر 1986 مجموعه مقالات

    دانلود کتاب Foundations of Logic and Functional Programming: Workshop Trento, Italy, December 15–19, 1986 Proceedings (به فارسی: مبانی منطق و برنامه ریزی کاربردی: کارگاه آموزشی ترنتو، ایتالیا، 15 تا 19 دسامبر 1986 مجموعه مقالات) نوشته شده توسط «Carolyn Talcott (auth.) – Mauro Boscarol – Luigia Carlucci Aiello – Giorgio Levi (eds.)» اطلاعات کتاب مبانی منطق و برنامه ریزی کاربردی: کارگاه آموزشی ترنتو، ایتالیا، 15 تا 19 دسامبر 1986 مجموعه مقالات موضوع اصلی: برنامه نويسي نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Carolyn Talcott (auth.) – Mauro Boscarol – Luigia Carlucci Aiello – Giorgio Levi (eds.) زبان: English فرمت کتاب:…

  • تأیید به کمک رایانه: یازدهمین کنفرانس بین المللی، CAV’99 ترنتو، ایتالیا، 6 تا 10 ژوئیه، 1999 مجموعه مقالات

    دانلود کتاب Computer Aided Verification: 11th International Conference, CAV’99 Trento, Italy, July 6–10, 1999 Proceedings (به فارسی: تأیید به کمک رایانه: یازدهمین کنفرانس بین المللی، CAV’99 ترنتو، ایتالیا، 6 تا 10 ژوئیه، 1999 مجموعه مقالات) نوشته شده توسط «David L. Dill (auth.) – Nicolas Halbwachs – Doron Peled (eds.)» اطلاعات کتاب تأیید به کمک رایانه: یازدهمین کنفرانس بین المللی، CAV’99 ترنتو، ایتالیا، 6 تا 10 ژوئیه، 1999 مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: David L. Dill (auth.) – Nicolas Halbwachs – Doron Peled (eds.) زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر…

  • تجزیه و تحلیل پیچیده و هندسه: مجموعه مقالات کنفرانس در ترنتو

    دانلود کتاب Complex analysis and geometry: proceedings of the conference at Trento (به فارسی: تجزیه و تحلیل پیچیده و هندسه: مجموعه مقالات کنفرانس در ترنتو) نوشته شده توسط «Vincenzo Ancona – Edoardo Ballico – A. Silva» اطلاعات کتاب تجزیه و تحلیل پیچیده و هندسه: مجموعه مقالات کنفرانس در ترنتو موضوع اصلی: کنفرانس ها و سمپوزیوم های بین المللی نوع: کتاب الکترونیکی ناشر: CRC Press نویسنده: Vincenzo Ancona – Edoardo Ballico – A. Silva زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1995 تعداد صفحه: 553 حجم کتاب: 4 مگابایت کد کتاب: 9780824796723 , 0824796721 نوبت…

  • حساب تغییرات و معادلات دیفرانسیل جزئی. Proc. conf. ترنتو، 1986

    دانلود کتاب Calculus of Variations and Partial Differential Equations. Proc. conf. Trento, 1986 (به فارسی: حساب تغییرات و معادلات دیفرانسیل جزئی. Proc. conf. ترنتو، 1986) نوشته شده توسط «Stefan Hildebrandt – David Kinderlehrer – Mario Miranda» اطلاعات کتاب حساب تغییرات و معادلات دیفرانسیل جزئی. Proc. conf. ترنتو، 1986 موضوع اصلی: ریاضیات نوع: کتاب الکترونیکی ناشر: Springer نویسنده: Stefan Hildebrandt – David Kinderlehrer – Mario Miranda زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1988 تعداد صفحه: 321 حجم کتاب: 2 مگابایت کد کتاب: 3540501193 , 9783540501190 نوبت چاپ: 1 دانلود کتاب «حساب تغییرات و معادلات…

بارگزاری بیشتر
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان