Бази даних

Реферативна база даних - результати пошуку

Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"

Вид пошуку
Сортувати знайдені документи за:
авторомназвоюроком видання
Формат представлення знайдених документів:
повнийстислий
 Знайдено в інших БД:Книжкові видання та компакт-диски (10)
Пошуковий запит: (<.>A=Амонс А$<.>)
Загальна кількість знайдених документів : 6
Представлено документи з 1 до 6

      
Категорія:    
1.

Цейтлин Г. Е. 
Интегрированный инструментарий проектирования и синтеза классов алгоритмов и программ / Г. Е. Цейтлин, А. А. Амонс, О. В. Головин, А. Ю. Зубцов // Кибернетика и систем. анализ. - 2000. - № 3. - С. 165-169. - Библиогр.: 6 назв. - рус.

Розглянуто інструментальні засоби проектування та синтезу класів алгоритмів та програм у середовищі Windows. До основи інструментарію покладено взаємопов'язаний опис багаторівневих проектів у графових, аналітичних та природно лінгвістичних формах.


Індекс рубрикатора НБУВ: З973-018.023

Рубрики:

Шифр НБУВ: Ж29114 Пошук видання у каталогах НБУВ 

      
Категорія:    
2.

Биківнянські жертви, або Як працювала "Вища двійка" на Київщині : Док. та матеріали / уклад.: А. І. Амонс; Міжрег. акад. упр. персоналом. - К., 2007. - 608 c. - укp.

Розглянуто документальні матеріали колишніх спецслужб, пов'язані з масовими політичними репресіями на Київщині, жертви яких було таємно закопано на спецділянці в лісі поблизу селища Биківня та на інших кладовищах столиці, обласних і районних центрів України. Наведено статті, таблиці та фотоматеріали з місць поховання жертв тоталітарного режиму кінця 1920 - 1930-х рр.

Рассмотрены документальные материалы бывших спецслужб, связанные с массовыми политическими репрессиями в Киевской области, жертвы которых были тайно закопаны на спецучастке в лесу поблизости поселка Быковня и на других кладбищах столицы, областных и районных центров Украины. Приведены статьи, таблицы и фотоматериалы с мест захоронения жертв тоталитарного режима конца 1920 - 1930-х гг.


Індекс рубрикатора НБУВ: Т3(4УКР)615-49

Рубрики:

Шифр НБУВ: ВА686333 Пошук видання у каталогах НБУВ 

      
Категорія:    
3.

Цейтлин Г. Е. 
Алгебро-логическая формализация в объектно-ориентированных технологиях / Г. Е. Цейтлин, С. Ф. Теленик, А. А. Амонс // Пробл. программирования. - 2002. - 1-2 [спец. вып.]. - С. 136-146. - Библиогр.: 16 назв. - рус.

Представлена возможность интеграции в рамках объектно-ориентированных технологий концептуального моделировани, а также автоматизации проектирования и программирования на основе логико-алгебраической формализации. Обоснована необходимость различия понятий типа и класса, а также работы с условиями принадлежности объекта типу. Показана возможность использования аппарата алгоритмических алгебр для формализации концепций объектно-ориентированных технологий. Описаны требования к логическим формализмам автоматизации программирования.


Індекс рубрикатора НБУВ: З973-018.021

Рубрики:

Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ 

      
Категорія:    
4.

Амонс А. А. 
Трансформационные преобразования и синтез классов алгоритмов / А. А. Амонс, С. Ф. Теленик, Г. Е. Цейтлин // Вісн. Нац. техн. ун-ту України "КПІ". - 2004. - Вип. 42. - С. 20-27. - Библиогр.: 8 назв. - рус.

Розглянуто проблему трансформаційних перетворень та синтезу алгоритмів на рівні класів алгоритмів. Доведено зводимість низки неінтерпретованих схем сортування. Встановлено узагальнений результат про можливість виконання трансформації на рівні класів алгоритмів. Результати мають практичне значення та знайшли застосування у ході реалізації компоненти автоматизованого проектування у складі сервера застосувань SmartBase.


Індекс рубрикатора НБУВ: З973-018

Рубрики:

Шифр НБУВ: Ж29126/Інформ. Пошук видання у каталогах НБУВ 

      
Категорія:    
5.

Амонс А. І. 
Репресовані прокурори в Україні / А. І. Амонс, Л. М. Абраменко. - 2-е вид., змін. і доповн. - К. : Істина, 2009. - 576 c. - укp.

Наведено нариси про життя та діяльність працівників органів прокуратури України, репресованих у період правління більшовицької влади в республіці, зокрема, у зв'язку з убивством С.М. Кірова й у 1937 - 1938 рр. На підставі вивчення документів і архівних матеріалів спецслужб досліджено процес встановлення та масштаби більшовицького червоного терору в Україні. Наведено матеріали про порушення процесуальних норм кримінального законодавства, застосування методів морального та фізичного насильства у процесі розслідування. Розглянуто судові справи вищого керівництва прокуратури України, обласних і військових прокурорів, подано інформацію про репресії у Криму та Західній Україні, спеціальні комсомольсько-спортивні групи "вбивачів" і "бронебійників" і головних партійних організаторів масових політичних репресій, зокрема, М.В. Криленка, В.В. Ульріха.

Изложены очерки о жизни и деятельности работников органов прокуратуры Украины, репрессированных в период правления большевистской власти в республике, в частности, в связи с убийством С.М. Кирова и в 1937 - 1938 гг. На основе изучения документов и архивных материалов спецслужб исследованы процесс установления и масштабы большевистского красного террора в Украине. Даны материалы о нарушениях процессуальных норм криминального законодательства, применении методов морального и физического насилия в процессе расследывания. Рассмотрены судебные дела высшего руководства прокуратуры Украины, областных и военных прокуроров, дана информация о репрессиях в Крыму и Западной Украине, специальных комсомольско-спортивных группах "убийц" и "бронебойщиков", а также главных партийных организаторах массовых политических репрессий, в частности, Н.В. Криленко, В.В. Ульриха.


Індекс рубрикатора НБУВ: Х891.9(4УКР)6-1 + Щ136.163(4УКР) + Т3(4УКР)6-49

Рубрики:

Шифр НБУВ: ВС48260 Пошук видання у каталогах НБУВ 

      
Категорія:    
6.

Амонс А. А. 
Унификация источников данных в распределенных информационных системах посредством контекстно-свободных грамматик / А. А. Амонс, Д. И. Резник, С. А. Скарга, С. М. Островский // Пробл. інформатизації та упр. : зб наук. пр. - 2012. - Вип. 1. - С. 13-21. - Библиогр.: 12 назв. - рус.

Предложен подход к решению задачи унификации множества разнородных источников данных при помощи синтаксического преобразования запросов на основе модифицированных контекстно-свободных грамматик. Разработана структурная схема унифицированного источника данных и алгоритмы синтаксической унификации запросов.


Індекс рубрикатора НБУВ: З970.41-01 + Ш111.2

Рубрики:

Шифр НБУВ: Ж71869 Пошук видання у каталогах НБУВ 
 

Всі права захищені © Національна бібліотека України імені В. І. Вернадського