دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Foundations of Software Technology and Theoretical Computer Science: Ninth Conference, Bangalore, India December 19–21, 1989 Proceedings
دانلود کتاب مبانی فناوری نرم افزار و علوم کامپیوتر نظری: نهمین کنفرانس، بنگلور، هند 19 تا 21 دسامبر 1989 مجموعه مقالات
مشخصات کتاب
Foundations of Software Technology and Theoretical Computer Science: Ninth Conference, Bangalore, India December 19–21, 1989 Proceedings
ویرایش: 1 نویسندگان: B. Jamison (auth.), C. E. Veni Madhavan (eds.) سری: Lecture Notes in Computer Science 405 ISBN (شابک) : 3540520481, 9783540520481 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1989 تعداد صفحات: 347 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 36,000
کلمات کلیدی مربوط به کتاب مبانی فناوری نرم افزار و علوم کامپیوتر نظری: نهمین کنفرانس، بنگلور، هند 19 تا 21 دسامبر 1989 مجموعه مقالات: مهندسی نرم افزار، تکنیک های برنامه نویسی، منطق و معانی برنامه ها، گرافیک کامپیوتری، ساختار داده ها، تحلیل الگوریتم و پیچیدگی مسائل
در صورت تبدیل فایل کتاب Foundations of Software Technology and Theoretical Computer Science: Ninth Conference, Bangalore, India December 19–21, 1989 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مبانی فناوری نرم افزار و علوم کامپیوتر نظری: نهمین کنفرانس، بنگلور، هند 19 تا 21 دسامبر 1989 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مبانی فناوری نرم افزار و علوم کامپیوتر نظری: نهمین کنفرانس، بنگلور، هند 19 تا 21 دسامبر 1989 مجموعه مقالات
مقالات این جلد برای کنفرانس مبانی فناوری نرم‌افزار و نتایج تحقیقات پروژه علوم کامپیوتر نظری در - الگوریتم: طراحی و تحلیل الگوریتم‌های نمودار، هندسی، جبری و VLSI پذیرفته شده است. ساختارهای داده؛ تحلیل متوسط؛ نظریه پیچیدگی؛ تجزیه موازی - همزمانی: معناشناسی جبری، ساختارهای رویداد. - برنامه نویسی منطقی: ویژگی های جبری، معناشناسی. - تکنولوژی نرم افزار: تبدیل برنامه، روش های جبری. این نتایج همراه با تکنیک های رسمی به کار گرفته شده برای ارائه آنها منعکس کننده روندهای فعلی است که توسط گروه های تحقیقاتی پیشرو در سراسر جهان دنبال می شود. مقالات با بررسی دقیق نتایج موجود، توسعه و نمایش تکنیک‌های جدید و پیشنهاد جهت‌های بیشتر برای تحقیق، موضوعات خود را عمیقاً بررسی می‌کنند.
توضیحاتی درمورد کتاب به خارجی
The papers in this volume accepted for the conference on foundations of software technology and theoretical computer science project research results in - Algorithmics: design and analysis of graph, geometric, algebraic and VLSI algorithms; data structures; average analysis; complexity theory; parallel parsing. - Concurrency: algebraic semantics, event structures. - Logic programming: algebraic properties, semantics. - Software technology: program transformations, algebraic methods. These results together with the formal techniques employed to present them reflect current trends pursued by leading research groups around the world. The papers treat their topics in depth by carefully reviewing existing results, developing and demonstrating new techniques and suggesting further directions for research.
فهرست مطالب
A linear-time recognition algorithm for P 4 -reducible graphs....Pages 1-19
Fast parallel approximations of the maximum weighted cut problem through derandomization....Pages 20-29
A new class of separators and planarity of chordal graphs....Pages 30-43
Optimal parallel algorithms on circular-arc graphs....Pages 44-55
Algebraic properties of the space of multivalued and paraconsistent logic programs....Pages 56-67
An autoepistemic logical view of knowledge base....Pages 68-77
A natural semantics for logic programs with negation....Pages 78-88
A transformation system for deductive database modules with perfect model semantics....Pages 89-98
An efficient distributed algorithm for finding articulation points, Bridges, and biconnected components in asynchronous networks....Pages 99-108
Impossibility results in the presence of multiple faulty processes....Pages 109-120
An adaptive regulator approach for the design of load sharing algorithms....Pages 121-130
An algebraic compositional semantics of an object oriented notation with concurrency....Pages 131-142
An axiomatization of event structures....Pages 143-160
Deducing causal relationships in CCS....Pages 161-170
Annotated program transformations....Pages 171-180
Algebraic software development concepts for module and configuration families....Pages 181-192
On the limitations of locally robust positive reductions....Pages 193-203
Query evaluation with null values: How complex is completeness?....Pages 204-222
Average case complexity analysis of RETE pattern-match algorithm and average size of join in Databases....Pages 223-241
The frobenius problem....Pages 242-251
An efficient implicit data structure for path testing and searching in rooted trees and forests....Pages 252-266
Robust decompositions of polyhedra....Pages 267-279
Gate matrix layout revisited: Algorithmic performance and probabilistic analysis....Pages 280-290
Parallel parsing on a one-way linear array of finite-state machines....Pages 291-300
Energy-time trade-offs in VLSI computations....Pages 301-311
Time and real-time in programs....Pages 312-324
A proof system for communicating processes with value-passing (extended abstract)....Pages 325-339
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Sams Teach Yourself Microsoft Windows 2000 Server in 24 Hours
دانلود کتاب Crossing the Global Quality Chasm: Improving Health Care Worldwide
دانلود کتاب The Cambridge Companion to Bach
دانلود کتاب Antioxidants and Antioxidant Enzymes in Higher Plants
