Про нас Електронний депозитарій LIBO Зведений каталог України
Авторизація
Прізвище
Пароль
 

Бази даних


Електронний каталог ЖОУНБ ім. О. Ольжича- результати пошуку

Вид пошуку

Зона пошуку
Формат представлення знайдених документів:
повнийінформаційнийкороткий
Відсортувати знайдені документи за:
авторомназвоюроком виданнятипом документа
Пошуковий запит: <.>K=специфікація<.>
Загальна кількість знайдених документів : 4
Показані документи с 1 за 4
1.
16
Б 43


    Белнап, Н.
    Логика вопросов и ответов [] : пер. с англ. Г. Е. Крейдлина / Н. Белнап, Т. Стил ; ред.: В. А. Смирнова, В. К. Финна. - М. : Прогресс, 1981. - Указ. имен: с.285-286 Биб. указ. с.157-206 Прилож. с.208-265 Л-ра с.266-267. Прмеч. редак. с. 268-284. - 1.20 р.
УДК
ББК 87.4
Рубрики: Логика
   
Кл.слова (ненормовані):
ассерторический язык -- ассорторичний язик -- субьекти -- субєкти -- спецификация требования -- специфікація вимоги -- аббреватура -- аббреватура -- типи вопросов -- типи питань -- составные вопросы -- складові питаня -- логические операции -- логічні операції -- квантификация -- квантифікація -- релятивизованные вопросы -- релятивізовані питаня -- эротическая семантика -- еротична семантика -- интеррогативы -- інтеррогативи
Анотація: Современная логика изучает не только понятия, имеющие сугубо техническое значение и представляющие интерес лишь для логиков- професионалов. В настоящее время арсенал логических средств рассуждения используется и для изучения понятий, имеющих общенаучное (и дажеобщекультурное значение). Именно такими понятиями являются полнота и непротиворечивость систем аксиом, алгоритм,интерпритация, семантическая информация,парадокс.Книга специально посвященная проблемам логики вопросов и ответов (так называемой эротической логике).

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Стил, Т.; Смирнова, В. А. \ред.\; Финна, В. К. \ред.\
Примірників всього: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Знайти схожі

2.
76:004.92(075.8)
Г 61


    Головчук, А. Ф.
    Інженерна та комп'ютерна графіка [] : навч. посібник / А. Ф. Головчук, О. І. Кепко, Н. М. Чумак. - К. : Центр учбов. л-ри, 2010. - 159, [1] с. : табл., креслення. эл. опт. диск (CD-ROM). - Дод.: с. - Л-ра: с. 159. - ISBN 978-966-364-0071-7 : 63.00 грн
УДК
ББК 30.11я73
Рубрики: Інженерна графіка--Комп'ютерна графіка--Навчальні видання
   
Кл.слова (ненормовані):
оформлення креслеників -- оформление черчения -- шрифти креслярські -- чертежные шрифты -- проекціювання -- проецирование -- зображення -- изображение -- аксонометрія -- аксонометрия -- метод Монжа -- графічні позначки матеріалів -- графические отметки материалов -- технічне креслення -- техническое черчение -- конструкторська документація -- конструкторская документация -- специфікація -- спецификация -- будівельне креслення -- строительное черчение
Анотація: Графічні роботи, в яких в логічній послідовності детально описані дії, які необхідно викокувати на коп'ютері.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Кепко, О. І.; Чумак, Н. М.
Примірників всього: 1
ВВ (1)
Свободны: ВВ (1)
Знайти схожі

3.
004.451.84
И75


    Йордон, Эдвард.
    Структурные модели в объектно-ориентированном анализе и проектировании [] = Case Studies in Object-Orirnted Analysis and Design / Э. Йордон, К. Аргила ; [ред. В. Алеев ; пер. с англ. П. Быстрова]. - М. : Лори, 1999. - 264 [2] с. : рис., табл. - Библиогр. в конце глав. - Прил.: с. 159-264. - ISBN 5-85582-057-2 : 43.40 грн
УДК
ББК 32.973.2-018
Рубрики: Програмне забезпечення--Програмні інтерфейси--Проектування--Практичні посібники
   
Кл.слова (ненормовані):
поиск подходящих объектов -- пошук відповідних об'єктів -- хранение подходящих объектов -- зберігання відповідних об'єктів -- идентификация классов -- ідентифікація класів -- идентификация структуры -- ідентифікація структури -- идентификация субъектов -- ідентифікація суб'єктів -- идентификация атрибутов -- ідентифікація атрибутів -- идентификация отношений -- ідентифікація відносин -- непротиворечивость модели анализа -- несуперечливість моделі аналізу -- аналитические модели -- аналітичні моделі -- описание проблемы -- опис проблеми -- спецификация человеческого интерфейса -- специфікація людського інтерфейсу -- спецификация проекта баз данных -- специфікація проекту баз даних -- модели проектирования -- моделі проектування -- объектно-проектированные технологии -- об'єктно-проектувальні технології
Анотація: Проекты двух структурных моделей доведены до такого уровня, на котором эти системы можно предложить программистам для реализации.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Аргила, Карл; Алеев, В. \ред.\; Быстров, П. \пер.\
Примірників всього: 1
ВВ (1)
Свободны: ВВ (1)
Знайти схожі

4.


   
    Ієрархічні особливості розмежовування підприємницької діяльності в Україні [] / А. Г. Мельник [и др.] // Інвестиціі: практика та досвід. - 2019. - N 23. - С. 59-63. - Бібліогр. в кінці ст.
Рубрики: Підприємництво--Україна
   Економічна діяльність--Класифікації--Україна

Кл.слова (ненормовані):
вид економічної діяльності -- особливості -- специфікація виробництва -- міжнародна класифікація

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Мельник, А. Г.; Мельник, О. І.; Філіпчук, Н. В.; Болехівський, О. Д.

Є примірники у відділах: всього 1 : ПЧЗ (1)
Вільні: ПЧЗ (1)

Знайти схожі

 
© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)