Pre-Owned Lecture Notes in Computer Science: Fst Tcs 2002: Foundations of Software Technology and Theoretical Computer Science: 22nd Conference Kanpur India December 12-14 2002 Proceedings Paperback from other stores

  • This volume consists of the proceedings of the 22nd International Conference o... This volume consists of the proceedings of the 22nd International Conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2002) organized under the auspices of the Indian Association for Research in Computing... more
  • This volume contains the proceedings of the 21st international conference on t... This volume contains the proceedings of the 21st international conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2001) organized under the auspices of the Indian Association for Research in Computing... more
  • Over the past two decades the Foundations of Software Technology and Th- retic... Over the past two decades the Foundations of Software Technology and Th- retical Computer Science (FSTTCS) conferences have been providing an - nual forum in India for the presentation and publication of results in computer science from around the... more
  • The Foundations of SoftwareTechnology and Theoretical Computer Science c- fere... The Foundations of SoftwareTechnology and Theoretical Computer Science c- ference (FST TCS) is a well-established annual event in the theoretical computer science community. The conference provides a forum for researchers to present interesting new... more
  • th This volume contains the proceedings of the 19 FST&TCS conference (Foundati... th This volume contains the proceedings of the 19 FST&TCS conference (Foundations of Software Technology and Theoretical Computer Science) - ganized under the auspices of the Indian Association for Research in Computing Science (http: //www. imsc.... more
  • This book constitutes the refereed proceedings of the 17th International Confe... This book constitutes the refereed proceedings of the 17th International Conference on Foundations of Software Technology and Theoretical Computer Science FSTTCS 97. The 18 revised full papers presented were selected from a total of 68 submissions.... more
  • This book constitutes the refereed proceedings of the 7th International Confer... This book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies Ada-Europe 2002 held in Vienna Austria in June 2002. The 24 revised full papers presented together with four invited papers were... more
  • For more than a decade Foundations of Software Technology and Theoretical Comp... For more than a decade Foundations of Software Technology and Theoretical Computer Science Conferences have been providing an annual forum for the presentation of new research results in India and abroad. This year 119 papers from 20 countries were... more
  • This book constitutes the refereed proceedings of the 15th International Confe... This book constitutes the refereed proceedings of the 15th International Conference on Foundations of Software Technology and Theoretical Computer Science FSTTCS 95 held in Bangalore India in December 1995. The volume presents 31 full revised... more
  • ETAPS 2002 is the ?fth instance of the European Joint Conferences on Theory an... ETAPS 2002 is the ?fth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998by combining a number of existing and new conferences. This year it comprises... more
  • This volume contains the proceedings of AMAST 2002 the 9th International Confe... This volume contains the proceedings of AMAST 2002 the 9th International Conference on Algebraic Methodology and Software Technology held during September 9-13 2002 in Saint-Gilles-les-Bains R´eunion Island France. The major goal of the AMAST... more
  • This volume constitutes the proceedings of the Fourth International Symposium ... This volume constitutes the proceedings of the Fourth International Symposium on Theoretical Aspects of Computer Software (TACS 2001) held at Tohoku U- versity Sendai Japan in October 2001. The TACS symposium focuses on the theoretical foundations... more
  • This book constitutes the thoroughly refereed post-proceedings of the 11th Int... This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Theoretical Foundations of Computer Vision held in Dagstuhl Castle Germany in April 2002. The 27 revised full papers presented went through two... more
  • The purpose of the EMSOFT Workshop inaugurated last year at Lake Tahoe is to b... The purpose of the EMSOFT Workshop inaugurated last year at Lake Tahoe is to bring together researchers and practitioners interested in the foundations and methods of embedded software design with the goal of improving subst- tially the state of the... more
  • The SPIN workshop series brings together researchers and practitioners int- es... The SPIN workshop series brings together researchers and practitioners int- ested in explicit state model checking technology as it is applied to the veri?- tion of software systems. Since 1995 when the SPIN workshop series was instigated SPIN... more
Items per page