عنوان
پدید آورنده
موضوع
رده
QA76.9.M35
QA76
.
9
.
M35
کتابخانه
محل استقرار
شابک
شابک
3030021483
شابک
3030021491
شابک
3030021505
شابک
9783030021481
شابک
9783030021498
شابک
9783030021504
شابک اشتباه
9783030021481
عنوان و نام پديدآور
عنوان اصلي
Relational and algebraic methods in computer science :
نام عام مواد
[Book]
ساير اطلاعات عنواني
17th International Conference, RAMiCS 2018, Groningen, the Netherlands, October 29-November 1, 2018, Proceedings /
نام نخستين پديدآور
Jules Desharnais, Walter Guttmann, Stef Joosten (eds.).
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Cham, Switzerland :
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
2018.
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (xvi, 385 pages) :
ساير جزييات
illustrations
فروست
عنوان فروست
Lecture notes in computer science ;
عنوان فروست
LNCS sublibrary. SL 1, Theoretical computer science and general issues
مشخصه جلد
11194
يادداشت کلی
متن يادداشت
International conference proceedings.
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and author index.
یادداشتهای مربوط به مندرجات
متن يادداشت
Invited Paper -- Theoretical Foundations -- Reasoning about Computations and Programs -- Applications and Tools.
بدون عنوان
0
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
This book constitutes the proceedings of the 17th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2018, held in Groningen, The Netherlands, in October/November 2018. The 21 full papers and 1 invited paper presented together with 2 invited abstracts and 1 abstract of a tutorial were carefully selected from 31 submissions. The papers are organized in the following topics: Theoretical foundations; reasoning about computations and programs; and applications and tools.
یادداشتهای مربوط به سفارشات
منبع سفارش / آدرس اشتراک
Springer Nature
شماره انبار
com.springer.onix.9783030021498
ویراست دیگر از اثر در قالب دیگر رسانه
شماره استاندارد بين المللي کتاب و موسيقي
9783030021481
شماره استاندارد بين المللي کتاب و موسيقي
9783030021504
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
RAMiCS 2018
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Algebraic logic, Congresses.
موضوع مستند نشده
Computer science-- Mathematics, Congresses.
موضوع مستند نشده
Relation algebras, Congresses.
موضوع مستند نشده
Algebraic logic.
موضوع مستند نشده
Artificial intelligence.
موضوع مستند نشده
Computer programming-- software development.
موضوع مستند نشده
Computer science-- Mathematics.
موضوع مستند نشده
Computers-- Intelligence (AI) & Semantics.
موضوع مستند نشده
Computers-- Programming-- Algorithms.
موضوع مستند نشده
Computers-- Programming-- General.
موضوع مستند نشده
Computers-- Programming Languages-- General.
موضوع مستند نشده
Mathematical theory of computation.
موضوع مستند نشده
Mathematics-- Logic.
موضوع مستند نشده
Programming & scripting languages: general.
موضوع مستند نشده
Relation algebras.
مقوله موضوعی
موضوع مستند نشده
MAT018000
موضوع مستند نشده
UYA
موضوع مستند نشده
UYA
رده بندی ديویی
شماره
004
.
01/51
ويراست
23
رده بندی کنگره
شماره رده
QA76
.
9
.
M35
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Desharnais, Jules
مستند نام اشخاص تاييد نشده
Guttmann, Walter
مستند نام اشخاص تاييد نشده
Joosten, Stef
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
RAMiCS (Conference)(17th :2018 :, Groningen, Netherlands)
مبدا اصلی
تاريخ عمليات
20200823073858.0
قواعد فهرست نويسي ( بخش توصيفي )
pn
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
