دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008
دانلود کتاب پنجمين كنفرانس بين المللي علوم تجربي - Tcs 2008
مشخصات کتاب
Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008
ویرایش: 1 نویسندگان: D. Giammarresi, A. Restivo (auth.), Giorgio Ausiello, Juhani Karhumäki, Giancarlo Mauri, Luke Ong (eds.) سری: IFIP International Federation for Information Processing 273 ISBN (شابک) : 9780387096797, 9780387096803 ناشر: Springer US سال نشر: 2008 تعداد صفحات: 540 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 9 مگابایت
قیمت کتاب (تومان) : 28,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب پنجمين كنفرانس بين المللي علوم تجربي - Tcs 2008: تئوری محاسبات، صنعت کامپیوتر، حرفه محاسبات، تاریخچه محاسبات
در صورت تبدیل فایل کتاب Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب پنجمين كنفرانس بين المللي علوم تجربي - Tcs 2008 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب پنجمين كنفرانس بين المللي علوم تجربي - Tcs 2008
فدراسیون بین المللی پردازش اطلاعات
مجموعه IFIP جدیدترین نتایج را در زمینه علوم و فناوری اطلاعات و ارتباطات منتشر می کند. دامنه این مجموعه شامل: مبانی علوم کامپیوتر; تئوری و عمل نرم افزار؛ تحصیلات؛ کاربردهای کامپیوتری در فناوری؛ سیستم های ارتباطی؛ مدل سازی و بهینه سازی سیستم ها؛ سیستم های اطلاعاتی؛ کامپیوتر و جامعه؛ تکنولوژی سیستم های کامپیوتری؛ امنیت و حفاظت در سیستم های پردازش اطلاعات؛ هوش مصنوعی؛ و تعامل انسان و کامپیوتر مجموعه مقالات و پس از کنفرانس های بین المللی داوری در علوم کامپیوتر و زمینه های بین رشته ای برجسته شده است. این نتایج اغلب قبل از انتشار مجله است و نشان دهنده جدیدترین تحقیقات است. هدف اصلی مجموعه IFIP تشویق آموزش و انتشار و تبادل اطلاعات در مورد تمام جنبه های محاسباتی است.
برای اطلاعات بیشتر در مورد 300 کتاب دیگر در مجموعه IFIP، لطفاً به www.springer مراجعه کنید. com.
برای اطلاعات بیشتر در مورد IFIP، لطفاً به www.ifip.org مراجعه کنید.
توضیحاتی درمورد کتاب به خارجی
International Federation for Information Processing
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of refereed international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
For more information about the 300 other books in the IFIP series, please visit www.springer.com.
For more information about IFIP, please visit www.ifip.org.
فهرست مطالب
Front Matter....Pages I-XIII
Front Matter....Pages 1-3
Ambiguity and Complementation in Recognizable Two-dimensional Languages....Pages 5-20
Algorithmic Game Theory: Some Greatest Hits and Future Directions....Pages 21-42
Synchronizing Road Coloring....Pages 43-53
Leader Election in Anonymous Rings: Franklin Goes Probabilistic....Pages 57-72
Inverse Problems Have Inverse Complexity....Pages 73-86
Literal Shuffle of Compressed Words....Pages 87-100
Reconstructing words from a fixed palindromic length sequence....Pages 101-114
The mv-decomposition: definition and application to the distance-2 broadcast problem in multi-hops radio networks....Pages 115-126
Partitioning Random Graphs with General Degree Distributions....Pages 127-141
On the Longest Common Factor Problem....Pages 143-155
Stable Dynamics of Sand Automata....Pages 157-169
On tractability of Cops and Robbers game....Pages 171-185
Computability of Tilings....Pages 187-201
A Classification of Degenerate Loop Agreement....Pages 203-213
On the expressive power of univariate equations over sets of natural numbers....Pages 215-227
Collisions and their Catenations: Ultimately Periodic Tilings of the Plane....Pages 229-240
Cache-sensitive Memory Layout for Binary Trees....Pages 241-255
Front Matter....Pages 259-259
From Processes to ODEs by Chemistry....Pages 261-281
Differential Linear Logic and Processes....Pages 283-283
Solving Monotone Polynomial Equations....Pages 285-298
Front Matter....Pages 259-259
Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras....Pages 301-316
Finite Equational Bases for Fragments of CCS with Restriction and Relabelling....Pages 317-332
μ-calculus Pushdown Module Checking with Imperfect State Information....Pages 333-348
From Formal Proofs to Mathematical Proofs: A Safe, Incremental Way for Building in First-order Decision Procedures....Pages 349-365
On Traits and Types in a Java-like Setting....Pages 367-382
Canonical Sequent Proofs via Multi-Focusing....Pages 383-396
Universal Coinductive Characterisations of Process Semantics....Pages 397-412
Static and dynamic typing for the termination of mobile processes....Pages 413-427
Regular n -ary Queries in Trees and Variable Independence....Pages 429-443
Hamiltonicity of automatic graphs....Pages 445-459
Marking the chops: an unambiguous temporal logic....Pages 461-476
On Boundedness in Depth in the π-Calculus....Pages 477-489
A Unified View of Tree Automata and Term Schematisations....Pages 491-505
Deconstructing behavioural theories of mobility....Pages 507-520
Adequacy of Compositional Translations for Observational Semantics....Pages 521-535
The Surprising Robustness of (Closed) Timed Automata against Clock-Drift....Pages 537-553
نظرات کاربران
کتاب های تصادفی
دانلود کتاب A Manual of Historic Ornament
دانلود کتاب Seismic Hydrocarbon Exploration: 2D and 3D Techniques
