دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95 Aarhus, Denmark, May 19–20, 1995 Selected Papers
دانلود کتاب ابزارها و الگوریتمها برای ساخت و تحلیل سیستمها: اولین کارگاه بینالمللی، TACAS '95 آرهوس، دانمارک، 19–20 مه 1995 مقالات منتخب
مشخصات کتاب
Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95 Aarhus, Denmark, May 19–20, 1995 Selected Papers
ویرایش: [1 ed.] نویسندگان: Olaf Müller, Tobias Nipkow (auth.), E. Brinksma, W. R. Cleaveland, K. G. Larsen, T. Margaria, B. Steffen (eds.) سری: Lecture Notes in Computer Science 1019 ISBN (شابک) : 3540606300, 9783540606307 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1995 تعداد صفحات: 298 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 Mb
قیمت کتاب (تومان) : 77,000
در صورت تبدیل فایل کتاب Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95 Aarhus, Denmark, May 19–20, 1995 Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ابزارها و الگوریتمها برای ساخت و تحلیل سیستمها: اولین کارگاه بینالمللی، TACAS '95 آرهوس، دانمارک، 19–20 مه 1995 مقالات منتخب نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Modern Mandarin Chinese grammar: a practical guide
دانلود کتاب Spectral Line Broadening by Plasmas
