Расширенный поиск

Андреев А. М., Козлов И. А.
   Подход к верификации моделей систем реального времени с помощью метода Model Checking / Андреев А. М., Козлов И. А. // Вестник МГТУ им. Н. Э. Баумана. Сер. Приборостроение. - 2012. - Спец. вып. Моделирование и идентификация. - С. 47-60.

Антонов А. П.
   Язык описания цифровых устройств AlteraHDL : практ. курс / Антонов А. П. - М. : РадиоСофт, 2001. - 221 с. : ил. - ISBN 5-93037-052-4.

Архангельский А. Я.
   Библиотека С++Builder 5 : 70 компонентов ввода/вывода информации / Архангельский А. Я. - М. : Бином, 2000. - 286 с. : ил. - (Всё о C++ Builder 5). - Библиогр.: с. 286. - ISBN 5-7989-0175-0.

Архангельский А. Я.
   Библиотека С++Builder 5: 60 управляющих компонентов / Архангельский А. Я. - М. : Бином, 2000. - 252 с. : ил. - (Всё о C++ Builder 5). - Библиогр.: с. 252. - ISBN 5-7989-0183-1.

Архангельский А. Я.
   Интегрированная среда разработки C++Builder 5 / Архангельский А. Я. - М. : Бином, 2000. - 271 с. : ил. - ISBN 5-7989-0174-2.

Архангельский А. Я.
   Компоненты общего назначения библиотеки С++Builder 5 / Архангельский А. Я. - М. : Бином, 2001. - 412 с. : ил. - Библиогр. в конце кн. - ISBN 5-7989-0221-8.

Арчер Т.
   Основы C#. Новейшие технологии : пер. с англ. / Арчер Т. - М. : Русская Редакция, 2001. - 417 с. + CD-ROM. - ISBN 5-7502-0138-2.

Баженова И. Ю.
   Delphi 5. Самоучитель программиста / Баженова И. Ю. - М. : Кудиц-Образ, 2000. - 331 с. : ил. - ISBN 5-93378-015-4.

Баженова И. Ю.
   JBuilder. Программирование на Java / Баженова И. Ю. - М. : Кудиц-Образ, 2001. - 447 с. : ил. - (Библиотека профессионала). - На обл.: JBuilder 5. - ISBN 5-93378-024-3.

Баженова И. Ю.
   Visual C++ 6. 0 (visual studio 98). Уроки программирования / Баженова И. Ю. - М. : ДИАЛОГ-МИФИ, 2001. - 416 с. - ISBN 5-86404-126-2.