Invited talks.- The tPI (tRNA Pairing Index) a Mathematical Measure of Repetition in a (Biological) Sequence.- Stability of Approximation in Discrete Optimization.- Towards a Broader Theory of Mobile Processes.- A Decidable Analysis of Security Protocols.- Track (1) on Algorithms, Complexity, and Models of Computation.- Looking Inside A?s and B?s.- Remove key Escrow from the Identity-Based Encryption System.- A Randomised Algorithm for Checking The Normality of Cryptographic Boolean Functions.- Reversible Circuit Realizations of Boolean Functions.- Resource Bounded Immunity and Simplicity.- Degree Bounds on Polynomials and Relativization Theory.- The Firing Squad Synchronization Problem with Many Generals for One-Dimensional CA.- A Matrix Q-Analogue of the Parikh Map.- The Inherent Queuing Delay of Parallel Packet Switches.- Efficient Protocols for Computing the Optimal Swap Edges of a Shortest Path Tree.- Truthful Mechanisms for Generalized Utilitarian Problems.- The Driving Philosophers.- Engineering an External Memory Minimum Spanning Tree Algorithm.- Scheduling With Release Times and Deadlines on A Minimum Number of Machines.- Approximation Algorithms for Mixed Fractional Packing and Covering Problems.- On Weighted Rectangle Packing with Large Resources.- An O(n log2 n) Algorithm for a Sink Location Problem in Dynamic Tree Networks.- Efficient Algorithms for Handling Molecular Weighted Sequences.- Imperfectness of Data for STS-Based Physical Mapping.- Solving Packing Problem with Weaker Block Solvers.- Adaptive Sorting with AVL Trees.- Precise Analysis of ?-calculus in Cubic Time.- Track (2) on Logic, Semantics, Specification, and Verification.- Prototyping Proof Carrying Code.- Contract Oriented Development of Component Software.- New Insights on Architectural Connectors.- On Complexity of Model-Checking for the TQL Logic.- A Generic Framework for Checking Semantic Equivalences Between Pushdown Automata and Finite-State Automata.- Tailoring Recursion to Characterize Non-Deterministic Complexity Classes Over Arbitrary Structures.- A Calculus with Lazy Module Operators.- Dynamic Typing with Dependent Types.- Subtyping-Inheritance Conflicts: The Mobile Mixin Case.- Asymptotic Behaviors of Type-2 Algorithms and Induced Baire Topologies.- Effective Chemistry for Synchrony and Asynchrony.- Controller Synthesis for Probabilistic Systems (Extended Abstract).- Highly Undecidable Questions for Process Algebras.- New-HOPLA a higher-order process language with name generation.- Behavioural Equivalences for Dynamic Web Data.- Behavioural Theory for Mobile Ambients.- Nested Commits For Mobile Calculi: Extending Join.- Dynamic and Local Typing for Mobile Ambients.- Polya:True Type Polymorphism for Mobile Ambients.- Recovering Resources in the ?-Calculus (DRAFT).- Ensuring Termination by Typability.- The Simply-Typed Pure Pattern Type System Ensures Strong Normalization.- Termination in Modal Kleene Algebra.- Regular Tree Language Recognition with Static Information.

"About this title" may belong to another edition of this title.

Store Description

Visit Seller's Storefront

Seller's business information

RAREWAVES.COM LIMITED
Elsley Court, 20-22 Great Titchfield Street, London, W1W 8BE, United Kingdom

Sale & Shipping Terms

Terms of Sale

Shipping Terms

Please note that we do not offer Priority shipping to any country.

We currently do not ship to the below countries:

Russia
Belarus
Ukraine

Please do not attempt to place orders with any of these countries as a ship to address - they will be cancelled.

Shipping rates from United Kingdom to U.S.A.

Shipping rates from United Kingdom to U.S.A.
Order quantity	9 to 14 business days	9 to 14 business days
First item	US$ 0.00	US$ 0.00

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.