Fsttcs 2006 : Foundations of Software Technology and Theoretical Computer Science: 26th International Conference, Kolkata, India, December 13-15, 2006, - S. Arun-Kumar

Instant online reading.
Don't wait for delivery!

Fsttcs 2006

Foundations of Software Technology and Theoretical Computer Science: 26th International Conference, Kolkata, India, December 13-15, 2006,

By: S. Arun-Kumar (Editor), Naveen Garg (Editor)

Write A Review

Paperback | 27 November 2006

At a Glance

Paperback
452 Pages

Dimensions(cm)
23.5 x 15.24 x 2.54

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 7 to 10 business days

This book constitutes the refereed proceedings of the 26th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2006, held in Kolkata, India, in December 2006. It contains 38 papers that cover a broad variety of current topics from the theory of computing, ranging from formal methods, discrete mathematics, complexity theory, and automata theory to theoretical computer science in general.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Business Applications Computer Science Computer Architecture & Logic Design Computer Programming & Software Development Programming & Scripting Languages Information Technology General Issue Mathematics Mathematical Foundation Mathematical Logic Databases

Data Capture & Analysis Algorithms & Data Structures Software Engineering

Shared-variable concurrency : a proposal	p. 1
Hennessy-Plotkin-Brookes revisited	p. 4
Approximation algorithms for 2-stage stochastic optimization problems	p. 5
The number of crossing free configurations on finite point sets in the plane	p. 20
Normal and feature approximations from noisy point clouds	p. 21
Coresets for discrete integration and clustering	p. 33
Self-assemblying classes of shapes with a minimum number of tiles, and in optimal time	p. 45
One-input-face MPCVP is hard for L, but in LogDCFL	p. 57
Hardness of approximation results for the problem of finding the stopping distance in Tanner graphs	p. 69
Multi-stack boundary labeling problems	p. 81
Computing a center-transversal line	p. 93
On obtaining pseudorandomness from error-correcting codes	p. 105
Fast edge colorings with fixed number of colors to minimize imbalance	p. 117
Zero error list-decoding capacity of the q/(q - 1) channel	p. 129
Fast exponential algorithms for maximum [tau]-regular induced subgraph problems	p. 139
Solving connected dominating set faster than 2[superscript n]	p. 152
Linear-time algorithms for two subtree-comparison problems on phylogenetic trees with different species	p. 164
Computationally sound symbolic secrecy in the presence of hash functions	p. 176
Some results on average-case hardness within the polynomial hierarchy	p. 188
Unbiased rounding of rational matrices	p. 200
Rational behaviour and strategy construction in infinite multiplayer games	p. 212
The anatomy of innocence revisited	p. 224
Testing probabilistic equivalence through reinforcement learning	p. 236
On decidability of LTL model checking for process rewrite systems	p. 248
Monitoring of real-time properties	p. 260
A proof system for the linear time [mu]-calculus	p. 273
Tree automata make ordinal theory easy	p. 285
Context-sensitive dependency pairs	p. 297
On reduction criteria for probabilistic reward models	p. 309
Distributed synthesis for well-connected architectures	p. 321
The meaning of ordered SOS	p. 333
Almost optimal strategies in one clock priced timed games	p. 345
Expressivity properties of Boolean BI through relational models	p. 357
On continuous timed automata with input-determined guards	p. 369
Safely freezing LTL	p. 381
Branching pushdown tree automata	p. 393
Validity checking for finite automata over linear arithmetic constraints	p. 405
Game semantics for higher-order concurrency	p. 417
Table of Contents provided by Blackwell. All Rights Reserved.

Fsttcs 2006

Foundations of Software Technology and Theoretical Computer Science: 26th International Conference, Kolkata, India, December 13-15, 2006,

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Software Engineering

Designing Data-Intensive Applications

Big Ideas Behind Reliable, Scalable, and Maintainable Systems

Risk-First Software Development, Second Edition

Deliver Better Systems in a Post-Agile, AI World

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

Web Performance Engineering in the Age of AI

Mastering Speed and Quality for Ai-Generated Applications

The Essence of Software Engineering

Semantics With Applications

Advanced Topics in Computer Science

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

Typescript Cookbook

Real World Type-Level Programming

The Devops Handbook: 2nd Edition

How to Create World-Class Agility, Reliability, & Security in Technology

The Art of Spyro

Reignited Trilogy

Arduino For Dummies

Blackwell Philosophy Anthologies

Developing Graphics Frameworks with Java and OpenGL

Design Patterns

Elements of Reusable Object-Oriented Software

Git : Pocket Guide

A Working Introduction

Swim Training Patterns

1st Edition - Plan your Training Sessions with the Power of Mathematics

Hacking For Dummies

For Dummies (Computer/Tech)

Architecture Patterns with Python

Enabling Test-Driven Development, Domain-Driven Design, and Event-Driven Microservices

Architectural Approach to Level Design

Second edition

Coding All-in-One For Dummies

2nd Edition

Go Cookbook

Expert Solutions for Commonly Needed Go Tasks

User Story Mapping

Discover the Whote Story, Build the Right Product

Lean Enterprise

How High Performance Organizations Innovate at Scale

This product is categorised by