ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Reversible Computation: 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers

دانلود کتاب محاسبات برگشت پذیر: 4 کارگاه بین المللی، RC 2012، کپنهاگ، دانمارک، 2-3 ژوئیه 2012. مقالات بازبینی شده

Reversible Computation: 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers

مشخصات کتاب

Reversible Computation: 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers

ویرایش: 1 
نویسندگان: , , ,   
سری: Lecture Notes in Computer Science 7581 Programming and Software Engineering 
ISBN (شابک) : 9783642363146, 9783642363153 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2013 
تعداد صفحات: 250 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت 

قیمت کتاب (تومان) : 44,000



کلمات کلیدی مربوط به کتاب محاسبات برگشت پذیر: 4 کارگاه بین المللی، RC 2012، کپنهاگ، دانمارک، 2-3 ژوئیه 2012. مقالات بازبینی شده: طراحی منطق، منطق و معانی برنامه ها، محاسبات با دستگاه های انتزاعی، تحلیل الگوریتم و پیچیدگی مسئله، مهندسی نرم افزار



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 2


در صورت تبدیل فایل کتاب Reversible Computation: 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب محاسبات برگشت پذیر: 4 کارگاه بین المللی، RC 2012، کپنهاگ، دانمارک، 2-3 ژوئیه 2012. مقالات بازبینی شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب محاسبات برگشت پذیر: 4 کارگاه بین المللی، RC 2012، کپنهاگ، دانمارک، 2-3 ژوئیه 2012. مقالات بازبینی شده



این کتاب مجموعه مقالات داوری چهارمین کارگاه بین‌المللی محاسبات برگشت‌پذیر، RC 2012، برگزار شده در کپنهاگ، دانمارک، در ژوئیه 2012 است. 19 مقاله ارائه شده در این جلد به دقت بررسی و از 46 مورد ارسالی انتخاب شدند. این مقالات ملاحظات نظری، نرم‌افزار برگشت‌پذیر و سخت‌افزار برگشت‌پذیر، و تحقق فیزیکی و کاربردها در محاسبات کوانتومی را پوشش می‌دهند.


توضیحاتی درمورد کتاب به خارجی

This book constitutes the refereed proceedings of the 4th International Workshop on Reversible Computation, RC 2012, held in Copenhagen, Denmark, in July 2012. The 19 contributions presented in this volume were carefully reviewed and selected from 46 submissions. The papers cover theoretical considerations, reversible software and reversible hardware, and physical realizations and applications in quantum computing.



فهرست مطالب

Front Matter....Pages -
Tutorial: Graphical Calculus for Quantum Circuits....Pages 1-13
One-Way Reversible Multi-head Finite Automata....Pages 14-28
A Deterministic Two-Way Multi-head Finite Automaton Can Be Converted into a Reversible One with the Same Number of Heads....Pages 29-43
Undecidability of the Surjectivity of the Subshift Associated to a Turing Machine....Pages 44-56
Isomorphic Interpreters from Logically Reversible Abstract Machines....Pages 57-71
Synthesizing Loops for Program Inversion....Pages 72-84
Frugal Encoding in Reversible $\mathcal{MOQA}$ : A Case Study for Quicksort....Pages 85-96
Towards a General-Purpose, Reversible Language for Controlling Self-reconfigurable Robots....Pages 97-111
Reversible and Quantum Circuit Optimization: A Functional Approach....Pages 112-124
Properties of Quantum Templates....Pages 125-137
Optimal 4-bit Reversible Mixed-Polarity Toffoli Circuits....Pages 138-151
Design of an Online Testable Ternary Circuit from the Truth Table....Pages 152-159
Garbageless Reversible Implementation of Integer Linear Transformations....Pages 160-170
Garbage-Free Reversible Integer Multiplication with Constants of the Form 2 k ±2 l ±1....Pages 171-182
Property Checking of Quantum Circuits Using Quantum Multiple-Valued Decision Diagrams....Pages 183-196
Using π DDs in the Design of Reversible Circuits....Pages 197-203
A Verification Technique for Reversible Process Algebra....Pages 204-217
A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway....Pages 218-232
Controlled Reversibility and Compensations....Pages 233-240
Back Matter....Pages -




نظرات کاربران