1822(И)


   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)

658.5
С 162

    Саликаев, Юрий Рафаэльевич.
    Математические модели и САПР электронных приборов и устройств : учебное пособие для вузов / Ю. Р. Саликаев ; Министерство образования Российской Федерации, Томский государственный университет систем управления и радиоэлектроники (Томск), Кафедра электронных приборов. - Томск : ТМЦДО, 2003. - 129 с. : ил. - Библиогр.: с. 129. - 38.70 р., 64.50 р.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: , счз1 (1 экз.), аунл (6 экз.)
Свободны: счз1 (1), аунл (6)

681.3
С389

    Синявский, Александр Леонидович.
    Технология разработки лингвистического обеспечения : научное издание / Александр Леонидович Синявский, Ольга Алексеевна Холоденко, Наталья Львовна Яловенко; Ред. А. С. Клещев ; Российская Академия наук, Дальневосточное отделение, Институт автоматики и процессов управления. - М. : Наука, 1992. - 142[2] с. : ил, табл. - Библиогр.: с. 137-141. - ISBN 5-02-006838-1 (в пер.) : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: аунл (1 экз.)
Свободны: аунл (1)

02
А 725

    Антопольский, Александр Борисович.
    Лингвистическое обеспечение электронных библиотек : Монография / Александр Борисович Антопольский. - М. : Информрегистр, 2003. - 302 с. - Библиогр. в конце глав. - ISBN 5-900737-05-1 (в пер.) : 60.00 р.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: , аунл (2 экз.)
Свободны: аунл (2)

658
Х-69

    Ходашинский, Илья Александрович.
    Лингвистическое и логическое обеспечение проблемно-ориентированных систем переработки информации : Диссертация на соискание ученой степени кандидата технических наук. 05.13.06 / Илья Александрович Ходашинский ; Науч. рук. Ю. М. Полищук ; Томский институт автоматизированных систем управления и радиоэлектроники. - Томск, 1984. - 215 с. : ил. - Библиогр.: с. 133-144. - (в пер.)

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: сбо (2 экз.)
Свободны: сбо (2)

02
Г34

    Гендина, Наталья Ивановна.
    Лингвистические средства автоматизации документального поиска / Наталья Ивановна Гендина; Ред. В. П. Леонов ; Библиотека Российской академии наук, Кемеровский государственный институт культуры. - СПб. : [б. и.], 1992. - 189 с. : ил. - (в пер.) : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: аунл (1 экз.)
Свободны: аунл (1)