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

Д А В Л А Т А Р Ь О Б И , Т А Р И Х Ч И В А А Д И Б

Ш арк халклари тарихи, маданияти, адабиётининг уп си р били м дон и, маърифатпарвар. давлат арбоби ва оти м ч ар и дан бири Абулгозий Баходирхон таваллудининг 4 0 0 йиллигига багиш.танган }1ибу методик-библиографик КУ-планма тарихчи ва адиб ижодини, меросини чукур ур гани ш , таргиб ва ташвик, килишда кутубхона ходи м л ари га ёрдам бериш м аксадида тузилган. Унда к у г у б х о начи лар утказиши VI ум кин булган тадбирлар тур к ум и хакида маълумотлар оерилган.

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

Spin – свободно распространяемый пакет программ для формальной верификации систем, разработанный в Исследовательском Центре Bell Labs Джерардом Холзманном (Jerard Holzmann), он широко применяется как в обучении студентов методам верификации, так и в промышленности для формального анализа свойств разрабатываемых протоколов и бортовых систем. Ежегодно проводятся конференции пользователей этого пакета, в литературе широко обсуждаются многочисленные примеры применения Spin для верификации сложных систем. Международная Ассоциация ACM (Association for Computing Machinery) наградила программное средство Spin престижной премией ACM Software System Award за 2001 г. В 1983 году этой премией была награждена ОС UNIX, в 1997 г. – Tcl/Tk, в 2002 г. – язык Java

Umumiy tilshunoslik

Mazkur o`quv qo`llanma hozirgi dunyoning lingvistik lanshafti struktura, funksiyalarning ko`p qiraliligiga, tillarning tarixiy taqdiri uning jismoniy tipologiyasini belgilab beruvchi tillar hayotidagi madaniy-diniy etibor qaratilgan.

Железо 2008

Железо 2008

Маршрутизаторы Cisco

В книге рассказывается об основных принципах работы LAN- и А^Ш-соедине; ПИЙ, рассматриваются концепции и технологии маршрутизации различных сете вых протоколов, а также описываются принципы функционирования маршрутиза торов Cisco и сетевой операционной системы Cisco IOS. В изложении материала используется последовательный и систематический подход, который включает пошаговое описание наиболее часто применяемых команд, функций, систему под сказок и решений для самых распространенных проблем. Издание может послужить незаменимым .учебником для новичков, стремящихся освоить сетевые технологии, а также справочным пособием для профессионалов, которые хотят более подробно изучить принципы работы маршрутизаторов Cisco.

Программирование на языке QBasic для школьников и студентов

Языки программирования как люди - рождаются и умирают. Одни живут дольше, чем другие, другие появляются на свет только для TOro, чтобы оказаться никому не нужными. С этой точки зрения Бейсик можно считать долroжителем: появившись на свет одним из первых среди языков высоKOro уровня, он пережил как своих «ровесников:!>, так и мцогих из тех, кто пришел значительно позже. Число версий Бейсика, созданных за прошедшие годы для самых разных компьютерных платформ, просто не поддается пересчету. И сегодня такая версия Бейсика, как Мiсrоsоft Vlsual Basic for Windows продолжает развиваться и не испытывает видимых признаков устаревания

Проrраммирование на visualВasic. 6 и ·VВА

Книга известных авторов с многолетним опытом программирования посвящена вопро- сам создания мощных коммерческих приложений на базе Microsoft Office и Visual Basic. Содержит богатый набор тщательно подобранных и протестированных методов и средств, пригодных для использования в реальных проектах. Основное внимание уделяется обра- ботке данных различных типов, созданию и применению модулей класса, работе с файлами и внешними устройствами, возможностям включения в приложения средств мультимедиа и объектов ActiveX. Авторы не только предлагают большой объем кода, но и сопровождают его подробными комментариями, что позволит читателю без труда его модифицировать и расширять, создавать аналогичные программы. Предназначена для разработчиков самого разного уровня от новичков до профес- сионалов, которым нужна помощь в решении задач, связанных с программированием

Субъектный метод в социологии

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

Delphi ХЕ2.

Книга посвящена одному из самых совершенных языков программирования Delphi ХЕ2. В ней излагаются основы программирования на языке Delphi ХЕ2, подробно рассматривается визуальная библиотека компонентов (VCL), описывается порядок разработки программного обеспечения для 32- и 64-разрядных версий Windows с использованием функций Win API, предоставляется обзор новейшей кроссплатформенной библиотеки FireMonkey, позволяющей создавать программное обеспечение не только дЛЯ ОС Мiсrosоft Windows, но и для Мас OS Х. Примеры проектов из книги размещены на сайте издатель

Структура магии. Том-2

В первом томе "Структуры магии" мы приступили к тому, чтобы в открытой, доступной для обучения форме представить в распоряжение психотерапевтов магические умения.

Структура магии. Том-1

Из глубины веков доходят до нас песни и легенды о чудесной власти магов и кудесников.

Профессор Ҳамид Зиёевнинг илмий ва педагогик фаолияти

Ушбу китобда профессор Ҳамид Зиёевнинг илмий ва педагогик фаолияти ҳақида маълумотлар берилган.

Гидравлика

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

Photoshop 7 Библия пользователя

Эта книга предназначена для пользователей с различным уровнем подготовки, как для профессионалов, так и новичков, которые только начинают знакомиться с лучшей программой для редактирования изображений — Adobe Photoshop. В ней вы найдете описание последней, уже седьмой по счету версии программы. Автор в очень увлекательной форме описывает основные приемы работы с программой, способы создания невероятных спецэффектов, а также многое другое. Кроме того, в книге подробно рассмотрены все новые средства, впервые представленные в Photoshop 7, благодаря которым эта программа стала еще более совершенной

Ouzbekistan-France: La cooperation a une nouvelle etape de 0-94 developpement (Album-livre )

Pour lutter contre le terrorisme, phenomene transnational s’il en est, l’Ouzbekistan multiplie aussi les partenariats avec les pays etrangers. Chavkat Mirzioiev a ainsi signe une serie d’accords strategiques avec Narendra Modi, le Premier ministre indien. Les deux dirigeants ont acte le principe d’exercices militaires conjoints entre leurs deux armees en matiere antiterroriste, ainsi que le renforcement des echanges entre leurs propres services de securite. Ce a quoi Chavkat Mirzioiev a repondu que le partenariat avec l’lnde etait l’une de ses «plus importantes priorites».

Программирование для Web. Библиотека профессионала

В данной книге читатель найдет все необходимые сведения, позволяю щ ие создавать W eb-страницы, включать в них исполняемый код, а также реализовать программы, выполняющиеся на стороне сервера. В ней достаточно полно описаны языковые конструкции, соответствующие спецификации HTML 4.0, приведены подробные сведения о языке Java, рассматривается создание сервлетов и JSP, обработка XML-документов, построение программ, выполняю щихся на стороне клиента (аплетов и JavaScript-сценариев), и многие другие вопросы