Название: Logic and Language Models for Computer Science, 4th Edition
Автор: Dana Richards, Henry Hamburger
Издательство: World Scientific Publishing
Год: 2023
Страниц: 497
Язык: английский
Формат: pdf (true)
Размер: 11.2 MB

This unique compendium highlights the theory of computation, particularly logic and automata theory. Special emphasis is on Computer Science (CS) 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. The models in this book are simplifications too, but not of material objects like airplanes. For computer scientists, the objects of study lie mainly in the world of symbols. In this book, it will be computer software and especially the programming languages in which that software is written from which we draw our models and to which we apply them. We have chosen to focus on language, the crucial link between hardware and software. Programming languages permit software to be written and language processors - compilers, interpreters and assemblers - permit hardware to run that software. Sometimes a model proves to be so interesting and widely applicable that it becomes an object of study in its own right. That is the case with the logic and language models in this book.

Название: 2D Computer Vision: Principles, Algorithms and Applications
Автор: Yu-Jin Zhang
Издательство: World Scientific Publishing
Год: 2022
Страниц: 556
Язык: английский
Формат: pdf (true)
Размер: 30.9 MB

This special compendium introduces the basic principles, typical methods and practical techniques of 2D computer vision. The volume comprehensively covers the introductory content of computer vision and the materials are selected based on courses conducted in the past 20 years.The useful textbook provides numerous examples and self-test questions (including hints and answers) through intuitive explanations to help readers understand abstract concepts.This unique reference text provides the first computer vision course service for undergraduates of related majors in university and colleges. It also allows teachers to carry out online courses and strengthen teacher-student interaction when teaching

Название: C, C++ & C# in easy steps, Special Edition
Автор: Mike McGrath
Издательство: In Easy Steps Limited
Год: 2023
Страниц: 373
Язык: английский
Формат: epub
Размер: 18.0 MB

C, C++ & C# in easy steps is a comprehensive guide to help you create your own programs in the C, C++ and C# programming languages, combining knowledge from the latest C, C++ and C# books in the In Easy Steps series. Color-coded example programs together with screenshots illustrate the output when the program has been executed, making it easy to grasp. Download the FREE sample code for checking against your own work. All examples demonstrate C and C++ features supported by current compilers on both Windows and Linux operating systems, and demonstrate C# features in the Microsoft Visual Studio development suite – all in easy steps! Ideal for programmers, students and novices seeking a career in computing who need a fundamental understanding of procedural programming.

Название: Фундаментальный подход к программной архитектуре: паттерны, свойства, проверенные методы
Автор: Марк Ричардс, Нил Форд
Издательство: Питер
Год: 2023
Страниц: 448
Язык: русский
Формат: pdf
Размер: 10.18 MB

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

Название: Mathematical Analysis of Machine Learning Algorithms
Автор: Tong Zhang
Издательство: Cambridge University Press
Год: 2023
Страниц: 469
Язык: английский
Формат: pdf (true)
Размер: 10.1 MB

The mathematical theory of Machine Learning not only explains the current algorithms but can also motivate principled approaches for the future. This self-contained textbook introduces students and researchers of AI to the main mathematical techniques used to analyze Machine Learning algorithms, with motivations and applications. Topics covered include the analysis of supervised learning algorithms in the iid setting, the analysis of neural networks (e.g. neural tangent kernel and mean-field analysis), and the analysis of Machine Learning algorithms in the sequential decision setting (e.g. online learning, bandit problems, and reinforcement learning). Students will learn the basic mathematical tools used in the theoretical analysis of these Machine Learning problems and how to apply them to the analysis of various concrete algorithms. This textbook is perfect for readers who have some background knowledge of basic Machine Learning methods, but want to gain sufficient technical knowledge to understand research papers in theoretical Machine Learning.

Название: Python for Beginners - 15th Edition 2023
Автор: Papercut Limited
Издательство: Papercut Limited
Год выхода: 2023
Страниц: 92
Формат: PDF
Размер: 68,2 MB
Язык: английский

The Python for Beginners, teaches the basics of Python so you will be able to start coding in no time!
This genius guide to Python Programming covers everything from basic syntax to algorithm implementation and data structures, while teaching you how to program basic functions and complete algorithmic tasks using the Python programming language.
The examples are kept simple yet complete so that you can build on them to gain a greater understanding of the language, whilst this book doesn't go into advanced techniques, it does discuss some interesting extensions to Python that extend its features, such as modules.
An elaborate introduction to the Python programming language is also provided where all the topics needed to get started including syntax, variables, functions, modules, loops, and much more, have been covered

Название: Techniques for Designing and Analyzing Algorithms
Автор: Douglas R. Stinson
Издательство: CRC Press
Год: 2022
Страниц: 445
Язык: английский
Формат: pdf (true)
Размер: 37.4 MB

Design and analysis of algorithms can be a difficult subject for students due to its sometimes-abstract nature and its use of a wide variety of mathematical tools. Here the author, an experienced and successful textbook writer, makes the subject as straightforward as possible in an up-to-date textbook incorporating various new developments appropriate for an introductory course. This text presents the main techniques of algorithm design, namely, divide-and-conquer algorithms, greedy algorithms, dynamic programming algorithms, and backtracking. Graph algorithms are studied in detail, and a careful treatment of the theory of NP-completeness is presented. In addition, the text includes useful introductory material on mathematical background including order notation, algorithm analysis and reductions, and basic data structures. This will serve as a useful review and reference for students who have covered this material in a previous course.

Название: 100 Java Mistakes and How to Avoid Them (MEAP v6)
Автор: Tagir Valeev
Издательство: Manning Publications
Год: 2023
Страниц: 285
Язык: английский
Формат: pdf, epub
Размер: 10.2 MB

Dodge the common mistakes that even senior developers make, take full advantage of static analysis tools, and deliver robust and error-free Java code. Whenever you make a mistake writing Java, it’s almost guaranteed that someone else has made it before! In 100 Java Mistakes and How To Avoid Them you’ll learn about the common and the not-so-common antipatterns, errors, and tricky bits that trip up almost every Java developer. Discover the bugs that are hiding in your Java code, and explore useful and effective ways to dodge them—from unit tests and defensive coding to static analysis tools like IntelliJ IDEA, SonarLint, and Error Prone. Every software developer introduces bugs to the code. There’s no way to avoid them completely. Some of the bugs cause very subtle change in program behavior and nobody cares about it. Other bugs may cost millions of dollars, lost spacecraft, or even human lives. Many of them are in the middle: they don’t have disastrous effects but they annoy users and require hours of debugging and fixing.

Название: Swift. Основы разработки приложений под iOS и OS X. 2-е издание
Автор: Василий Усов
Издательство: Питер
Год: 2016
Страниц: 336
Формат: pdf
Размер: 10 mb
Качество: хорошее

Swift - быстрый, современный, безопасный и удобный язык программирования - появился совсем недавно и стал огромным сюрпризом для iOS-общественности. И вот, спустя год, Apple выпустила версию 2.0, а следом и 2.1, привнесшую в процесс разработки ряд значительных нововведений. И вот теперь выходит версия 2.2, готовящая нас к ожидаемому всеми iOS-программистами Swift 3.0.

Название: GraphQL with Java and Spring
Автор: Andreas Marek, Donna Zhou
Издательство: Leanpub
Год: 2023-05-15
Страниц: 252
Язык: английский
Формат: pdf (true), epub
Размер: 10.2 MB

Learn first-hand from the founder of GraphQL Java and co-author of Spring for GraphQL how to build GraphQL services in Java. This book is for anyone who wants to build a production GraphQL service with Java. By the end of this book, you will be confident building your own production GraphQL service with Spring for GraphQL, the official Spring integration built on top of the GraphQL Java engine. Spring for GraphQL makes it easier than ever to build a GraphQL service by eliminating boilerplate code and seamlessly integrating with the Spring ecosystem. GraphQL Java is the dominant Java implementation of GraphQL, powering services at Twitter, AirBnB, Netflix, Atlassian, and many other companies. By the end of this book, you’ll be leveraging the same engine with Spring for GraphQL. This book is suitable for beginners building their first production GraphQL service. There are also advanced topics later in the book for intermediate readers.