Unilibrary. Oliy ta'lim muassasalarining yagona elektron kutubxona axborot tizimi.

Введение в язык Promela и систему комплексной верификации Spin

Появление на рынке многоядерных процессоров поставила широкие массы программистов перед проблемой корректного написания параллельных программ. Поэтому умение выражать свойства поведения параллельных систем и проверять выполнение этих свойств в разработанных программах становится необходимым, фактически, каждому программисту. Данное пособие посвящено описанию программного средства верификации параллельных программ Spin. Пакет Spin позволяет:

Адам саўдасы ҳәм оған қарсы гүресиў

Усы әмелий қолланбадан адам саўдасы ҳәм мийнет миграциясы менен байланыслы көп ғана сораўларға жуўап табыўға болады. Бунда сырт елден жумыс излеў, сапарға шықпастан бурын билиўи лазым болған қағыйдалар ҳәм өзи барған мәмлекетте жумыс излеў тәртип-қағыйдалары сыяқлы мәселелер де орын алған.

Эффекты государственного регулирования рынка перевозок пассажиров и багажа легковым такс

В исследовании проведена оценка эффектов регуляторных режимов (тарифного регулирования и квотирования разрешений на перевозку) на рынке перевозок пассажиров и багажа легковым

Algebra va sonlar nazariyasi

0 ‘quv qo‘llanma «Algebra va sonlar nazariyasi» fani Davlat ta’lim standard hamda dasturiga to‘la mos keladi. Tavsiya etilayotgan nazariy savollar va amaliy topshiriqlar modullarda jamlangan bo‘lib, ularda keltirilgan metodik tavsiyalar ushbu o ‘quv qo‘llanmadan foydalanuvchilarga keng imkoniyatlar yaratadi

Нейронные сети эволюция

С течением времени, по сегодняшний день, человечество сделало не мало для того чтоб приспособится самому и приспособить окружающий мир под себя. Было сделано немало научных открытий, инженерных изобретений, на основе которых создавались целые отрасли промышленности (машиностроение, энергетика, цифровые технологии и т.д.), которые значительно облегчили жизнь людей.

БАЗЫ ДАННЫХ ЯЗЫК SQL

Рассмотрен язык структурированных запросов для взаимодействия с базами данных — SQL, начиная с доступного изложения теории отношений (реляционной теории) и заканчивая вопросами администрирования СУБД с помощью запросов. На практических примерах подробно описаны основные конструкции языка, а также различные типы запросов: простые, сложные, рекурсивные. Показано, как осуществлять вычисления в запросах с помощью агрегатных функций и условных выражений. Рассмотрены операции над наборами записей, соединение таблиц, транзакции, хранимые процедуры и др.

Практическое пособие по развитию навыков письменной речи

Книга является частью учебного комплекса по русскому языку для студентов- иностранцев нефилологических вузов естественно-научного профиля. В тексты включены научные и общественно-политические материалы.

Дизайн и юзабилити интерфейсов пользователя

Учебно-методическое пособие содержит указания для выполне- ния курсовой работы студентами, обучающимися по специальности 1-40 05 01-03 «Информационные системы и технологии (издательско- полиграфический комплекс)». Содержание курсовой работы основано на знаниях, полученных студентами при изучении дисциплины «Ди- зайн и юзабилити интерфейсов пользователя». В ходе выполнения курсовой работы студент должен показать вла- дение практическими навыками в области проектирования интерфейсов пользователя с учетом правил дизайна и юзабилити в контексте возмож- ностей человека и требований эргономики проектирования и реализации интерфейсов на всех этапах разработки. В результате выполнения кур- совой работы студент по заданной преподавателем тематике должен разработать удобный и привлекательный с точки зрения пользователя дизайн интерфейсов, отвечающий основным критериям качества.

ВВЕДЕНИЕ В ТЕОРИЮ ИНФОРМАЦИОННЫХ СИСТЕМ

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

АХБОРОТ-КОММУНИКАЦИЯ ТЕХНОЛОГИЯЛАРИ ВА ДАСТУРИЙ ТАЪМИНОТ ЯРАТИШДА ИННОВАЦИОН ҒОЯЛАР

Обычно, для численного решения многих прикладных задач описываемых с дифференциальными уравнениями в частных производных заданных в сложных областях, применяется метод конечных элементов (МКЭ). Известно, что согласно МКЭ краевая задача сводится к вариационной задаче эквивалентной исходной задаче.

АНТИИМПЕРИАЛИСТИЧЕСКАЯ ПРОГРАММА КИТАЙСКИХ БУРЖУАЗНЫХ РЕВОЛЮЦИОНЕРОВ 1895-1905

Для понимания проблем национально-освободительных движений на современном этапе большой интерес представляет изучение национальных требований ранних буржуазных революций на Востоке, в частности требований, выдвинутых идеологами и руководителями революционного лагеря китайской буржуазии в период подготовки Синьхайской революции 1911-1913 гг.

Пособие по развитию навыков монологической речи

Цель пособия - развитие навыков монологической речи (В письменной и устной форме) на материале текстов общенаучного характера и текстов по специальности. Система упражнений и заданий рассчитана на выработку практических навыков формирования собственного высказывания в форме монолога, и умения составить план, конспект, рецензию и аннотацию.

Введение в специальность программиста

Цель данной книги - сформировать представление о профессии про- граммиста и дать основы для приобретения навыков в этой области дея- тельности. В учебнике рассматриваются содержание основных понятий програм- мирования, история его развития, основные элементы и языки програм- мирования, принципы структурного программирования и начала про- граммирования в среде Turbo Pascal и системе Delphi. Дается материал о программном обеспечении для вычислительной техники и автоматизиро- ванных систем, правовой и программной защите компьютерной инфор- мации, стандартизации и лицензировании программных продуктов. Предназначено для учащихся техникумов, колледжей, а также студен- тов вузов.

БАЗЫ ДАННЫХ: ПРОЕКТИРОВАНИЕ ПРАКТИКУМ

Контрольные задания, направленные на усвоение практических навы- ков по принципам и технологиям разработки, могут использоваться в кач е- стве рабочего контроля знаний в процессе обучения. Методический мате- риал содержит только примеры таких заданий. Каждый преподаватель, В рамках подготовки собственного учебно-методического материала ди с- циплины, на основе представленных примеров может сформировать свои варианты, используя их при соответствующем контроле. Дополнительно эти матер иалы можно использовать в тестовых зад а- ниях в форме закрытого задания со свободным ответом, представляя их кейс-заданиями, с последую щей проверкой правильности выполнения этих заданий.

Информационная безопасность

Мельников, Владимир Павлович. Информационная безопасность: учебник / В.П. Мельников, А.И. Ку- приянов; под ред. В.П. Мельникова. 2-е изд., перераб. и доп.- Москва: КНОРУС, 2018. 268 с. (Среднее профессиональное образование). ISBN 978-5-406-05072-9 Представлены основные положения, понятия и определения обеспечения информационной безопасности (ИБ) деятельности общества, его различных структурных образований. Особое внимание уделено проблемам методологиче- ского обеспечения ИБ предприятий и систем (ОС, СУБД, вычислительных сетей), функционирующих в организациях и фирмах.

Томорқа боғдорчилиги

Ушбу рисола муаллифи - қишлоқ хўжалиги фанлари номзоди М.Собиров узоқ йиллардан буён мевачилик, узумчилик ва виночилик илмий-ишлаб чиқариш бирлашмасида бўлим мудири вазифасида ишлаб келяпти. У ўзининг кўп йиллик тажрибаларига асосланиб томорқа боғдорчилигига бағишлнган рисоласини яратди. Унда томорқаларда боғлар ташкил этиш таснифи, экиладиган мева дарахти навларининг қисқача таърифи берилиб, айрим касаллик ва зараркурандаларга қарши кураш бўйича тавсиялар баѐн этилгандир.