Логин (фамилия): Пароль (штрих-код):

- результаты поиска

Базы данных: 
Электронный каталог МУБиНТ, г. ЯрославльЭлектронный каталог МУБиНТ, г. РыбинскЦентр иностранной литературыСводный каталог НТЛ по Ярославской области"Руконт"-Национальный цифровой ресурсЭлектронный каталог выпускных квалификационных работ

Виды поиска: 
Стандартный Расширенный По словарю
Поиск в найденном
 Найдено в других БД:Электронный каталог МУБиНТ, г. Ярославль (2)
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>U=519.68<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
 1..2 
1.
519.68
P93

   
    Program Semantics, Specification and Verification: Theory and Applications [Текст] : Fourth Workshop: [Proceedings of the IV International Workshop PSSV 2013, Yekaterinburg, Russia, June 24, 2013]труды IV Междунар. семинара ПССВ 2013, Екатеринбург, Россия, июнь 24, 2013 = Семантика, спецификация и верификация программ: теория и приложения. - Ярославль : ЯрГУ, 2013. - 87 с. ; нет. - ISBN 978-5-8397-0935-5 : Б. ц.
Авторизованный доступ для Академии МУБиНТ. Логин - ваш почтовый адрес от Office365, пароль - mubint
УДК
519.68
ББК 22.185.2я43

Кл.слова (ненормированные):
программирование -- кибернетика -- верификация -- программное -- обеспечение -- семантика -- спецификация -- верификация -- моделей -- программ
Аннотация: Workshop on Program Semantics, Specification and Verification: Theory and Applications is the leading event in Russia in the field of applying of the formal methods to software analysis. Proceedings of the fourth workshop dedicated to formalisms for program semantics, formal models and verification, programming and specification languages, etc.

Файл:  rucont.ru - 0Перейти: http://rucont.ru/efd/272145?urlId=CVUrnKLtT6d8qQYDpJ9Hn1mO9OxR4uMtCEAg6tE1n6+n6tAEI6JcG3QQLZrpUWLr8J6xu6/4L1ldN6DeQ6RUbQ==

Доп.точки доступа:
Nepomnyaschy, Valery \ктор.\; Sokolov, Valery \ктор.\; 8th International Computer Science Symposium in Russia
Свободных экз. нет
Найти похожие
2.
519.68
П 12

    Пайвин, Алексей Сергеевич.
    Основы программирования станков с ЧПУ [Текст] : учебное пособие для направление подготовки "44.03.05 - Педагогическое образование" Профиль: Технология и предпринимательство; Технология и Экономика / А. С. Пайвин, О. А. Чикова. - Екатеринбург : Уральский государственный педагогический университет, 2015. - 103 с. ; нет. - ISBN 978-5-7186-0658-4 : Б. ц.
Авторизованный доступ для Академии МУБиНТ. Логин - ваш почтовый адрес от Office365, пароль - mubint
УДК
519.68
ББК 4426.32

Кл.слова (ненормированные):
педагогическое -- образование -- предпринимательство -- экономика -- числовое -- программное -- обеспечение -- станков
Аннотация: В пособии кратко рассмотрены общие вопросы и принципы построения управляющих программ и программирования современных станков с ЧПУ. Большое внимание уделено принципам создания управляющих программ среде Sprut.

Файл:  rucont.ru - 0Перейти: http://rucont.ru/efd/347948?urlId=HdRZg4ap08rAf4RGib9esy0xAfjdeJTcpWC0GYVTpO8CJn/peBZ4v9iu/otxjhbUQ6+8uGlOF5TmMBJNzQta7A==

Доп.точки доступа:
Чикова, Ольга Анатольевна; Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования "Уральский государственный педагогический университет"Институт физики, технологии и экономики; Кафедра технологии и экономики
Свободных экз. нет
Найти похожие
 1..2