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.

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.

Международные стандарты аудита

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

Boshlang'ich sinfarda ona tili o'qitish metodikasi

Darslikda boshlang'ich ta'lim va malaka oshirish kursining boshlang'ich sinflarida "Ona tili o'qitish metodikasi" faninig mazmun - mohiyati, ilmiy, nazariy va metodik jihatdan batafsil yoritilgan bo'lib, oliy ta'lim muassasalari va malaka oshirish kursidagi o'quv-tajriba jarayonini tashkil etishda qo'yilayotgan zamonaviy talablar asosida qayta takomillashtirilib yaratilgan.

История экономических учений

В учебнике рассматриваются основные школь! и направления мировой экономической мысли, начиная с Древнего Востока и античного мира, и заканчивая развитием современной экономической теории.

Deutschdidaktik

Ushbu darslik oliy ta'lim muassasasida xorijiy til yo'nalishida tahsil olayotgan talabalarga? ilmiy izlanuvchilarga mo'ljallangan.

Эпидемиология

Дарсликда одамлар орасида ҳар қандай патологик ҳолатларнинг (касалликларнинг) пайдо бўлиши ва тарқалиши қонуниятларини ўрганадиган ва уларга қарши кураш чора-тадбирларини ишлаб чиқадиган фан сифатидаги эпидемиологиянинг ҳозирги замондаги баёни тақдим этилган.

Deutsch Grobes Ubungsbuch Grammatik

Ushbu darslik oliy ta'lim muassasasida taxsil olayotgan xorijiy til yo'nalishida taxsil olayotgan kitobxon talabalarga, ilmiy ixlanuvchilarga mo'ljallangan.