مشخصات کتاب

Computer Science - Theory and Applications: Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings

ویرایش: 1 
نویسندگان: Pedro Cabalar,  Sergei Odintsov,  David Pearce (auth.),  Anna Frid,  Andrey Morozov,  Andrey Rybalchenko,  Klaus W. Wagner (eds.)  
سری: Lecture Notes in Computer Science 5675 : Theoretical Computer Science and General Issues 
ISBN (شابک) : 3642033504, 9783642033506 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2009 
تعداد صفحات: 378 
زبان: English  
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت 

کلمات کلیدی مربوط به کتاب علوم رایانه - نظریه و برنامه های کاربردی: چهارمین سمپوزیوم بین المللی علوم رایانه در روسیه ، CSR 2009 ، نووسیبیرسک ، روسیه ، 18-23 آگوست ، 2009. مجموعه مقالات: تئوری محاسبات، تحلیل الگوریتم و پیچیدگی مسائل، منطق ریاضی و زبان های رسمی، ریاضیات محاسبات، منطق و معانی برنامه ها، کدگذاری و نظریه اطلاعات

در صورت تبدیل فایل کتاب Computer Science - Theory and Applications: Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب علوم رایانه - نظریه و برنامه های کاربردی: چهارمین سمپوزیوم بین المللی علوم رایانه در روسیه ، CSR 2009 ، نووسیبیرسک ، روسیه ، 18-23 آگوست ، 2009. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب علوم رایانه - نظریه و برنامه های کاربردی: چهارمین سمپوزیوم بین المللی علوم رایانه در روسیه ، CSR 2009 ، نووسیبیرسک ، روسیه ، 18-23 آگوست ، 2009. مجموعه مقالات



این کتاب مجموعه مقالات داوری چهارمین سمپوزیوم بین المللی علوم کامپیوتر در روسیه، CSR 2009، برگزار شده در نووسیبیرسک، روسیه، 18 تا 23 اوت 2009 است.

29 مقاله اصلاح شده همراه با 4 مقاله ارائه شده است. مقالات دعوت شده به دقت بررسی و از بین 66 مقاله ارسالی انتخاب شدند. تمام زمینه های اصلی در علوم کامپیوتر پرداخته شده است.

مسیر تئوری با الگوریتم ها، پروتکل ها و ساختارهای داده سر و کار دارد. پیچیدگی و رمزنگاری؛ زبان‌های رسمی، خودکارها و کاربردهای آن‌ها در علوم کامپیوتر؛ مدل ها و مفاهیم محاسباتی؛ نظریه اثبات و کاربردهای منطق در علوم کامپیوتر.

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

This book constitutes the refereed proceedings of the Fourth International Computer Science Symposium in Russia, CSR 2009, held in Novosibirsk, Russia, August 18-23, 2009.

The 29 revised papers presented together with 4 invited papers were carefully reviewed and selected from 66 submissions. All major areas in computer science are addressed.

The theory track deals with algorithms, protocols, and data structures; complexity and cryptography; formal languages, automata and their applications to computer science; computational models and concepts; proof theory and applications of logic to computer science.

فهرست مطالب

Front Matter....Pages -
Well-Founded and Partial Stable Semantics Logical Aspects....Pages 1-11
The Reachability Problem over Infinite Graphs....Pages 12-18
Kolmogorov Complexity and Model Selection....Pages 19-24
Automatic Verification of Heap-Manipulating Programs Using Separation Logic....Pages 25-25
Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism....Pages 26-37
Integrality Property in Preemptive Parallel Machine Scheduling....Pages 38-46
Characterizing the Existence of Optimal Proof Systems and Complete Sets for Promise Classes....Pages 47-58
 k -SAT Is No Harder Than Decision-Unique- k -SAT....Pages 59-70
Unique Decipherability in the Monoid of Languages: An Application of Rational Relations....Pages 71-79
Concurrently Non-malleable Black-Box Zero Knowledge in the Bare Public-Key Model....Pages 80-91
Approximability Distance in the Space of H -Colourability Problems....Pages 92-104
On Random Ordering Constraints....Pages 105-116
Depth Reduction for Circuits with a Single Layer of Modular Counting Gates....Pages 117-128
A Feebly Secure Trapdoor Function....Pages 129-142
Partitioning Graphs into Connected Parts....Pages 143-154
Structural Complexity of AvgBPP....Pages 155-166
Lower Bounds for the Determinantal Complexity of Explicit Low Degree Polynomials....Pages 167-178
Simulation of Arithmetical Circuits by Branching Programs with Preservation of Constant Width and Syntactic Multilinearity....Pages 179-190
One-Nonterminal Conjunctive Grammars over a Unary Alphabet....Pages 191-202
Concatenation of Regular Languages and Descriptional Complexity....Pages 203-214
Approximability of the Maximum Solution Problem for Certain Families of Algebras....Pages 215-226
Complete Complexity Classification of Short Shop Scheduling....Pages 227-236
Compressed Word Problems in HNN-Extensions and Amalgamated Products....Pages 237-249
Variations on Muchnik’s Conditional Complexity Theorem....Pages 250-262
An Optimal Bloom Filter Replacement Based on Matrix Solving....Pages 263-273
Aperiodicity Measure for Infinite Sequences....Pages 274-285
On the Complexity of Matroid Isomorphism Problems....Pages 286-298
Breaking Anonymity by Learning a Unique Minimum Hitting Set....Pages 299-309
The Budgeted Unique Coverage Problem and Color-Coding....Pages 310-321
Formal Verification of Gate-Level Computer Systems....Pages 322-333
On Models of a Nondeterministic Computation....Pages 334-345
New Plain-Exponential Time Classes for Graph Homomorphism....Pages 346-355
Languages Recognized with Unbounded Error by Quantum Finite Automata....Pages 356-367
Back Matter....Pages -

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

کتاب های تصادفی

دانلود کتاب Play Therapy for Preschool Children

دانلود کتاب Georessource Wasser - Herausforderung Globaler Wandel: Ansätze und Voraussetzungen für eine integrierte Wasserressourcenbewirtschaftung in Deutschland

دانلود کتاب Neural metabolism in vivo

دانلود کتاب Women’s Human Rights: CEDAW in International, Regional and National Law

دانلود کتاب The Taming of Education: Evaluating Contemporary Approaches to Learning and Teaching