|
|
libcats.org
Categorial Methods in Computer Science.. With Aspects from Topology 1988Hartmut Ehrig, Horst Herrlich, Hans-Jörg Kreowski, Gerhard PreußThis volume contains selected papers of the International Workshop on "Categorical Methods in Computer Science - with Aspects from Topology" and of the "6th International Data Type Workshop" held in August/September 1988 in Berlin. The 23 papers of this volume are grouped into three parts: Part 1 includes papers on categorical foundations and fundamental concepts from category theory in computer science. Part 2 presents applications of categorical methods to algebraic specification languages and techniques, data types, data bases, programming, and process specifications. Part 3 comprises papers on categorial aspects from topology which mainly concentrate on special adjoint situations like cartesian closeness, Galois connections, reflections, and coreflections which are of growing interest in categorical topology and computer science.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Дневник партизанских действий 1812 годаАвтор: Давыдов Денис ВасильевичКатегория: Биографии и Мемуары
Размер книги: 573 Kb
Mirror Geometry of Lie Algebras, Lie Groups and Homogeneous SpacesАвтор: Lev V. Sabinin
Размер книги: 2.56 Mb
Рекомендации PANDUIT. Стандарт маркировки кабельных систем TIA EIA-606-AАвтор:
Размер книги: 972 Kb
Faddeev L.D., Korepin V.E. Quantum theory of solitons (PR42, 1987)(T)(87s).djvuАвтор:
Размер книги: 880 Kb
1 Peter: A Handbook on the Greek Text (Baylor Handbook on the Greek New Testament)Автор: Mark Dubis
Размер книги: 1.03 Mb
Handbook of Psychological Services for Children and AdolescentsАвтор: Jan N. Hughes, Автор: Annette M. La Greca, Автор: Jane Close Conoley
Размер книги: 1.79 Mb
MASH Goes To New OrleansАвтор: Hooker Richard, Автор: Butterworth WilliamКатегория: fiction
Размер книги: 245 Kb
|
|
|