Bücher – Business IT + Informatik

This open access book investigates the role played by identity of proofs in proof-theoretic semantics. It develops a conception of proof-theoretic semantics as primarily concerned with the relationship between proofs (understood as abstract …

This book presents fundamental concepts and technologies to tackle interoperability between information systems. It details interoperability at the data, service, and process level, and combines theoretical foundations with hands-on presentation …

The primary aim of this text is to help transition undergraduates to study graduate level mathematics. It unites real and complex analysis after developing the basic techniques and aims at a larger readership than that of similar textbooks that …

The book is designed to serve as a textbook for courses offered to undergraduate and graduate students enrolled in data science. This book aims to help the readers understand the basic and advanced concepts for developing simple programs and the …

This book constitutes the refereed conference proceedings of the Third Asian Symposium on Cellular Automata Technology, ASCAT 2024, held in Durgapur, India, during February 29 - March 2, 2024.
The 15 full papers presented in this book were …

This book deals with the upcoming threat that may be posed by quantum computers on modern-day security standards, particularly those involving symmetric key ciphers. Considering the progress in the field of quantum computing over the past few …

This book constitutes the refereed proceedings of the First EAI International Conference on Safe, Secure, Ethical, Responsible Technologies and Emerging Applications, SAFER-TEA 2023, held in Yaoundé, Cameroon, during October 25-27, 2023.
The 24 …

Dieses Buch diskutiert die Verwendung von Technologie, Data Science und Open Data, um das Netto-Null-Emissionsziel des Pariser Abkommens zum Klimawandel zu erreichen. Es gibt viele Diskussionen über Nachhaltigkeit und Lösungen für den Klimawandel …

This book discusses a range of topics that are essential to understanding cyber security, including legal implications and technical aspects, cyber detection, and minimising the threats so that governments and organisations can function without …

This book contains best selected research papers presented at ICTCS 2023: Eighth International Conference on Information and Communication Technology for Competitive Strategies. The conference will be held in Jaipur, India during 8 – 9 December …

This book brings together papers presented at the 2023 International Conference on Communications, Signal Processing, and Systems, which provides a venue to disseminate the latest developments and to discuss the interactions and links between …

This book presents parts of the iM3F 2023 proceedings from the mechatronics as well as the intelligent manufacturing tracks. It highlights recent trends and key challenges in mechatronics as well as the advent of intelligent manufacturing …

Künstliche Intelligenz ist ein Treiber der digitalen Transformation von Unternehmen, welche die gesamte Organisation, einschließlich ihrer Strukturen, Prozesse und Mitarbeitender berührt.Die AI Tomorrow Konferenz möchte die menschzentrierte …

This book offers an unprecedented quantitative portrait of analytic philosophy focusing on two seemingly marginal features of philosophical texts: citations and acknowledgements in academic publications. Originating from a little network of …

For more than 30 years, this comprehensive manual has been the standard introduction and complete reference for writing articles and books containing mathematical formulas. This sixth edition uses a slightly changed title, Text and Math into …

This compact textbook consists of lecture notes given as a fourth-year undergraduate course of the mathematics degree at the Universitat Politècnica de Catalunya, including topics in enumerative combinatorics, finite geometry, and graph theory.

This two-volume set constitutes selected papers presented during the First International Conference on Advanced Computing, Machine Learning, Robotics and Internet Technologies, AMRIT 2023, held in Silchar, India, in March 2023.
The 20 full papers …

This two-volume set constitutes selected papers presented during the First International Conference on Advanced Computing, Machine Learning, Robotics and Internet Technologies, AMRIT 2023, held in Silchar, India, in March 2023.
The 20 full papers …

This book constitutes revised selected papers from the workshops held at the 29th International Conference on Parallel and Distributed Computing, Euro-Par 2023, which took place in Limassol, Cyprus, during August 28–September 1, 2023.

The 42 full …

This book explains the basic theory of Hilbert C*-module in detail, covering a wide range of applications from generalized index to module framework. At the center of the book, the Beurling-Deny criterion is characterized between operator valued …