دانلود کتاب Algorithms and Computation: 11th International Conference, ISAAC 2000 Taipei, Taiwan, December 18–20, 2000 Proceedings

49,000 تومان
الگوریتم ها و محاسبات: یازدهمین کنفرانس بین المللی، ISAAC 2000 تایپه، تایوان، 18-20 دسامبر، 2000 مجموعه مقالات
موضوع اصلی ریاضیات محاسباتی
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 582
حجم فایل 3 مگابایت
کد کتاب 3540412557,9783540412557
نوبت چاپ 1

دانلود کتاب Constraints in Computational Logics: Theory and Applications International Summer School, CCL ’99 Gif-sur-Yvette, France, September 5–8, 1999 Revised Lectures

محدودیت‌ها در منطق محاسباتی: تئوری و کاربردها مدرسه تابستانی بین‌المللی، CCL 99 Gif-sur-Yvette، فرانسه، 5 تا 8 سپتامبر 1999 سخنرانی‌های اصلاح‌شده
موضوع اصلی ریاضیات محاسباتی
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 316
حجم فایل 2 مگابایت
کد کتاب 3540419500,9783540419501
نوبت چاپ 1

دانلود کتاب Distributed Algorithms: 4th International Workshop Bari, Italy, September 24–26, 1990 Proceedings

49,000 تومان
الگوریتم های توزیع شده: چهارمین کارگاه بین المللی باری، ایتالیا، 24 تا 26 سپتامبر 1990 مجموعه مقالات
موضوع اصلی الگوریتم ها و ساختارهای داده
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 436
حجم فایل 4 مگابایت
کد کتاب 3540540997,9783540540991
نوبت چاپ 1

دانلود کتاب Graph-Theoretic Concepts in Computer Science: 28th International Workshop, WG 2002 Český Krumlov, Czech Republic, June 13–15, 2002 Revised Papers

49,000 تومان
مفاهیم نظری نمودار در علوم کامپیوتر: بیست و هشتمین کارگاه بین المللی، WG 2002 Český Krumlov، جمهوری چک، 13-15 ژوئن، 2002 مقالات تجدید نظر شده
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 422
حجم فایل 3 مگابایت
کد کتاب 9783540003311,3540003312
نوبت چاپ 1

دانلود کتاب Handbook of Theoretical Computer Science. Volume A. Algorithms and Complexity

49,000 تومان
کتابچه راهنمای علوم کامپیوتر نظری. جلد A. الگوریتم ها و پیچیدگی
موضوع اصلی الگوریتم ها و ساختارهای داده
نوع کالا کتاب الکترونیکی
ناشر Elsevier
تعداد صفحه 981
حجم فایل 8 مگابایت
کد کتاب 0444880755,9780444880758

دانلود کتاب Information Security: Third International Workshop, ISW 2000 Wollongong, Australia, December 20–21, 2000 Proceedings

49,000 تومان
امنیت اطلاعات: سومین کارگاه بین المللی، ISW 2000 Wollongong، استرالیا، 20-21 دسامبر، 2000 مجموعه مقالات
موضوع اصلی کنفرانس ها و سمپوزیوم های بین المللی
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 322
حجم فایل 3 مگابایت
کد کتاب 3540414169
نوبت چاپ 1

دانلود کتاب Object-Oriented Technology: ECOOP 2000 Workshop Reader ECOOP 2000 Workshops, Panels, and Posters Sophia Antipolis and Cannes, France, June 12–16, 2000 Proceedings

49,000 تومان
فناوری شی گرا: ECOOP 2000 Workshop Reader ECOOP 2000 Workshops, Panel, and Posters Sophia Antipolis and Cannes, France, 12-16 ژوئن 2000 مجموعه مقالات
موضوع اصلی کنفرانس ها و سمپوزیوم های بین المللی
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 316
حجم فایل 3 مگابایت
کد کتاب 3540415130,9783540415138
نوبت چاپ 1

دانلود کتاب SOFSEM 2007: Theory and Practice of Computer Science: 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007. Proceedings

49,000 تومان
SOFSEM 2007: تئوری و عمل علوم کامپیوتر: سی و سومین کنفرانس روندهای فعلی در نظریه و عمل علوم کامپیوتر، هاراچوف، جمهوری چک، 20-26 ژانویه 2007. مجموعه مقالات
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 937
حجم فایل 14 مگابایت
کد کتاب 3540695060,9783540695066
نوبت چاپ 1

دانلود کتاب The World Wide Web and Databases: Third International Workshop WebDB 2000 Dallas, TX, USA, May 18–19,2000 Selected Papers

49,000 تومان
وب جهانی و پایگاه های داده: سومین کارگاه بین المللی WebDB 2000 دالاس، تگزاس، ایالات متحده آمریکا، 18-19،2000 مقالات منتخب
موضوع اصلی کنفرانس ها و سمپوزیوم های بین المللی
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 280
حجم فایل 2 مگابایت
کد کتاب 3540418261,9783540418269
نوبت چاپ 1

دانلود کتاب Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings

49,000 تومان
اثبات قضیه در منطق های مرتبه بالاتر: نهمین کنفرانس بین المللی، TPHOLs'96 تورکو، فنلاند، 26 تا 30 اوت، 1996 مجموعه مقالات
موضوع اصلی منطق
نوع کالا کتاب الکترونیکی
ناشر Springer Berlin Heidelberg
تعداد صفحه 449
حجم فایل 3 مگابایت
کد کتاب 3540615873,9783540615873
نوبت چاپ 1

دانلود کتاب Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics: International Conference IFIP TCS 2000 Sendai, Japan, August 17–19, 2000 Proceedings

49,000 تومان
علوم کامپیوتر نظری: کاوش در مرزهای جدید انفورماتیک نظری: کنفرانس بین المللی IFIP TCS 2000 سندای، ژاپن، 17 تا 19 اوت، 2000 مجموعه مقالات
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 636
حجم فایل 4 مگابایت
کد کتاب 3540678239,9783540678236
نوبت چاپ 1