ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Foundations of Software Technology and Theoretical Computer Science: 16th Conference Hyderabad, India, December 18–20, 1996 Proceedings

دانلود کتاب مبانی فناوری نرم افزار و علوم نظری رایانه: شانزدهمین کنفرانس حیدرآباد ، هند ، 18-20-20 دسامبر ، مجموعه مقالات

Foundations of Software Technology and Theoretical Computer Science: 16th Conference Hyderabad, India, December 18–20, 1996 Proceedings

مشخصات کتاب

Foundations of Software Technology and Theoretical Computer Science: 16th Conference Hyderabad, India, December 18–20, 1996 Proceedings

دسته بندی: کنفرانس ها و همایش های بین المللی
ویرایش: 1 
نویسندگان: , ,   
سری: Lecture Notes in Computer Science 1180 
ISBN (شابک) : 3540620346, 9783540620341 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 1996 
تعداد صفحات: 398 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت 

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



کلمات کلیدی مربوط به کتاب مبانی فناوری نرم افزار و علوم نظری رایانه: شانزدهمین کنفرانس حیدرآباد ، هند ، 18-20-20 دسامبر ، مجموعه مقالات: منطق و معانی برنامه ها، تحلیل الگوریتم و پیچیدگی مسائل، منطق ریاضی و زبان های رسمی، گرافیک کامپیوتری



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

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


در صورت تبدیل فایل کتاب Foundations of Software Technology and Theoretical Computer Science: 16th Conference Hyderabad, India, December 18–20, 1996 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مبانی فناوری نرم افزار و علوم نظری رایانه: شانزدهمین کنفرانس حیدرآباد ، هند ، 18-20-20 دسامبر ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب مبانی فناوری نرم افزار و علوم نظری رایانه: شانزدهمین کنفرانس حیدرآباد ، هند ، 18-20-20 دسامبر ، مجموعه مقالات



این کتاب مجموعه مقالات داوری شانزدهمین کنفرانس بین‌المللی مبانی فناوری نرم‌افزار و علوم کامپیوتر نظری، FST&TCS '96 است که در حیدرآباد، هند، در دسامبر 1996 برگزار شد.
این جلد 28 مقاله کامل اصلاح‌شده را ارائه می‌کند. در مجموع 98 ارسالی؛ همچنین شامل چهار مشارکت دعوت شده است. مقالات در بخش‌های موضوعی هندسه محاسباتی، جبرهای فرآیند، معناشناسی برنامه، الگوریتم‌ها، بازنویسی و منطق‌های معادله-زمانی، نظریه پیچیدگی، و نظریه نوع سازماندهی شده‌اند.


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

This book constitutes the refereed proceedings of the 16th International Conference on Foundations of Software Technology and Theoretical Computer Science, FST&TCS '96, held in Hyderabad, India, in December 1996.
The volume presents 28 revised full papers selected from a total of 98 submissions; also included are four invited contributions. The papers are organized in topical sections on computational geometry, process algebras, program semantics, algorithms, rewriting and equational-temporal logics, complexity theory, and type theory.



فهرست مطالب

Circuit complexity before the dawn of the new millennium....Pages 1-18
A lambda calculus with letrecs and barriers....Pages 19-36
Tables....Pages 37-42
Mechanized formal methods: Progress and prospects....Pages 43-51
The parameter space of the d -step conjecture....Pages 52-63
On the complexity of approximating Euclidean traveling salesman tours and minimum spanning trees....Pages 64-75
Efficient computation of rectilinear geodesic voronoi neighbor in presence of obstacles....Pages 76-87
Weak bisimulation and model checking for Basic Parallel Processes....Pages 88-99
Testing processes for efficiency....Pages 100-110
Regularity is decidable for normed PA processes in polynomial time....Pages 111-122
Dynamic maintenance of shortest path trees in simple polygons....Pages 123-134
Close approximations of minimum rectangular coverings....Pages 135-146
A new competitive algorithm for agent searching in unknown streets....Pages 147-155
On the design of hybrid control systems using automata models....Pages 156-167
Constraint retraction in FD....Pages 168-179
Winskel is (almost) right....Pages 180-192
An optimal deterministic algorithm for online b-matching....Pages 193-199
Tight bounds for prefetching and buffer management algorithms for parallel I/O systems....Pages 200-211
Complexity of the gravitational method for linear programming....Pages 212-223
Optimal and information theoretic syntactic Pattern Recognition involving traditional and transposition errors....Pages 224-237
Minimal relative normalization in orthogonal expression reduction systems....Pages 238-249
Trace consistency and inevitability....Pages 250-261
Finite state implementations of knowledge-based programs....Pages 262-273
Higher-order proof by consistency....Pages 274-285
Advocating ownership....Pages 286-297
Non-cancellative Boolean circuits: A generalization of monotone Boolean circuits....Pages 298-309
Limitations of the QRQW and EREW PRAM models....Pages 310-321
Pinpointing computation with modular queries in the Boolean hierarchy....Pages 322-334
Characterization of the principal type of normal forms in an intersection type system....Pages 335-346
Correcting type errors in the Curry System....Pages 347-358
Immediate fixpoints and their use in groundness analysis....Pages 359-370
Graph types for monadic mobile processes....Pages 371-386




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