V. Vinay - Böcker
Visar alla böcker från författaren V. Vinay. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science
21st Conference, Bangalore, India, December 13-15, 2001, Proceedings
Häftad, Engelska, 2001
551 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science, FST TCS 2001, held in Bangalore, India in December 2001. The 23 revised full papers presented together with five invited papers were carefully reviewed and selected from 73 submissions. Among the issues addressed are randomization and derandomization, approximation, Kolmogorov complexity, pseudo-randomness, tree search, model checking, data structures, deterministic algorithms, formal verification, parallel algorithms, minimum-degree spanning trees, scheduling, Petri nets, equivalence logic, and rewriting.
Foundations of Software Technology and Theoretical Computer Science
16th Conference, Hyderabad, India, December 18 - 20, 1996, Proceedings
Häftad, Engelska, 1996
551 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 16th International Conference on Foundations of Software Technology and Theoretical Computer Science, FST&TCS '96, held in Hyderabad, India, in December 1996.The volume presents 28 revised full papers selected from a total of 98 submissions; also included are four invited contributions. The papers are organized in topical sections on computational geometry, process algebras, program semantics, algorithms, rewriting and equational-temporal logics, complexity theory, and type theory.