ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Theoretical Computer Science: 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005. Proceedings

دانلود کتاب علوم نظری رایانه: نهمین کنفرانس ایتالیایی ، ICTCS 2005 ، Siena ، ایتالیا ، 12-14 اکتبر 2005. مجموعه مقالات

Theoretical Computer Science: 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005. Proceedings

مشخصات کتاب

Theoretical Computer Science: 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005. Proceedings

دسته بندی: کامپیوتر
ویرایش: 1 
نویسندگان: , , ,   
سری: Lecture Notes in Computer Science 3701 : Theoretical Computer Science and General Issues 
ISBN (شابک) : 3540291067, 9783540291060 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2005 
تعداد صفحات: 420 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت

قیمت کتاب (تومان) : 45,000



کلمات کلیدی مربوط به کتاب علوم نظری رایانه: نهمین کنفرانس ایتالیایی ، ICTCS 2005 ، Siena ، ایتالیا ، 12-14 اکتبر 2005. مجموعه مقالات: محاسبات با دستگاه های انتزاعی، ساختارهای داده، تجزیه و تحلیل الگوریتم و پیچیدگی مسئله، منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، ریاضیات گسسته در علوم کامپیوتر



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 13


در صورت تبدیل فایل کتاب Theoretical Computer Science: 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب علوم نظری رایانه: نهمین کنفرانس ایتالیایی ، ICTCS 2005 ، Siena ، ایتالیا ، 12-14 اکتبر 2005. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب علوم نظری رایانه: نهمین کنفرانس ایتالیایی ، ICTCS 2005 ، Siena ، ایتالیا ، 12-14 اکتبر 2005. مجموعه مقالات



این کتاب مجموعه مقالات داوری نهمین کنفرانس بین المللی علوم کامپیوتر نظری، ICTCS 2005 است که در Certosa di Pontignano، سینا، ایتالیا، در اکتبر 2005 برگزار شد.

29 مقاله کامل اصلاح شده ارائه شده است. همراه با مقاله دعوت شده و چکیده 2 سخنرانی دعوت شده به دقت بررسی و از بین 83 مورد ارسالی انتخاب شد. این مقالات به تمام مسائل جاری در علوم کامپیوتر نظری می پردازند و به ویژه بر تجزیه و تحلیل و طراحی الگوریتم ها، قابلیت محاسبه، پیچیدگی محاسباتی، رمزنگاری، زبان های رسمی و خودکار، مبانی زبان های برنامه نویسی و تجزیه و تحلیل برنامه، پارادایم های محاسباتی طبیعی (محاسبات کوانتومی، بیوانفورماتیک)، تمرکز دارند. مشخصات و تایید برنامه، بازنویسی اصطلاح، تئوری طراحی و طرح منطقی، نظریه نوع، امنیت، و محاسبات نمادین و جبری.


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

This book constitutes the refereed proceedings of the 9th International Conference on Theoretical Computer Science, ICTCS 2005, held at the Certosa di Pontignano, Siena, Italy, in October 2005.

The 29 revised full papers presented together with an invited paper and abstracts of 2 invited talks were carefully reviewed and selected from 83 submissions. The papers address all current issues in theoretical computer science and focus especially on analysis and design of algorithms, computability, computational complexity, cryptography, formal languages and automata, foundations of programming languages and program analysis, natural computing paradigms (quantum computing, bioinformatics), program specification and verification, term rewriting, theory of logical design and layout, type theory, security, and symbolic and algebraic computation.



فهرست مطالب

Front Matter....Pages -
Semantic Subtyping: Challenges, Perspectives, and Open Problems....Pages 1-20
Biological Systems as Reactive Systems....Pages 21-21
Mobile Agents Computing: Security Issues and Algorithmic Solutions....Pages 22-22
Efficient Algorithms for Detecting Regular Point Configurations....Pages 23-35
Pickup and Delivery for Moving Objects on Broken Lines....Pages 36-50
A Static Analysis of PKI-Based Systems....Pages 51-65
Subtyping Object and Recursive Types Logically....Pages 66-80
The Language χ : Circuits, Computations and Classical Logic....Pages 81-96
Checking Risky Events Is Enough for Local Policies....Pages 97-112
The Graph Rewriting Calculus: Confluence and Expressiveness....Pages 113-127
Safe Object Composition in the Presence of Subtyping....Pages 128-142
Reachability Analysis in Boxed Ambients....Pages 143-159
Error Mining for Regular Expression Patterns....Pages 160-172
Reconstructing an Alternate Periodical Binary Matrix from Its Orthogonal Projections....Pages 173-181
Inapproximability Results for the Lateral Gene Transfer Problem....Pages 182-195
Faster Deterministic Wakeup in Multiple Access Channels....Pages 196-204
Weighted Coloring: Further Complexity and Approximability Results....Pages 205-214
Quantum Algorithms for a Set of Group Theoretic Problems....Pages 215-227
On the Computational Complexity of the L (2,1) -Labeling Problem for Regular Graphs....Pages 228-236
A Polymerase Based Algorithm for SAT....Pages 237-250
Laxity Helps in Broadcast Scheduling....Pages 251-264
Enforcing and Defying Associativity, Commutativity, Totality, and Strong Noninvertibility for One-Way Functions in Complexity Theory....Pages 265-279
Synthesis from Temporal Specifications Using Preferred Answer Set Programming....Pages 280-294
Model Checking Strategic Abilities of Agents Under Incomplete Information....Pages 295-308
Improved Algorithms for Polynomial-Time Decay and Time-Decay with Additive Error....Pages 309-322
A Theoretical Analysis of Alignment and Edit Problems for Trees....Pages 323-337
A Complete Formulation of Generalized Affine Equivalence....Pages 338-347
A New Combinatorial Approach to Sequence Comparison....Pages 348-359
A Typed Assembly Language for Non-interference....Pages 360-374
Improved Exact Exponential Algorithms for Vertex Bipartization and Other Problems....Pages 375-389
A Typed Semantics of Higher-Order Store and Subtyping....Pages 390-405
Two Variables Are Not Enough....Pages 406-409
Back Matter....Pages -




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

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی