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 5 to 7 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

Building Microservices

Designing Fine-Grained Systems 2nd Edition

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Code

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

The Essence of Software Engineering

Semantics With Applications

Advanced Topics in Computer Science

Fundamentals of Software Architecture

A Modern Engineering Approach

The Manager`s Path

A Guide for Tech Leaders Navigating Growth and Change

Site Reliability Engineering

How Google Runs Production Systems

Design Patterns

Elements of Reusable Object-Oriented Software

The Staff Engineer's Path

A Guide For Individual Contributors Navigating Growth and Change

Designing Data-Intensive Applications

Big Ideas Behind Reliable, Scalable, and Maintainable Systems

Software Architecture: The Hard Parts

Modern Trade-Off Analyses for Distributed Architectures

Swim Training Patterns

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

Hacking For Dummies

For Dummies (Computer/Tech)

Git : Pocket Guide

A Working Introduction

Clean Architecture

A Craftsman's Guide to Software Structure and Design

Architecture Patterns with Python

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

Test-Driven Development with Python

Obey the Testing Goat: Using Django, Selenium, and JavaScript

Developing Graphics Frameworks with Java and OpenGL

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

JavaScript : The Good Parts

Unearthing the excellence in JavaScript

User Story Mapping

Discover the Whote Story, Build the Right Product

The Engineering Leader

Strategies for Scaling Teams and Yourself

Learning Modern C++ for Finance

Foundations for Quantitative Programming

This product is categorised by