|
|
libcats.org
Главная →
Reliable Software Technologies - Ada-Europe 2004: 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, ...Reliable Software Technologies - Ada-Europe 2004: 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, ...Albert Llamosi, Alfred StrohmeierThis book constitutes the refereed proceedings of the 9th International Conference on Reliable Software Technologies, Ada-Europe 2004, held in Palma de Mallorca, Spain in June 2004. The 23 revised full papers presented together with 3 invited papers were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on static analysis, distributed systems, real-time systems, reflection and XML, testing, critical systems modeling, scheduling, and application programming interfaces.
Скачать книгу бесплатно (pdf, 4.32 Mb)
Читать «Reliable Software Technologies - Ada-Europe 2004: 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, ... » EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Handbook of Antennas in Wireless CommunicationsАвтор: Lester Packer, Автор: Enrique Cadenas
Размер книги: 37.19 Mb
Только что пользователи скачали эти книги:
Пархімове сніданняАвтор: Квитка-Основьяненко Григорий ФедоровичКатегория: Классическая проза
Размер книги: 36 Kb
Справочник. Буровое оборудованиеАвтор: Абубакиров В.Ф., Автор: Архангельский В.А., Автор: Буримов Ю.Г., Автор: Малкин И.Б.Категория: Геология И Изыскания, Нефть
Размер книги: 9.83 Mb
Размышления о метафизике исчисления бесконечно-малых. (Reflexions bur la metaphysique du calcul infinitesimal) . Перевод Я.М.СоловьеваАвтор: Карно Л., Автор: Под редакцией и с приложением статьи А.П.Юшкевина. Издание второе.
Размер книги: 4.45 Mb
The Changing Face of Disease: Implications for Society (Society for the Study of Human Biology)Автор: C.G. Nicholas Mascie-Taylor, Автор: Jean Peters, Автор: Stephen T. McGarveyКатегория: Образование
Размер книги: 1.12 Mb
Knowledge Representation for Health-Care. Data, Processes and Guidelines: AIME 2009 Workshop KR4HC 2009, Verona, Italy, July 19, 2009, Revised Selected ... Lecture Notes in Artificial Intelligence)Автор: David Riano, Автор: Annette ten Teije, Автор: Silvia Miksch, Автор: Mor PelegКатегория: Математика, Алгоритмы и структуры данных
Размер книги: 4.61 Mb
Amino Acids, Peptides and Proteins (SPR Amino Acids, Peptides, and Proteins (RSC)) (Vol 36)Автор: John S. Davies
Размер книги: 5.66 Mb
Secondary Science 11 to 16: A Practical GuideАвтор: Gren Ireson, Автор: Mark Crowley, Автор: Ruth Richards, Автор: John Twidle
Размер книги: 3.74 Mb
|
|
|