دانلود کتاب Abstract State Machines 2003: Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings

49,000 تومان
Abstract State Machines 2003: Advances in Theory and Practice دهمین کارگاه بین المللی، ASM 2003 Taormina، ایتالیا، 3 تا 7 مارس 2003 مجموعه مقالات
موضوع اصلی فن آوری
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 436
حجم فایل 4 مگابایت
کد کتاب 3540006249,9783540006244
نوبت چاپ 1

دانلود کتاب Abstract state machines A method for high level system design and analysis

49,000 تومان
ماشین‌های حالت انتزاعی روشی برای طراحی و تحلیل سیستم سطح بالا
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer
تعداد صفحه 448
حجم فایل 22 مگابایت
کد کتاب 3540007024,9783540007029
نوبت چاپ 1

دانلود کتاب Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

49,000 تومان
Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, 16-18 سپتامبر 2008. مجموعه مقالات
موضوع اصلی فن آوری
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 384
حجم فایل 5 مگابایت
کد کتاب 9783540876021,3540876022
نوبت چاپ 1

دانلود کتاب Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC’93 Brno, Czech Republic, August 24–27, 1993 Proceedings

49,000 تومان
منطق محاسباتی و نظریه اثبات: سومین کنفرانس کورت گودل، KGC'93 برنو، جمهوری چک، 24 تا 27 اوت، 1993 مجموعه مقالات
موضوع اصلی ریاضیات محاسباتی
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 354
حجم فایل 3 مگابایت
کد کتاب 3540571841,9783540571841
نوبت چاپ 1

دانلود کتاب Computer Science Logic: 4th Workshop, CSL ’90 Heidelberg, Germany, October 1–5, 1990 Proceedings

49,000 تومان
منطق علوم کامپیوتر: چهارمین کارگاه، CSL '90 هایدلبرگ، آلمان، 1 تا 5 اکتبر 1990 مجموعه مقالات
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 402
حجم فایل 4 مگابایت
کد کتاب 3540544879,9783540544876
نوبت چاپ 1

دانلود کتاب Computer Science Logic: 5th Workshop, CSL ’91 Berne, Switzerland, October 7–11, 1991 Proceedings

49,000 تومان
منطق علوم کامپیوتر: کارگاه پنجم، CSL '91 برن، سوئیس، 7 تا 11 اکتبر 1991 مجموعه مقالات
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 431
حجم فایل 4 مگابایت
کد کتاب 354055789X,9783540557890
نوبت چاپ 1

دانلود کتاب Computer Science Logic: 7th Workshop, CSL ’93 Swansea, United Kingdom September 13–17, 1993 Selected Papers

49,000 تومان
منطق علوم کامپیوتر: هفتمین کارگاه، CSL '93 سوانسی، بریتانیا 13 تا 17 سپتامبر 1993 مقالات منتخب
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 336
حجم فایل 3 مگابایت
کد کتاب 3540582770,9783540582779
نوبت چاپ 1

دانلود کتاب CSL ’87: 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12–16, 1987 Proceedings

49,000 تومان
CSL '87: اولین کارگاه در مورد منطق علوم کامپیوتر کارلسروهه، FRG، 12 تا 16 اکتبر 1987 مجموعه مقالات
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 348
حجم فایل 3 مگابایت
کد کتاب 3540502416,9783540502418
نوبت چاپ 1

دانلود کتاب CSL ’88: 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings

49,000 تومان
CSL '88: 2nd Workshop on Computer Science Logic Duisburg, FRG, 3-7 اکتبر 1988 مجموعه مقالات
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 404
حجم فایل 3 مگابایت
کد کتاب 354051659X,9783540516590
نوبت چاپ 1

دانلود کتاب CSL ’89: 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 Proceedings

49,000 تومان
CSL '89: سومین کارگاه آموزشی منطق علوم کامپیوتر Kaiserslautern, FRG, 2-6 اکتبر 1989 مجموعه مقالات
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 444
حجم فایل 4 مگابایت
کد کتاب 3540527532,9783540527534
نوبت چاپ 1

دانلود کتاب Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control

49,000 تومان
روش های رسمی برای کاربردهای صنعتی: تعیین و برنامه ریزی کنترل دیگ بخار
موضوع اصلی برنامه نویسی
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 523
حجم فایل 5 مگابایت
کد کتاب 3540619291,9783540619291
نوبت چاپ 1

دانلود کتاب Foundations of Information and Knowledge Systems: 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings

49,000 تومان
مبانی سیستم های اطلاعات و دانش: پنجمین سمپوزیوم بین المللی، FoIKS 2008، پیزا، ایتالیا، 11-15 فوریه 2008. مجموعه مقالات
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 400
حجم فایل 4 مگابایت
کد کتاب 3540776834,9783540776833
نوبت چاپ 1