В книге изложены методы построения динамических диалоговых Интернет-приложений на основе нейронных лингвистических моделей. Описаны способы конструирования лингвистических нейронов и их применения для решения различных прикладных задач.
В книге рассказывается о новых результатах в области верификации с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях.
Книга предназначена для домашнего и офисного начинающего пользователя Linux и поможет ему самостоятельно установить и настроить операционную систему openSUSE 11.2, разработанную в соответствии со всеми принципами Open Source, а также создать загрузочную флешку LiveUSB.
Данная книга содержит проверенную опытом информацию о том, где и как можно из Интернета заказывать бесплатные вещи (новые или бывшие в употреблении), оформлять дисконтные карты, дающие право на специальные услуги или цены.
В учебном пособии представлены теоретические материалы по основам программирования на языке C++. Все теоретические материалы сопровождаются законченными примерами.