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

Logic for Computer Science. Lecture Notes

This set of lecture notes has been prepared as a material for a logic course given in the Swedish National Graduate School in Computer Science (CUGS). The course is focused on various aspects of classical and non-classical logics, including: • the classical propositional and predicate calculus • modal logics, including logics of programs and temporal logics • fixpoint calculus. The main emphasis is put on automated deduction and computer science applications of considered logics. Automated deduction techniques are presented mainly in the context of the classical logics.

ВЕТЕРИНАРНАЯ МИКРОБИОЛОГИЯ

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

3 Sonatas

for cello and piano

Элементы математической статистики

В книге дается общедоступное изложение простейших методов математической статистики.

Канон врачебной науки. Том- 2

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

ЯРМАРКА ТЩЕСЛАВИЯ

Вершиной творчества английского писателя, журналиста и графика Уильяма Мейкписа Теккерея стал роман «Ярмарка тщеславия». Все персонажи романа – положительные и отрицательные – вовлечены, по словам автора, в «вечный круг горя и страдания». Насыщенный событиями, богатый тонкими наблюдениями быта своего времени, проникнутый иронией и сарказмом, роман «Ярмарка тщеславия» занял почетное место в списке шедевров мировой литературы

Сюита

Переложение для альта

6 Сюита для альта соло

Сюита 1. Прелюдия

Концерт С-moll

для альта с оркестром

Concerto for Viola and Strings and Basso Continuo

for viola

Gidravlika I (asosiy kurs)

Gidravlika va ochiq o’zanlar gidravlikasi asoslari batafsil yoritilgan. Suyqlikning barqaror va beqaror xarakatlari differensial tenglamalari va ularni echimlarini aniqlashdagi barcha asosiy tushunchalar keltirilgan. Gidravlik hisoblarni bajarilishini ta ’ minlovchi nazariy asoslar aniq va ravon mantiqiy ketma-ketlikda berilgan.

Энергоменежджмент энергосбережение в зданиях

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

САМЫЙ БОГАТЫЙ ЧЕЛОВЕК В ВАВИЛОНЕ

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

Хроматическая фантазия

для виола

Brandenburg Concerto No. 6

Viola II

Справочник по уходу за больными детьми

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