Pre-Owned Lecture Notes in Computer Science: Logical Foundations of Computer Science - Tver 92: Second International Symposium Tver Russia July 20-24 1992. Proceedings Paperback from other stores
-
Pre-Owned Lecture Notes in Com...
This volume presents the papers selected for the Symposium Logic at Tver 92 he...
This volume presents the papers selected for the Symposium Logic at Tver 92 held at Sokol near Tver Russia in July 1992. It is the second in a series of international symposia on logical foundations of computer science held in Russia. The meeting is...
more
-
Pre-Owned Lecture Notes in Com...
The International Conference Foundations of Software Science and Compu- tion S...
The International Conference Foundations of Software Science and Compu- tion Structures (FOSSACS) is a constituent of the Joint European Conferences on Theoryand Practice of Software (ETAPS). The present volume contains the contributions to FOSSACS...
more
-
Pre-Owned Lecture Notes in Com...
This book constitutes the refereed proceedings of the 22nd International Sympo...
This book constitutes the refereed proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science MFCS 97 held in Bratislava Slovakia in August 1997. The 40 revised full papers presented were carefully selected from...
more
-
Pre-Owned Lecture Notes in Com...
This volume contains papers selected for presentation during the 24th Interna-...
This volume contains papers selected for presentation during the 24th Interna- tional Symposium on Mathematical Foundations of Computer Science held on September 6-10 1999 in Szklarska Por^ba Poland. The symposium organized alternately in the Czech...
more
-
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...
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...
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...
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 volume contains the papers presented at the Second International S- posiu...
This volume contains the papers presented at the Second International S- posium on Foundations of Information and Knowledge Systems (FoIKS 2002) which was held in Schloß Salzau Germany from February 20th to 23rd 2002. FoIKS is a biennial event...
more
-
Pre-Owned Lecture Notes in Com...
The second Symposium on Stochastic Algorithms Foundations and Applications (SA...
The second Symposium on Stochastic Algorithms Foundations and Applications (SAGA 2003) took place on September 22-23 2003 in Hat?eld England.The present volume comprises 12 contributed papers and 3 invited talks. The contributed papers included in...
more
-
Pre-Owned Lecture Notes in Com...
This volume contains the papers presented at the International Workshop on Mat...
This volume contains the papers presented at the International Workshop on Mathematical Methods Models and Architectures for Computer Network Se- rity(MMM-ACNS2003)heldinSt.Petersburg Russia duringSeptember21-23...
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 open access book constitutes the proceedings of the 25th International Co...
This open access book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures FOSSACS 2022 which was held during April 4-6 2022 in Munich Germany as part of the European Joint...
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
Items per page