دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Foundations of Software Technology and Theoretical Computer Science: Eighth Conference, Pune, India December 21–23, 1988 Proceedings
دانلود کتاب مبانی فناوری نرم افزار و علوم کامپیوتر نظری: کنفرانس هشتم، پونا، هند 21 تا 23 دسامبر 1988 مجموعه مقالات
مشخصات کتاب
Foundations of Software Technology and Theoretical Computer Science: Eighth Conference, Pune, India December 21–23, 1988 Proceedings
ویرایش: 1 نویسندگان: Franco P. Preparata (auth.), Kesav V. Nori, Sanjeev Kumar (eds.) سری: Lecture Notes in Computer Science 338 ISBN (شابک) : 3540505172, 9783540505174 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1988 تعداد صفحات: 529 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 43,000
کلمات کلیدی مربوط به کتاب مبانی فناوری نرم افزار و علوم کامپیوتر نظری: کنفرانس هشتم، پونا، هند 21 تا 23 دسامبر 1988 مجموعه مقالات: محاسبات با دستگاه های انتزاعی، تحلیل الگوریتم و پیچیدگی مسئله، مهندسی نرم افزار، منطق و معانی برنامه ها، هوش مصنوعی (شامل رباتیک)، ترکیبیات
در صورت تبدیل فایل کتاب Foundations of Software Technology and Theoretical Computer Science: Eighth Conference, Pune, India December 21–23, 1988 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مبانی فناوری نرم افزار و علوم کامپیوتر نظری: کنفرانس هشتم، پونا، هند 21 تا 23 دسامبر 1988 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مبانی فناوری نرم افزار و علوم کامپیوتر نظری: کنفرانس هشتم، پونا، هند 21 تا 23 دسامبر 1988 مجموعه مقالات
این جلد شامل مجموعه مقالات هشتمین کنفرانس مبانی فناوری نرم افزار و علوم نظری رایانه است که در پونا، هند، در 21 تا 23 دسامبر 1988 برگزار شد. رابط بین نظریه و عمل علم نرم افزار همچنین فرصتی سالانه برای تعامل بین جوامع تحقیقاتی فعال در هند و خارج از کشور فراهم می کند. علاوه بر مقالات دعوت شده جذاب، این جلد شامل مقالات ارسال شده با دقت بررسی شده با موضوعات زیر است: خودکار و زبان های رسمی، الگوریتم های نمودار و الگوریتم های هندسی، محاسبات توزیع شده، الگوریتم های موازی، نظریه پایگاه داده، برنامه نویسی منطقی، روش برنامه نویسی، نظریه الگوریتم ها و پیچیدگی، سمن.
توضیحاتی درمورد کتاب به خارجی
This volume contains the proceedings of the 8th Conference on Foundations of Software Technology and Theoretical Computer Science held in Pune, India, on December 21-23, 1988. This internationally well-established Indian conference series provides a forum for actively investigating the interface between theory and practice of Software Science. It also gives an annual occasion for interaction between active research communities in India and abroad. Besides attractive invited papers the volume contains carefully reviewed submitted papers on the following topics: Automata and Formal Languages, Graph Algorithms and Geometric Algorithms, Distributed Computing, Parallel Algorithms, Database Theory, Logic Programming, Programming Methodology, Theory of Algorithms, Semantics and Complexity.
فهرست مطالب
Planar point location revisited (A guided tour of a decade of research)....Pages 1-17
Computing a viewpoint of a set of points inside a polygon....Pages 18-29
Analysis of preflow push algorithms for maximum network flow....Pages 30-48
A new linear algorithm for the two path problem on chordal graphs....Pages 49-66
Extending planar graph algorithms to K 3,3 -free graphs....Pages 67-79
Constant-space string-matching....Pages 80-87
Inherent nonslicibility of rectangular duals in VLSI floorplanning....Pages 88-107
Path planning with local information....Pages 108-121
Linear broadcast routing....Pages 122-122
Predicting deadlock in store-and-forward networks....Pages 123-142
On parallel sorting and addition with concurrent writes....Pages 143-153
An optimal parallel algorithm for sorting presorted files....Pages 154-160
Superlinear speedup in parallel state-space search....Pages 161-174
Circuit definitions of nondeterministic complexity classes....Pages 175-192
Non-uniform proof systems: A new framework to describe non-uniform and probabilistic complexity classes....Pages 193-210
Padding, commitment and self-reducibility....Pages 211-224
The complexity of a counting finite-state automaton....Pages 225-239
A hierarchy theorem for pram-based complexity classes....Pages 240-249
A natural deduction treatment of operational semantics....Pages 250-269
Uniformly applicative structures, a theory of computability and polyadic functions....Pages 270-285
A proof technique for register atomicity....Pages 286-303
Relation level semantics....Pages 304-328
A constructive set theory for program development....Pages 329-347
McCarthy's amb cannot implement fair merge....Pages 348-363
GHC — A language for a new age of parallel programming....Pages 364-376
Accumulators: New logic variable abstractions for functional languages....Pages 377-399
A resolution rule for well-formed formulae....Pages 400-418
Algebraic and operational semantics of positive/negative conditional algebraic specifications....Pages 419-434
Semi-unification....Pages 435-454
A method to check knowledge base consistency....Pages 455-468
Knowledgebases as structured theories....Pages 469-486
On functional independencies....Pages 487-508
A generic algorithm for transaction processing during network partitioning....Pages 509-519
