دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: کنفرانس ها و همایش های بین المللی ویرایش: 1 نویسندگان: Eric Allender (auth.), V. Chandru, V. Vinay (eds.) سری: Lecture Notes in Computer Science 1180 ISBN (شابک) : 3540620346, 9783540620341 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1996 تعداد صفحات: 398 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
کلمات کلیدی مربوط به کتاب مبانی فناوری نرم افزار و علوم نظری رایانه: شانزدهمین کنفرانس حیدرآباد ، هند ، 18-20-20 دسامبر ، مجموعه مقالات: منطق و معانی برنامه ها، تحلیل الگوریتم و پیچیدگی مسائل، منطق ریاضی و زبان های رسمی، گرافیک کامپیوتری
در صورت تبدیل فایل کتاب 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 دسامبر ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات داوری شانزدهمین کنفرانس بینالمللی
مبانی فناوری نرمافزار و علوم کامپیوتر نظری، 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