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
-
Pre-Owned Lecture Notes in Com...
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
-
Pre-Owned Lecture Notes in Com...
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
-
Pre-Owned Lecture Notes in Com...
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
-
Pre-Owned Lecture Notes in Com...
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
-
Pre-Owned Lecture Notes in Com...
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
-
Pre-Owned Lecture Notes in Com...
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
-
Pre-Owned Lecture Notes in Com...
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
-
Lecture Notes in Computer Scie...
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
-
Lecture Notes in Computer Scie...
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
-
Pre-Owned Lecture Notes in Com...
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
-
Pre-Owned Lecture Notes in Com...
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
-
Pre-Owned Lecture Notes in Com...
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
-
Pre-Owned Lecture Notes in Com...
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
-
Pre-Owned Lecture Notes in Com...
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
-
Pre-Owned Lecture Notes in Com...
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