Foundations of Software Technology and Theoretical Computer Science
by R. Ramanujam, C. Pandu Rangan
No club is reading this yet — be the first to start one
Author: C. Pandu Rangan, V. Raman, R. Ramanujam
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-66836-7
DOI: 10.1007/3-540-46691-6
Table of Contents:
- Recent Developments in the Theory of Arrangements of Surfaces
- Dynamic Compressed Hyperoctrees with Application to the N-body Problem
- Largest Empty Rectangle among a Point Set
- Renaming Is Necessary in Timed Regular Expressions
- Product Interval Automata: A Subclass of Timed Automata
- The Complexity of Rebalancing a Binary Search Tree
- Fast Allocation and Deallocation with an Improved Buddy System
- Optimal Bounds for Transformations of ω-Automata
- CTL+ Is Exponentially More Succinct than CTL
- A Top-Down Look at a Secure Message
- Explaining Updates by Minimal Sums
- A Foundation for Hybrid Knowledge Bases
- Hoare Logic for Mutual Recursion and Local Variables
- Explicit Substitutions and Programming Languages
- Approximation Algorithms for Routing and Call Scheduling in All-Optical Chains and Rings
- A Randomized Algorithm for Flow Shop Scheduling
- Synthesizing Distributed Transition Systems from Global Specifications
- Beyond Region Graphs: Symbolic Forward Analysis of Timed Automata
- Implicit Temporal Query Languages: Towards Completeness
- On the Undecidability of Some Sub-classical First-Order Logics
Discuss Foundations of Software Technology and Theoretical Computer Science with other readers
Join or start a book club for Foundations of Software Technology and Theoretical Computer Science on Readfeed. Live chat, shared reading progress, and AI discussion questions — free to get started.
Frequently asked questions
How do I join a book club for Foundations of Software Technology and Theoretical Computer Science?
Sign up free on Readfeed, then browse public clubs or start your own club with Foundations of Software Technology and Theoretical Computer Science as the current read. Invite friends with a share link and discuss together with live chat and AI discussion questions.
Can I discuss Foundations of Software Technology and Theoretical Computer Science with other readers online?
Yes. Readfeed book clubs let you chat live, share progress, and join discussions about Foundations of Software Technology and Theoretical Computer Science with readers worldwide — whether your club is virtual, in-person, or hybrid.
Is Readfeed free?
Yes. Creating an account and joining book clubs is free. Sign up to find readers who love the same books and start discussing today.