З97 C752 Средства и инструменты окружений программирования [Текст] = Techniques and tools of program environment / Рос. акад. наук. Сиб. отд-ние. Ин-т систем информатики им. А.П. Ершова; Под ред. Поттосина И.В. - Новосибирск : [б. и.], 1995. - 169 с. : табл Библиогр. в конце ст Рубрики: Языки программирования, семантика Тестирование программ, для ЭВМ Сжатие данных, в системах обработки информации на ЭВМ Дескрипторы: сб.с Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
З 973.2 М545 Методы и инструменты конструирования и оптимизации программ = Tools and techniques of programm construction and optimization : [сб. ст.] / Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова ; под ред. В. Н. Касьянова. - Новосибирск : ИСИ, 2005. - 263 с. ; 20 см. - (Конструирование и оптимизация программ ; вып. 12). - Библиогр. в конце ст. - 75 экз.. -
Рубрики: проектирование--программного обеспечения ЭВМ Кл.слова (ненормированные): Компьютеры персональные - Программное обеспечение Доп.точки доступа: Касьянов, Виктор Николаевич \ред.\; Институт систем информатики им. А.П. Ершова (Новосибирск) Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Pr869 Pr869/321 Pr869/321 / Pr869/321-02 Zwiers, Job. Compositionality, concurrency and partial correctness : proof theories for networks of processes, and their relationship / J. Zwiers. - Berlin [et al.] : Springer, 1989. - VI,272 p. : Ill. - (Lecture notes in computer science ; 321) Bibliogr.: p. 266-272 Перевод заглавия: Композиционность, параллелизм и частичная корректировка: Теория доказательства сетей процессов и их взаимосвязь Рубрики: Программное обеспечение--ЭВМ Кл.слова (ненормированные): программирование -- семантика -- спецификации Дескрипторы: сб пр -- моногр Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Pr869 Pr869/557 Pr869/557 / Pr869/557-02 ISA '91 Algorithms : 2nd Intern. symp. on algorithms Taipei, China, Dec. 16-18, 1991. Proceedings / W. L. Hsu, R. C. T. Lee (Eds.). - Berlin [et al.] : Springer, 1991. - X, 395 p. : Ill. - (Lecture notes in computer science ; 557). - Bibliogr. at the end of the art. - Auth. ind. at the end of the book Перевод заглавия: Труды 2го международного симпозиума по алгоритмам Рубрики: Компьютеры--Алгоритмы Кл.слова (ненормированные): принятие решений -- динамическое программирование Дескрипторы: сб пр -- конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Pr869 Pr869/575 Pr869/575 / Pr869/575-02 Computer aided verification : 3rd Intern. workshop, CAV'91 Aalborg, Denmark, July 1-4, 1991. Proceedings / K. G. Larsen, A. Skou (Eds.). - Berlin [et al.] : Springer, 1992. - X, 487 p. : Ill. - (Lecture notes in computer science ; 575). - Bibliogr. at the end of the art Перевод заглавия: Автоматизированная верификация Рубрики: Верификация--Программ ЭВМ Кл.слова (ненормированные): протоколы обмена -- системы реального времени Дескрипторы: сб пр -- конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Pr869 Pr869/647 Pr869/647 / Pr869/647-02 Distributed algorithms : 6th Intern. workshop, WDAG'92 Haifa, Israel, Nov. 2-4, 1992. Proceedings / A. Segall, S. Zaks (Eds.). - Berlin [et al.] : Springer, 1992. - X,378 p. : Ill. - (Lecture notes in computer science ; 647). - Bibliogr. at the end of the art. - Ind. of auth. at the end of the book Перевод заглавия: Распределенные алгоритмы Рубрики: Компьютеры--Алгоритмы Кл.слова (ненормированные): распределенные вычисления -- структуры данных -- протокол управления Дескрипторы: сб пр -- конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Pr869 Pr869/650 Pr869/650 / Pr869/650-02 Algorithms and computation : Third Inter. symp., ISAAC '92 Nagoya, Japan, Dec. 16-18, 1992. Proceedings / T. Ibaraki et al. (Ed.). - Berlin [et al.] : Springer, 1992. - XI, 510 p. : Ill. - (Lecture notes in computer science ; 650). - Bibliogr. at the end of the art. - Auth. ind.: p. 509-510 Перевод заглавия: Алгоритмы и вычисления Рубрики: Компьютеры--Алгоритмы Кл.слова (ненормированные): Он-лайн алгоритмы -- параллельные алгоритмы -- структуры данных Дескрипторы: сб пр -- конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Pr1068 Pr1068/189 Pr1068/189 / Pr1068/189-02 Gulliksen, Jan. Designing for usability - domain specific human-computer interfaces in working life : сборник / J. Gulliksen. - Uppsala : [s. n.], 1996. - 28 p. : Ill. - (Acta universitatis Upsaliensis. Comprehensive summaries of Uppsala dissertations from the faculty of science and technology, ISSN 1104-232X ; 189) Bibliogr.: p. 25-28 Перевод заглавия: Проектирование для простоты пользования - специфическая область определения человеко-машинных интерфейсов в рабочей деятельности Рубрики: Общение человека с компьютером Кл.слова (ненормированные): информационная технология -- графический интерфейс Дескрипторы: сб пр -- дис Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
И-З 97 C73 И-З 97 / C73-02 Computer algorithms: key search strategies / Ed. by Jun-ichi-Aoe. - Los Alamitos [et al.] : IEEE Computer society press, 1991. - XII, 139 p. : Ill. - Bibliogr. at the end of the art. - Bibliogr.: p. 125-138 Перевод заглавия: Вычислительные алгоритмы: ключевые подходы к поиску Рубрики: Алгоритмы--Для компьютеров Кл.слова (ненормированные): поиск данных -- хэширование -- двоичные деревья Дескрипторы: сб пр Доп.точки доступа: Jun-ichi-Aoe \ed.\ Экземпляры всего: 1 02 (1) Свободны: 02 (1) |