Главная Упрощенный режим

Базы данных


Основная библиотечная БД - результаты поиска

Вид поиска

Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>A=Бауэр, Фридрих Л.$<.>)
Общее количество найденных документов : 4
Показаны документы с 1 по 4
1.

Вид документа : Многотомное издание
Шифр издания : 681/Б 298
Автор(ы) : Бауэр, Фридрих Л.
Заглавие : Информатика. Вводный курс = Informatik: [учебное пособие] : в 2 ч./ Ф. Л. Бауэр, Г. Гооз ; пер.: М. К. Валиев, В. Г. Кербель ; ред. А. П. Ершов. - 2-е изд., перераб. и расшир. Ч. 1
Выходные данные : Москва: Мир, 1990
Колич.характеристики :336 с.: ил.
Серия:
ISBN, Цена 5-03-002099-3: 1.60, 2.10, 1.60, р.
ГРНТИ : 20
УДК : 004
Предметные рубрики: Информатика
Ключевые слова (''Своб.индексиров.''): программирование--машинно-ориентированные алгоритмические языки--двоичные комбинационные схемы--переключательные схемы
Экземпляры : всего : ЧЗЕ(1), АБУ(1), Х(1)
Свободны : ЧЗЕ(1), АБУ(1), Х(1)
Найти похожие
2.

Вид документа : Многотомное издание
Шифр издания : 681/Б 298
Автор(ы) : Бауэр, Фридрих Л.
Заглавие : Информатика. Вводный курс = Informatik: [учебное пособие] : в 2 ч./ Ф. Л. Бауэр, Г. Гооз ; пер.: М. К. Валиев, В. Г. Кербель ; ред. А. П. Ершов. - 2-е изд., перераб. и расшир. Ч. 2
Выходные данные : Москва: Мир, 1990
Колич.характеристики :742 с
Серия:
Примечания : Библиогр.: с. 681-684. - Предм.-имен. указ.: с. 704-733
ISBN, Цена 5-03-002100-0: 2.10, 2.10, р.
ГРНТИ : 20
УДК : 004
Предметные рубрики: Информатика
Ключевые слова (''Своб.индексиров.''): формальные языки--синтаксис--история информатики--семантика--алгоритмические языки
Аннотация: Блочная структура и динамическое распределение памяти.
Экземпляры : всего : ЧЗЕ(1), АБУ(1)
Свободны : ЧЗЕ(1), АБУ(1)
Найти похожие
3.

Вид документа : Многотомное издание
Шифр издания : 51/А 456
Автор(ы) :
Заглавие : Алгоритмы в современной математике и ее приложениях: материалы международного симпозиума, Ургенч, УзССР, 16-22 сент. 1979 г./ АН СССР, Сибирское отд-ние, ВЦ; ред.: А. П. Ершов, Д. Кнут. Ч. 2
Выходные данные : Новосибирск: ВЦ СО АН СССР, 1982
Колич.характеристики :315 с
Коллективы : Академия наук СССР, Вычислительный центр
Примечания : Библиогр. в конце докл.
Цена : 1.40 р.
ГРНТИ : 27.01.13
УДК : 51(082)
Предметные рубрики: Математика
Ключевые слова (''Своб.индексиров.''): алгоритмы (математика)--алгоритмы (приложения)--математика (алгоритмы)
Содержание : Расширяющаяся конструктивная вселенная/ Ю. И. Манин. Безъязыковое программирование/ Вейнгаарден А. Ван. Логический подход к программированию/ Н. Н. Непейвода. Структурный синтез программ/ Э. Х. Тыугу. О поиске инвариантных соотношений в программах/ А. А. Летичевский. Что мы можем сделать с задачами полного перебора?/ Г. М. Адельсон-Вельский, А. О. Слисенко. Алгоритмическая сложность линейных алгебр/ А. Альдер, Ф. Штрассен. Алгоритмы в различных смыслах/ С. К. Клини. Роль понятия алгорифма в семантике арифметических языков/ Н. А. Шанин. От логицизма к процедурализму/ Г. С. Цейтин. Абстрактная вычислимость в алгебраических системах/ А. П. Ершов. Алгоритмы и алгебра/ Ф. Л. Бауэр. О формальных преобразованиях алгоритмов/ В. М. Глушков. Что делать после установления неразрешимости алгорифмической проблемы?/ Ю. Матиясевич. Об опыте езды на двух конях в программировании/ А. Буда. Преобразование Чёрча-Россера и разрешимые свойства обработки деревьев/ А. В. Анисимов. Об истоках теории рекурсивных функций/ С. К. Клини.
Экземпляры :Х(1)
Свободны : Х(1)
Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : 681/Б 298
Автор(ы) : Бауэр, Фридрих Л., Гнац Р., Хилл У.
Заглавие : Информатика : задачи и решения
Выходные данные : М.: Мир, 1978
Колич.характеристики :355 с.: ил.
Цена : 1.30 р.
ГРНТИ : 20
УДК : 004(076.2)
Предметные рубрики: Информатика
Ключевые слова (''Своб.индексиров.''): информатика (задачи)
Экземпляры :Х(1)
Свободны : Х(1)
Найти похожие
 
Статистика
за 05.07.2024
Число запросов 51852
Число посетителей 443
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)