Formal Methods for Industrial Critical Systems electronic resource 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings / edited by Manuel Núñez, Matthias Güdemann.
Contributor(s): Núñez, Manuel [editor.] | Güdemann, Matthias [editor.] | SpringerLink (Online service)Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
Applications.- Protocols -- Specification and analysis -- Verification.
This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections: applications; protocols; specification and analysis; verification.
-
1
Управление качеством
by Никифоров, Анатолий Дмитриевич -
2
Коренные народы Сибири: проблемы историографии, истории, этнографии, лингвистики
-
3
Публичные ценности и государственное управление
-
4
Великий Сибирский путь
-
5
Экономические преобразования и научно-техническая политика партии в угольной промышленности страны (1965-август 1991 гг. )
by Машковский, Владимир Петрович -
6
Очерк истории народного образования в России до эпохи реформ Александра II
-
7
Комплексное развитие административных образований в условиях регионального хозрасчета и совершенствования региональной статистики
-
8
Монголия и монголы
by Позднеев, Алексей Матвеевич -
9
Деловое совершенство
-
10
Теория и практика государственного и муниципального управления
-
11
Рынок труда и социальная политика в Центральной и Восточной Европе
-
12
Призраки с улицы Чайковского
by Красильников, Рэм Сергеевич. -
13
Административное управление Сибирью в XVIII - первой трети XIX века
by Гергилев, Денис Николаевич -
14
Государственное хозяйство Великого княжества Литовского при Ягеллонах
by Довнар-Запольский, Митрофан Викторович -
15
[Записка]
-
16
Светское устройство и архитектурное благоустройство Переславля-Залесского в XVII веке
by Кузнецов, Игорь Николаевич -
17
Село Гостилицы и его окрестности, XV-XX вв.
by Сухомлин, Николай Борисович -
18
Административный менеджмент
by Фомичев, Андрей Николаевич. -
19
Конституционное право
by Уэйд. -
20
Ежегодник книги Российской Федерации
-
21
Казахстан к 10-летию Октября
-
22
Пограничная полоса Абаканского лесничества Алтайского округа
by Тыжнов, Иннокентий Иванович -
23
Томские губернаторы
by Яковенко, Андрей Валентинович -
24
Христианизация хакасов в XVIII веке - 1861 г. (до образования Енисейской епархии)
by Асочакова, Валентина Нестеровна. -
25
Томск в исторической ретроспективе: информационно-библиографические ресурсы
by Дмитриенко, Надежда Михайловна -
26
Наш крайний Северо-восток
by Каллиников, Н. Ф. -
27
Создание правил "новой" игры: реальность и трудности регионального управления
by Гурьева, Людмила Семеновна. -
28
Inquisitiones et meditationes. Опыты философии и социальной (культурной) антропологии России
-
29
Византийский Херсон VI-XIII столетий в памятниках сфрагистики
by Алексеенко, Николай Александрович -
30
Протокол годового заседания Омского медицинского общества
-
31
Отчет о деятельности Троицкосавско-Кяхтинского отделения Приамурского отдела Русского Географического общества за 1894 год
-
32
Опыт военного обозрения русских границ в Азии
by Венюков, Михаил Иванович -
33
Сто лет русской публичной политики: итоги и перспективы
-
34
Менеджмент ХХI века
by Петрухин, Виктор Семенович. -
35
Барнаул
-
36
Чтения по истории России в восемнадцатом веке
by Щепкина, Екатерина Николаевна. -
37
Большой энциклопедический словарь Красноярского края
-
38
Гуманитарные исследования молодых ученых Бурятии
-
39
История Екатеринбургской епархии
-
40
Отчет о посещении военно-санитарных учреждений в Германии, Лотарингии и Эльзасе в 1870 году, представленный академиком Н. И. Пироговым Обществу попечения о больных и раненых воинах, состоящему под покровительством Ее Императорского Величества Государыни Императрицы
by Пирогов, Николай Иванович -
41
Сахалин и Курилы: история и современность
-
42
Очерк истории селенгинских бурят
by Батуев, Б. Б. -
43
Ежегодник книги Российской Федерации
-
44
Правила диванов
by Ибн Маммати -
45
Сибирь
by Головачев, Петр Михайлович -
46
"Мира не узнаешь, не зная края своего"
-
47
[Записка]
-
48
[Записка]
-
49
Ежегодник книги Российской Федерации
-
50
Кавказские очерки
by Погожев, Владимир Петрович
There are no comments on this title.