|
libcats.org
Automata, Languages and Programming, 21 conf., ICALP94Serge Abiteboul, Eli ShamirThis volume constitutes the proceedings of the 21st International Colloquium on Automata, Languages and Programming (ICALP 94), held at Jerusalem in July 1994. ICALP is an annual conference sponsored by the European Association on Theoretical Computer Science (EATCS). The proceedings contains 48 refereed papers selected from 154 submissions and 4 invited papers. The papers cover the whole range of theoretical computer science; they are organized in sections on theory of computation, automata and computation models, expressive power, automata and concurrency, pattern matching, data structures, computational complexity, logic and verification, formal languages, term rewriting, algorithms and communications, graph algorithms, randomized complexity, various algorithms.
Ссылка удалена правообладателем ---- The book removed at the request of the copyright holder.
Популярные книги за неделю:
#3
Самодельные детали для сельского радиоприемникаАвторы: З.Б.Гинзбург, Ф.И.Тарасов.Категория: радиоэлектроника
1.40 Mb
#10
Вероятность и статистика. 10-11 классыБродский И.Л., Мешавкина О.С.Категория: M_Mathematics, MSch_School-level
1.24 Mb
Только что пользователи скачали эти книги:
#4
Multivariate Bayesian Statistics: Models for Source Separation and Signal UnmixingDaniel B. Rowe#5
Вальсируя с Медведями: управление рисками в проектах по разработке программного обеспеченияТом ДеМарко, Тимоти Листер
4.19 Mb
#9
DeWitt B.S. Dynamical Theory in Curved Spaces. I. A Review of the Classical and Quantum Action Principles (Rev.Mod.Phys.29,p377,1957)(600dpi)(T)(21s).djvu
589 Kb
|
|