|
 |
|
 |
|
|
 |
|  |
|
 Название: Discrete Mathematics for Computer Science
Автор: Pomde N.P.
Издательство: Arcler Press
Год: 2024
Страниц: 243
Язык: английский
Формат: pdf (true)
Размер: 40.7 MB
This book discusses the role of proofs in mathematics and Computer Science. In mathematics, a proof involves validating a proposition through logical deductions from axioms. Computer scientists focus on demonstrating program accuracy, given the increasing error susceptibility of software. A community of specialists aims to enhance program precision, extending to verifying computer processor chips for leading manufacturers. Creating mathematical models to affirm program validity is an active study area. A proof, in this context, involves a sequence of logical deductions from axioms and established statements, leading to the desired proposition. While crafting proofs may seem daunting, standard templates offer a framework. Some templates can be interconnected, providing both high-level structure and detailed guidance. The Principle of Mathematical Induction is applied to validate algorithms without computer reliance. Sets underpin modern mathematics and software engineering, introduced with language and typical tasks. Primary set operations' understanding enables proof techniques for functions, relations, and graphs, validating algorithms for specific tasks. The book delves into language describing element collections and sets, providing proof templates for comprehension and construction. The book covers common set operations, introduces additional proof templates, and addresses numbering elements and the Principle of Mathematical Induction. This exploration deepens the understanding of mathematical proofs and their role in Computer Science applications. | |
Разместил: Ingvar16 23-08-2024, 15:07 | Комментарии: 0 | Подробнее
| | | |
 |
|  |
|
|
|
|
|
|
| |
|
 Название: Free Pascal и Lazarus. Учебник по программированию
Автор: Алексеев Е.Р., Чеснокова О.В., Кучер Т.В.
Издательство: ДМК-пресс
Год: 2010
Cтраниц: 442
Формат: pdf
Размер: 13 мб
Язык: русский
Free Pascal - свободная реализация языка Паскаль, совместимая с Borland Pascal и Object Pascal - Delphi, но при этом обладающая и некоторыми дополнительными возможностями. Свободный компилятор Free Pascal - кросплатформенный продукт, реализованный, в частности, для операционных систем Linux и Windows. Данная книга представляет собой учебник по алгоритмизации и программированию на основе языка Free Pascal. | |
Разместил: rivasss 23-08-2024, 06:32 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Mastering Design Patterns in TypeScript: An Approachable Guide
Автор: Adegoke Akintoye
Издательство: Leanpub/Juri Books
Год: March 31, 2024
Страниц: 113
Язык: английский
Формат: pdf (true), azw3, mobi, epub
Размер: 10.1 MB
TypeScript, a superset of javascript, has gained tremendous popularity in recent years, particularly in the realm of large-scale application development. Its strong typing, object-oriented features, and seamless integration with javascript make it an ideal choice for implementing design patterns effectively. This book, "Mastering Design Patterns in TypeScript: An Approachable Guide," is a concise yet comprehensive resource that aims to demystify design patterns and make 10 them accessible to developers with a basic understanding of TypeScript and object-oriented programming (OOP) concepts. Weighing in at just slightly over 100 pages, this book avoids unnecessary fluff and aims to provide you with a focused and efficient learning experience, respecting your valuable time. Whether you are a seasoned TypeScript developer or new to the language but have experience with OOP in other programming languages similar to TypeScript, this book will guide you through the intricacies of 23 essential design patterns, providing a practical and straightforward approach to understanding and applying them. Each chapter is dedicated to a specific design pattern, offering a clear explanation of its purpose, structure, and applicability. The book goes beyond mere theoretical explanations by providing practical implementations in TypeScript, allowing you to see these patterns in action. Additionally, you'll find insightful discussions on the advantages and disadvantages of each pattern, helping you make informed decisions when incorporating them into your projects. Whether you are working on web applications, server-side applications, or any other TypeScript-based project, this book will equip you with the knowledge and tools to write more robust, flexible, and maintainable code. By mastering design patterns, you'll be able to tackle complex challenges with confidence and create software that stands the test of time. | |
Разместил: Ingvar16 23-08-2024, 04:35 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Geospatial Data Science Essentials: 101 Practical Python Tips and Tricks
Автор: Milan Janosov
Издательство: Independently published
Год: 2024
Страниц: 487
Язык: английский
Формат: pdf, epub
Размер: 30.5 MB
Geospatial Data Science Essentials is your hands-on guide to mastering the science of geospatial analytics using Python. Designed for practitioners and enthusiasts alike, this book distills years of experience by wrapping up 101 key concepts from theory to implementation, ensuring you gain a practical understanding of the tools and methods that define the geospatial Data Science landscape today. Whether you are a seasoned data scientist, a GIS professional, a newcomer to spatial data, or simply a map lover, this book provides you solid foundation to level up your skills. The book is centered around practicalities, as you will explore real-world examples with compact code throughout ten topics and 101 sections. From understanding spatial data structures to leveraging advanced analytical techniques, from spatial networks to Machine Learning, this book equips you with a wide range of knowledge to navigate and succeed in the rapidly evolving field of geospatial Data Science. Creating a starting point for this book was truly a challenge, even after spending countless days and nights rewriting and revising section after section. So, cutting it short, my goal was simply to compile the essentials of geospatial Data Science in Python that I wish someone had handed me when I began working with spatial data. This book avoids overburdening details and theoretical depths — there are great books on that already. Instead, I wanted to focus on the most practical aspects and tons of Python coding on geospatial Data Science topics. My aim was to show you how to use Python for geospatial analytics, to provide a solid foundation, and to offer an overview of the different tools and methods of the current geospatial Data Science stack. | |
Разместил: Ingvar16 23-08-2024, 02:47 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Core Java for the Impatient, 4th Edition
Автор: Cay S. Horstmann
Издательство: Pearson Education
Год: 2025
Страниц: 512
Язык: английский
Формат: pdf, epub
Размер: 10.1 MB
Modern Java introduces major enhancements that impact the core Java technologies and APIs at the heart of the Java platform. Many old Java idioms are no longer needed, and new features and programming paradigms can make you far more effective. However, navigating these changes can be challenging. Core Java for the Impatient, Fourth Edition, is a complete yet concise guide that reflects all changes through Java SE 21, Oracle's latest Long-Term Support (LTS) release. Written by Cay S. Horstmann--author of the classic two-volume Core Java--this indispensable tutorial offers a faster, easier pathway for learning modern Java. Horstmann covers everything working developers need to know, including the powerful concepts of lambda expressions and streams, modern constructs such as records and sealed classes, and sophisticated concurrent programming techniques. Given the size and scope of Java 21, there's plenty to cover, but it's presented in small chunks organized for quick access and easy understanding, with plenty of practical insights and sample code to help you quickly apply all that's new. This book is fully updated to Java 21. It uses modern features and does not dwell on historical or obsolete constructs. Preview features that may make it to the language in the future are not covered either. A key reason to use Java is to tackle concurrent programming. With parallel algorithms and threadsafe data structures readily available in the Java library, the way application programmers should handle concurrent programming has completely changed. I provide fresh coverage, showing you how to use the powerful library features instead of error-prone low-level constructs. | |
Разместил: Ingvar16 23-08-2024, 01:20 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
Название: Грокаем Continuous Delivery
Автор(ы): Уилсон Кристи
Издательство: Питер
Год: 2024
Страниц: 402
Формат: PDF
Размер: 13 Мб
Язык: русский
Код должен быть готов к релизу всегда!
Пайплайн Continuous Delivery автоматизирует процессы контроля версий, тестирования и развертывания при минимальном вмешательстве разработчика. Освойте инструменты и методы непрерывной доставки, и вы сможете быстро и последовательно добавлять функции и выпускать обновления.
| |
Разместил: MIHAIL62 23-08-2024, 00:45 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
Название: PowerShell: практическая автоматизация
Автор: Доуст Мэтью
Издательство: Питер
Год: 2025
Формат: pdf
Страниц: 416
Для сайта: Mirknig.su
Размер: 21,9 Мб
Язык: русский
PowerShell — это язык для написания скриптов, инструмент, позволяющий программно управлять всем центром обработки данных. С его помощью можно создавать высокоэффективные и надежные системы автоматизации, пригодные для многократного использования и значительно повышающие производительность специалистов. Из этой книги вы узнаете, как проектировать, разрабатывать, организовывать и развертывать скрипты для автоматизации задач любого масштаба: от локальных серверов до корпоративных облачных платформ. Вы узнаете, как создавать скрипты PowerShell для автоматизации локальных и облачных систем. Найдете советы по определению задач, которые стоит автоматизировать, по организации структуры скриптов и управлению ими, а также множество примеров кода с подробными пояснениями. Научитесь адаптировать уже готовые скрипты к новым условиям применения и упрощать работу специалистов не-технического профиля при помощи простых и понятных интерфейсов SharePoint. | |
Разместил: relizer 22-08-2024, 19:54 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Serious Cryptography: A Practical Introduction to Modern Encryption, 2nd Edition
Автор: Jean-Philippe Aumasson
Издательство: No Starch Press
Год: 2025
Страниц: 376
Язык: английский
Формат: epub
Размер: 14.8 MB
This practical guide to modern encryption breaks down the fundamental mathematical concepts at the heart of cryptography without shying away from meaty discussions of how they work. You’ll learn about authenticated encryption, secure randomness, hash functions, block ciphers, and public-key techniques such as RSA and elliptic curve cryptography. The initial title of this book was Crypto for Real to stress the practice-oriented, real-world, no-nonsense approach I follow. I wanted to make cryptography approachable not by dumbing it down but by tying it to real applications. I provide source code examples and describe real bugs and horror stories. Along with a clear connection to reality, other cornerstones of this book are its simplicity and its modernity. I focus on simplicity in form more than in substance: I present nontrivial concepts without the dull mathematical formalism. Instead, I attempt to impart an understanding of cryptography’s core ideas, which are more important than remembering a bunch of equations. To ensure the book’s modernity, I cover the latest developments and applications of cryptography, such as TLS 1.3 and post-quantum cryptography. I don’t discuss the details of obsolete or insecure algorithms such as DES or MD5. Serious Cryptography isn’t a guide to crypto software, nor is it a compendium of technical specifications—stuff that you’ll easily find online. Instead, its foremost goal is to get you excited about cryptography and teach you its fundamental concepts along the way. Each chapter includes a discussion of common implementation mistakes using real-world examples and details what could go wrong and how to avoid these pitfalls. This new second edition has been thoroughly revised and updated, with a new chapter on cryptocurrency. | |
Разместил: Ingvar16 22-08-2024, 19:14 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Искусство автономного тестирования с примерами на C#
Автор: Ошероув Рой
Издательство: ДMK
Год: 2014
Cтраниц: 360
Формат: pdf/djvu
Размер: 16 мб
Язык: русский
Во втором издании книги "Искусство автономного тестирования" автор шаг за шагом проведет вас по пути от первого простенького автономного теста до создания полного комплекта тестов – понятных, удобных для сопровождения и заслуживающих доверия. Вы и не заметите, как перейдете к более сложным вопросам – заглушкам и подставкам – и попутно научитесь работать с изолирующими каркасами типа Moq, FakeItEasy или Typemock Isolator. Вы узнаете о паттернах тестирования и организации тестов, о том, как проводить рефакторинг приложений и тестировать "нетестопригодный" код. Не забыл автор и об интеграционном тестировании и тестировании работы с базами данных. | |
Разместил: rivasss 22-08-2024, 19:13 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Quantum Software: Aspects of Theory and System Design
Автор: Iaakov Exman, Ricardo Perez-Castillo, Mario Piattini, Michael Felderer
Издательство: Springer
Год: 2024
Страниц: 358
Язык: английский
Формат: pdf (true)
Размер: 40.8 MB
This book explains the state of the art in Quantum Software engineering and design, independent from a specific hardware. It deals with quantum software theoretical aspects and with classical software engineering concepts like agile development approaches, validation, measurement, and deployment applied in a quantum or hybrid environment, and is complemented by a number of various industry applications. After an introductory chapter overviewing the contents of the subsequent chapters, the book is composed of three parts. It starts with a theoretical part on quantum software, as a bold declaration that quantum software theory is deep and valuable independent from the existence of specific quantum hardware. It is based upon the claim that quantum software is the more general theory subsuming classical and hybrid software system theories. The second, more extensive part deals with quantum software system and engineering design. Its quality follows from the comparison of the broad diversity of sometimes conflicting views. Moreover, the variety of approaches to design, enable the reader to make a well-pondered rational choice of preference. The book concludes with a third part, referring to multiple software applications and corresponding laboratory experiences, in order to understand their implications in practice and avoid repeating past mistakes. This book should be of interest to industry professionals and researchers in academia, who are either producing or applying quantum software systems in their work or are considering their potential utility in the future. Furthermore, this text could be beneficial for practitioners already experienced with classical software engineering who desire to understand the fundamentals of quantum software, including the underlying technology, programming techniques, and possible applications. | |
Разместил: Ingvar16 22-08-2024, 17:31 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
Навигация
Вход на сайт
Реклама
