دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 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 است.
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 -