دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science: 23rd Conference, Mumbai, India, December 15-17, 2003. Proceedings
دانلود کتاب FST TCS 2003: مبانی فناوری نرم افزار و علوم نظری رایانه: بیست و سومین کنفرانس ، بمبئی ، هند ، 15-17 دسامبر ، 2003. مجموعه مقالات
مشخصات کتاب
FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science: 23rd Conference, Mumbai, India, December 15-17, 2003. Proceedings
ویرایش: 1 نویسندگان: Michael Backes, Birgit Pfitzmann (auth.), Paritosh K. Pandya, Jaikumar Radhakrishnan (eds.) سری: Lecture Notes in Computer Science 2914 ISBN (شابک) : 9783540206804, 3540206809 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2003 تعداد صفحات: 457 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 37,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب FST TCS 2003: مبانی فناوری نرم افزار و علوم نظری رایانه: بیست و سومین کنفرانس ، بمبئی ، هند ، 15-17 دسامبر ، 2003. مجموعه مقالات: منطق و معانی برنامه‌ها، زبان‌های برنامه‌نویسی، کامپایلرها، مفسران، محاسبات با دستگاه‌های انتزاعی، تحلیل الگوریتم و پیچیدگی مسائل، منطق ریاضی و زبان‌های رسمی، ریاضیات گسسته در علوم کامپیوتر
در صورت تبدیل فایل کتاب FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science: 23rd Conference, Mumbai, India, December 15-17, 2003. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب FST TCS 2003: مبانی فناوری نرم افزار و علوم نظری رایانه: بیست و سومین کنفرانس ، بمبئی ، هند ، 15-17 دسامبر ، 2003. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب FST TCS 2003: مبانی فناوری نرم افزار و علوم نظری رایانه: بیست و سومین کنفرانس ، بمبئی ، هند ، 15-17 دسامبر ، 2003. مجموعه مقالات
این کتاب مجموعه مقالات داوری بیست و سومین کنفرانس مبانی فناوری نرم افزار و علوم رایانه نظری، FST TCS 2003، در بمبئی، هند در دسامبر 2003 است.
23 مقاله کامل اصلاح شده با هم ارائه شده است. با 4 مقاله دعوت شده و چکیده یک مقاله دعوت شده به دقت بررسی و از بین 160 مقاله ارسالی انتخاب شد. طیف گسترده ای از موضوعات جاری از نظریه محاسبات، از الگوریتم و ریاضیات گسسته گرفته تا منطق و نظریه برنامه نویسی پرداخته شده است.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, FST TCS 2003, held in Mumbai, India in December 2003.
The 23 revised full papers presented together with 4 invited papers and the abstract of an invited paper were carefully reviewed and selected from 160 submissions. A broad variety of current topics from the theory of computing are addressed, ranging from algorithmics and discrete mathematics to logics and programming theory.
فهرست مطالب
Front Matter....Pages -
A Cryptographically Sound Security Proof of the Needham-Schroeder-Lowe Public-Key Protocol....Pages 1-12
Constructions of Sparse Asymmetric Connectors....Pages 13-22
A Separation Logic for Resource Distribution....Pages 23-37
An Equational Theory for Transactions....Pages 38-49
Axioms for Regular Words....Pages 50-61
1-Bounded TWA Cannot Be Determinized....Pages 62-73
Reachability Analysis of Process Rewrite Systems....Pages 74-87
Pushdown Games with Unboundedness and Regular Conditions....Pages 88-99
Real-Time Model-Checking: Parameters Everywhere....Pages 100-111
The Caucal Hierarchy of Infinite Graphs in Terms of Logic and Higher-Order Pushdown Automata....Pages 112-123
Deciding the Security of Protocols with Diffie-Hellman Exponentiation and Products in Exponents....Pages 124-135
Subtyping Constraints in Quasi-lattices....Pages 136-148
An Improved Approximation Scheme for Computing Arrow-Debreu Prices for the Linear Case....Pages 149-155
Word Equations over Graph Products....Pages 156-167
Analysis and Experimental Evaluation of a Simple Algorithm for Collaborative Filtering in Planted Partition Models....Pages 168-182
Comparing Sequences with Segment Rearrangements....Pages 183-194
On Logically Defined Recognizable Tree Languages....Pages 195-207
Randomized Time-Space Tradeoffs for Directed Graph Connectivity....Pages 208-216
Distance-Preserving Approximations of Polygonal Paths....Pages 217-228
Joint Separation of Geometric Clusters and the Extreme Irregularities of Regular Polyhedra....Pages 229-243
On the Covering Steiner Problem....Pages 244-251
Minimality Results for the Spatial Logics....Pages 252-264
Algorithms for Non-uniform Size Data Placement on Parallel Disks....Pages 265-276
Efficient Algorithms for Abelian Group Isomorphism and Related Problems....Pages 277-288
Quasi-polynomial Time Approximation Algorithm for Low-Degree Minimum-Cost Steiner Trees....Pages 289-301
Model Checking and Satisfiability for Sabotage Modal Logic....Pages 302-313
Merging and Sorting By Strip Moves....Pages 314-325
The Macro Tree Transducer Hierarchy Collapses for Functions of Linear Size Increase....Pages 326-337
Distributed Games....Pages 338-351
Maintenance of Multidimensional Histograms....Pages 352-362
Tagging Makes Secrecy Decidable with Unbounded Nonces as Well....Pages 363-374
Quantum and Classical Complexity Classes: Separations, Collapses, and Closure Properties....Pages 375-386
On the Greedy Superstring Conjecture....Pages 387-398
Reasoning about Infinite State Systems Using Boolean Methods....Pages 399-407
Stringent Relativization....Pages 408-419
Component-Based Construction of Deadlock-Free Systems....Pages 420-433
Moderately Hard Functions: From Complexity to Spam Fighting....Pages 434-442
Zigzag Products, Expander Constructions, Connections, and Applications....Pages 443-443
Back Matter....Pages -
