Поисковый запрос: (<.>K=спецификации<.>) |
Общее количество найденных документов : 23
Показаны документы с 1 по 20 |
|
1.
| Большаков, Владимир Павлович. Инженерная и компьютерная графика. Изделия с резьбовыми соединениями [Электр.ресурс] : учебное пособие для вузов. - М. : Юрайт
, 2020 on-line (
экз. )
|
2.
|
Деньги и кредит. - Журнал, 2020г. т.79 N 4 (Введено оглавление) (
1 экз. )
|
3.
| Информационные технологии [] : учебник в 2-х т. / В. В. Трофимов [и др.] ; ред. В. В. Трофимов ; рец.: Е. В. Песоцкая, Т. А. Павловская, М. С. Гаспариан. - (Бакалавр. Академический курс). Т. 1
, 2019 on-line (
экз. )
|
4.
| Елкин, Владимир Владимирович. Инженерная графика : учебник. - М. : Академия
, 2016. - 299 с. (
1 экз. )
|
5.
|
Кибернетика и системный анализ. - Журнал, 2019г. N 5 (Введено оглавление) (
1 экз. )
|
6.
| Дэммер Дж. В. А. Конденсаторы постоянной и переменной емкости. - Л. : Госэнергоиздат
, 1963. - 315 с (
2 экз. )
|
7.
| Калин, Николай Федорович. Изыскание и проектирование кабельных линий электропередачи 3-35 кв : учебное пособие. - М., Л. : Госэнергоиздат
, 1958. - 192 с (
1 экз. )
|
8.
|
Доклады Томского государственного университета систем управления и радиоэлектроники. - Журнал, 2014г. N 4(34) (Введено оглавление) (
1 экз. )
|
9.
|
Кибернетика и системный анализ. - Журнал, 2013г. N 1 (Введено оглавление) (
1 экз. )
|
10.
| Деметрович, Янош. Автоматизированные методы спецификации : научное издание. - М. : Мир
, 1989. - 115 с (
1 экз. )
|
11.
| Немеров, Александр Александрович. Применение технологии UniTESK для тестирования сервис-ориентированных систем
//Доклады Томского государственного университета систем управления и радиоэлектроники : периодический научный журнал / Томский государственный университет систем управления и радиоэлектроники. - Томск : Издательство ТУСУР, 2011. - N 2(24), Ч. 2. - С. 212-217 (
экз. )
|
12.
|
Доклады Томского государственного университета систем управления и радиоэлектроники. - Журнал, 2011г. N 2(24)Ч.2 (Введено оглавление) (
2 экз. )
|
13.
|
Кибернетика и системный анализ. - Журнал, 2012г. N 2 (Введено оглавление) (
1 экз. )
|
14.
|
Приборостроение. - Журнал. Известия ВУЗов, 2011г. т.54 N 8 (Введено оглавление) (
1 экз. )
|
15.
| Варфоломеева О. А. Нововведения спецификации CSS3 и обзор современных браузеров : доклад
//Научная сессия ТУСУР-2011. - Томск : В-Спектр. - Ч. 4. - С.189-191 (
экз. )
|
16.
|
Искусственный интеллект и принятие решений. - Журнал, 2011г. N 2 (Введено оглавление) (
1 экз. )
|
17.
| Калайда, Владимир Тимофеевич. Технология разработки программного обеспечения : учебное пособие для студентов специальности 230105. - Томск : ТМЦДО
, 2007. - 257 с. (
12 экз. )
|
18.
| Bjørner, Dines. Software Engineering []. - (Texts in Computer Science). Vol. 2 : Specification of Systems and Languages. - Berlin Heidelberg : Springer
, 2006. - 777[39] p. (
1 экз. )
|
19.
| Bjørner, Dines. Software Engineering []. - (Texts in Computer Science). Vol. 1 : Abstraction and Modelling. - Berlin Heidelberg : Springer
, 2006. - 711[39] p. (
1 экз. )
|
20.
| Лисков, Барбара. Использование абстракций и спецификаций при разработке программ : Пер. с англ.. - М. : Мир
, 1989. - 424 с. (
6 экз. )
|
|
|
|
Основная база библиотеки
Стандартный