Foundations of Software Technology and Theoretical Computer Science - Livres de poche

EAN (ISBN-13): 9783540668367
ISBN (ISBN-10): 3540668365
Livre de poche
Date de parution: 1999
Editeur: Rangan, C. Pandu, Springer Berlin Heidelberg

Livre dans la base de données depuis 2010-09-10T14:36:37+02:00 (Zurich)
Page de détail modifiée en dernier sur 2024-02-02T15:38:38+01:00 (Zurich)
ISBN/EAN: 9783540668367

ISBN - Autres types d'écriture:
3-540-66836-5, 978-3-540-66836-7
Autres types d'écriture et termes associés:
Auteur du livre: raman, chennai india, ramanujam, goos
Titre du livre: foundations software technology and theoretical computer science, lecture notes computer science, conference proceedings, the science and technology the, india, foundation

---

Données de l'éditeur

Auteur: C. Pandu Rangan; V. Raman; R. Ramanujam
Titre: Lecture Notes in Computer Science; Foundations of Software Technology and Theoretical Computer Science - 19th Conference, Chennai, India, December 13-15, 1999 Proceedings
Editeur: Springer; Springer Berlin
460 Pages
Date de parution: 1999-11-29
Berlin; Heidelberg; DE
Langue: Anglais
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XII, 460 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Automata Theory Algorithms; Computing Theory; D programming language; Foundations of Computing; Mathematical Logic; Searching; Variable; algorithms; automata; calculus; complexity; computer science; logic; model checking; theoretical computer science; Theory of Computation; Software Engineering; Discrete Mathematics in Computer Science; Software Engineering; Mathematik für Informatiker; Diskrete Mathematik; EA

Invited Talk 1.- Recent Developments in the Theory of Arrangements of Surfaces.- Session 1(a).- Dynamic Compressed Hyperoctrees with Application to the N-body Problem.- Largest Empty Rectangle among a Point Set.- Session 1(b).- Renaming Is Necessary in Timed Regular Expressions.- Product Interval Automata: A Subclass of Timed Automata.- Session 2(a).- The Complexity of Rebalancing a Binary Search Tree.- Fast Allocation and Deallocation with an Improved Buddy System.- Session 2(b).- Optimal Bounds for Transformations of ?-Automata.- CTL+ Is Exponentially More Succinct than CTL.- Invited Talk 2.- A Top-Down Look at a Secure Message.- Session 3.- Explaining Updates by Minimal Sums.- A Foundation for Hybrid Knowledge Bases.- Session 4.- Hoare Logic for Mutual Recursion and Local Variables.- Invited Talk 3.- Explicit Substitutions and Programming Languages.- Session 5(a).- Approximation Algorithms for Routing and Call Scheduling in All-Optical Chains and Rings.- A Randomized Algorithm for Flow Shop Scheduling.- Session 5(b).- Synthesizing Distributed Transition Systems from Global Specifications.- Beyond Region Graphs: Symbolic Forward Analysis of Timed Automata.- Session 6.- Implicit Temporal Query Languages: Towards Completeness.- On the Undecidability of Some Sub-classical First-Order Logics.- Invited Talk 4.- How to Compute with DNA.- Session 7(a).- A High Girth Graph Construction and a Lower Bound for Hitting Set Size for Combinatorial Rectangles.- Protecting Facets in Layered Manufacturing.- Session 7(b).- The Receptive Distributed ?-Calculus.- Series and Parallel Operations on Pomsets.- Session 8.- Unreliable Failure Detectors with Limited Scope Accuracy and an Application to Consensus.- Invited Talk 5.- Graph Isomorphism: Its Complexity and Algorithms.- Session9(a).- Computing with Restricted Nondeterminism: The Dependence of the OBDD Size on the Number of Nondeterministic Variables.- Lower Bounds for Linear Transformed OBDDs and FBDDs.- Session 9(b).- A Unifying Framework for Model Checking Labeled Kripke Structures, Modal Transition Systems, and Interval Transition Systems.- Graded Modalities and Resource Bisimulation.- Session 10(a).- The Non-recursive Power of Erroneous Computation.- Analysis of Quantum Functions.- Session 10(b).- On Sets Growing Continuously.- Model Checking Knowledge and Time in Systems with Perfect Recall.- FST&TCS — ISAAC Joint Session Talks.- The Engineering of Some Bipartite Matching Programs.
Includes supplementary material: sn.pub/extras