Bjørner, Dines Software Engineering / D. Bjørner. - Berlin Heidelberg : Springer, 2006 - . - (Texts in Computer Science : An EATCS series). Vol. 2 : Specification of Systems and Languages. - Berlin Heidelberg : Springer, 2006. - 777[39] p. : 151 fig., 27 tabl. - Reference: p. 751-777; Index: p. 721-749. - ISBN 978-3-540-21150-1 : 74.95 € Перевод заглавия: Программирование Коды, Ключ.слова, Доп.точки доступа Имеются экземпляры в отделах: аунл (1 экз.) Свободны: аунл (1) |
С 162 Саликаев, Юрий Рафаэльевич. Математические модели и САПР электронных приборов и устройств : учебное пособие для вузов / Ю. Р. Саликаев ; Министерство образования Российской Федерации, Томский государственный университет систем управления и радиоэлектроники (Томск), Кафедра электронных приборов. - Томск : ТМЦДО, 2003. - 129 с. : ил. - Библиогр.: с. 129. - 38.70 р., 64.50 р. Коды, Ключ.слова, Доп.точки доступа Имеются экземпляры в отделах: , счз1 (1 экз.), аунл (6 экз.) Свободны: счз1 (1), аунл (6) |
С389 Синявский, Александр Леонидович. Технология разработки лингвистического обеспечения : научное издание / Александр Леонидович Синявский, Ольга Алексеевна Холоденко, Наталья Львовна Яловенко; Ред. А. С. Клещев ; Российская Академия наук, Дальневосточное отделение, Институт автоматики и процессов управления. - М. : Наука, 1992. - 142[2] с. : ил, табл. - Библиогр.: с. 137-141. - ISBN 5-02-006838-1 (в пер.) : Б. ц. Коды, Ключ.слова, Доп.точки доступа Имеются экземпляры в отделах: аунл (1 экз.) Свободны: аунл (1) |
А 725 Антопольский, Александр Борисович. Лингвистическое обеспечение электронных библиотек : Монография / Александр Борисович Антопольский. - М. : Информрегистр, 2003. - 302 с. - Библиогр. в конце глав. - ISBN 5-900737-05-1 (в пер.) : 60.00 р. Коды, Ключ.слова, Доп.точки доступа Имеются экземпляры в отделах: , аунл (2 экз.) Свободны: аунл (2) |
Х-69 Ходашинский, Илья Александрович. Лингвистическое и логическое обеспечение проблемно-ориентированных систем переработки информации : Диссертация на соискание ученой степени кандидата технических наук. 05.13.06 / Илья Александрович Ходашинский ; Науч. рук. Ю. М. Полищук ; Томский институт автоматизированных систем управления и радиоэлектроники. - Томск, 1984. - 215 с. : ил. - Библиогр.: с. 133-144. - (в пер.) Коды, Ключ.слова, Доп.точки доступа Имеются экземпляры в отделах: сбо (2 экз.) Свободны: сбо (2) |
Г34 Гендина, Наталья Ивановна. Лингвистические средства автоматизации документального поиска / Наталья Ивановна Гендина; Ред. В. П. Леонов ; Библиотека Российской академии наук, Кемеровский государственный институт культуры. - СПб. : [б. и.], 1992. - 189 с. : ил. - (в пер.) : Б. ц. Коды, Ключ.слова, Доп.точки доступа Имеются экземпляры в отделах: аунл (1 экз.) Свободны: аунл (1) |