مشخصات کتاب

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science: 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings

دسته بندی: کامپیوتر
ویرایش: 1 
نویسندگان: Max A. Alekseyev,  Pavel A. Pevzner (auth.),  Kamal Lodaya,  Meena Mahajan (eds.)  
سری: Lecture Notes in Computer Science 3328 
ISBN (شابک) : 3540240586, 9783540305385 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2005 
تعداد صفحات: 553 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 12 مگابایت 

کلمات کلیدی مربوط به کتاب FSTTCS 2004: مبانی فناوری نرم افزار و علوم نظری رایانه: بیست و چهارمین کنفرانس بین المللی ، چنای ، هند ، 16-18 دسامبر ، 2004. مجموعه مقالات: منطق و معانی برنامه‌ها، زبان‌های برنامه‌نویسی، کامپایلرها، مترجمان، منطق ریاضی و زبان‌های رسمی، تحلیل الگوریتم و پیچیدگی مسئله، محاسبات با دستگاه‌های انتزاعی، ریاضیات گسسته در علوم کامپیوتر

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

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

توضیحاتی در مورد کتاب FSTTCS 2004: مبانی فناوری نرم افزار و علوم نظری رایانه: بیست و چهارمین کنفرانس بین المللی ، چنای ، هند ، 16-18 دسامبر ، 2004. مجموعه مقالات



این کتاب مجموعه مقالات داوری بیست و چهارمین کنفرانس بین المللی مبانی فناوری نرم افزار و علوم کامپیوتر نظری، FSTTCS 2004، در چنای، هند، در دسامبر 2004 برگزار شد.

35 مقاله کامل اصلاح شده ارائه شده همراه با 5 مقاله دعوت شده به دقت بررسی و از بین 176 مقاله ارسالی انتخاب شد. این مقالات به طیف گسترده ای از مسائل جاری در علوم نرم افزار، نظریه برنامه نویسی، طراحی و تجزیه و تحلیل سیستم ها، روش های رسمی، منطق ریاضی، مبانی ریاضی، ریاضیات گسسته، ریاضیات ترکیبی، نظریه پیچیدگی، نظریه اتوماتا، و علوم کامپیوتر نظری می پردازند. /P>

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

This book constitutes the refereed proceedings of the 24th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2004, held in Chennai, India, in December 2004.

The 35 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 176 submissions. The papers address a broad variety of current issues in software science, programming theory, systems design and analysis, formal methods, mathematical logic, mathematical foundations, discrete mathematics, combinatorial mathematics, complexity theory, automata theory, and theoretical computer science in general.

فهرست مطالب

Front Matter....Pages -
Genome Halving Problem Revisited....Pages 1-15
Verifying Probabilistic Procedural Programs....Pages 16-31
Streaming Algorithms for Geometric Problems....Pages 32-34
Toward a Grainless Semantics for Shared-Variable Concurrency....Pages 35-48
Regular Languages, Unambiguous Concatenation and Computational Complexity....Pages 49-57
Decidability of Zenoness, Syntactic Boundedness and Token-Liveness for Dense-Timed Petri Nets....Pages 58-70
On the Urgency Expressiveness....Pages 71-83
Asynchronous Automata-Theoretic Characterization of Aperiodic Trace Languages....Pages 84-96
A Decidable Fragment of Separation Logic....Pages 97-109
Approximate Range Searching Using Binary Space Partitions....Pages 110-121
Representable Disjoint NP-Pairs....Pages 122-134
Symbolic Reachability Analysis of Higher-Order Context-Free Processes....Pages 135-147
Optimal Strategies in Priced Timed Game Automata....Pages 148-160
A Calculus for Trust Management....Pages 161-173
Short-Cuts on Star, Source and Planar Unfoldings....Pages 174-185
Subdividing Alpha Complex....Pages 186-197
Real-Counter Automata and Their Decision Problems....Pages 198-210
Adjunct Elimination Through Games in Static Ambient Logic....Pages 211-223
On the Bisimulation Invariant Fragment of Monadic Σ 1 in the Finite....Pages 224-236
On the Complexity of Hilbert’s 17th Problem....Pages 237-249
Who is Pointing When to Whom?....Pages 250-262
An Almost Linear Time Approximation Algorithm for the Permanent of a Random (0-1) Matrix....Pages 263-274
Distributed Games with Causal Memory Are Decidable for Series-Parallel Systems....Pages 275-286
Expand, Enlarge, and Check: New Algorithms for the Coverability Problem of WSTS....Pages 287-298
Minimum Weight Pseudo-Triangulations....Pages 299-310
Join Algorithms for the Theory of Uninterpreted Functions....Pages 311-323
No, Coreset, No Cry....Pages 324-335
Hardness Hypotheses, Derandomization, and Circuit Complexity....Pages 336-347
Improved Approximation Algorithms for Maximum Graph Partitioning Problems Extended Abstract....Pages 348-359
Learning Languages from Positive Data and a Finite Number of Queries....Pages 360-371
The Complexity of the Local Hamiltonian Problem....Pages 372-383
Quantum and Classical Communication-Space Tradeoffs from Rectangle Bounds....Pages 384-395
Adaptive Stabilization of Reactive Protocols....Pages 396-407
Visibly Pushdown Games....Pages 408-420
Refinement and Separation Contexts....Pages 421-433
Decidability of MSO Theories of Tree Structures....Pages 434-446
Distributed Algorithms for Coloring and Domination in Wireless Ad Hoc Networks....Pages 447-459
Monotone Multilinear Boolean Circuits for Bipartite Perfect Matching Require Exponential Size....Pages 460-468
Testing Geometric Convexity....Pages 469-480
Complexity of Linear Connectivity Problems in Directed Hypergraphs....Pages 481-493
Actively Learning to Verify Safety for FIFO Automata....Pages 494-505
Reasoning About Game Equilibria Using Temporal Logic....Pages 506-517
Alternation in Equational Tree Automata Modulo XOR....Pages 518-530
Back Matter....Pages -

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

کتاب های مرتبط

دانلود کتاب Proof Technology and Computation, Volume 200 NATO Science Series: Computer and Systems Sciences (Nato Science)

دانلود کتاب MCSE/MCSA Implementing and Administering Security in a Windows 2000 Network: Study Guide and DVD Training System (Exam 70-214)

دانلود کتاب Virtual Reality: Second International Conference, ICVR 2007, Held as part of HCI International 2007, Beijing, China, July 22-27, 2007. Proceedings

دانلود کتاب Semisupervised Learning for Computational Linguistics (Chapman & Hall Crc Computer Science & Data Analysis)

دانلود کتاب Dependability Benchmarking for Computer Systems (Practitioners)

دانلود کتاب Non-Photorealistic Computer Graphics: Modelling, Rendering, and Animation

دانلود کتاب The Little Book of Semaphores (2nd Edition)

دانلود کتاب Test Magazine(November 2016)

دانلود کتاب T4 Succinctly

دانلود کتاب Mathematics and Computation in Music: Second International Conference, MCM 2009, New Haven, CT, USA, June 19-22, 2009. Proceedings (Communications in Computer and Information Science)