FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science, Ramesh Hariharan; Madhavan Mukund; V. Vinay
Автор: Manindra Agrawal; Anil Seth Название: FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science ISBN: 3540002251 ISBN-13(EAN): 9783540002253 Издательство: Springer Рейтинг: Цена: 69870.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Compiled from the proceedings of the 22nd Conference on Foundations of Software Technology and Theoretical Computer Science, this volume contains 31 papers. A variety of topics from the theory of computing are addressed, from algorithmics, discrete mathematics and logics.
Автор: Sanjiv Kapoor; Sanjiva Prasad Название: FST TCS 2000: Foundations of Software Technology and Theoretical Science ISBN: 3540414134 ISBN-13(EAN): 9783540414131 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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 results in several areas of theoretical computer science. The c- ference is now in its twentieth year and has continued to attract high-quality submissions and reputed invited speakers. This year'sconference attracted 141 submissions(of which 5 werewithdrawn) from over 25 countries. Each submission was reviewed by at least three referees, with most receiving more than four reviews. The Program Committee met in New Delhi on 5 and 6 August 2000, with many members participating electr- ically over the Internet. The discussions continued over the Internet for several days and we ?nally selected 36 papers for presentation at the conference and inclusion in the proceedings. We thank the Program Committee for their - perlative e?orts in ?nding top quality reviewers and working extremely hard to ensure the quality of the conference. We also thank all our reviewers for prov- ing detailed and informative feedback about the papers. Rich Gerber's START program greatly simpli?ed managing the submissions and the PC work. Wearegratefulto oursixinvited speakers, PeterBuneman, BernardChazelle, Allen Emerson, Martin Gr] otschel, Jos e Meseguer, and Philip Wadler for agr- ing to speak at the conference and for providing written contributions that are included in the proceedings. With the main conference this year, there are two satellite workshops - on RecentAdvancesinProgrammingLanguages and onComputationalGeometry.
Автор: V. Arvind; Sanjiva Prasad Название: FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science ISBN: 3540770496 ISBN-13(EAN): 9783540770497 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Constitutes the refereed proceedings of the 27th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2007, held in New Delhi, India, in December 2007. Thia book presents 40 revised full papers together with 5 invited papers that were reviewed and selected from 135 submissions.
Автор: Conjeevaram E. Veni Madhavan Название: Foundations of Software Technology and Theoretical Computer Science ISBN: 3540520481 ISBN-13(EAN): 9783540520481 Издательство: Springer Рейтинг: Цена: 69870.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The papers in this volume accepted for the conference on foundations of software technology and theoretical computer science project research results in - Algorithmics: design and analysis of graph, geometric, algebraic and VLSI algorithms;
Автор: S. Ramesh; G. Sivakumar Название: Foundations of Software Technology and Theoretical Computer Science ISBN: 3540638768 ISBN-13(EAN): 9783540638766 Издательство: Springer Рейтинг: Цена: 74530.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The papers presented here provide an overview of the foundations of software technology and theoretical computer science. Among the topics addressed are concurrency, Petri nets, graph computations, program verification, model checking, recursion theory, rewriting and error-correcting codes.
Автор: Somenath Biswas; Kesav V. Nori Название: Foundations of Software Technology and Theoretical Computer Science ISBN: 3540549676 ISBN-13(EAN): 9783540549673 Издательство: Springer Рейтинг: Цена: 81050.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This volume contains the proceedings of an international conference which reflects the current research concerns of the theoretical computer science community. Topics discussed include algorithms, automata theory, functional programming, semantics, logic and structural complexity theory.
Автор: Rudrapatna K. Shyamasundar Название: Foundations of Software Technology and Theoretical Computer Science ISBN: 3540575294 ISBN-13(EAN): 9783540575290 Издательство: Springer Рейтинг: Цена: 83850.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This volume of conference proceedings contains papers grouped into sections on type theory, parallel algorithms, term rewriting, logic programming, computational geometry and complexity, software technology, concurrency, distributed algorithms and learning theory.
Автор: Kesav V. Nori; Sanjeev Kumar Название: Foundations of Software Technology and Theoretical Computer Science ISBN: 3540505172 ISBN-13(EAN): 9783540505174 Издательство: Springer Рейтинг: Цена: 83850.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Besides attractive invited papers the volume contains carefully reviewed submitted papers on the following topics: Automata and Formal Languages, Graph Algorithms and Geometric Algorithms, Distributed Computing, Parallel Algorithms, Database Theory, Logic Programming, Programming Methodology, Theory of Algorithms, Semantics and Complexity.
Автор: Rudrapatna Shyamasundar Название: Foundations of Software Technology and Theoretical Computer Science ISBN: 3540562877 ISBN-13(EAN): 9783540562870 Издательство: Springer Рейтинг: Цена: 81050.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The proceedings of a meeting held at the Tata Institute of Fundamental Research, Bombay, in June 1992. Selected papers are included in this volume, along with invited essays on developments in algorithms for the maximum-flow problem and system specification in temporal logic.
Автор: Vijay Chandru; V. Vinay Название: Foundations of Software Technology and Theoretical Computer Science ISBN: 3540620346 ISBN-13(EAN): 9783540620341 Издательство: Springer Рейтинг: Цена: 74530.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: These conference papers are organized into topical sections in computational geometry, process algebras, program semantics, algorithms, rewriting and equational-temporal logics, complexity theory, and type theory.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
