عنوان
پدید آورنده
موضوع
رده
QA155.7.E4
QA155
.
7
.
E4
کتابخانه
محل استقرار
شابک
شابک
3642214932
شابک
9783642214936
شابک اشتباه
3642214924
شابک اشتباه
9783642214929
شماره کتابشناسی ملی
شماره
b434135
عنوان و نام پديدآور
عنوان اصلي
Algebraic informatics :
نام عام مواد
[Book]
ساير اطلاعات عنواني
4th international conference, CAI 2011, Linz, Austria, June 21-24, 2011 : proceedings /
نام نخستين پديدآور
Franz Winkler (edition)
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (x, 260 pages) :
ساير جزييات
illustrations
فروست
عنوان فروست
Lecture notes in computer science,
عنوان فروست
LNCS sublibrary. SL 1, Theoretical computer science and general issues
مشخصه جلد
6742
شاپا ي ISSN فروست
0302-9743 ;
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
This book constitutes the refereed proceedings of the 4th International Conference on Algebraic Informatics, CAI 2011, held in Linz, Austria, in June 2011. The 12 revised full papers presented together with 4 invited articles were carefully reviewed and selected from numerous submissions. The papers cover topics such as algebraic semantics on graph and trees, formal power series, syntactic objects, algebraic picture processing, finite and infinite computations, acceptors and transducers for strings, trees, graphs arrays, et cetera decision problems, algebraic characterization of logical theories, process algebra, algebraic algorithms, algebraic coding theory, and algebraic aspects of cryptography
یادداشتهای مربوط به سفارشات
منبع سفارش / آدرس اشتراک
Springer
شماره انبار
978-3-642-21492-9
ویراست دیگر از اثر در قالب دیگر رسانه
عنوان
Algebraic Informatics.
شماره استاندارد بين المللي کتاب و موسيقي
9783642214929
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
CAI 2011
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Algebra-- Data processing, Congresses
موضوع مستند نشده
Computer science, Congresses
موضوع مستند نشده
Graph theory, Congresses
موضوع مستند نشده
Algebra-- Data processing, Congresses
موضوع مستند نشده
Computer science, Congresses
رده بندی ديویی
شماره
512
.
00285
ويراست
23
رده بندی کنگره
شماره رده
QA155
.
7
.
E4
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Winkler, Franz,1955-
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
CAI 2011(2011 :, Linz, Austria)
مبدا اصلی
تاريخ عمليات
20170726082122.0
قواعد فهرست نويسي ( بخش توصيفي )
pn
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
