Поисковый запрос: (<.>R=50.51$<.>) |
Общее количество найденных документов : 26
Показаны документы с 1 по 10 |
|
1. 
| Шифр см. у томов
Pr1032
Design automation conference.
ACM/IEEE design automation conference : proceedings / Design automation conference. - Los Alamitos [et al.] : IEEE computer soc. press, 19 -
Перевод заглавия: Труды конференций по автоматизации проектированияББК Ж2с512я431
Рубрики: Автоматизированное проектирование
Дескрипторы: сб пр
Свободных экз. нет
|
2.
| И-Ж
E91
И-Ж / E91-02
European conference on design automation (1991; Amsterdam).
The European conference on design automation: Proceedings : Amsterdam, Febr. 25-28, 1991. - Los Alamitos [et al.] : IEEE Computer soc. press, 1991. - XXIV,601 p. : Ill. - Bibliogr. at the end of the art.
- Auth. ind.: p. 599-601
Перевод заглавия: Труды Европейской конференции по автоматизации проектированияББК Ж2с512я431
Рубрики: Автоматизированное проектирование
Кл.слова (ненормированные):
логический синтез -- верификация программ -- комбинационные схемы
Дескрипторы: конф
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 85-11-94+02
Найти похожие
|
3.
| И-Ж
E91
И-Ж / E91-02
European design automation conferenc (1992 ; Hamburg).
The European design automation conference : EURO-DAC'92, EURO-VHDL'92 : proceedings: Hamburg, sept. 7-10, 1992. - Los Alamitos, Ca [etc.] : IEEE computer soc. press, 1992. - XVIII, 765 p. - (IEEE publications / Inst.of electrical and electronics engineers, ISSN 0149-144X ; 92CH3126-0). - Bibliogr. at the end of the art.
- Auth. ind.: p. 763-765
Перевод заглавия: Труды Европейской конференции по автоматизации проектированияББК Ж2с512я431
Рубрики: Автоматизированное проектирование
Кл.слова (ненормированные):
верификация программ -- тестирование -- топологическая оптимизация
Дескрипторы: конф
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 81-16-94+02
Найти похожие
|
4.
| И-Ж
E91
И-Ж / E91-02
European conference on design automation (1992; Brussels).
The European conference on design automation: Proceedings : Brussels, Mar. 16-19, 1992. - Los Alamitos [et al.] : IEEE Computer soc. press, 1992. - XX,569 p. : Ill. - Bibliogr. at the end of the art.
- Auth. ind.: p. 567-569
Перевод заглавия: Труды Европейской конференции по автоматизации проектированияББК Ж2с512я431
Рубрики: Автоматизированное проектирование
Кл.слова (ненормированные):
верификация программ -- тестирование -- формальные языки программирования
Дескрипторы: конф
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 85-12-94+02
Найти похожие
|
5.
| З97
Б902
Бугрименко, Георгий Александрович.
АВТОЛИСП - язык графического программирования в системе AutoCAD [Текст] / Г. А. Бугрименко. - М. : Машиностроение, 1992. - 143 с. - (Пользователю ПК)
Библиогр.: с. 140ББК З 973.203.4-018.12АВТОЛИСП + Ж2С512.2
Рубрики: Графическое программирование для персональных ЭВМ
Системы автоматизированного проектирования
Дескрипторы: МОНОГР
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 4-8-94
Найти похожие
|
6.
| И-Ж
I.69
И-Ж / I.69-02
International conference on computer-aided design (1992 ; Santa Clara, California.).
1992 IEEE/ACM international conference on computer-aided design: Digest of technical papers : Nov. 8-12, 1992, Santa Clara, California. - Los Alamitos [et al.] : IEEE Computer soc. press, 1992. - XXV,637 p. : Ill. - (IEEE publications / Inst.of electrical and electronics engineers, ISSN 0149-144X ; 92CHO3183-1). - Bibliogr. at the end of the art. - Auth. ind.: p. 635-637
Перевод заглавия: Сборник докладов на международной конференции по автоматизированному проектированиюББК Ж2с512я431
Рубрики: Автоматизированное проектирование
Кл.слова (ненормированные):
верификация программ -- тестирование -- синтез -- моделирование
Дескрипторы: конф.м
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 81-6-94+02
Найти похожие
|
7.
| Ж
Г435/1
Геснер, Расти
Автокад для начинающих [Текст] / Бойс Д., Пер. с англ. Ю. Чигарова. - Казань : Гармония Комьюникейшнз.
Ч.1. - 1993. - 287 с. : ил. - Пер. изд. : AutoCAD for beginners / R. Gesner, J. Boice. - ББК Ж2с51я78
Рубрики: Автоматизированные системы проектирования
Дескрипторы: МОНОГР -- МНОГОТ
Доп.точки доступа:
Бойс, Джим
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 5-28-95
Найти похожие
|
8.
| Ж
А93
AutoCad. Полезные рецепты [Текст] / ]Под ред. М.И. Кнеллера. - М. : Радио и связь, 1994. - 204 с.
Авт. указаны на об. тит. лББК Ж2с512.2
Рубрики: Системы автоматизированного проектирования (САПР)
Дескрипторы: моногр
Доп.точки доступа:
Байбара, В.А; Заболоцкий, Д.В.; Кнеллер, М.И.; Усвятцев, О.Б.
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 8-3-95
Найти похожие
|
9.
| Ж
К807
Ж / К807-02
Кречко, Юрий Андреевич.
Автокад: программирование и адаптация [Текст] : монография / Ю.А. Кречко. - М. : ДИАЛОГ-МИФИ, 1995. - 235 с. : ил.
Загл. обл.: AutoCAD: программирование и адаптацияББК Ж2с512.2
Рубрики: Автоматизированные системы программирования--Математическое обеспечение
Дескрипторы: моногр
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 140-7-2001но
Найти похожие
|
10.
| Ж1
К807
Ж1 / К807-02
Кречко, Юрий Андреевич
Автокад 13: новые возможности : [Для MS-DOS и Windows]: В 2 ч / Ю.А. Кречко, В.В. Полищук. - М. : Диалог-Мифи.
Ч. 1. - 1996. - 288 с. - ББК Ж11с512 + Ж2с512
Рубрики: Автокад--В проектировании
Автокад--В черчении
Дескрипторы: многот -- моногр
Доп.точки доступа:
Полищук, Владимир Владимирович
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 140-9-2001но
Найти похожие
|
|
|
|
Главная
Описание
Шлюз Z39.50
Стандартный