دانلود کتاب 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

دانلود کتاب Compiler construction

49,000 تومان
ساخت کامپایلر
موضوع اصلی برنامه نویسی: کامپایلر
نوع کالا کتاب الکترونیکی
ناشر Springer
تعداد صفحه 372
حجم فایل 2 مگابایت
کد کتاب 9780387908212,0387908218
نوبت چاپ پیش نویس وب

دانلود کتاب Compiler Construction

49,000 تومان
ساخت کامپایلر
موضوع اصلی برنامه نویسی: کامپایلر
نوع کالا کتاب الکترونیکی
ناشر Springer
تعداد صفحه 372
حجم فایل 4 مگابایت
کد کتاب 9780387908212,0387908218,0387908218
نوبت چاپ پیش نویس وب

دانلود کتاب 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

دانلود کتاب DIANA An Intermediate Language for Ada

49,000 تومان
DIANA یک زبان متوسط ​​برای آدا
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 205
حجم فایل 2 مگابایت
کد کتاب 3540126953,9783540126959
نوبت چاپ 1

دانلود کتاب DIANA An Intermediate Language for Ada

49,000 تومان
DIANA یک زبان متوسط ​​برای آدا
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 205
حجم فایل 8 مگابایت
کد کتاب 3540126953,9783540126959
نوبت چاپ 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

دانلود کتاب 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

دانلود کتاب 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

دانلود کتاب Vorlesungen über Informatik: Band 1: Grundlagen und funktionales Programmieren

49,000 تومان
سخنرانی در علوم کامپیوتر: جلد 1: مبانی و برنامه نویسی تابعی
موضوع اصلی الگوریتم ها و ساختارهای داده
نوع کالا کتاب الکترونیکی
ناشر Springer
تعداد صفحه 410
حجم فایل 3 مگابایت
کد کتاب 3540244050
نوبت چاپ 4., überarb. Aufl.