Foundations of Software Technology and Theoretical Computer Science, Kesav V. Nori; Sanjeev Kumar

Автор: Kesav V. Nori
Название: Foundations of Software Technology and Theoretical Computer Science
ISBN: 3540186255 ISBN-13(EAN): 9783540186250
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Rudrapatna K. Shyamasundar
Название: Foundations of Software Technology and Theoretical Computer Science
ISBN: 3540575294 ISBN-13(EAN): 9783540575290
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: P.S. Thiagarajan
Название: Foundations of Software Technology and Theoretical Computer Science
ISBN: 3540587152 ISBN-13(EAN): 9783540587156
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains the proceedings of the 14th International Conference on the Foundations of Software Technology and Theoretical Computer Science, held in Madras, India in December 1994. Contributors emphasize algorithms and complexity in addition to more theoretical concepts.

Автор: Vijay Chandru; V. Vinay
Название: Foundations of Software Technology and Theoretical Computer Science
ISBN: 3540620346 ISBN-13(EAN): 9783540620341
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Rudrapatna Shyamasundar
Название: Foundations of Software Technology and Theoretical Computer Science
ISBN: 3540562877 ISBN-13(EAN): 9783540562870
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Naoki Kobayashi; Benjamin C. Pierce
Название: Theoretical Aspects of Computer Software
ISBN: 3540427368 ISBN-13(EAN): 9783540427360
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This text constitutes the proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software, TACS 2001, presenting 21 revised papers, six invited papers and an open lecture. Topics addressed include: automata theory, control-flow analysis and program logic.

Автор: M. Joseph; R. Shyamasundar
Название: Foundations of Software Technology and Theoretical Computer Science
ISBN: 3540138838 ISBN-13(EAN): 9783540138839
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: S.N. Maheshwari
Название: Foundations of Software Technology and Theoretical Computer Science
ISBN: 3540160426 ISBN-13(EAN): 9783540160427
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Kesav V. Nori; C.E. Veni Madhavan
Название: Foundations of Software Technology and Theoretical Computer Science
ISBN: 3540534873 ISBN-13(EAN): 9783540534877
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: These proceedings of the Tenth Indian Conference on Foundations of Software Technology and Theoretical Computer Science include papers on logic, automata and formal languages, theory of programming, parallel algorithms, geometric algorithms, concurrency, distributed computing and semantics.

Автор: S. Ramesh; G. Sivakumar
Название: Foundations of Software Technology and Theoretical Computer Science
ISBN: 3540638768 ISBN-13(EAN): 9783540638766
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: V. Arvind; Sanjiva Prasad
Название: FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science
ISBN: 3540770496 ISBN-13(EAN): 9783540770497
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Christine Choppy; Oleg Sokolsky
Название: Foundations of Computer Software: Future Trends and Techniques for Development
ISBN: 3642125654 ISBN-13(EAN): 9783642125652
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presents the thoroughly refereed and revised proceedings of the 15th Monterey Workshop, held in Budapest, Hungary, September 24-26, 2008. The theme of the workshop was Foundations of Computer Software, Future Trends and Techniques for Development.