|
Showing 1 - 4 of
4 matches in All Departments
|
Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I (Paperback, 2013 ed.)
Fedor V. Fomin, Rusins Freivalds, Marta Kwiatkowska, David Peleg
|
R1,741
Discovery Miles 17 410
|
Ships in 10 - 15 working days
|
This two-volume set of LNCS 7965 and LNCS 7966 constitutes the
refereed proceedings of the 40th International Colloquium on
Automata, Languages and Programming, ICALP 2013, held in Riga,
Latvia, in July 2013. The total of 124 revised full papers
presented were carefully reviewed and selected from 422
submissions. They are organized in three tracks focussing on
algorithms, complexity and games; logic, semantics, automata and
theory of programming; and foundations of networked computation.
This book constitutes the refereed proceedings of the 25th
International Symposium on Distributed Computing, DISC 2011, held
in Rome, Italy, in September 2011. The 31 revised full papers
presented together with invited lectures and brief announcements
were carefully reviewed and selected from 136 submissions. The
papers are organized in topical sections on distributed graph
algorithms; shared memory; brief announcements; fault-tolerance and
security; paxos plus; wireless; network algorithms; aspects of
locality; consensus; concurrency.
|
SOFSEM 2010: Theory and Practice of Computer Science - 36th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlyn, Czech Republic, January 23-29, 2010. Proceedings (Paperback, Edition.)
Jan Van Leeuwen, Anca Muscholl, David Peleg, Jaroslav Pokorny, Bernhard Rumpe
|
R3,116
Discovery Miles 31 160
|
Ships in 10 - 15 working days
|
This volume contains the invited and contributed papers selected
for presen- tion at SOFSEM 2010, the 36th Conference on Current
Trends in Theory and Practiceof Computer Science, held
January23-29,2010 in the Hotel Bed? richov, ? Spindler? uv Mlyn, '
of the Krkono? se Mountains of the Czech Republic.
SOFSEM(originally:SOFtwareSEMinar)isdevotedtoleadingresearch,and
fosters the cooperation among researchers and professionals from
academia and industry in all areas of computer science. As a
well-established and fully int- national conference, SOFSEM
maintains the best of its original Winter School aspects,suchasa
highnumber of invitedtalksandanin-depth coverageofnovel research
results in selected areas within computer science. SOFSEM 2010 was
organized around the following four tracks: - Foundations of
Computer Science (Chairs: David Peleg, Anca Muscholl) - Principles
of Software Construction (Chair: Bernhard Rumpe) - Data, Knowledge,
and Intelligent Systems (Chair: Jaroslav Pokorn' y) - Web Science
(Chair: Jan van Leeuwen) With these tracks, SOFSEM 2010 covered the
latest advances in research, both theoretical and applied, in
leading areas of computer science. The SOFSEM 2010 Program
Committee consisted of 78 international experts from 20 di?erent
countries, representing the track areas with outstanding expertise.
An integral part of SOFSEM 2010 was the traditional Student
Research - rum (SRF, Chair: Ma 'ria Bielikov' a), organized with
the aim to present student projects in the theory and practice of
computer science and to give students feedback on both the
originality of their scienti?c results and on their work in
progress.
|
Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II (Paperback, 2013 ed.)
Fedor V. Fomin, Rusins Freivalds, Marta Kwiatkowska, David Peleg
|
R1,692
Discovery Miles 16 920
|
Ships in 10 - 15 working days
|
This two-volume set of LNCS 7965 and LNCS 7966 constitutes the
refereed proceedings of the 40th International Colloquium on
Automata, Languages and Programming, ICALP 2013, held in Riga,
Latvia, in July 2013. The total of 124 revised full papers
presented were carefully reviewed and selected from 422
submissions. They are organized in three tracks focussing on
algorithms, complexity and games; logic, semantics, automata and
theory of programming; and foundations of networked computation.
|
|