|
|
libcats.org
Baltic Computer ScienceJanis Barzdins, Dines BjornerThis volume presents a substantial part of the results obtained in the last few years in the field of computer science in the Baltic Republics of Estonia, Latvia and Lithuania. It includes results previously published only in Russian as well as completely new results. The following main topics are addressed: deductive synthesis of programs, automatic test case generation, and specification and generation of distributed systems. These are all fields where Baltic scientists have made substantial contributions. The volume contains both theoretical results and general descriptions and logical outlines of some practical systems.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Fast and Efficient Algorithms in Computational ElectromagneticsАвтор: Weng Cho Chew, Автор: Jian-Ming Jin, Автор: Eric Michielssen, Автор: Jiming SongКатегория: Electromagnetic , Fast Algorithms
Размер книги: 19.84 Mb
Traditions of the Arapaho (Sources of American Indian Oral Literature)Автор: George A. Dorsey, Автор: Alfred KroeberКатегория: Литература, Литературоведение
Размер книги: 906 Kb
A sociologia de Pierre BourdieuАвтор: Renato Ortiz (org.).Категория: Общественные науки прочие, Социология
Размер книги: 5.69 Mb
The World Trade Organization : Legal, Economic and Political Analysis (Vol 1-3)Автор: Patrick F. J. Macrory; et al
Размер книги: 16.77 Mb
Unified Theories of Cognition (The William James Lectures)Автор: Allen Newell
Размер книги: 83.22 Mb
|
|
|