دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Antonio Restivo, Simona Ronchi Della Rocca, Luca Roversi (auth.) سری: Lecture Notes in Computer Science 2202 ISBN (شابک) : 9783540426721, 3540426728 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2001 تعداد صفحات: 453 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
کلمات کلیدی مربوط به کتاب علوم کامپیوتر نظری: هفتمین کنفرانس ایتالیا، ICTCS 2001 تورینو، ایتالیا، 4 تا 6 اکتبر 2001 مجموعه مقالات: محاسبات با دستگاه های انتزاعی، تحلیل الگوریتم و پیچیدگی مسئله، منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، ساختارهای داده، ریاضیات محاسبات
در صورت تبدیل فایل کتاب Theoretical Computer Science: 7th Italian Conference, ICTCS 2001 Torino, Italy, October 4–6, 2001 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب علوم کامپیوتر نظری: هفتمین کنفرانس ایتالیا، ICTCS 2001 تورینو، ایتالیا، 4 تا 6 اکتبر 2001 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات داوری هفتمین کنفرانس ایتالیایی در
زمینه علوم کامپیوتر نظری، ICTCS 2001 است که در تورینو،
ایتالیا در اکتبر 2001 برگزار شد.
25 مقاله کامل اصلاح شده ارائه شده به همراه دو مقاله دعوت شده
با دقت بررسی و انتخاب شدند. از 45 ارسالی این مقالات در
بخشهای موضوعی در مورد محاسبات و انواع لامبدا، الگوریتمها و
ساختارهای داده، پارادایمهای محاسباتی جدید، زبانهای رسمی،
اشیاء و تحرک، پیچیدگی محاسباتی، امنیت، و برنامهنویسی منطقی و
منطقی سازماندهی شدهاند.
This book constitutes the refereed proceedings of the 7th
Italian Conference on Theoretical Computer Science, ICTCS
2001, held in Torino, Italy in October 2001.
The 25 revised full papers presented together with two
invited papers were carefully reviewed and selected from 45
submissions. The papers are organized in topical sections on
lambda calculus and types, algorithms and data structures,
new computing paradigms, formal languages, objects and
mobility, computational complexitiy, security, and logics and
logic programming.
A LTS Semantics of Ambients via Graph Synchronization with Mobility....Pages 1-16
Filter Models and Easy Terms....Pages 17-37
Confluence of Untyped Lambda Calculus via Simple Types....Pages 38-49
Incremental Inference of Partial Types....Pages 50-73
Call-by-Value Separability and Computability....Pages 74-89
Job Shop Scheduling with Unit Length Tasks: Bounds and Algorithms....Pages 90-106
Job Shop Scheduling Problems with Controllable Processing Times....Pages 107-122
Upper Bounds on the Size of One-Way Quantum Finite Automata....Pages 123-135
P Systems with Gemmation of Mobile Membranes....Pages 136-153
Instantaneous Actions vs. Full Asynchronicity : Controlling and Coordinating a Sset of Autonomous Mobile Robots....Pages 154-171
Some Structural Properties of Associative Language Descriptions....Pages 172-183
Block-Deterministic Regular Languages....Pages 184-196
Constructing Finite Maximal Codes from Schützenberger Conjecture....Pages 197-214
An Effective Translation of Fickle into Java....Pages 215-234
Subtyping and Matching for Mobile Objects....Pages 235-255
On Synchronous and Asynchronous Communication Paradigms....Pages 256-268
Complexity of Layered Binary Search Trees with Relaxed Balance....Pages 269-284
Distance Constrained Labeling of Precolored Trees....Pages 285-292
Exponentially Decreasing Number of Operations in Balanced Trees....Pages 293-311
Directed Hypergraphs: Problems, Algorithmic Results, and a Novel Decremental Approach....Pages 312-328
Coupon Collectors, q -Binomial Coefficients and the Unsatisfiability Threshold....Pages 328-338
Relating Partial and Complete Solutions and the Complexity of Computing Smallest Solutions....Pages 339-356
On the Distribution of a Key Distribution Center....Pages 357-369
Online Advertising: Secure E-coupons....Pages 370-383
A Calculus and Complexity Bound for Minimal Conditional Logic....Pages 384-404
Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach....Pages 405-426
E-unifiability via Narrowing....Pages 426-438