|
Showing 1 - 4 of
4 matches in All Departments
The papers in this volume were presented at the 14th Symposium on
Fun- mentals of Computation Theory. The symposium was established
in 1977 as a biennial event for researchers interested in all
aspects of theoretical computer science, in particular in al-
rithms, complexity, and formal and logical methods. The previous
FCT con- rences were held in the following cities: Poznan (Poland,
1977), Wendisch-Rietz (Germany, 1979), Szeged (Hungary, 1981),
Borgholm (Sweden, 1983), Cottbus (Germany, 1985), Kazan (Russia,
1987), Szeged (Hungary, 1989), Gosen-Berlin (Germany, 1991), Szeged
(Hungary, 1993), Dresden (Germany, 1995), Krak ow (Poland, 1997),
Iasi (Romania, 1999), and Riga (Latvia, 2001). The FCT conferences
are coordinated by the FCT steering committee, which
consistsofB.Chlebus(Denver/Warsaw), Z.Esik(Szeged),
M.Karpinski(Bonn), A. Lingas (Lund), M. Santha (Paris), E. Upfal
(Providence), and I. Wegener (Dortmund). The call for papers sought
contributions on original research in all aspects of theoretical
computer science including design and analysis of algorithms,
abstract data types, approximation algorithms, automata and formal
lang- ges, categorical and topological approaches, circuits,
computational and str- turalcomplexity, circuitandprooftheory,
computationalbiology, computational geometry, computer systems
theory, concurrency theory, cryptography, domain theory,
distributed algorithms and computation, molecular computation, qu-
tum computation and information, granular computation,
probabilistic com- tation, learning theory, rewriting, semantics,
logicin computer science, speci?- tion, transformation and
veri?cation, and algebraic aspects of computer science. There were
73 papers submitted, of which the majority were very good."
This book constitutes the refereed proceedings of the Fifth
Scandinavian Workshop on Algorithm Theory, SWAT '96, held in
Reykjavik, Iceland, in July 1996.
The 35 full papers included in the book in revised version were
carefully selected from a total of 95 submissions; also included
are abstracts or full versions of three invited talks by prominent
researchers. All in all, the collection of articles reports
state-of-the-art results on various topics of current design and
analysis of algorithms.
|
Automata, Languages and Programming - 20th International Colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993. Proceedings (Paperback, 1993 ed.)
Andrzej Lingas, Rolf Karlsson, Svante Carlsson
|
R3,277
Discovery Miles 32 770
|
Ships in 10 - 15 working days
|
The International Colloquium on Automata, Languages and Programming
(ICALP) is an annual conference series sponsored by the European
Association for Theoretical Computer Science (EATCS). It is
intended to cover all important areas of theoretical computer
science, such as: computability, automata, formal languages, term
rewriting, analysis of algorithms, computational geometry,
computational complexity, symbolic and algebraic computation,
cryptography, data types and data structures, theory of data bases
and knowledge bases, semantics of programming languages, program
specification, transformation and verification, foundations of
logicprogramming, theory of logical design and layout, parallel and
distributed computation, theory of concurrency, and theory of
robotics. This volume contains the proceedings of ICALP 93, held at
LundUniversity, Sweden, in July 1993. It includes five invited
papers and 51 contributed papers selected from 151 submissions.
The papers in this volume were presented at the 1st Scandinavian
Workshop on Algorithm Theory held July 5-8, 1988 in Halmstad,
Sweden. The contributions present original research in areas
related to algorithm theory, including data structures,
computational geometry, and computational complexity. In addition
to the selected papers the proceedings include invited papers from
I. Munro, K. Mehlhorn, M. Overmars, and D. Wood.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R205
R168
Discovery Miles 1 680
The Equalizer 3
Denzel Washington
Blu-ray disc
R151
R141
Discovery Miles 1 410
|