عنوان
پدید آورنده
موضوع
رده
QA76.7
QA76
.
7
کتابخانه
محل استقرار
شابک
شابک
3030027686
شابک
9783030027681
شابک اشتباه
9783030027674
عنوان و نام پديدآور
عنوان اصلي
Programming languages and systems :
نام عام مواد
[Book]
ساير اطلاعات عنواني
16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings /
نام نخستين پديدآور
Sukyoung Ryu (ed.).
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Cham, Switzerland :
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
2018.
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (xi, 437 pages) :
ساير جزييات
illustrations
فروست
عنوان فروست
Lecture notes in computer science ;
عنوان فروست
LNCS sublibrary. SL 2, Programming and software engineering
مشخصه جلد
11275
يادداشت کلی
متن يادداشت
Includes author index.
متن يادداشت
International conference proceedings.
یادداشتهای مربوط به مندرجات
متن يادداشت
Types -- Program Analysis -- Tools -- Functional Programs and Probabilistic Programs -- Verification -- Logic -- Continuation and Model Checking.
بدون عنوان
0
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
This book constitutes the proceedings of the 16th Asian Symposium on Programming Languages and Systems, APLAS 2018, held in Wellington, New Zealand, in December 2018. The 22 papers presented in this volume were carefully reviewed and selected from 51 submissions. They are organized in topical sections named: types; program analysis; tools; functional programs and probabilistic programs; verification; logic; and continuation and model checking.
یادداشتهای مربوط به سفارشات
منبع سفارش / آدرس اشتراک
Springer Nature
شماره انبار
com.springer.onix.9783030027681
ویراست دیگر از اثر در قالب دیگر رسانه
شماره استاندارد بين المللي کتاب و موسيقي
9783030027674
شماره استاندارد بين المللي کتاب و موسيقي
9783030027698
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
APLAS 2018
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer programming, Congresses.
موضوع مستند نشده
Programming languages (Electronic computers), Congresses.
موضوع مستند نشده
Artificial intelligence.
موضوع مستند نشده
Computer programming-- software development.
موضوع مستند نشده
Computer programming.
موضوع مستند نشده
Computer science.
موضوع مستند نشده
Computers-- Computer Science.
موضوع مستند نشده
Computers-- Hardware-- Handheld Devices.
موضوع مستند نشده
Computers-- Intelligence (AI) & Semantics.
موضوع مستند نشده
Computers-- Programming-- General.
موضوع مستند نشده
Computers-- Programming Languages-- General.
موضوع مستند نشده
Computers-- Software Development & Engineering-- General.
موضوع مستند نشده
Programming & scripting languages: general.
موضوع مستند نشده
Programming languages (Electronic computers)
موضوع مستند نشده
Software Engineering.
موضوع مستند نشده
Systems analysis & design.
مقوله موضوعی
موضوع مستند نشده
COM051010
موضوع مستند نشده
UMC
موضوع مستند نشده
UMX
موضوع مستند نشده
UMX
رده بندی ديویی
شماره
005
.
13
ويراست
23
رده بندی کنگره
شماره رده
QA76
.
7
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Ryu, Sukyoung
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
APLAS (Symposium)(16th :2018 :, Wellington, N.Z.)
مبدا اصلی
تاريخ عمليات
20200823074609.0
قواعد فهرست نويسي ( بخش توصيفي )
pn
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
