دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Theoretical Computer Science: 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003. Proceedings
دانلود کتاب علوم رایانه ای نظری: هشتمین کنفرانس ایتالیایی، ICTCS 2003، Bertinoro، ایتالیا، 13-15 اکتبر 2003. پرونده
مشخصات کتاب
Theoretical Computer Science: 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003. Proceedings
دسته بندی: کامپیوتر ویرایش: 1 نویسندگان: Martin Gairing, Thomas Lücking, Marios Mavronicolas, Burkhard Monien, Paul Spirakis (auth.), Carlo Blundo, Cosimo Laneve (eds.) سری: Lecture Notes in Computer Science 2841 ISBN (شابک) : 3540202161, 9783540202165 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2003 تعداد صفحات: 408 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 44,000
کلمات کلیدی مربوط به کتاب علوم رایانه ای نظری: هشتمین کنفرانس ایتالیایی، ICTCS 2003، Bertinoro، ایتالیا، 13-15 اکتبر 2003. پرونده: محاسبات با دستگاه های انتزاعی، ساختارهای داده، تجزیه و تحلیل الگوریتم و پیچیدگی مسئله، منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، ریاضیات گسسته در علوم کامپیوتر
در صورت تبدیل فایل کتاب Theoretical Computer Science: 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب علوم رایانه ای نظری: هشتمین کنفرانس ایتالیایی، ICTCS 2003، Bertinoro، ایتالیا، 13-15 اکتبر 2003. پرونده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب علوم رایانه ای نظری: هشتمین کنفرانس ایتالیایی، ICTCS 2003، Bertinoro، ایتالیا، 13-15 اکتبر 2003. پرونده
این کتاب مجموعه مقالات داوری هشتمین کنفرانس ایتالیایی در زمینه علوم کامپیوتر نظری، ICTCS 2003 است که در برتینورو، ایتالیا در اکتبر 2003 برگزار شد.
27 مقاله کامل اصلاح شده همراه با یک مقاله دعوت شده و چکیده 2 سخنرانی دعوت شده به دقت بررسی و از بین 65 مورد ارسالی انتخاب شد. مقالات در بخشهای موضوعی در مورد طراحی-مدلها و تحلیل برنامه، الگوریتمها و پیچیدگی، معناشناسی و زبانهای رسمی، و امنیت و رمزنگاری سازماندهی شدهاند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 8th Italian Conference on Theoretical Computer Science, ICTCS 2003, held in Bertinoro, Italy in October 2003.
The 27 revised full papers presented together with an invited paper and abstracts of 2 invited talks were carefully reviewed and selected from 65 submissions. The papers are organized in topical sections on program design-models and analysis, algorithms and complexity, semantics and formal languages, and security and cryptography.
فهرست مطالب
Front Matter....Pages -
Extreme Nash Equilibria....Pages 1-20
Certification of Memory Usage....Pages 21-21
On Programming Models for Mobility....Pages 22-22
On the Computational Complexity of Cut-Elimination in Linear Logic....Pages 23-36
A Constructive Proof of the Soundness of the Encoding of Random Access Machines in a Linda Calculus with Ordered Semantics....Pages 37-57
Finite Horizon Analysis of Stochastic Systems with the Mur φ Verifier....Pages 58-71
Towards Compact and Tractable Automaton-Based Representations of Time Granularities....Pages 72-85
Lower Bounds on the Size of Quantum Automata Accepting Unary Languages....Pages 86-96
Refined Effects for Unanticipated Object Re-classification: $\\mathcal{F}ickle_{\\rm 3}$ ....Pages 97-110
Cost Constrained Fixed Job Scheduling....Pages 111-124
A Work-Optimal Coarse-Grained PRAM Algorithm for Lexicographically First Maximal Independent Set....Pages 125-136
An Approximation Algorithm for the Minimum Weight Vertex-Connectivity Problem in Complete Graphs with Sharpened Triangle Inequality....Pages 137-149
Channel Assignment in Honeycomb Networks....Pages 150-162
Exact Solution of a Class of Frequency Assignment Problems in Cellular Networks....Pages 163-173
The Complexity of Checking Consistency of Pedigree Information and Related Problems....Pages 174-187
On Clausal Equivalence and Hull Inclusion....Pages 188-201
Logical Semantics for the First Order ς -Calculus....Pages 202-215
On the Expressive Power of Light Affine Logic....Pages 216-227
Reasoning about Self and Others: Communicating Agents in a Modal Action Logic....Pages 228-241
Decidability Properties of Recursive Types....Pages 242-255
Algebraic Theories for Contextual Pre-nets....Pages 256-270
A Coalgebraic Description of Web Interactions....Pages 271-283
A Calculus for Dynamic Linking....Pages 284-301
Towards a Smart Compilation Manager for Java....Pages 302-315
Anonymous Group Communication in Mobile Networks....Pages 316-328
Aspects of Pseudorandomness in Nonlinear Generators of Binary Sequences....Pages 329-341
An Information-Theoretic Approach to the Access Control Problem....Pages 342-354
Security-Aware Program Transformations....Pages 355-368
Information Flow Security and Recursive Systems....Pages 369-382
Compositional Verification of Secure Streamed Data: A Case Study with EMSS....Pages 383-396
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Computer Security — ESORICS 2002: 7th European Symposium on Research in Computer Security Zurich, Switzerland, October 14–16, 2002 Proceedings
دانلود کتاب Computer Arts (July 2003)
دانلود کتاب Scale Space and Variational Methods in Computer Vision: First International Conference, SSVM 2007, Ischia, Italy, May 30 - June 2, 2007. Proceedings
دانلود کتاب Fire in the valley: the making of the personal computer
دانلود کتاب Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications: 14th Iberoamerican Conference on Pattern Recognition, CIARP 2009, Guadalajara, Jalisco, Mexico, November 15-18, 2009. Proceedings
دانلود کتاب Algorithmic Aesthetics: Computer Models for Criticism and Design in the Arts
دانلود کتاب Trust, Privacy and Security in Digital Business: 6th International Conference, TrustBus 2009, Linz, Austria, September 3-4, 2009, Proceedings (Lecture ... Computer Science Security and Cryptology)
دانلود کتاب L Systems
دانلود کتاب Electronic Computer Projects for Commodore and Atari Personal Computers
