|
Showing 1 - 2 of
2 matches in All Departments
|
Algorithms and Computation - Third International Symposium, ISAAC '92, Nagoya, Japan, December 16-18, 1992. Proceedings (Paperback, 1992 ed.)
Toshihide Ibaraki, Yasuyoshi Inagaki, Kazuo Iwama, Takao Nishizeki, Masafumi Yamashita
|
R1,809
Discovery Miles 18 090
|
Ships in 10 - 15 working days
|
This volume gives the proceedings of ISAAC '92, the Third
International Symposium on Algorithms and Computation, held in
Nagoya, Japan, December 1992. The first symposium was held in Tokyo
in 1990, as the first international symposium organized by SIGAL
(Special Interest Groupon Algorithms in the Information Processing
Society of Japan) to serve as anannual international forum in Asia
for researchers in the area of algorithms. The second symposium was
held in Taipei, Taiwan in 1991, where it was decided that
computation would be included in the main scope of the symposium
and that ISAAC would be its name. ISAAC '92 focuses on topics in
design and analysis of algorithms, computational complexity, and
theory of computation, including algorithms and data structures,
parallel/distributed computing, automata and formal languages,
probabilistic/approximation algorithms, computability and
complexity, term rewriting systems, and computational geometry. The
volume contains the accepted contributed papers and the invited
papers.
|
Stabilization, Safety, and Security of Distributed Systems - 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings (Paperback, 2013 ed.)
Teruo Higashino, Yoshiaki Katayama, Toshimitsu Masuzawa, Maria Potop-Butucaru, Masafumi Yamashita
|
R2,752
Discovery Miles 27 520
|
Ships in 10 - 15 working days
|
This book constitutes the thoroughly refereed proceedings of the 15
International Symposium on Stabilization, Safety and Security of
Distributed Systems, SSS 2013, held in Osaka, Japan, in November
2013. The 23 regular papers and 12 short papers presented were
carefully reviewed and selected from 68 submissions. The Symposium
is organized in several tracks, reflecting topics to self-*
properties. The tracks are self-stabilization, fault tolerance and
dependability; formal methods and distributed systems; ad-hoc,
sensors, mobile agents and robot networks and P2P, social,
self-organizing, autonomic and opportunistic networks.
|
|