|
|
libcats.org
STACS 93, Theoretical Aspects of Computer Science 10 confPatrice Enjalbert, Alain Finkel, Klaus W. WagnerThis volume contains the proceedings of the tenth annual Symposium on Theoretical Aspects of Computer Science (STACS '93), held in W}rzburg, February 25-27, 1993. The STACS symposia are held alternately in Germany and France, and organized jointly by the Special Interest Group for Theoretical Computer Science of the Gesellschaft f}r Informatik (GI) and theSpecial Interest Group for Applied Mathematics of the Association Francaise des Sciences et Technologies de l'Information et des Syst mes (afcet). The volume includes the three invited talks which opened the three days of the symposium: "Causal and distributed semantics for concurrent processes" (I. Castellani), "Parallel architectures: design and efficient use" (B. Monien et al.), and "Transparent proofs" (L. Babai). The selection of contributed papers is organized into parts on: computational complexity, logic in computer science, efficient algorithms, parallel and distributed computation, language theory, computational geometry, automata theory, semantics and logic of programming languages, automata theory and logic, circuit complexity, omega-automata, non-classical complexity, learning theory and cryptography, and systems.
Популярные книги за неделю:
Agile Principles, Patterns, and Practices in C#Автор: Robert C. Martin, Автор: Micah Martin
Размер книги: 7.18 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Agile Principles, Patterns, and Practices in C#Автор: Robert C. Martin, Автор: Micah Martin
Размер книги: 7.18 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Классик (Городское фэнтези)Автор: Исаев Глеб ЕгоровичКатегория: Социально-психологическая фантастика
Размер книги: 1.30 Mb
G.Junker. Supersymmetric Methods in Quantum and Statistical Phisics (1996, djvu)Автор:
Размер книги: 1.90 Mb
Историческое обозрение образования Российско-Американской компании и действий её до настоящего времени.Автор: Пётр Александрович Тихменев
Размер книги: 32.57 Mb
Petits tracas et gros soucis de 1 à 7 ans : quoi dire, quoi faireАвтор: Christine Brunet, Автор: Anne-Cécile Sarfati
Размер книги: 13.85 Mb
|
|
|