دانلود کتاب Automata, Languages and Programming: 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I

49,000 تومان
خودکار، زبان ها و برنامه نویسی: سی و پنجمین کنفرانس بین المللی، ICALP 2008، ریکیاویک، ایسلند، 7-11 ژوئیه، 2008، مجموعه مقالات، قسمت اول
موضوع اصلی برنامه نویسی
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 896
حجم فایل 8 مگابایت
کد کتاب 3540705740,9783540705741
نوبت چاپ 1

دانلود کتاب Automata, Languages and Programming: 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I

49,000 تومان
خودکار، زبان ها و برنامه نویسی: سی و پنجمین کنفرانس بین المللی، ICALP 2008، ریکیاویک، ایسلند، 7-11 ژوئیه، 2008، مجموعه مقالات، قسمت اول
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 896
حجم فایل 27 مگابایت
کد کتاب 3540705740,9783540705741
نوبت چاپ 1

دانلود کتاب Automata, Languages and Programming: 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II

49,000 تومان
خودکار، زبان ها و برنامه نویسی: سی و پنجمین کنفرانس بین المللی، ICALP 2008، ریکیاویک، ایسلند، 7-11 ژوئیه، 2008، مجموعه مقالات، قسمت دوم
موضوع اصلی برنامه نویسی
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 734
حجم فایل 7 مگابایت
کد کتاب 3540705821,9783540705826
نوبت چاپ 1

دانلود کتاب Foundations of Software Science and Computation Structures: 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings

49,000 تومان
مبانی علم نرم افزار و ساختارهای محاسباتی: نهمین کنفرانس بین المللی، FOSSACS 2006، به عنوان بخشی از کنفرانس های مشترک اروپایی در مورد نظریه و عمل نرم افزار، ETAPS 2006، وین، اتریش، 25-31 مارس 2006 برگزار شد.
موضوع اصلی ریاضیات محاسباتی
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 447
حجم فایل 5 مگابایت
کد کتاب 3540330453,9783540330455
نوبت چاپ 1

دانلود کتاب Reactive Systems: Modelling, Specification and Verification

49,000 تومان
سیستم های واکنشی: مدل سازی، مشخصات و تأیید
نوع کالا کتاب الکترونیکی
ناشر Cambridge University Press
تعداد صفحه 302
حجم فایل 2 مگابایت
کد کتاب 0521875463,9780521875462,9780511335358