مشخصات کتاب

Foundations of Software Technology and Theoretical Computer Science: 18th Conference, Chennai, India, December 17-19, 1998. Proceedings

ویرایش:  
نویسندگان: Neil Immerman (auth.),  Vikraman Arvind,  Sundar Ramanujam (eds.)  
سری: Lecture Notes in Computer Science 1530 
ISBN (شابک) : 9783540653844, 9783540493822 
ناشر: Springer Berlin Heidelberg 
سال نشر: 1998 
تعداد صفحات: 404 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 6 مگابایت 

کلمات کلیدی مربوط به کتاب مبانی فناوری نرم افزار و علوم کامپیوتر نظری: هجدهمین کنفرانس، چنای، هند، 17-19 دسامبر 1998. مجموعه مقالات: تئوری محاسبات، مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، ریاضیات گسسته در علوم کامپیوتر

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

توجه داشته باشید کتاب مبانی فناوری نرم افزار و علوم کامپیوتر نظری: هجدهمین کنفرانس، چنای، هند، 17-19 دسامبر 1998. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب مبانی فناوری نرم افزار و علوم کامپیوتر نظری: هجدهمین کنفرانس، چنای، هند، 17-19 دسامبر 1998. مجموعه مقالات

این کتاب مجموعه مقالات داوری هجدهمین کنفرانس مبانی فناوری نرم افزار و علوم کامپیوتر نظری، FSTTCS'98، برگزار شده در چنای، هند، در دسامبر 1998 است.
28 مقاله کامل اصلاح شده ارائه شده با دقت از مجموع مقالات انتخاب شده اند. 93 ارسالی; همچنین شامل شش مشارکت دعوت شده است. این مقالات با موضوعات نظری از ریاضیات گسسته و جنبه های الگوریتمی گرفته تا مهندسی نرم افزار، معناشناسی برنامه و منطق ریاضی سروکار دارند.

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

This book constitutes the refereed proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'98, held in Chennai, India, in December 1998.
The 28 revised full papers presented were carefully selected from a total of 93 submissions; also included are six invited contributions. The papers deal with theoretical topics ranging from discrete mathematics and algorithmic aspects to software engineering, program semantics and mathematical logic.

فهرست مطالب

Front Matter....Pages -
Descriptive Complexity and Model Checking....Pages 1-4
Approximation Algorithms with Bounded Performance Guarantees for the Clustered Traveling Salesman Problem....Pages 6-17
A Hamiltonian Approach to the Assignment of Non-reusable Frequencies....Pages 18-29
Deadlock Sensitive Types for Lambda Calculus with Resources....Pages 30-41
On encoding pπ in mπ ....Pages 42-53
Improved Methods for Approximating Node Weighted Steiner Trees and Connected Dominating Sets....Pages 54-65
Red-Black Prefetching: An Approximation Algorithm for Parallel Disk Scheduling....Pages 66-77
A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems....Pages 78-89
Testing Theories for Asynchronous Languages....Pages 90-101
Alternative Computational Models: A Comparison of Biomolecular and Quantum Computation....Pages 102-121
Optimal Regular Tree Pattern Matching Using Pushdown Automata....Pages 122-133
Locating Matches of Tree Patterns in Forests....Pages 134-145
Benefits of Tree Transducers for Optimizing Functional Programs....Pages 146-157
Implementable Failure Detectors in Asynchronous Systems....Pages 158-169
BRICS and Quantum Information Processing....Pages 170-173
Martingales and Locality in Distributed Computing....Pages 174-185
Space Efficient Suffix Trees....Pages 186-196
Formal Verification of an O.S. Submodule....Pages 197-208
Infinite Probabilistic and Nonprobabilistic Testing....Pages 209-220
On Generating Strong Elimination Orderings of Strongly Chordal Graphs....Pages 221-232
A Parallel Approximation Algorithm for Minimum Weight Triangulation....Pages 233-244
The Power of Reachability Testing for Timed Automata....Pages 245-256
Recursive Mean-Value Calculus....Pages 257-268
Efficient Formal Verification of Hierarchical Descriptions....Pages 269-269
Proof Rules for Model Checking Systems with Data....Pages 270-270
Partial Order Reductions for Bisimulation Checking....Pages 271-282
First-Order-CTL Model Checking....Pages 283-294
On the Complexity of Counting the Number of Vertices Moved by Graph Automorphisms....Pages 295-306
Remarks on Graph Complexity....Pages 307-318
On the Confluence of Trace Rewriting Systems....Pages 319-330
A String-Rewriting Characterization of Muller and Schupp’s Context-Free Graphs....Pages 331-342
Different Types of Monotonicity for Restarting Automata....Pages 343-354
A Kleene Iteration for Parallelism....Pages 355-366
Quantum Computation and Information....Pages 367-367
Back Matter....Pages -

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

کتاب های تصادفی

دانلود کتاب Rich, rare & red: a guide to port

دانلود کتاب Psychologische Begutachtung im Strafverfahren: Indikationen, Methoden und Qualitätsstandards

دانلود کتاب Life inc.: how the world became a corporation and how to take it back

دانلود کتاب Celebral Contusions, Lacerations and Hematomas

دانلود کتاب Curso De Dibujo Diseño De Moda