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

Название: Mathematics in Programming
Автор: Xinyu Liu
Издательство: Springer
Год: 2024
Страниц: 393
Язык: английский
Формат: pdf (true), epub
Размер: 50.15 MB

The book presents the mathematical view and tools of computer programming with broad and friendly context. It explains the basic concepts such as recursion, computation model, types, data, and etc. The book serves as an introductory and reference guide to the engineers, students, researchers, and professionals who are interested in functional programming, type system, and computer programming languages. The book covers seven topics. Firstly, it lays out the number system based on Peano Axioms and demonstrates the isomorphic computer data structures. Then, it introduces Lambda calculus as a computing model and recursion, an important programming structure, with the Y-combinator. It next presents the basic abstract algebra, including group and fields, and provides a friendly introduction to Galois theory. After that, it uses category theory as a tool to explain several concepts in computer programming, including the type system, polymorphism, null handler, and recursive data types, then followed by an application of program optimization. In the last two chapters, the author shows how to program with the concept of infinity through stream and lazy evaluation, and then explains the naïve set theory and transfinite numbers, from which the logic paradox arises. Finally, it introduces four historical views of mathematical foundation, as well as Gödel’s incompleteness theorems developed in 1930s, and how they define the boundaries of computer programming. Additionally, the book provides biographies, stories, and anecdotes of 25 mathematicians, along with over 130 exercises and their corresponding answers.

Название: Java Programming Exercises, Volume Two: Java Standard Library
Автор: Christian Ullenboom
Издательство: CRC Press
Год: 2025
Страниц: 323
Язык: английский
Формат: pdf (true)
Размер: 10.1 MB

Take the next step in raising your coding skills and dive into the intricacies of Java Standard Libraries. You will continue to raise your coding skills, and test your Java knowledge on tricky programming tasks, with the help of the pirate Captain CiaoCiao. This is the second of two volumes which provide you with everything you need to excel in your Java journey, including tricks that you should know in detail as a professional, as well as intensive training for clean code and thoughtful design that carries even complex software. Many beginners in programming often ask themselves, “How can I strengthen my skills as a developer? How can I become a better programmer?” The answer is simple: study, attend webinars, learn, repeat, practice, and discuss your work with others. Many aspects of programming are similar to learning new skills. Just as a book can’t teach you how to play a musical instrument, watching the Fast and the Furious movie series won’t teach you how to drive. The brain develops patterns and structures through repeated practice. Learning a programming language and a natural language have many similarities. Consistent use of the language, and the desire and need to express and communicate in it (just as you need to do so to order a burger or a beer), leads to gradual improvement in skills. Books and webinars on learning a programming language are available, but reading, learning, practicing, and repeating are just one aspect of becoming a successful software developer. To create effective software solutions, you need to creatively combine your knowledge, just as a musician regularly practices finger exercises and maintains their repertoire. The more effective your exercises are, the faster you will become a master. This book aims to help you progress and gain more hands‑on experience.

Название: Java Programming Exercises, Volume One: Language Fundamentals and Core Concepts
Автор: Christian Ullenboom
Издательство: CRC Press
Год: 2025
Страниц: 321
Язык: английский
Формат: pdf (true)
Размер: 15.4 MB

Take the first step in raising your coding skills to the next level, and test your Java knowledge on tricky programming tasks, with the help of the pirate Captain CiaoCiao. This is the first of two volumes which provide you with everything you need to excel in your Java journey, including tricks that you should know in detail as a professional, as well as intensive training for clean code and thoughtful design that carries even complex software. Features: - About 200 tasks with commented solutions on different levels; - For all paradigms: object-oriented, imperative, and functional; - Clean code, reading foreign code, and object-oriented modeling; - With numerous best practices and extensively commented solutions to the tasks, these books provide the perfect workout for professional software development with Java.

Название: Guide to Software Verification with Frama-C: Core Components, Usages, and Applications
Автор: Nikolai Kosmatov, Virgile Prevosto, Julien Signoles
Издательство: Springer
Серия: Computer Science Foundations and Applied Logic
Год: 2024
Страниц: 708
Язык: английский
Формат: pdf (true), epub
Размер: 64.7 MB

Frama-C is a popular open-source toolset for analysis and verification of C programs, largely used for teaching, experimental research, and industrial applications. With the growing complexity and ubiquity of modern software, there is increasing interest in code analysis tools at various levels of formalization to ensure safety and security of software products. Acknowledging the fact that no single technique will ever be able to fit all software verification needs, the Frama-C platform features a wide set of plug-ins that can be used or combined for solving specific verification tasks. This guidebook presents a large panorama of basic usages, research results, and concrete applications of Frama-C since the very first open-source release of the platform in 2008. It covers the ACSL specification language, core verification plug-ins, advanced analyses and their combinations, key ingredients for developing new plug-ins, as well as successful industrial case studies in which Frama-C has helped engineers verify crucial safety or security properties. The C programming language continues to be used in foundational software such as device drivers, networking software, operating systems, and controllers, and such software is of growing importance as computers are used in more and more products and cyber-physical systems. C is an attractive programming language for such systems because it provides low-level access to machine capabilities, explicit storage allocation, and pointer arithmetic. However, these same features make it difficult to use C safely and reliably. Programming safely and reliably in language such as C benefits greatly from tool support, which can record a programmer’s decisions and check that they are carried out consistently and without running into any semantic problems.

Название: DevSecOps Adventures: A Game-Changing Approach with Chocolate, LEGO, and Coaching Games, 2nd Edition
Автор: Dana Pylayeva
Издательство: Apress
Год: 2024
Страниц: 386
Язык: английский
Формат: pdf (true), epub
Размер: 35.4 MB

Discover a groundbreaking approach to introducing DevSecOps. DevSecOps Adventures uses three innovative games to help you to maximize engagement in your training and transform learners’ mindsets, turning even reluctant sceptics into supporters and advocates of the DevOps culture. The book’s first coaching game uses LEGO, Chocolate, and role cards to explore the roles and interdependencies of Dev, Ops, and Security. Readers will experience Aha! moments, expand their individual roles, develop T-shaped skills, and experiment with changing organizational culture. The simulations depict an end-to-end product delivery process, highlighting bottlenecks in the value delivery flow. Additionally, the book is updated with two new games, "Fear in the Workplace" and "Safety in the Workplace" which provide insights into safety culture, drawing inspiration from the works of Ron Westrum, William Kahn, Amy C. Edmondson, and Dr. David Rock. Through open conversations, participants learn to identify signs of a fear-ridden culture and apply safety-enhancing practices to foster a culture of experimentation and learning. This Second Edition is enhanced with real-life examples and includes the insights from important State of DevOps reports. For programmers or system admins/project managers who are new to DevOps.

Название: C# Microservices Web Applications: Building Scalable, Service-Oriented, Modern, Enterprise Applications
Автор: Theophilus Edet
Издательство: CompreQuest Books
Год: 2024
Страниц: 726
Язык: английский
Формат: pdf, epub, mobi
Размер: 10.1 MB

Unlock the Power of Microservices with C# and .NET Core. Are you ready to revolutionize your approach to building web applications? "C# Microservices Web Applications: Building Scalable, Service-Oriented, Modern, Enterprise Applications" is your essential guide to mastering microservices architecture with C# and .NET Core. This book is designed for developers and IT professionals eager to enhance their skills and build applications that are not only scalable but also resilient and maintainable. Dive into the world of microservices and discover how to create robust, efficient, and highly responsive web applications that can handle the demands of modern enterprise environments. Why should you consider microservices architecture for your next project? Microservices offer a modular approach to building applications, breaking down complex systems into smaller, independent services. This allows for greater flexibility, easier maintenance, and improved scalability. "C# Microservices Web Applications" provides a detailed, step-by-step guide to designing, developing, and deploying microservices using C# and .NET Core. The book covers everything from the fundamentals of microservices and domain-driven design to advanced topics like containerization, orchestration with Kubernetes, and security best practices. With practical examples and hands-on exercises, you'll gain the skills and confidence needed to apply these concepts in real-world projects. Don't wait any longer to take your skills to the next level. "C# Microservices Web Applications" is more than just a book—it's a comprehensive resource that will empower you to build modern, enterprise-grade web applications. Whether you're new to microservices or looking to deepen your knowledge, this book provides the insights, techniques, and best practices you need to succeed. Purchase your copy today and start your journey towards mastering microservices with C# and .NET Core. Transform your approach to software development and position yourself as a leader in the field. Your future in microservices starts here!

Название: Symbolic Regression
Автор: Gabriel Kronberger, Bogdan Burlacu, Michael Kommenda, Stephan M. Winkler
Издательство: CRC Press
Год: 2025
Страниц: 308
Язык: английский
Формат: pdf (true)
Размер: 12.9 MB

Symbolic Regression (SR) is one of the most powerful Machine Learning (ML) techniques that produces transparent models, searching the space of mathematical expressions for a model that represents the relationship between the predictors and the dependent variable without the need of taking assumptions about the model structure. Currently, the most prevalent learning algorithms for SR are based on Genetic Programming (GP), an evolutionary algorithm inspired from the well-known principles of natural selection. This book is an in-depth guide to GP for SR, discussing its advanced techniques, as well as examples of applications in science and engineering. The basic idea of GP is to evolve a population of solution candidates in an iterative, generational manner, by repeated application of selection, crossover, mutation, and replacement, thus allowing the model structure, coefficients, and input variables to be searched simultaneously. Given that explainability and interpretability are key elements for integrating humans into the loop of learning in Artificial Intelligence (AI), increasing the capacity for data scientists to understand internal algorithmic processes and their resultant models has beneficial implications for the learning process as a whole. This book represents a practical guide for industry professionals and students across a range of disciplines, particularly Data Science, engineering, and applied mathematics. Focused on state-of-the-art SR methods and providing ready-to-use recipes, this book is especially appealing to those working with empirical or semi-analytical models in science and engineering.

Название: User Experience Methods and Tools in Human-Computer Interaction
Автор: Constantine Stephanidis, Gavriel Salvendy
Издательство: CRC Press
Год: 2025
Страниц: 488
Язык: английский
Формат: pdf (true)
Размер: 15.1 MB

This book covers user experience methods and tools in designing user‑friendly products and servicesby encompassing widely utilized successful methods, including elicitation, analysis and establishment of requirements, collaborative idea generation with design teams and intended users, prototype testing and evaluation of the user experience through empirical and non‑empirical means. This book, titled "User Experience Methods and Tools in Human-Computer Interaction", serves as a comprehensive reference for user experience methods and tools in the design process of user‑friendly products and services. It provides an extensive overview of methods and tools tailored for each stage of the design process, with a primary focus on user research and prototyping. Methods discussed for the active involvement of users in the human‑centered design process entail requirements elicitation, ethnography, user observation, interviews, ideation, focus groups, brainstorming, participatory design, and crowdsourcing in UX research. This book equips readers with a comprehensive toolset for use throughout the design process, ensuring that what is created aligns with user needs and desires. In this regard, this book encompasses chapters on personas, scenarios, journey maps, storyboarding, task analysis and modeling, user modeling, digital human modeling, prototyping techniques, gamification design, and UX design tools. It covers a wide array of research and evaluation methods employed in HCI during design, from the initiation of the human‑centered development cycle to its culmination, elaborating on questionnaires and surveys, inspection methods for usability evaluation, usability testing, as well as eye tracking and physiological measurements for UX evaluation, along with approaches to facilitate user assistance and support.

Название: Quick Start Kubernetes (2024 Edition)
Автор: Nigel Poulton
Издательство: Leanpub
Год: 2024-01-02
Страниц: 118
Язык: английский
Формат: epub
Размер: 10.1 MB

Demystify Kubernetes, the architecture and how to deploy apps. Brought to you by best-selling author and global training guru Nigel Poulton, Quick Start Kubernetes is the fastest way to wrap your head around Kubernetes and get your hands-on deploying a simple app. When you've finished the book, you'll be ready to rock-and-roll with Kubernetes. The 2024 edition is fully updated for Kubernetes v1.29 and all the latest trends in the cloud-native ecosystem. Do you need to figure out what Kubernetes is all about? Do you like learning through hands-on? If yes, this is the book for you... Quick Start Kubernetes, brought to you by best-selling author Nigel Poulton, assumes zero prior experience and gets you to the point you can hold your own in a conversation with an expert, and deploy simple applications. And it does it in less than 100 pages! Along the way, Nigel will explain everything as clearly as possible and bust every piece of jargon. When you're done, you'll be in love with Kubernetes and ready to put your skills to use.

Название: Artificial Intelligence in application: Legal aspects, application potentials and use scenarios
Автор: Thomas Barton, Christian Müller
Издательство: Springer
Год: 2024
Страниц: 197
Язык: английский
Формат: pdf (true), epub
Размер: 15.0 MB

The book shows application potentials of Artificial Intelligence (AI) in various industries and presents application scenarios on how a practical implementation can take place. The starting point is the description of legal aspects, which includes a European regulation for Artificial Intelligence and addresses the question of the permissibility of automated decisions. The description of various application potentials, mostly industry-related, and the presentation of some application scenarios form the focus of the topic volume. Four mobility scenarios, in which cars are privately owned or shared on the one hand and are driven by a driver or move autonomously on the other, are changing the most important business processes in the automotive trade, such as car sales, maintenance, repairs and used car purchases. In all processes, application scenarios for the Artificial Intelligence (AI) subfields computer vision, natural language processing (NLP) and machine learning can be identified. The analysis shows that the current degree of implementation varies widely, from the already widespread predictive maintenance in maintenance, to the first approaches of computer vision for diagnosis in repair and used car purchase, to the still novel use of chatbots in consulting and Machine Learning in recommendation processes. For car dealers, the question arises of specialization, e.g. as a service factory or for the fleet management of a mobility service provider, each of which requires different AI scenarios. The book is based on the question of how Artificial Intelligence can be used in entrepreneurial practice. It offers important information that is just as relevant for practitioners as for students and teachers.