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

Logic and language models for computer science

This unique compendium highlights the theory of computation, particularly logic and automata theory. Special emphasis is on computer science applications including loop invariants, program correctness, logic programming and algorithmic proof techniques. This innovative volume differs from standard textbooks, by building on concepts in a different order, using fewer theorems with simpler proofs. It has added many new examples, problems and answers. It can be used as an undergraduate text at most universities.

Cloud FinOps. Collaborative, real-time cloud value decision making

FinOps brings financial accountability to the variable spend model of cloud. Used by the majority of global enterprises, this management practice has grown from a fringe activity to the de facto discipline managing cloud spend. In this book, authors J.R. Storment and Mike Fuller outline the process of building a culture of cloud FinOps by drawing on real-world successes and failures of large-scale cloud spenders. Engineering and finance teams, executives, and FinOps practitioners alike will learn how to build an efficient and effective FinOps machine for data-driven cloud value decision-making. Complete with a road map to get you started, this revised second edition includes new chapters that cover forecasting, sustainability, and connectivity to other frameworks.

Химиявий яриммикро сифат анализи. Дарслик.

Кейинги икки ўн йиллик давомида аналитик химия- нинг тараккиёти микро ҳамда яриммикро химиявий усулларнинг клиник, санитария-гигиеник ва биохимия лабораторияларида тобора кенг қўлланилаётганлиги билан характерланади.

Market leader.

ADVANCED BUSINESS ENGLISH PRACTICE FILE.

Useful Python

In this series of tutorials, we’re not looking at data science. That is, this isn’t about doing heavy statistical or numerical calculations on data we’ve received. Python is one of the industry-standard tools for doing calculations like these using libraries such as NumPy and pandas and there are plenty of resources available for learning data science. In this series, we’ll looking at how to convert data from one form to another so that we can then go on to manipulate it. We’re also going to assume a little knowledge of Python and programming already such as what a variable is, what a dictionary is, and how to import a module.

Linux core dump analysis accelerated

The full-color transcript of Software Diagnostics Services training. Learn how to analyze Linux process and kernel crashes and hangs, navigate through core memory dump space and diagnose corruption, memory leaks, CPU spikes, blocked threads, deadlocks, wait chains, and much more. This training uses a unique and innovative pattern-oriented diagnostic analysis approach to speed up the learning curve. The training consists of 47 practical step-by-step exercises using GDB and WinDbg debuggers, highlighting almost 40 memory analysis patterns diagnosed in 64-bit core memory dumps from x64 and ARM64 platforms. The training also includes source code of modeling applications, a catalog of relevant patterns from the Software Diagnostics Institute, and an overview of relevant similarities and differences between Windows and Linux memory dump analysis useful for engineers with a Wintel background. In addition to various improvements, the third edition includes a review of relevant x64 and ARM64 disassembly and a new set of ARM64 GDB exercises.

Zed attack proxy cookbook. Hacking tactics, techniques, and procedures for testing web applications and APIs

Book Description. Maintaining your cybersecurity posture in the ever-changing, fast-paced security landscape requires constant attention and advancements. This book will help you safeguard your organization using the free and open source OWASP Zed Attack Proxy (ZAP) tool, which allows you to test for vulnerabilities and exploits with the same functionality as a licensed tool. Zed Attack Proxy Cookbook contains a vast array of practical recipes to help you set up, configure, and use ZAP to protect your vital systems from various adversaries. If you're interested in cybersecurity or working as a cybersecurity professional, this book will help you master ZAP. You'll start with an overview of ZAP and understand how to set up a basic lab environment for hands-on activities over the course of the book. As you progress, you'll go through a myriad of step-by-step recipes detailing various types of exploits and vulnerabilities in web applications, along with advanced techniques such as Java deserialization.

G‘aznachilik

Darslikda byudjet tizimi byudjetlari g‘azna ijrosi jarayonini tashkil etishning dolzarb masalalari hamda ilmiy va uslubiy jihatlari yoritilgan. Darslikda byudjet g‘azna ijrosini tashkil etish va faoliyati mexenizmiga doir iboralar, tushunchalar, o‘zlashtirish uchun savollar, adabiyotlar ro'yxati keltirilgan.

Byudjet hisobi

Darslikda O‘zbekiston Respublikasida byudjet hisobini tashkil etishning dolzarb masalalari hamda tashkiliy va uslubiy asoslari yoritilgan. Byudjet hisobiga oid mavzular, tayanch tushunchalar, takrorlash uchun savollar, testlar, adabiyotlar ro‘yxati keltirilgan.

Audit

Ushbu darslik bakalavriatning «Buxgalteriya hisobi va audit» ta’Iim yo‘nalishi talabalari uchun moijallangan bo‘lib, unda «Audit» fanining nazariy va amaliy asoslari bayon qilingan. Ushbu darslikda auditorlik faoliyatining tashkiliy va huquqiy asoslari, audit standartlari, auditorlik faoliyatini rejalashtirish va audit amallari hamda boshqa shu kabi mavzular yoritib berilgan.

Kubernetes patterns. Reusable elements for designing cloud native applications

The way developers design, build, and run software has changed significantly with the evolution of microservices and containers. These modern architectures offer new distributed primitives that require a different set of practices than many developers, tech leads, and architects are accustomed to. With this focused guide, Bilgin Ibryam and Roland Huss provide common reusable patterns and principles for designing and implementing cloud native applications on Kubernetes. Each pattern includes a description of the problem and a Kubernetes-specific solution. All patterns are backed by and demonstrated with concrete code examples. This updated edition is ideal for developers and architects familiar with basic Kubernetes concepts who want to learn how to solve common cloud native challenges with proven design patterns.

React programming. The big nerd ranch guide

React is today's most popular open-source JavaScript library for front-end web application development. React Programming: The Big Nerd Ranch Guide helps programmers with experience in HTML, CSS, and JavaScript master React through hands-on examples. Based on Big Nerd Ranch's popular React Essentials bootcamp, this guide illuminates key concepts with realistic code, guiding you step by step through building a starter app and a complete, production-ready app, both crafted to help you quickly leverage React’s remarkable power. Use React to write reliable, declarative code, create carts and other e-commerce features, optimize performance, and gain experience with component and end-to-end testing. Along the way, you will learn to use tools like Create React App, functional components, hooks, ESLint, React Router, websockets, the React Testing Library, and Cypress.

The Foreign Ianguge (Educational tourism)

Taqdim qilinayotgan mazkur "The foreign ianguage" (Educational tourism) darsligi 6 bo'lim va audio diskdan iborat bo'lib, ingliz tilida turizm sektori bo'yicha o'ziga xos xususiyatlari, shu sohada muvaffaqiyatli biznes yuritish, muammoli vaziyatlar, biznes reja,biznes yig'ilish o'tkazish va bayonnomalar tuzish kabi holatlar orqali barcha darajada talabalarning o'qish, yozish, gapirish va eshitish ko'nikmalarini rivojlantirishga qaratilgan.

O'zbekiston tarixi

«O'zbekiston tarixi» fanidan mazkur darslik nomutaxassislik oliy ta'lim muassasalari tarix fani professor-o'qituvchilari va bakalavriat bosqichi barcha yo‘nalishlari talabalari uchun mo‘ljallangan. Unda o‘zbck xalqi va uning davlatchilik tarixining ilk davrlaridan, bugungi kungacha bo‘lgan tarixiy jarayonlar davriy ketma-ketlikda yoritilgan. Darslik 0‘zbekiston Respublikasi Oliy vao‘rtamaxsusta'lim vazirligining 2019 yil 4.10. dagi Nc 892-sonli buyrug‘i bilan ma'qullangan namunaviy o‘quv dasturi asosida tayyorlangan.

Mintaqaviy iqtisodiyot

“Mintaqaviy iqtisodiyot” fani bo‘yicha mazkur darslik shu fanning fan dasturi bo‘yicha barcha mavzular yoritilgan. Unda ushbu fanning prospekti, mavzular bo‘yicha matn annotatsiyalari va ular bo'yicha oxirgi yangiliklar, fan bo‘yicha testlar, fanga doir video ma'ruzalar va videoroliklar, talabaning semestr davomidagi mustaqil ishiga oid topshiriqlar, glossariylar hamda tavsiya etiladigan elektron jurnallar va internet saytlar bayon qilingan.

Ommaviy tadbirlar rejissurasi

Mazkur darslikda ommaviy tadbirlarda tomoshalar ko'rinishi, dekaratsiyasi, aktyorlar holati, rejissyorning roli haqida qimmatli fikrlar bildiriladi. Shuningdek, darslikda ommaviy tadbirni sahnalashtirishdagi rejissyor ishining asosiy yo'nalishlari muhokama qilinmaydi, balki su san'at turida respublikamiz va chet ellardagi atoqli rejissoyrlarning amalda sinab ko'rgan ijodiy topilma va usullari haqida ham fikr yuritiladi.