Название: Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification
Автор: Zhe Hou
Издательство: Springer
Серия: Texts in Computer Science
Год: 2021
Страниц: 225
Язык: английский
Формат: pdf (true), epub
Размер: 22.3 MB

This book aims to address the two problems by compressing and unifying important concepts of the two areas and providing exercises in widely-used software applications. We give a transition from logic to computation via linear temporal logic and state machines. The book combines theoretical teaching and practical exercises; the latter is realised in Isabelle/HOL, a modern theorem prover, and PAT, an industry-scale model checker. I also give entry-level tutorials on the two software to help the reader get started. By the end of the book, the reader should be proficient in both software. Content-wise, this book focuses on the syntax, semantics and proof theory of various logics; automata theory, formal languages, computability and complexity. The final chapter closes the gap with a discussion on the insight that links logic with computation. This book is written for two sets of audiences. Undergraduate students who are getting a Bachelor’s degree in computer science should at least pass this course. Higher degree research (HDR) students who excel at this course should have the foundation to pursue a Ph.D. degree in computer science.

Название: Natural Language Processing Projects: Build Next-Generation NLP Applications Using AI Techniques
Автор: Akshay Kulkarni, Adarsha Shivananda, Anoosh Kulkarni
Издательство: Apress
Год: 2022
Формат: PDF
Страниц: 227
Размер: 13,2 Mb
Язык: English

Leverage machine learning and deep learning techniques to build fully-fledged natural language processing (NLP) projects. Projects throughout this book grow in complexity and showcase methodologies, optimizing tips, and tricks to solve various business problems. You will use modern Python libraries and algorithms to build end-to-end NLP projects.

Название: Building Multiplayer Games in Unity: Using Mirror Networking
Автор: Dylan Engelbrecht
Издательство: Apress
Год: 2022
Формат: PDF
Страниц: 244
Размер: 10 Mb
Язык: English

Take a deep dive into creating large-scale, multiplayer games with Unity 3D, using Mirror Networking and a variety of powerful transports. You will learn the fundamentals of RPC/Command multiplayer architecture and dig deeper into networking and data persistence to achieve scalable, highly performant, large-scale, multiplayer games in Unity.

Название: Python Unit Test Automation: Automate, Organize, and Execute Unit Tests in Python, 2nd Edition
Автор: Ashwin Pajankar
Издательство: Apress
Год: 2022
Формат: ePUB, PDF
Страниц: 221
Размер: 10 Mb
Язык: English

Learn how to automate unit tests of Python 3 with automation libraries, such as doctest, unittest, nose, nose2, pytest, and selenium. This book explores important concepts in software test automation and demonstrates how to automate, organize, and execute unit tests with Python. It also introduces readers to the concepts of web browser automation and logging.

Название: Build Your Own 2D Game Engine and Create Great Web Games: Using HTML5, jаvascript, and WebGL2
Автор: Kelvin Sung, Jebediah Pavleas, Matthew Munson, Jason Pace
Издательство: Apress
Год: 2022
Формат: PDF
Страниц: 757
Размер: 11,8 Mb
Язык: English

Develop a 2D game engine that will give you the experience and core understanding of foundational concepts for building complex and fun 2D games that can be played across the Internet via popular web browsers. This book is organized so that the chapters follow logical steps of building a game engine and integrates concepts accordingly.

Название: AWS Cookbook: Recipes for Success on AWS (Final)
Автор: John Culkin, Mike Zazon
Издательство: O’Reilly Media, Inc.
Год: 2022
Страниц: 600
Язык: английский
Формат: epub
Размер: 10.2 MB

This practical guide provides over 100 self-contained recipes to help you creatively solve issues you may encounter in your AWS cloud endeavors. If you're comfortable with rudimentary scripting and general cloud concepts, this cookbook will give you what you need to both address foundational tasks and create high-level capabilities. AWS Cookbook provides real-world examples that incorporate best practices. Each recipe includes code that you can safely execute in a sandbox AWS account to ensure that it works. From there, you can customize the code to help construct your application or fix your specific existing problem. Recipes also include a discussion that explains the approach and provides context. This cookbook takes you beyond theory, providing the nuts and bolts you need to successfully build on AWS.

Название: Composing Model-Based Analysis Tools
Автор: Robert Heinrich, Francisco Duran, Carolyn Talcott
Издательство: Springer
Год: 2021
Страниц:
Язык: английский
Формат: pdf (true)
Размер: 10.0 MB

This book presents joint works of members of the software engineering and formal methods communities with representatives from industry, with the goal of establishing the foundations for a common understanding of the needs for more flexibility in model-driven engineering. Conceptual modeling aims at raising the level of abstraction at which systems are described to cope with their increasing complexity. These high-level representations of a system are known as software models, and their role in software engineering has been gaining relevance as soon as they were considered, stored, and managed like any other software artifacts. Based on these principles, model-based engineering (MBE) is the software engineering discipline that advocates the use of these software models as primary artifacts for the software engineering process. This book is recommended to anyone who is involved in the important decisions that emerge when composing multiple analysis tools during software and systems modeling. The book is suitable for both practitioners and researchers, and may also serve as a textbook for a graduate course on model-based analysis tools.

Название: Ultimate Step by Step Guide to Data Science Using Python: Real Word Use Cases with Downloadable Code Example
Автор: Daneyal Anis
Издательство: Independently published
Год: 2021
Страниц: 146
Язык: английский
Формат: azw3, epub
Размер: 10.27 MB

Start your Data Science career using Python today! Want to begin a new lucrative career as a Data Scientist? Learn to solve real world problems using Artificial Intelligence and Machine Learning skills – with step-by-step instructions and downloadable code samples! Are you interested in becoming a Data Scientist but overwhelmed by the complexity and don’t know where to start? Then let this breezy and fun little book on Python and machine learning models make you a data scientist in 7 days! This book is for beginners who would like to master predictive analytics and obtain a job in fast growing field of data science!

Название: Java Challenges: 100+ Proven Tasks that Will Prepare You for Anything
Автор: Michael Inden
Издательство: Apress
Год: 2022
Формат: ePUB, PDF
Страниц: 787
Размер: 14 Mb
Язык: English

Expand your knowledge of Java with this entertaining learning guide, which features 100+ exercises and programming challenges. Java Challenges will prepare you for your next exam or job interview, and covers many practical topics, such as strings, arrays, data structures, recursion, and date and time. The APIs and other material included in this book are Java 17 compatible.

Название: Stylish F# 6: Crafting Elegant Functional Code for .NET 6, 2nd Edition
Автор: Kit Eason
Издательство: Apress
Год: 2022
Формат: ePUB, PDF
Страниц: 433
Размер: 10 Mb
Язык: English

Why just get by in F# when you can program in style. This book goes beyond syntax and into design. It provides F# developers with best practices, guidance, and advice to write beautiful, maintainable, and correct code. This second edition, fully updated for .NET 6 and F# 6, includes all new coverage of anonymous records, the task {} computation expression, and the relationship between types and modules.