Litgu.ru - Литературный Гуру

Название: Introducing Software Verification with Dafny Language: Proving Program Correctness
Автор: Boro Sitnikovski
Издательство: Apress
Год: 2022
Формат: True (PDF, ePUB)
Страниц: 144
Размер: 10 Mb
Язык: English

Get introduced to software verification and proving correctness using the Microsoft Research-backed programming language, Dafny. While some other books on this topic are quite mathematically rigorous, this book will use as little mathematical symbols and rigor as possible, and explain every concept using plain English. It's the perfect primer for software programmers and developers with C# and other programming language skills.

Название: Patterns of Software Construction: How to Predictably Build Results
Автор: Stephen Rylander
Издательство: Apress
Год: 2022
Формат: True (PDF, ePUB)
Страниц: 147
Размер: 10 Mb
Язык: English

Master how to implement a repeatable software construction system. This book closely examines how a system is designed to tie a series of activities together that are needed when building software-intensive systems.
Software construction and operations don't get enough attention as a repeatable system. The world is stuck in agile backlog grooming sessions, and quality is not increasing. Companies' budgets are shrinking, and teams need a way to get more done with less, consistently. This topic is very relevant to our current economic conditions and continuing globalization trends. A reason we constantly need more hands-on-the-keyboards is because of all the waste created in development cycles. We need more literature on how to "do software" not just write software.

Название: Efficient Go: Data Driven Performance Optimization (Early Release)
Автор: Bartlomiej Plotka
Издательство: O’Reilly Media
Год: 2022-03-01: Third Release
Формат: ePUB
Размер: 10 Mb
Язык: English

Software engineers today typically put performance optimizations low on the list of development priorities. But despite significant technological advancements and lower-priced hardware, software efficiency still matters. With this book, Go programmers will learn how to approach performance topics for applications written in this open source language.
How and when should you apply performance efficiency optimization without wasting your time? Authors Bartlomiej Plotka and Frederic Branczyk provide the tools and knowledge you need to make your system faster using fewer resources. Once you learn how to address performance in your Go applications, you'll be able to bring small but effective habits to your programming and development cycle.

Название: Программирование. Теория типов
Автор(ы): Кудрявцева И.А., Швецкий М.В.
Издательство: Юрайт
Год: 2022
Страниц: 652
Формат: PDF
Размер: 165 Мб
Язык: русский

Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Теоретические основы программирования», содержащих теоретические сведения по элементам теории типов, теории категорий и интуиционистской логике. Особое внимание уделено методам решения основных задач теории типов (TCP,TSP,TIP).

Название: Data Science on the Google Cloud Platform, 2nd Edition (Early Release)
Автор: Valliappa Lakshmana
Издательство: O’Reilly Media
Год: 2022-03-01: Third Release
Формат: ePUB
Размер: 10 Mb
Язык: English

Learn how easy it is to apply sophisticated statistical and machine learning methods to real-world problems when you build using Google Cloud Platform (GCP). This hands-on guide shows data engineers and data scientists how to implement an end-to-end data pipeline, using statistical and machine learning methods and tools on GCP.
Through the course of this updated second edition, you'll work through a sample business decision by employing a variety of data science approaches. Follow along by implementing these statistical and machine learning solutions in your own project on GCP, and discover how this platform provides a transformative and more collaborative way of doing data science.

Название: Программирование. Учебник и практикум
Автор(ы): Зыков С.В.
Издательство: Юрайт
Год: 2022
Страниц: 320
Формат: PDF
Размер: 122 Мб
Язык: русский

Информационные технологии сегодня пронизывают практически все сферы деятельности современного общества, проникают в жизнь каждого человека. Преемственность поколений электронных технологий и устройств обеспечивается с помощью специализированых сред их разработки, или программно-аппаратных платформ, а также средств, координирующих их взаимодействие, включая, прежде всего, языки программирования. Основной задачей курса является формирование точки зрения на современную теорию и практику программирования.

Название MS Visual C++ 2010 в среде .NET: . Библиотека программиста
Издательство: Питер
Автор: Зиборов В.В.
Год: 2012
Количество страниц:320
Язык:русский
Формат: pdf+ CD
Размер:69 Mb

Книга посвящена программированию в среде Visual Studio 2010 на языке программирования C++/CLI. Автор выделил наиболее типичные и актуальные задачи, которые обычно стоят перед программистами, и представил их готовые решения. Разобрано более сотни конкретных примеров и алгоритмов.

Название: Этичный хакинг. Практическое руководство по взлому
Автор: Грэм Дэниэль
Издательство: Питep
Год: 2022
Формат: PDF
Страниц: 384
Размер: 10,5 Mb
Язык: Русский

Практическое руководство по взлому компьютерных систем с нуля, от перехвата трафика до создания троянов.
Книга "Этичный хакинг" освещает современные проблемы кибербезопасности и помогает освоить навыки, необходимые любому этичному хакеру. Сделайте первый шаг в карьере пентестера, ознакомившись с методами взлома, которые используют эксперты.

Название: Fundamentals and Methods of Machine and Deep Learning: Algorithms, Tools, and Applications
Автор: Pradeep Singh
Издательство: Wiley
Год: 2022
Формат: True PDF
Страниц: 456
Размер: 15,7 Mb
Язык: English

The book provides a practical approach by explaining the concepts of machine learning and deep learning algorithms, evaluation of methodology advances, and algorithm demonstrations with applications.
Over the past two decades, the field of machine learning and its subfield deep learning have played a main role in software applications development. Also, in recent research studies, they are regarded as one of the disruptive technologies that will transform our future life, business, and the global economy.

Название: Distributed Machine Learning and Gradient Optimization
Автор: Jiawei Jiang, Bin Cui, Ce Zhang
Издательство: Springer
Год: 2022
Формат: True PDF
Страниц: 179
Размер: 10 Mb
Язык: English

This book presents the state of the art in distributed machine learning algorithms that are based on gradient optimization methods. In the big data era, large-scale datasets pose enormous challenges for the existing machine learning systems. As such, implementing machine learning algorithms in a distributed environment has become a key technology, and recent research has shown gradient-based iterative optimization to be an effective solution.