Check nearby libraries
Buy this book
Foundations of Software Technology and Theoretical Computer Science: 19th Conference Chennai, India, December 13-15, 1999 Proceedings
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
Check nearby libraries
Buy this book
Previews available in: English
Showing 3 featured editions. View all 3 editions?
Edition | Availability |
---|---|
1
Foundations of Software Technology and Theoretical Computer Science: 18th Conference, Chennai, India, December 17-19, 1998, Proceedings
2004, Springer London, Limited
in English
3540493824 9783540493822
|
zzzz
Libraries near you:
WorldCat
|
2
Foundations of Software Technology and Theoretical Computer Science: 19th Conference, Chennai, India, December 13-15, 1999 Proceedings
2003, Springer London, Limited
in English
3540466916 9783540466918
|
zzzz
Libraries near you:
WorldCat
|
3
Foundations of Software Technology and Theoretical Computer Science: 19th Conference, Chennai, India, December 13-15, 1999 Proceedings (Lecture Notes in Computer Science)
January 14, 2000, Springer
Paperback
in English
- 1 edition
3540668365 9783540668367
|
aaaa
Libraries near you:
WorldCat
|
Book Details
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?History
- Created June 23, 2018
- 13 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
July 18, 2024 | Edited by MARC Bot | import existing book |
October 16, 2023 | Edited by ImportBot | import existing book |
November 15, 2022 | Edited by ImportBot | import existing book |
February 25, 2022 | Edited by ImportBot | import existing book |
June 23, 2018 | Edited by ImportBot | import new book |