Alib.ru > Формальные методы и модели информатики. | Программирование, Компьютеры (Цена: 330 руб.)

Место встречи покупателей и продавцов любых книг.

Алиб.ру - Главная | Последние поступления | Форум | Продавцы книг | Как купить книгу | Как продать книги | Ищу книгу | Доставка | О сайте

Ключевые слова:
     
Только у этого продавца                              Расширенный поиск
    Реставрация книг.
Все книги в продаже (3208700)
Загрузка книг проводится ежедневно в 9 и 23ч.

Вы выбрали купить:

Формальные методы и модели информатики. Серия `Системная информатика`. Выпуск 9. Новосибирск Изд-во СО РАН 2004г. 360с. Твердый переплет, Обычный формат. (ISBN: 5-7692-0700-0 / 5769207000)
(До заказа внимательно прочтите условия продажи продавца BS - exchange_books, Новосибирск.) Цена: 330 руб.
В 9-й выпуск `Формальные методы и модели информатики` серии `Системная информатика` вошли обзорные и фундаментальные работы отечественных и зарубежных авторов, посвященные различным аспектам информатики: машинам абстрактных состояний: разработке языка программирования, ориентированного на верификацию: расширению сетей Петри: алгоритмам генерации машинного кода: интервальным методам распространения ограничений. Книга представляет интерес для специалистов в области информатики, а также для студентов старших курсов и аспирантов.
Состояние: отличное


Покупаете здесь первый раз?

Снять книгу с продажи (только для BS)
            Все экземпляры в продаже

Бланк заказа:


До заказа прочитайте описание продавца!

Помеченное * обязательно для заполнения
Страна Индекс * 
Область, Город (нас. пункт) *
Улица * 
Дом,   корпус:  Кв.: 
Фамилия, Имя Отчество (полностью)  
Мой электронный адрес * (На Gmail письма могут не проходить!)
Мой телефон:
Комментарий к заказу (до 250 символов):

Принимаю Политику конфиденциальности и согласен на обработку моих персональных данных для выполнения заказа
Принимаю Политику конфиденциальности, запомнить меня на полгода.



b17.ru — сайт психологов







До отправки заказа проверьте правильность своего e-mail.
Если в течение суток вы не получите подтверждения своего заказа от Алиба, скорее всего вы написали его неправильно




До заказа прочитайте описание продавца!

BS - exchange_books. Новосибирск. До января 2021 года: Sibran. Способы оплаты: Предоплата (Сбербанк, Альфа-банк). Доставка Почтой России, другие варианты – по договорённости. Любые вопросы – пишите.
(За 5 лет 7 мес. заказано около 2000 книг. ★★★★★)

Здесь можно спросить Продавца
о книге: Формальные методы и модели информатики. ...



Не найти нужную книгу? Вам сюда!
По ссылке в описании книги можно заказать книгу прямо на сайте!


exchange_books предлагает купить книги (2300):

Расширенный поиск у продавца



Продавец exchange_books рекомендует (4)

Программирование, Компьютеры

(39 кн. Сортировка: по дате поступления, по алфавиту)

Система кровообращения и артериальная гипертония: биофизические и генетико-физиологические механизмы, математическое и компьютерное моделирование (Серия: Интеграционные проекты СО РАН. Вып.17) Новосибирск Изд-во СО РАН 2008г. 252с. Твердый переплет, Увеличенный формат. (ISBN: 978-5-7692-1021-1 / 9785769210211)
(До заказа внимательно прочтите условия продажи продавца BS - exchange_books, Новосибирск.) Цена: 550 руб. Купить
Несмотря на ведущиеся во всем мире широкие и разносторонние исследования, имеющие целью выяснение причин и механизмов гипертонической болезни, задача эта до сих пор остается нерешенной. В монографии предпринята попытка изучения причин и механизмов формирования гипертонической болезни с помощью междисциплинарного подхода, который предусматривает, наряду с проведением генетико-физиологических исследований, использование методов физического анализа гемодинамических и других физиологических процессов, создание математических и компьютерных моделей изучаемых функций и позволяет систематизировать полученные знания, прогнозировать возможный ход патологического процесса, наметить ключевые звенья в его развитии, что имеет важное значение для практической медицины и для проведения профилактических мероприятий. Монография рассчитана на широкий круг читателей – научных работников (биологов, физиков, физиологов, математиков), медицинских работников, студентов и аспирантов университетов физических, технических и медицинских специальностей.
Состояние: отличное

Поттосин И.В. Становление новосибирской школы программирования (мозаика воспоминаний). Новосибирск Институт систем информатики им. А. П. Ершова СО РАН 2001г. 194с. Обложка, Обычный формат.
(До заказа внимательно прочтите условия продажи продавца BS - exchange_books, Новосибирск.) Цена: 500 руб. Купить
Сборник содержит материалы, представляющие становление и развитие новосибирской школы программирования. Материалы предназначены широкой аудитории как специалистов по информатике, так и представителей гуманитарных наук, интересующихся социальной историей науки. Содержание сборника: Поттосин И.В. А.П. Ершов – пионер и лидер отечественного программирования. Любимский Э.З., Поттосин И.В., Шура-Бура М.Р. От программирующих программ к системам программирования (российский опыт). Жоголев Е.А. Как А.П. Ершов стал программистом. Змиевская Л.Л. Чуть воспоминаний. Корнева Л.А. История Альфа-группы. Поттосин И.В. История Альфа-проекта. RAR А.Ф. История Эпсилон. Поттосин И.В. Эпсилон-история. RAR А.Ф. История Сигмы. Степанов Г.Г. История Сигмы. Берс А.А., RAR А.Ф. Диалог об Алголе 68. Покровский С.Б. Внутренний язык в Бета. Городняя Л.В. Экспериментальные системы программирования Литтл, Лисп. Левин Д.Я. Сетл: Реализация и применение теоретико-множественного языка программирования. Замулин А.В. Информационные системы и базы данных. Городняя Л.В. Откуда берутся хорошие программисты. Черемных Н.А., Курляндчик Г.В. Библиотека и архив академика Ершова. Никольников Е.И. Конструкторское бюро системного программирования – КБ СП. Евстигнеев В.А. Научно-организационная деятельность Комиссии по системному математическому обеспечению ККВТ АН СССР. Степанов Г.Г. Протоколы Рабочей группы по реализации языков программирования.
Состояние: очень хорошее, фото по запросу

Рейнгольд Э., Нивергельт Ю., Део Н. Комбинаторные алгоритмы теория и практика. Пер.с англ. Е.П. Липатова. Под ред. В.Б. Алексеева. Москва `Мир` 1980г. 480с. Твердый переплет, Обычный формат.
(До заказа внимательно прочтите условия продажи продавца BS - exchange_books, Новосибирск.) Цена: 500 руб. Купить
В книге предпринята попытка систематизации комбинаторных алгоритмов, выявления их общих черт и закономерностей. Подробно рассматриваются конкретные задачи использования комбинаторных алгоритмов, в частности очень важная для программирования задача сортировки данных. Каждая глава сопровождается достаточно подробной исторической справкой и большим числом упражнений. Книга будет полезна математикам-прикладникам, аспирантам и студентам, имеющим дело с задачами дискретной математики.
Состояние: хорошее, фото по запросу

Ахо А., Хопкрофт Дж., Ульман Дж. Построение и анализ вычислительных алгоритмов. Пер. с англ. А.О. Слисенко. Под редакцией Ю.В. Матиясевича. Москва `Мир` 1979г. 536с. Твердый переплет, Обычный формат.
(До заказа внимательно прочтите условия продажи продавца BS - exchange_books, Новосибирск.) Цена: 250 руб. Купить
В монографии с единых позиций излагаются результаты теоретических и прикладных исследований по построению быстрых алгоритмов и доказательству их отсутствия. Рассмотрены задачи перебора, упорядочения массивов данных, умножения чисел, умножения матриц, обсуждаются алгоритмы на графах. Многие результаты ранее были рассеяны в труднодоступных источниках и в монографическом виде публикуются впервые. Книга рассчитана на специалистов по современному программированию, разработчиков вычислительных систем и алгоритмов, она может быть использована как учебное пособие студентами и аспирантами, специализирующимися в области вычислительной математики.
Состояние: хорошее, намечается разлом между титулом и блоком, фото по запросу

Казанцев А.М. Опыт и концепции компьютерного использования нормализованного естественного языка СОАН. Учебное пособие. Новосибирск НГТУ 2003г. 320с. Мягкая обложка, Обычный формат.
(До заказа внимательно прочтите условия продажи продавца BS - exchange_books, Новосибирск.) Цена: 400 руб. Купить
Все естественные языки (ЕЯ) одинаковы в своей основе (иначе разве был бы возможен межъязыковой перевод). В книге рассматривается квинтэссенция ЕЯ, названная языком СОАН, используемая в качестве входного языка в системе обработки данных (СОД) СОАН. Читатели смогут опытным путем убедиться в том, что язык СОАН благодаря своей естественности и неограниченным выразительным возможностям является наиболее пригодным для пользователей компьютеров. В книге, предназначенной в качестве учебного пособия по курсу Новые компьютерные технологии, рассматриваются оригинальные методы автоматического осуществления и использования логических и физических структур данных посредством СОД СОАН, опровергающие установившееся мнение о сложности и неэффективности компьютерной реализации ЕЯ.
Состояние: отличное

Ершов Ю.Л., Целищев В.В. Алгоритмы и вычислимость в человеческом познании. (Интеграционные проекты СО РАН: Вып.40 ) Новосибирск Изд-во СО РАН 2012г. 504с. Твердый переплет, Увеличенный формат. (ISBN: 978-5-7692-0669-6 / 9785769206696)
(До заказа внимательно прочтите условия продажи продавца BS - exchange_books, Новосибирск.) Цена: 1500 руб. Купить
Настоящая монография представляет собой итог исследований по проблеме алгоритмизации мышления, которая часто увязывается с распространенной формулировкой `может ли машина мыслить?`. В монографии представлены практически все аспекты проблемы понимания деятельности, связанной с вычислимостью и компьютерными методами исследования возможностей мышления. Дано сопоставление вычислимости и невычислимости в контексте методов познания законов природы. Описан математический аппарат вычислимости, в частности, представлена теория рекурсивных функций. Особое внимание уделено связи этой теории с программой оснований математики Д.Гильберта – финитизмом. Процесс алгоритмизации мышления представлен в терминах минимальных средств строгого математического доказательства. При этом обнаружена проблема обозримости доказательства, а также вычислимости как средства получена доказательства. Понятие эффективной вычислимости обсуждено в связи со статусом тезиса Черча, который долгое время был предметом дискуссий. Монография предназначена специалистам в области компьютерных исследований, математической логики, философии, логики и методологии науки.
Состояние: хорошее, блок – отличное, книга новая, небольшое повреждение переплета, фото по запросу

Бабин С.А. Лаборатория хакера. СПб. `БХВ-Петербург` 2016г. 240с. Мягкая обложка, Увеличенный формат. (ISBN: 978-5-9775-3535-9 / 9785977535359)
(До заказа внимательно прочтите условия продажи продавца BS - exchange_books, Новосибирск.) Цена: 350 руб. Купить
Рассмотрены методы и средства хакерства с целью понимания и применения соответствующих принципов противодействия им. В виде очерков описаны познавательные эксперименты, которые может выполнить в домашних условиях каждый желающий, начиная со старшеклассника и студента. Используемые программы, как правило, бесплатны. Теории дан минимум, зато книга насыщена практическими приемами по разнообразным темам. Описан ряд способов перехвата паролей, взлома Wi-Fi-сетей, дальнейшие действия злоумышленника после проникновения в локальную сеть жертвы. Рассказано о шифровании данных, способах сохранения инкогнито в Интернете, методах взлома паролей из базы Active Directory. Много внимания уделено изучению хакинга с использованием смартфонов. Подробно рассмотрены практические методы генерации и использования радужных таблиц. За счет подробного описания настроек, качественной визуализации материала, преобладания ориентированности на Windows-системы (для примеров с UNIX подробно описывается каждый шаг), книга интересна и понятна любому пользователю персонального компьютера: от начинающего до профессионала.
Состояние: хорошее, ценник магазина

Бибердорф Э.А., Попова Н.И. Гарантированная точность современных алгоритмов линейной алгебры. Новосибирск Изд-во СО РАН 2006г. 320с. Мягкая обложка, Увеличенный формат. (ISBN: 5-7692-0836-8 / 5769208368)
(До заказа внимательно прочтите условия продажи продавца BS - exchange_books, Новосибирск.) Цена: 450 руб. Купить
Цель книги – популяризация современных алгоритмов линейной алгебры нового поколения, позволяющих проводить вычисления на компьютере с гарантированной оценкой точности результата. Описаны алгоритмы, предназначенные для численного решения систем линейных уравнений и симметричных спектральных проблем, а также основные принципы их построения. Изложена методика учета и суммирования неизбежно возникающих при счете машинных погрешностей, что позволяет наряду с результатом привести также оценку его точности, а в случае аварийной ситуации осуществить содержательную диагностику с указанием в сообщении об аварии ее вероятной причины. Приведены численные примеры, использующие программы созданного авторами пакета GALA-2.0 (Guaranteed Accuracy in Linear Algebra), реализующего эти современные алгоритмы линейной алгебры. Книга предназначена для научных работников, студентов, разработчиков вычислительных алгоритмов.
Состояние: отличное

Ершов Ю. Л. Топология для дискретной математики. Новосибирск СО РАН 2020г. 334с. Твердый переплет, Увеличенный формат. (ISBN: 978-5-6044349-3-2 / 9785604434932)
(До заказа внимательно прочтите условия продажи продавца BS - exchange_books, Новосибирск.) Цена: 1500 руб. Купить
В книге изложен ряд результатов о топологических пространствах, отделимых в самом слабом смысле. Эти результаты послужили в свое время основой для построения бестипового лямбда-исчисления, а также нашли приложения во многих других разделах математики. Изложение следует оригинальному подходу автора, развитому в ряде его работ по данной тематике. Для научных работников. Материал доступен также студентам старших курсов и аспирантам, обучающихся по направлению “Математика” и/или “Компьютерные науки”.
Состояние: отличное

Ильин В.П. Математическое моделирование: Ч. 1: Непрерывные и дискретные модели. Новосибирск Изд-во СО РАН 2017г. 429с. Твердый переплет, Обычный формат. (ISBN: 978-5-7692-1554-4 / 9785769215544)
(До заказа внимательно прочтите условия продажи продавца BS - exchange_books, Новосибирск.) Цена: 1000 руб. Купить
Рассматриваются три из имеющихся многочисленных аспектов междисциплинарной проблемы математического моделирования. Первый касается общей структуры данной предметной области как орудия познания процессов и явлений различной природы с помощью вычислительных экспериментов на современных супер-ЭВМ, на основе создания интегрированного программного окружения всех основных технологических стадий расчетного процесса. Второй аспект касается систематизации операторных и вариационных постановок широкого круга начально-краевых задач для уравнений электромагнетизма, тепломассопереноса, фильтрации, упругости, гидрогазодинамики и т.д. Третий и главный по объему круг изучаемых вопросов относится к методам дискретизации и аппроксимации: конечных разностей, конечных объемов и конечных элементов,– включая общую для них проблему построения качественных адаптивных сеток. Книга рассчитана на широкий круг специалистов по математическому моделированию, включая математиков-вычислителей, прикладных программистов и специалистов в различных прикладных областях, использующих компьютерные расчеты для изучения конкретных процессов и явлений. Материал различных глав является полезным для подготовки лекционных курсов и практических занятий, ориентированных на студентов и аспирантов соответствующих специальностей.
Состояние: отличное

Вишневский В.М., Семенова О.В. Системы поллинга: теория и применение в широкополосных беспроводных сетях. Москва Техносфера 2007г. 312с. Твердый переплет, Увеличенный формат. (ISBN: 978-5-94836-166-6 / 9785948361666)
(До заказа внимательно прочтите условия продажи продавца BS - exchange_books, Новосибирск.) Цена: 550 руб. Купить
Книга посвящена обобщению и систематизации моделей и методов исследования стохастических систем с циклическим опросом (систем поллинга) и их применению для проектирования широкополосных беспроводных сетей. Рассмотрены новые модели, адекватно описывающие функционирование широкополосных беспроводных сетей под управлением протоколов Wi-Fi и Wi-MAX с централизованным механизмом управления. Дано определение и классификация систем поллинга. Изложены условия стационарности и методы анализа и оптимизации характеристик систем поллинга. В исследовании представлены системы с механизмом резервирования и пороговыми дисциплинами обслуживания очередей, анализ которых представляет как теоретический, так и практический интерес. Рассмотрены приоритетные системы, которые представляют собой системы поллинга с приоритетной политикой обслуживания. Приведены численные результаты проектирования и оценки производительности широкополосных беспроводных сетей с централизованным управлением и адаптивным механизмом циклического опроса на базе моделей поллинга. Книга будет полезна специалистам в области стохастических систем, проектировщикам компьютерных сетей, аспирантам и студентам высших учебных заведений.
Состояние: отличное

Бердышев В.И., Костоусов В.Б. Визуальные характеристики наблюдения и оптимальные траектории. Новосибирск Изд-во СО РАН 2021г. 250с. Твердый переплет, Обычный формат. (ISBN: 978-5-7692-1689-3 / 9785769216893)
(До заказа внимательно прочтите условия продажи продавца BS - exchange_books, Новосибирск.) Цена: 900 руб. Купить
Монография посвящена экстремальным задачам, связанным с построением траекторий движения автономного аппарата в пространстве с препятствиями и при наличии других помех. Важной особенностью большей части рассмотренных задач является наличие недружественных наблюдателей, целью которых является обнаружение и сопровождение автономного движущегося аппарата. Введены варианты визуальных характеристик наблюдения – функций видимости и скрытости, исследованы их свойства непрерывности, дифференцируемости и др. Эти результаты направлены на решение задачи нахождения траектории аппарата, которая должна обеспечивать в определенном смысле наилучшую скрытость от наблюдателей или наименьшую собственную наблюдаемость. Предложены постановки экстремальных задач, которые отражают различные условия построения наилучших маршрутов движения аппарата в заданном ограничивающем коридоре. В частности, исследуются задачи формирования маршрутов, наиболее удаленных от конечного набора неподвижных наблюдателей: рассматриваются вопросы построения оптимальных траекторий аппарата в присутствии недружественных наблюдателей, движение которых ограничено наличием на аппарате скоростного поражающего миниобъекта и поиска скоростного режима объекта, обеспечивающего уклонение от зоны видимости телесного наблюдателя: исследуется задача построения траекторий с минимальной величиной совокупного облучения, исходящего от фиксированного конечного набора излучателей. Установлены характеристические условия на оптимальные траектории и предложены конструктивные алгоритмы их построения. При исследовании задач преимущественно применяются геометрические методы. Книга адресована специалистам в области прикладной математики, а также может быть полезна разработчикам специализированного программного обеспечения.
Состояние: отличное

Касьянов В.Н., Касьянова Е.В. Визуализация информации на основе графовых моделей. Новосибирск РИЦ НГУ 2014г. 149с. Мягкая обложка, (ISBN: 978-5-4437-0244-5 / 9785443702445)
(До заказа внимательно прочтите условия продажи продавца BS - exchange_books, Новосибирск.) Цена: 350 руб. Купить
Визуализация – это процесс преобразования больших и сложных видов абстрактной информации в визуальную форму, усиливающую когнитивные способности пользователей и позволяющую им принять наиболее оптимальные решения. Графы являются наиболее абстрактными структурами, встречающимися в информатике, и широко используются для представления абстрактной информации. Любая система, состоящая из дискретных состояний (или мест) и связей между ними, может быть промоделирована с помощью графа. Методы и средства визуализации графов широко используется во многих областях, таких как системное и прикладное программирование, биология, химия, искусственный интеллект, анализ финансовой информации, социология и многие другие.
Состояние: очень хорошее

Горшенков А.А., Кликушин Ю.Н. Введение в теорию идентификационных измерений сигналов. Новосибирск Изд-во СО РАН 2012г. 200с. Мягкая обложка, Увеличенный формат. (ISBN: 978-5-7692-1211-6 / 9785769212116)
(До заказа внимательно прочтите условия продажи продавца BS - exchange_books, Новосибирск.) Цена: 800 руб. Купить
Монография освещает основополагающие вопросы теории идентификационных измерений (ТИИС) и ряд новейших результатов, полученных авторами при исследовании некоторых вопросов цифровой обработки сигналов (ЦОС) и применении идентификационных алгоритмов для решения задач диагностики технических объектов. Идентификационное обобщение классической, векторной модели сигналов позволяет единообразно описывать и периодические, и случайные сигналы, а также различные их композиции. Предлагаются оригинальные модели оценки статического и динамического хаоса сигналов, позволяющие проводить их объективную автоматическую классификацию. Дается аналогия между идентификационной шкалой распределений и цветовой RGB-шкалой. Рассматривается применение идентификационных алгоритмов для решения таких задач ЦОС, как вторичная дискретизация и децимация сигналов. Обсуждается идея автоматического управления работой соответствующих сканеров с помощью введения обратной связи по идентификационному параметру формы выходного сигнала. Обсуждаются некоторые идентификационные инструменты, ориентированные на решение задач кластеризации сигналов. Описываются алгоритмы, осуществляющие как бинарное, так и множественное разбиение входного сигнала. Вводится новая форма представления сигнала – сегментационный спектр, и показываются возможности его использования для решения задач распознавания сложных сигналов. Для научно-технических работников, занимающихся созданием интеллектуальных средств анализа и синтеза сигналов, аспирантов, магистрантов и студентов, изучающих современные информационные технологии обработки сигналов.
Состояние: отличное

Втюрин А.Н., Агеев А.Г., Крылов А.С. ЭВМ в физическом эксперименте. Новосибирск Изд-во CО РАН 2003г. 150с. Мягкая обложка, Обычный формат. (ISBN: 5-7692-0630-6 / 5769206306)
(До заказа внимательно прочтите условия продажи продавца BS - exchange_books, Новосибирск.) Цена: 150 руб. Купить
Простота и доступность современных ЭВМ, с одной стороны, и усложнение физического эксперимента, с другой, привели к тому, что в современной экспериментальной физике компьютеры находят все более широкое применение. В связи с этим современная экспериментальная физика требует знания не только численных методов и языков программирования, но и архитектуры, элементов устройства управляющих ЭВМ, принципов их организации, существующих методов интеграции ЭВМ с физическими приборами. Предлагаемая книга знакомит читателя с основами архитектуры ЭВМ, применяемых для управления экспериментальными установками, устройством и принципами работы наиболее распространенного интерфейсного оборудования, алгоритмами управления экспериментом и оперативной обработки экспериментальных данных. Текст сопровождается контрольными вопросами, посвященными принципам организации прикладного программного обеспечения и реализации основных алгоритмов оперативной обработки результатов эксперимента, а также примерами практической реализации изложенного материала для управления отдельными интерфейсными модулями и работы на управляемых ЭВМ установках. Книга адресована студентам и аспирантам физических и инженерно-физических факультетов университетов.
Состояние: хорошее, блок – отличное

Архитектурные, формальные и программные модели. Серия `Системная информатика`. Выпуск 5. Новосибирск Наука 1997г. 334с. Твердый переплет, Обычный формат. (ISBN: 5-02-030697-5 / 5020306975)
(До заказа внимательно прочтите условия продажи продавца BS - exchange_books, Новосибирск.) Цена: 150 руб. Купить
В пятый выпуск серии `Системная информатика` вошли по наиболее важным и интересным направлениям исследований в области информатики: современной теории программирования и интеллектуальным системам, технологии программирования. Все работы имеют достаточно высокий научный уровень. Книга адресована специалистам по теоретической информатике и програмному обеспечению, широкому кругу математиков, программистов и инженеров.
Состояние: хорошее

Методы и модели современного программирования. Сб. науч. тр. Серия `Системная информатика`. Выпуск 10. Новосибирск Изд-во СО РАН 2006г. 244с. Твердый переплет, Обычный формат. (ISBN: 5-7692-0870-8 / 5769208708)
(До заказа внимательно прочтите условия продажи продавца BS - exchange_books, Новосибирск.) Цена: 270 руб. Купить
В сборник научных трудов вошли обзорные и фундаментальные работы отечественных авторов, посвященные разнообразным моделям, формализация которых является актуальной проблемой. Среди них графические модели: клеточно-автоматные модели, применяемые в пространственной динамике: модели информационных ресурсов, представленных в Интернете: модели мультиагентных систем. Для их формализации применяются различные методы и алгоритмы. Благодаря широкому охвату разнообразных проблем и оригинальным результатам этот юбилейный выпуск представляет значительный интерес для широкого круга специалистов по информатике и программированию.
Состояние: отличное

Доррер Г.А., Рудакова Г.М. Технология моделирования и разработки учебных электронных изданий. Новосибирск Изд-во СО РАН 2006г. 272с. Твердый переплет, Обычный формат. (ISBN: 5-7692-0903-8 / 5769209038)
(До заказа внимательно прочтите условия продажи продавца BS - exchange_books, Новосибирск.) Цена: 290 руб. Купить
Монография посвящена вопросам, связанным с моделированием, технологией разработки и эксплуатации учебных электронных изданий (УЭИ), одного из видов образовательных информационных ресурсов. Дается краткий обзор состояния и дидактических особенностей интерактивного (дистанционного) обучения, рассмотрены терминология, виды электронных учебных изданий, роли при их создании и использовании, фазы жизненного цикла УЭИ, права разработчиков и пользователей. Рассматривается методика моделирования процессов интерактивного обучения с использованием CASE-технологий. Показано, что модели динамики прохождения интерактивных учебных курсов могут быть построены на основе формализмов сетей Петри различных модификаций. Предлагается основанная на теории цепей Маркова методика априорной вероятностной оценки некоторых параметров интерактивного курса: вероятности завершения в срок всего курса и отдельных его этапов, средней трудоемкости и других. На основе этой методики решается ряд задач: выбор оптимальной структуры курса, моделирование жизненного цикла учебного электронного издания, моделирование процессов обучения с адаптацией. Приводится обзор программных средств, предназначенных для создания интерактивных курсов. Книга адресована преподавателям и сотрудникам высших и средних специальных учебных заведений, занимающихся созданием и эксплуатацией компьютерных обучающих систем: она также может быть использована в системе повышения квалификации и переподготовки педагогических кадров.
Состояние: хорошее

3D лазерные информационные технологии. Новосибирск ОФСЕТ 2003г. 550 с.: Табл. 12: Ил. 275 Твердый переплет, Обычный формат. (ISBN: 5-85957-026-0 / 5859570260)
(До заказа внимательно прочтите условия продажи продавца BS - exchange_books, Новосибирск.) Цена: 440 руб. Купить
В книге рассмотрены методы синтеза и характеристики толстых органических светочувствительных сред, двухпучковая лазерная микротехнология записи информации во многих разделенных по глубине информационных слоях таких сред, методы построения многослойных интегральных схем с оптическими межсоединениями, методы создания элементов дифракционной оптики с глубоким фазовым профилем, методы лазерного 3D прототипирования, а также 3D измерительные технологии для анализа состояния и определения параметров оптических сред и промышленных изделий. Кроме того, рассмотрены методы компьютерного моделирования 3D процессов распространения световых лучей в градиентном оптическом волокне. Книга предназначена для научных работников, инженеров и аспирантов, специализирующихся в области оптических информационных технологий, а также для студентов старших курсов университетов физико-технического профиля.
Состояние: отличное

Власюк Н. Н., Майер Б. О. Образование для устойчивого развития как фактор адаптации к информационному обществу. Учеб. пособие Новосибирск НГПУ 2017г. 148с. Мягкая обложка, Обычный формат. (ISBN: 978-5-00104-116-0 / 9785001041160)
(До заказа внимательно прочтите условия продажи продавца BS - exchange_books, Новосибирск.) Цена: 390 руб. Купить
Пособие посвящено анализу образования для устойчивого развития как фактора адаптации к информационному обществу. Показан генезис понятий `информационное общество` и `адаптация`, последнее рассматривается как обобщающий термин, включающий в себя и социализацию. Обосновано, что последовательный непротиворечивый подход к пониманию образования для устойчивого развития как фактора адаптации к информационному обществу возможен в случае методологического различения двух проектов науки: метафизического и диалектического. Содержит материалы лекций, примерные темы семинарских занятий, список рекомендуемой литературы, а также вопросы для самопроверки и другие материалы. Предназначено для магистрантов и аспирантов гуманитарных специальностей и направлений вузов.
Состояние: отличное

Бегалинов А.С., Наливайко Н.В. Медиавоспитание: социально-философский анализ. Монография Новосибирск НГПУ 2017г. 141с. Мягкая обложка, Обычный формат. (ISBN: 978-5-00104-186-3 / 9785001041863)
(До заказа внимательно прочтите условия продажи продавца BS - exchange_books, Новосибирск.) Цена: 360 руб. Купить
В книге обосновано, что современное образовательное пространство подвергается глубоким трансформациям под влиянием информатизации, компьютеризации и глобализации. Образовательное пространство, по мнению авторов, взаимодействие совокупности образовательных субъектов (государства, гражданского общества, личности), находящихся в определенных взаимоотношениях и осуществляющих образовательную практику с учетом специфики и возможностей каждого из субъектов в рамках сложившихся социальных, правовых, политических, экономических условий и посредством имеющихся в наличии образовательных технологий. Сегодня образовательное пространство трансформируется в рамках противоречия между традиционными и вновь возникающими образовательными практиками. Онтологической основой этого противоречия является компьютеризация образования как способа воспроизводства жизнедеятельности общества и личности. Это в свою очередь, деформирует традиционную систему взаимодействия образовательных субъектов и вызывает к жизни новые формы взаимодействий между ними. Последнее требует корректировки политики государства и властных структур, направленной на оптимизацию и совершенствование этих взаимодействий. Книга рассчитана на философов, социологов, психологов, педагогов, специалистов в сфере науки и образования.
Состояние: отличное

Формальные методы и модели информатики. Серия `Системная информатика`. Выпуск 9. Новосибирск Изд-во СО РАН 2004г. 360с. Твердый переплет, Обычный формат. (ISBN: 5-7692-0700-0 / 5769207000)
(До заказа внимательно прочтите условия продажи продавца BS - exchange_books, Новосибирск.) Цена: 330 руб. Купить
В 9-й выпуск `Формальные методы и модели информатики` серии `Системная информатика` вошли обзорные и фундаментальные работы отечественных и зарубежных авторов, посвященные различным аспектам информатики: машинам абстрактных состояний: разработке языка программирования, ориентированного на верификацию: расширению сетей Петри: алгоритмам генерации машинного кода: интервальным методам распространения ограничений. Книга представляет интерес для специалистов в области информатики, а также для студентов старших курсов и аспирантов.
Состояние: отличное

Кочева Т.В., Челпанов И.Б., Никифоров С.О., Аюшева А.О. Машинное орнаментирование. Улан-Удэ БНЦ СО РАН 1999г. 160с. Мягкая обложка, Обычный формат. (ISBN: 5-7925-0059-2 / 5792500592)
(До заказа внимательно прочтите условия продажи продавца BS - exchange_books, Новосибирск.) Цена: 180 руб. Купить
В монографии впервые поставлены и решаются задачи машинного орнаментирования, включая систематизацию и классификацию орнаментов, подготовку базы данных узоров, разработку САПР, методов средств воспроизведения орнаментов, а также особенности моделирования узоров в разных технологиях и материалах. Предназначена для специалистов по автоматизации проектирования, студентов и аспирантов, а также всех интересующихся современным дизайном.
Состояние: отличное, новая книга

Иванов В.Я Методология компьютерного проектирования микроканальных усилителей. Новосибирск Изд-во CО РАН 2019г. 155с. Твердый переплет, (ISBN: 978-5-7692-1644-2 / 9785769216442)
(До заказа внимательно прочтите условия продажи продавца BS - exchange_books, Новосибирск.) Цена: 1050 руб. Купить
Монография посвящена вопросам компьютерного проектирования микроканальных усилителей. Она дает всесторонний анализ основных аспектов проектирования, обобщая не только опыт множества современных исследователей, но и предоставляя результаты собственных оригинальных работ, полученные при участия в нескольких крупных международных проектах. В книге описаны теоретические аспекты и численные модели, рассматривающие процессы фотоэмиссии, вторичной электронной эмиссии, эффекты насыщения и краевых электрических полей, вопросы термической стабильности и генерации шумов в микроканальных пластинах. Практически все приведенные расчеты проведены непосредственно автором, который разработал ряд численных алгоритмов и программ, позволивших провести эти расчеты. Представлены многочисленные сравнения расчетных и экспериментальных данных, свидетельствующиеВ о высокой эффективности разработанных моделей и программ. Книга представляет интерес для студентов, аспирантов, научных сотрудников и инженеров, работающих в области создания высокотехнологичных приборов физической электроники.
Состояние: отличное

Жижимов О.Л., Мазов Н.А. Принципы построения распределенных информационных систем на основе протокола Z39.50 Новосибирск ОИГГиМ 2004г. 361 с.: илл., табл. Мягкая обложка, Увеличенный формат. (ISBN: 5-9554-0017-6 / 5955400176)
(До заказа внимательно прочтите условия продажи продавца BS - exchange_books, Новосибирск.) Цена: 400 руб. Купить
В книге рассматриваются различные аспекты применения протокола Z39.50 (ISO 23950) для построения распределенных информационных систем (РИС). Утверждается, что технологии, основанные на использовании протокола Z39.50, являются наиболее пригодными для организации доступа к разнородным базам данных в РИС. Показывается, что, несмотря на некоторые недостатки, технологии Z39.50 с успехом могут быть использованы для создания эффективных РИС. Приводится список необходимых расширений Z39.50 для РИС. В книге детально описывается серверное программное обеспечение ZooPARK, как предназначенное для работы с различными базами данных в РИС. Монография снабжена обширным иллюстративным и табличным материалом, а также большим списком литературы по рассматриваемой проблеме. Книга содержит не только теоретические разделы, но и существенную практическую составляющую, базирующуюся на собственном опыте и программных разработках авторов. Она представляет интерес для специалистов, работающих над созданием распределенных информационных систем различного назначения, для преподавателей, аспирантов и студентов образовательных учреждений информационного профиля.
Состояние: отличное

Дородных Н.О., Юрин А.Ю. Технология создания продукционных экспертных систем на основе модельных трансформаций. Новосибирск Изд-во СО РАН 2019г. 144с. Твердый переплет, Большой формат. (ISBN: 978-5-7692-1646-6 / 9785769216466)
(До заказа внимательно прочтите условия продажи продавца BS - exchange_books, Новосибирск.) Цена: 1200 руб. Купить
Монография представляет опыт авторов по разработке информационной технологии и специализированного программного обеспечения для поддержки создания продукционных экспертных систем и их компонентов непрограммирующими пользователями, путем преобразования информационных моделей и синтеза на их основе программных кодов, спецификаций и систем. Предложен единый подход, основанный на использовании концептуальных (информационных) моделей в качестве исходных данных, оригинальных языков: описания модельных трансформаций – Transformation Model Representation Language, и моделирования продукций – Rule Visual Modeling Language. Представлены модели, алгоритмы трансформации моделей, программные комплексы, реализующие предлагаемый подход, и примеры их применения для решения практических задач. Монография предназначена для специалистов по информационным технологиям, а также будет полезна аспирантам, магистрантам и студентам старших курсов специальностей «Информационные системы и технологии» и «Автоматизированные системы обработки информации и управления».
Состояние: отличное

Гринев В.Г., Зубков В.П., Изаксон В.Ю., Шкулев С.П. Решение горных задач на ЭВМ при освоении рудных месторождений. Новосибирск Изд-во СО РАН 1999г. 215с. Твердый переплет, Обычный формат. (ISBN: 5-02-031464-1 / 5020314641)
(До заказа внимательно прочтите условия продажи продавца BS - exchange_books, Новосибирск.) Цена: 240 руб. Купить
Монография посвящена разработке математических моделей, предназначенных для проведения технико-экономических расчетов в горном деле, а также расчетов полей температур и напряжений. Приводится математическое обеспечение для технико-экономического обоснования вовлечения в отработку месторождений полезных ископаемых и оперативного принятия эффективных управленческих решений при эксплуатации месторождений. Рассматриваются вопросы математического моделирования тепловых и механических процессов в многолетнемерзлых горных породах и приводятся примеры для рудников «Интернациональный» и «Бадран». Книга предназначена для специалистов в области решения проблем рационального освоения рудных месторождений, руководителей горнодобывающих предприятий, преподавателей и студентов вызов горного и математического профиля
Состояние: отличное

Блам Ю.Ш., Соловецкий А.С. Информационные технологии в экономике: учебное пособие для вузов. Новосибирск Изд-во СО РАН 2007г. 268с. Твердый переплет, Обычный формат. (ISBN: 978-5-7692-0933-8 / 9785769209338)
(До заказа внимательно прочтите условия продажи продавца BS - exchange_books, Новосибирск.) Цена: 240 руб. Купить
В учебном пособии рассматриваются существующие на сегодняшний день информационные технологии и возможности их применения в экономике и бизнесе. В основу пособия положен интерактивный учебно-методический комплекс, разрабатываемый на экономическом факультете НГУ для студентов, изучающих курс `Информационные технологии в экономике и управлении`. Пособие предназначено для студентов, обучающихся экономическим и техническим специальностям, и для всех интересующихся применением информационных технологий в экономике и бизнесе.
Состояние: отличное

Битус Е.И. Компьютерное моделирование и оптимизация процессов формирования гребенной ленты в шерстопрядении. Новосибирск Информ-Знание 2007г. 240с. Твердый переплет, Обычный формат. (ISBN: 5-80320-110-3 / 5803201103)
(До заказа внимательно прочтите условия продажи продавца BS - exchange_books, Новосибирск.) Цена: 440 руб. Купить
В книге приведены теоретические и практические материалы по прогнозированию и оптимизации технологии получения гребенной ленты в шерстопрядении, разработанные и реализованные автором с помощью современных компьютерных технологий, а также методов и средств моделирования и автоматизации управления процессом.
Состояние: отличное

Компьютерное моделирование и конструирование наполненных композиций. Новосибирск Изд-во СО РАН 2015г. 264с. Твердый переплет, Увеличенный формат. (ISBN: 978-5-7692-1434-9 / 9785769214349)
(До заказа внимательно прочтите условия продажи продавца BS - exchange_books, Новосибирск.) Цена: 1000 руб. Купить
В монографии представлены результаты теоретических и экспериментальных исследований деформационно-прочностных и теплофизических свойств композиционных материалов, рассматриваемых как многоуровневые системы, а также надежности конструкций, изготовленных из полимерных композитов, в зависимости от условий и времени эксплуатации. Экспериментально выявленные характерные закономерности поведения наполненных полимерных композитов под действием термосиловых нагрузок использованы в качестве исходных данных для построения моделей и их верификации. Приведены примеры постановок и реализации задач компьютерного конструирования материалов с заданными эффективными характеристиками, отличающие монографию от других изданий по близкой тематике. Книга предназначена для специалистов в области технической диагностики, материаловедения, исследователей, научных работников и работников заводских лабораторий, аспирантов и студентов соответствующих специальностей.
Состояние: отличное

Ложников П.С. Биометрическая защита гибридного документооборота. Монография Новосибирск Изд-во СО РАН 2017г. 130с. Твердый переплет, Обычный формат. (ISBN: 978-5-7692-1561-2 / 9785769215612)
(До заказа внимательно прочтите условия продажи продавца BS - exchange_books, Новосибирск.) Цена: 990 руб. Купить
Очерчен круг актуальных проблем для систем защиты смешанного документооборота. Предложено перейти к концепции гибридного документооборота, ключевым отличием которой является использование биометрических признаков при формировании закрытого (секретного) ключа ЭП (ЭЦП). Разработана модель и технология защиты гибридного документооборота на основе биометрических данных рукописных образов, клавиатурного почерка и лица. Проанализированы указанные признаки, оценена их информативность. Рассмотрены современные алгоритмы формирования решений при распознавании субъектов и генерации ключевых последовательностей на основе биометрических данных (нечеткие экстракторы, нейросетевые преобразователи биометрия–код на основе персептронов и алгоритма обучения по ГОСТ Р 52633.5-2011, сети квадратичных форм, многомерных функционалов Байеса и других функционалов). Определены оптимальные алгоритмы для решения поставленных задач. Выявлен и экспериментально подтвержден ряд важных тезисов.
Состояние: отличное

Проwareнные рецепты для бизнесменов. Новосибирск ИТ-Курьер 2007г. 282с. Мягкая обложка, Обычный формат.
(До заказа внимательно прочтите условия продажи продавца BS - exchange_books, Новосибирск.) Цена: 200 руб. Купить
Для современного руководителя по-настоящему актуальной является задача организации производства и оптимального управления своим бизнесом. Использование современных информационных технологий сегодня во многом определяет собственно организацию и структуру самой фирмы. Как новые технологии помогут в решении таких задач – на этот вопрос и отвечает книга. Аудитория издания - предприниматели, бизнесмены, руководители предприятий SOHO, малого и среднего бизнеса.
Состояние: отличное

Городняя, Л. В.  Парадигмы программирования: анализ и сравнение. Новосибирск Изд-во СО РАН 2017г. 232с. Твердый переплет, (ISBN: 978-5-7692-1535-3 / 9785769215353)
(До заказа внимательно прочтите условия продажи продавца BS - exchange_books, Новосибирск.) Цена: 620 руб. Купить
Монография посвящена проблеме системной информатики, заключающейся в исследовании и разработке методов анализа, сравнения и формального определения парадигм программирования. Продемонстрированы методы на материале основных и фундаментальных парадигм. Книга для широкого круга читателей, интересующихся проблемами современной информатики, программирования и информационных технологий.
Состояние: Отличное

Задорожный В.Н.  Очереди и степенные распределения. Монография Новосибирск Изд-во СО РАН 2016г. 161с. Твердый переплет, 3 (ISBN: 978-5-7692-1523-0 / 9785769215230)
(До заказа внимательно прочтите условия продажи продавца BS - exchange_books, Новосибирск.) Цена: 700 руб. Купить
Монография посвящена исследованию систем и сетей массового обслуживания, потоки заявок в которых по основным вероятностным характеристикам эквивалентны фрактальному трафику современных компьютерных сетей. Разрабатываются математические модели, эффективные методы, алгоритмы и программы для расчета, статистического моделирования, анализа и оптимизации фрактальных систем. Для научных работников, специализирующихся в области исследования и проектирования компьютерных систем, а также преподавателей, студентов и аспирантов инженерных специальностей.
Состояние: отличное

Бычков И.В. и др. Инфраструктура информационных ресурсов и технологии создания информационно-аналитических систем территориального управления. Новосибирск Изд-во СО РАН 2016г. 242с. Твердый переплет, (ISBN: 978-5-7392-1478-3 / 9785739214783)
(До заказа внимательно прочтите условия продажи продавца BS - exchange_books, Новосибирск.) Цена: 700 руб. Купить
Коллективная монография представляет опыт авторов по формированию региональной инфраструктуры пространственных данных (ИПД), ее компонентов как системообразующей основы создания информационного пространства региона, сервисов обработки, поиска, хранения, передачи информации в задачах территориального управления. Показано, что использование современных ГИС-, Web-технологий для создания информационно-аналитических систем является одним из актуальных направлений повышения эффективности управления социально-экономическим развитием территории. Это обусловлено адекватностью ИПД и систем обработки пространственных данных характеру решаемых территориальных задач. Монография предназначена для специалистов по информационным технологиям, а также будет полезна аспирантам, магистрантам и студентам старших курсов специальностей – «Информационные системы и технологии», «Автоматизированные системы обработки информации и управления`.
Состояние: отличное

Сафонова М.Н., Петасюк Г.А. Сыромятникова А.М.  Компьютерно-аналитические методы диагностики эксплуатационных характеристик алмазных порошков и композиционных материалов на их основе. Новосибирск Изд-во СО РАН 2013г. 222с. Переплет, (ISBN: 978-5-7692-1290-1 / 9785769212901)
(До заказа внимательно прочтите условия продажи продавца BS - exchange_books, Новосибирск.) Цена: 740 руб. Купить
В монографии рассмотрено современное состояние теории и практики материаловедения композиционных алмазосодержащих материалов. Приведено новое решение важной научно-прикладной задачи, которая состоит в создании методологических основ и новых компьютерно - аналитических методов диагностики и оценивания эксплуатационных характеристик алмазных порошков и композиционных материалов на их основе. Предоставляется возможность с высокой степенью адекватности проводить сравнительный анализ качества алмазных порошков по их марке, производителю или стандарту. Использование созданных научно-методических средств разрешает осуществлять прогнозирование соотношения выхода и качества порошков сверхтвердых материалов при ситовом разделении в зависимости от модуля сит и формы их ячейки. Книга предназначена для научных и инженерно-технических работников, занимающихся вопросами производства и применения порошков из сверхтвердых материалов и созданием новых типов абразивных инструментов, также может быть полезна для студентов вузов соответствующих специальностей.
Состояние: отличное

Резник А.Л. , Ефимов В.М.  Компьютерная аналитика и обобщенные числа Каталана в задачах регистрации случайных дискретных объектов. Новосибирск Изд-во CО РАН 2013г. 61с. Обложка, (ISBN: 978-5-7692-1303-8 / 9785769213038)
(До заказа внимательно прочтите условия продажи продавца BS - exchange_books, Новосибирск.) Цена: 180 руб. Купить
Для решения ряда проблемных вероятностных задач (в частности, для задач со случайным разбиением интервала) авторами разработаны уникальные программные системы, ориентированные на проведение аналитических выкладок на ЭВМ. Также особенностью монографии является то, что в ней предложено трехмерное обобщение классической числовой последовательности Каталана, известной еще со времен Леонарда Эйлера и лежащей в основе перечислительной комбинаторики. Для студентов, аспирантов, преподавателей и специалистов, интересующихся вопросами дискретного анализа, вычислительной математики, информатики, комбинаторики, которые сталкиваются с трудными и нестандартными задачами вероятностного характера.
Состояние: отличное

Вычислительные методы, алгоритмы и аппаратурно-программный инструментарий параллельного моделирования природных процессов (Интеграционные проекты СО РАН: вып.33). Новосибирск Изд-во CО РАН 2012г. 355с. Переплет, Увеличенный формат.
(До заказа внимательно прочтите условия продажи продавца BS - exchange_books, Новосибирск.) Цена: 900 руб. Купить
В монографии описан комплекс алгоритмических и аппаратурно-программных средств математического моделирования различных физических процессов и природных явлений. Особое внимание уделено задачам физики низко- и высокотемпературной плазмы, нанотехнологий (включая нанофотонику и наноматериалы) и биоинформатики. Отражены основные этапы процесса моделирования, включая разработку математических моделей и последовательных и параллельных методов, проверку их адекватности и реализацию на распределенных вычислительных системах. Монография рассчитана на специалистов в области математического моделирования, параллельных вычислительных технологий, распределенных вычислительных и GRID систем, а также параллельного программирования.
Состояние: отличное

Интеграция информационно-аналитических ресурсов и обработка пространственных данных в задачах управления территориальным развитием. Новосибирск Изд-во СО РАН 2011г. 369с. Переплет, Обычный формат. (ISBN: 978-5-7692-1200-0 / 9785769212000)
(До заказа внимательно прочтите условия продажи продавца BS - exchange_books, Новосибирск.) Цена: 600 руб. Купить
Коллективная монография представляет опыт авторов по внедрению геоинформационных, Web-технологий, а также метаописаний баз данных в исследования проблем управления территориальным развитием. Проведен анализ региональной информационно-телекоммуникационной инфраструктуры, предложен ряд геоинформационных и информационно-аналитических систем для органов государственной власти и местного самоуправления. Монография предназначена для специалистов по информационным технологиям, занимающихся комплексными исследованиями управления территориальным развитием, а также будет полезна аспирантам и студентам старших курсов специальностей — Информационные системы, Информационные системы и технологии, Автоматизированные системы обработки информации и управления.
Состояние: отличное


exchange_books > Книги в рубриках:

Антикварные

Биографии, мемуары

Военное дело, военная история

Детская литература

Искусство

История

Краеведение России

Медицина

Мир увлечений

Наука и техника

Общественные и гуманитарные науки

По странам и континентам

Промышленность

Религия

Учебная, справочная литература

Философия

Художественная литература

Прочие

Не книги

По цене

"Формальные методы и модели информатики." "Изд-во СО РАН" 5-7692-0700-0 360 2004

^ Наверх! Лучшие продавцы >>>



КАРТА сайта · Алиб.ру - Главная · Авторам и правообладателям · Указатель серий · Alib в Українi · Пластинки · Марки · Добавить в Избранное

Copyright © 1999 - 2026, Ведущий и K°. Все права защищены.
Вопросы, предложения пишите в книгу


Яндекс.Метрика
     
| 0 c |