Головна
Авторизація
Прізвище
№ читательского билета
Наукова бібліотека Українського державного університету науки і технологій
Бази даних
Каталог книг- результати пошуку
Вид пошуку
Каталог книг
Каталог книг НМетАУ (до 2022 року)
Періодичні видання (друковані)
Статті, доповіді, тези
Рідкісні та цінні видання
Охоронні документи
Мережеві ресурси
Зона пошуку
Ключевые слова
Автор
Назва
Рік видання
Формат представлення знайдених документів:
повний
інформаційний
короткий
Відсортувати знайдені документи за:
автором
назвою
роком видання
типом документа
Пошуковий запит:
<.>A=Лисовик, Л. П.@<.>
Загальна кількість знайдених документів
:
2
Показані документи
с 1 за 2
>
1.
51
Л 63
Лисовик
, Л. П.
Теория трансдьюсеров / Л. П.
Лисовик
. - К. : Феникс.
Т. 3
, Кн. 6 : Функции и аппликативные системы. - 2007. - 284 с. : ил. - (Математическое мышление). - Библиогр.: с. 273-282 (119 назв.). -
ISBN
978-966-651-466-3 (кн.6). -
ISBN
966-651-375-7 (т.3) : 32.00 грн
ДРНТІ
27
УДК
517.2
Рубрики:
Высшая математика
Высшая математика
Кл.слова (ненормовані):
дельта-исчисление
--
дельта-обчислення
--
макропреобразователи
--
макроперетворювачі
--
аналитические множества
--
аналітичні множини
--
математическая логика
--
математична логіка
--
ламбда-исчисление
--
ламбда-обчислення
--
ТРАНСДЬЮСЕРЫ
--
трансд'юсери
Дод.точки доступу:
Лисовик
, Л. П.
Примірників всього:
1
АНЛ (1)
Свободны:
АНЛ (1)
Знайти схожі
>
2.
51
Л 63
Лисовик
, Л. П.
Теория трансдьюсеров / Л. П.
Лисовик
. - К. : Феникс.
Т. 2
, Кн.4 : Размеченные деревья. - 2006. - 351 с. : ил. - (Математическое мышление). - Библиогр.: с. 341-348 (97 назв.). -
ISBN
966-651-393-5 (в пер.). -
ISBN
966-651-394-3 : 32.00 грн
ДРНТІ
27
УДК
510.6
Рубрики:
Вычислительная математика
Обчислювальна математика
Кл.слова (ненормовані):
машины
--
машини
--
свободные интерпретации
--
вільні інтерпретації
--
машинно - ориентировочный подход
--
машинно - орієнтований підхід
--
метод полулинейного резервуара
--
метод напівлінійного резервуару
--
схемотология
--
схемотологія
--
автоматы Рабина
--
автомати Рабіна
--
формальные языки
--
формальні мови
--
сети Петри
--
мережі Петрі
--
ПРЕОБРАЗОВАТЕЛИ
--
ПЕРЕТВОРЮВАЧІ
--
метод альтернирующего стекинга
--
МЕТОД АЛЬТЕРНОВАНОГО СТЕКІНГУ
--
ТРАНСДЬЮСЕРЫ
--
ТРАНСД'ЮСЕРИ
Дод.точки доступу:
Лисовик
, Л. П.
Примірників всього:
1
АНЛ (1)
Свободны:
АНЛ (1)
Знайти схожі
повний формат
короткий формат
всі знайдені
відмічені
окрім відмічених
Стандартний
Розширений
Професійний
За словником
© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)