For more than a decade, Foundations of Software Technology and Theoretical Computer Science Conferences have been providing an annual academic computer science forum for the presentation of new results in the topics of current research in India and abroad. This year, there was a total of 125 papers from 14 countries. Each paper was reviewed by at least three reviewers; based on these reviews, the programme committee selected 28 papers at a meeting held in July 1992 at the Tata Institute of Fundamental Research, Bombay. The selected papers are included in this volume, together with three invited papers: "Games and full completeness for multiplicative linear logic" by S. Abramsky, "Recent developments in algorithms for the maximum-flow problem" by K. Melhorn, and "System specification and refinement in temporal logic" by A. Pnueli.

From the Back Cover

This book describes a wide variety of speculations by many authors about the consequences for humanity of coming into contact with extraterrestrial intelligence. The assumptions underlying those speculations are examined, and some conclusions are drawn. As necessary background, the book also includes brief summaries of the history of thinking about extraterrestrial intelligence, searches for life and for signals, contrasting paradigms of how contact might take place, and the paradox that those paradigms allegedly create.

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

Store Description

We specialise in General Interest Books from South Asian countries.

Visit Seller's Storefront

Seller's business information

BOOKS AND PERIODICALS AGENCY LTD
90 Barnet Gate Lane, Barnet, EN5 2AX, United Kingdom

Sale & Shipping Terms

Terms of Sale

Returns accepted if you are not satisfied with the Service or Book.

Shipping Terms

Best packaging and fast delivery

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

Shipping rates from United Kingdom to U.S.A.
Order quantity	14 to 45 business days	5 to 10 business days
First item	US$ 8.71	US$ 13.19

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.