دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب RIMS Symposia on Software Science and Engineering II: Proceedings of the Symposia 1983 and 1984, Kyoto, Japan
دانلود کتاب سمپوزیوم های RIMS در علوم نرم افزار و مهندسی II: مجموعه مقالات سمپوزیا 1983 و 1984 ، کیوتو ، ژاپن
مشخصات کتاب
RIMS Symposia on Software Science and Engineering II: Proceedings of the Symposia 1983 and 1984, Kyoto, Japan
دسته بندی: فن آوری ویرایش: 1 نویسندگان: Etsuya Shibayama (auth.), Eichi Goto, Keijiro Araki, Taiichi Yuasa (eds.) سری: Lecture Notes in Computer Science 220 ISBN (شابک) : 3540164707, 9783540164708 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1986 تعداد صفحات: 333 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 36,000
کلمات کلیدی مربوط به کتاب سمپوزیوم های RIMS در علوم نرم افزار و مهندسی II: مجموعه مقالات سمپوزیا 1983 و 1984 ، کیوتو ، ژاپن: مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، محاسبات با دستگاه های انتزاعی
در صورت تبدیل فایل کتاب RIMS Symposia on Software Science and Engineering II: Proceedings of the Symposia 1983 and 1984, Kyoto, Japan به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سمپوزیوم های RIMS در علوم نرم افزار و مهندسی II: مجموعه مقالات سمپوزیا 1983 و 1984 ، کیوتو ، ژاپن نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
فهرست مطالب
A fast parallel merging algorithm for 2–3 trees....Pages 1-16
Evaluation of graph representations with active nodes....Pages 17-43
On equivalence transformations for term rewriting systems....Pages 44-61
A portable logic simulation system for development of FLATS machine....Pages 62-86
Partial computation with a dataflow machine....Pages 87-113
OR-Parallel Optimizing Prolog System: Pops its design and implementation in Concurrent Prolog....Pages 114-129
Incorporating Naïve Negation into Prolog....Pages 130-143
Algebraic specification method of programming languages....Pages 144-157
Multiversion concurrency control scheme for a distributed database system — A trial to break concurrent update of redundant copies —....Pages 158-180
Global storage allocation in attribute evaluation....Pages 181-211
On program transformation with tupling technique....Pages 212-232
Evaluation of working set algorithms for data-flow machines....Pages 233-260
Comparison of closure reduction and combinatory reduction schemes....Pages 261-291
The BC-chain method for representing combinators in linear space....Pages 292-306
Circuit simulation code generation by computer algebra....Pages 307-320
List 1 Algebraic code for simple harmonic motion....Pages 321-322
List 2 Generated fortran code for simple harmonic motion....Pages 323-323
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Speech Separation by Humans and Machines
دانلود کتاب Plastics Mold Engineering Handbook
دانلود کتاب Maintenance hints.
دانلود کتاب Visualization, modeling, and graphics for engineering design (non MindTap drafting product; chapters 15-20 not included)
دانلود کتاب Engineer Manual (EM 1110-1-1804). Engineering and Design Geotechnical Investigations
دانلود کتاب Modelling in Mechanical Engineering and Mechatronics: Towards Autonomous Intelligent Software Models
دانلود کتاب Performance Engineering: State of the Art and Current Trends
دانلود کتاب RIMS Symposia on Software Science and Engineering: Kyoto, 1982 Proceedings
دانلود کتاب Higher National Engineering
