11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019, proceedings /
نام نخستين پديدآور
Michael Kirkedal Thomsen, Mathias Soeken (eds.).
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Cham, Switzerland :
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
2019.
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (viii, 247 pages) :
ساير جزييات
illustrations
فروست
عنوان فروست
Lecture notes in computer science ;
عنوان فروست
LNCS sublibrary. SL 2, Programming and software engineering
مشخصه جلد
11497
يادداشت کلی
متن يادداشت
International conference proceedings.
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and author index.
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
This book constitutes the refereed proceedings of the 11th International Conference on Reversible Computation, RC 2019, held in Lausanne, Switzerland, in June 2019. The 12 full papers and two short papers included in this volume were carefully reviewed and selected from 22 submissions. One invited talk is also included. The papers are organized in the following topical sections: theory and foundation; programming languages; circuit synthesis; evaluation of circuit synthesis; and applications and implementations.
ویراست دیگر از اثر در قالب دیگر رسانه
عنوان
Reversible computation.
شماره استاندارد بين المللي کتاب و موسيقي
9783030214999
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
RC 2019
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer logic, Congresses.
موضوع مستند نشده
Computer science-- Mathematics, Congresses.
موضوع مستند نشده
Reversible computing, Congresses.
موضوع مستند نشده
Computer logic.
موضوع مستند نشده
Computer science-- Mathematics.
موضوع مستند نشده
Reversible computing.
رده بندی ديویی
شماره
004
ويراست
23
رده بندی کنگره
شماره رده
QA76
.
9
.
R48
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Soeken, Mathais
مستند نام اشخاص تاييد نشده
Thomsen, Michael Kirkedal
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )