Foundations of Software Technology and Theoretical Computer Science
Maheshwari
Broschiertes Buch

Foundations of Software Technology and Theoretical Computer Science

Fifth Conference, New Delhi, India, December 16-18, 1985. Proceedings

Mitarbeit: Maheshwari, S. N.
Versandkostenfrei!
Versandfertig in 1-2 Wochen
39,99 €
inkl. MwSt.
PAYBACK Punkte
20 °P sammeln!
The mathematics of programming.- Concurrent programming using actors: Exploiting large-scale parallelism.- A new class of high level programs for distributed computing systems.- A class of termination detection algorithms for distributed computations.- New protocols for the election of a leader in a ring.- Program simplification via symbolic interpretation.- PROLOG-based inductive theorem proving.- On the calling behaviour of procedures.- Approximation algorithms for planar matching.- Geometric optimization and the polynomial hierarchy.- Deriving object octree from images.- Deduction with rela...