Softwareudvikling

This book is a detailed guide that will help learners get started with Ubuntu Linux. It talks about the basics and then moves on to practical exercises to help readers quickly gain the required knowledge.

Want to learn the Python language without slogging your way through how-to manuals? With Head First Python, youll quickly grasp Pythons fundamentals, working with the built-in data structures and functions. Then youll move on to building your very own webapp, exploring database management, exception handling, and data wrangling. If youre intrigued by what you can do with context managers, decorators, comprehensions, and generators, its all here. This second edition is a complete learning experience that will help you become a bonafide Python programmer in no time.Why does this book look so different? Based on the latest research in cognitive science and learning theory, Head First Pythonuses a visually rich format to engage your mind, rather than a text-heavy approach that puts you to sleep. Why waste your time struggling with new concepts? This multi-sensory learning experience is designed for the way your brain really works.

Together, the Flutter open source UI software development kit and the Dart programming language for client development provide a unified solution to building applications capable of targeting multiple platforms. Recipes in this cookbook show you how this potent combination provides an efficient approach to application development.

Design systems optimized for deep learning models. Written for software engineers, this book teaches you how to implement a maintainable platform for developing deep learning models.In Engineering Deep Learning Systems you will learn how to:Transfer your software development skills to deep learning systemsRecognize and solve common engineering challenges for deep learning systemsUnderstand the deep learning development cycleAutomate training for models in TensorFlow and PyTorchOptimize dataset management, training, model serving and hyperparameter tuningPick the right open-source project for your platformEngineering Deep Learning Systems is a practical guide for software engineers and data scientists who are designing and building platforms for deep learning. It's full of hands-on examples that will help you transfer your software development skills to implementing deep learning platforms. You'll learn how to build automated and scalable services for core tasks like dataset management, model training/serving, and hyperparameter tuning. This book is the perfect way to step into an excitingand lucrativecareer as a deep learning engineer.about the technologyBehind every deep learning researcher is a team of engineers bringing their models to production. To build these systems, you need to understand how a deep learning system's platform differs from other distributed systems. By mastering the core ideas in this book, you'll be able to support deep learning systems in a way that's fast, repeatable, and reliable.

This book constitutes the refereed proceedings of the 17th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2023, held in Arras, France, in September 2023. The 35 full papers presented in this volume were carefully reviewed and selected from 46 submissions. The papers are organized in topical sections about Complexity and Database Theory; Formal Concept Analysis: Theoretical Advances; Formal Concept Analysis: Applications; Modelling and Explanation; Semantic Web and Graphs; Posters.

This book constitutes the revised selected papers of the First International Conference, ICSD 2023, virtually held in Delhi, India, during July 15¿16, 2023.The book comprises 31 full papers that were selected from a total of 129 submissions. It provides insights into the latest research and advancements in sustainable development through the integration of machine learning, artificial intelligence, and IoT technologies. It serves as a valuable resource for researchers, practitioners, and policymakers working in the field of sustainable development.

This book gives an overview of existing models that cover the whole lifecycle of an IoT application, ranging from its design, implementation, deployment, operation, and monitoring to its final termination and retirement. Models provide abstraction and can help IoT application developers into creating more robust, secure, and reliable applications. Furthermore, adaptation of applications can be eased by using these models, leading to an increased dynamic of the developed IoT applications.In the book, research of the last years in the area of model based approaches to the Internet of Things is described and these approaches are incorporated into the lifecycle of IoT applications.Finally, use cases from different domains are introduced that show how these models could be applied in real-world applications.

This book constitutes revised selected papers from the refereed proceedings of the 17th Colombian Conference on Computing on Advances in Computing, CCC 2023, held in Medellin, Colombia, during August 10¿11, 2023.The 22 full papers and 11 short papers included in this book were carefully reviewed and selected from 68 submissions. They were organized in topical sections as follows: Industrial Applications - Industry 4.0 - Precision Agriculture, Artificial Intelligence, Distributed systems and large-scale computing, Computational Statistics, Digital Learning - E-learning, Software Engineering, Human Machine Interaction, Image processing and Computer Vision, Robotics in Industry 4.0 and Scientific Applications.

This book constitutes the proceedings of the 24th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2023, held in Évora, Portugal, during November 22¿24, 2023.The 45 full papers and 4 short papers presented in this book were carefully reviewed and selected from 77 submissions. IDEAL 2023 is focusing on big data challenges, machine learning, deep learning, data mining, information retrieval and management, bio-/neuro-informatics, bio-inspired models, agents and hybrid intelligent systems, and real-world applications of intelligence techniques and AI.The papers are organized in the following topical sections: main track; special session on federated learning and (pre) aggregation in machine learning; special session on intelligent techniques for real-world applications of renewable energy and green transport; and special session on data selection in machine learning.

Created to elevate expertise in testing, verification, and validation with industry-specific terminology, readers are empowered to navigate the complex world of quality assurance. From foundational concepts to advanced principles, each entry provides clarity and depth, ensuring the reader becomes well-versed in the language of precision.This dictionary is an indispensable companion for both professionals and students seeking to unravel the nuances of testing methodologies, verification techniques, and validation processes. Readers will be equipped with the tools to communicate effectively, make informed decisions, and excel in projects. In addition, references to SAE Standards are included to direct the read to additional information beyond a practical definition.

Last-mile delivery in cities, where the main problems are the traffic situation and ensuring access to customers' homes while maintaining their privacy, poses a substantial logistical challenge. This book explores how the service area of mobility, especially last-mile delivery, can be improved and smartified. It demonstrates how a design science method and a transdisciplinary approach have been used to create a traffic area analysis tool that can accommodate the uncertainty and incompleteness of geospatial data; a linguistic traffic merging tool; and a customer classifier. In terms of developing the optimization artifacts, the socio-economic and logistical aspects of cities were considered and fuzzy logic and nature-inspired swarm intelligence (fuzzy ant colony optimization) were applied as basic principles.   Pursuing a transdisciplinary approach, the book offers both practical know-how from the industry and theoretical findings, making it a valuable asset for researchers and practitioners in the fields of mobility and logistics.

This book constitutes the proceedings of the 22st International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2021, which took place in July 2022 in Samos, Greece. The 11 full papers and 7 short papers presented in this volume were carefully reviewed and selected from 45 submissions. The conference covers a wide range of embedded systems design aspects, including machine learning accelerators, and power management and programmable dataflow systems.

This volume includes six lectures given at the ICTAC (International Colloquium on Theoretical Aspects of Computing) School on Formal Methods for an Informal World, held on September 1-7, 2021, originally scheduled to take place in Astana but held in virtual mode due to the pandemic.The school addressed the use of formal methods at various levels of rigour in different application domains: human-computer interaction, cognitive science, business process management, robotics, and healthcare. The emphasis of the school was on practical applications in which formal methods provide unambiguous descriptions of the real world that facilitate understanding and formal and informal analysis. The target audience consists of graduate students, young researchers and industrial practitioners, from both computer science and other fields that make use of computational methods.

This book constitutes the refereed proceedings of the XXIInd International Conference on AIxIA 2023 ¿ Advances in Artificial Intelligence, AIxIA 2023, held in Rome, Italy, during November 6¿10, 2023.The 33 full papers included in this book were carefully reviewed and selected from 53 submissions. They were organized in topical sections as follows: Argumentation and Logic Programming, Natural Language Processing, Machine Learning, Hybrid AI and Applications of AI.

Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) XVII. These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two-stage refereeing process. ToPNoC contains: ¿ Revised versions of a selection of the best papers from workshops and tutorials at the annual Petri net conferences ¿ Special sections/issues within particular subareas (similar to those published in the Advances in Petri Nets series) ¿ Other papers invited for publication in ToPNoC ¿ Papers submitted directly to ToPNoC by their authors The 17th volume of ToPNoC contains revised and extended versions of a selection of the best workshop and tutorial papers presented at the 43rd International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2022. The papers cover a diverse range of topics including model checking and system verification, refinement and synthesis, foundational work on specific classes of Petri nets, and innovative applications of Petri nets and other models of concurrency. Application areas covered in this volume are: process mining, verification, formal semantics, distributed simulations, business processes, distributed systems, and net synthesis. Thus, this volume gives a good overview of ongoing research on concurrent systems and Petri nets.

This book constitutes the refereed proceedings of the 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, held in Eindhoven, The Netherlands, during November 6-10, 2023.The 18 regular papers presented in this book, together with 1 invited paper and 1 tool paper, were carefully reviewed and selected from 41 submissions. The SEFM conference series aims to bring together researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.

¿Diese erweiterte 2. Auflage richtet sich an die regelmäßigen Benutzer von IT, also Berufstätige sowie Schüler, Studierende und Lehrer. Das Buch beschreibt das relevante Universum der Informatik und der Informationstechnologie, von den grundlegenden Prinzipien bis zur sozialen und gesellschaftspolitischen Bedeutung. Neu und erweitert sind u. a. Themen zu virtuellen Welten, zum Metaversum, zu digitalen Zwillingen sowie zu Aspekten von Verwaltung und Digitalisierung. Anhand zahlreicher Beispiele sowie Illustrationen und Grafiken wird die relevante IT-Umgebung der modernen Nichtfachperson dargestellt. Büroapplikationen, soziale Medien, Spiele und Hardwaretrends sowie die verwendeten Devices werden erklärt und in Zusammenhang gebracht.In einem Kapitel werden die ersten Grundlagen zur Programmierung der sehr populären Blocksprache Scratch gelegt. Zu jedem Kapitel werden zehn Fragen zum Inhalt gestellt, um dem Leser oder der Leserin eine Stütze zum gelesenen Inhalt zu geben und die Kompetenzen zu erweitern.Der InhaltGanz kurze Geschichte der IT · Alles ist Zahl · Computer als Hardware · Betriebssystem und Benutzeroberfläche · Netzwerke · Datenorganisation · IT-Entwicklung · IT-Organisation · Programmierung · Applikationen · Cloud-Computing · Sicherheit · Information und Medien · Künstliche Intelligenz · Virtuelle Welten · IT, Digitalisierung und GesellschaftDie ZielgruppenAlle Professionals mit Interesse an IT und InformatikSachbearbeiter mit BüroarbeitsplatzSchüler, Lehrer, ElternDer AutorClaudio Franzetti hat nach dem Studium der Ingenieurwissenschaften an der ETH Zürich als Forschungsingenieur bei BBC und ABB im Bereich Computational Fluid Dynamics gearbeitet und intensive Erfahrungen in der Simulation auf Großrechnern erlangt. Nach einem Betriebswirtschaftsstudium an der Hochschule St. Gallen hat er im Bereich Finanzen bei Versicherungen und Banken gearbeitet, wo er auch für quantitative Risikoberechnungen und zum Teil für die Gesamt-IT zuständig war.

This book constitutes the proceedings of the 19th International Workshop on Security and Trust Management, STM 2023, co-located with the 28th European Symposium on Research in Computer Security, ESORICS 2023, held in The Hague, The Netherlands, during September 28th, 2023 The 5 full papers together with 4 short papers included in this volume were carefully reviewed and selected from 15 submissions. The workshop presents papers with topics such as security and privacy, trust models, security services, authentication, identity management, systems security, distributed systems security, privacy-preserving protocols.

This book constitutes the refereed proceedings of the 42nd International Conference on Conceptual Modeling, ER 2023, held in Lisbon, Portugal, during November 6-9, 2023. The 21 full papers were carefully reviewed and selected from 121 submissions. Additionally, the book contains 4 keynote speeches and 3 tutorials, and one invited paper corresponding to one of the keynote speeches.The papers cover a broad spectrum of classical and modern topics on conceptual modeling, including research and practice in the theories of concepts and ontologies, techniques for transforming conceptual models into effective implementations, and methods and tools for developing and communicating conceptual models.

This book constitutes the refereed proceedings of 7 workshops, held at the 42nd International Conference on Conceptual Modeling, ER 2023, held in Lisbon, Portugal, during November 6-9, 2023.The 28 full and 2 short papers were carefully reviewed and selected out of 53 submissions. Topics of interest span the entire spectrum of conceptual modeling, including research and practice in areas such as theories of concepts and ontologies, techniques for transforming conceptual models into effective implementations, and methods and tools for developing and communicating conceptual models. The following workshops are included in this volume: CMLS ¿ 4th International Workshop on Conceptual Modeling for Life Sciences;CMOMM4FAIR ¿ Third Workshop on Conceptual Modeling, Ontologies and (Meta)data Management for Findable, Accessible, Interoperable, and Reusable (FAIR) Data;EmpER ¿ 6th International Workshop on Empirical Methods in Conceptual Modeling;JUSMOD ¿ Second International Workshop on Digital Justice, Digital Law and Conceptual Modeling;OntoCom ¿ 9th International Workshop on Ontologies and Conceptual Modeling;QUAMES ¿ 4th International Workshop on Quality and Measurement of Model-Driven Software Development;SmartFood ¿ First Workshop on Controlled Vocabularies and Data Platforms for Smart Food Systems.

This book constitutes the proceedings of the 6th International Conference on Applied Informatics, ICAI 2023, which took place in Guayaquil, Ecuador, in October 2023.The 30 papers presented in this volume were carefully reviewed and selected from 132 submissions. The contributions are divided into the following thematic blocks: Artificial Intelligence; Data Analysis; Decision Systems; Enterprise Information Systems Applications; Geoinformatics; Health Care Information Systems; Interdisciplinary Information Studies; Learning Management Systems; Virtual and Augmented Reality.

This book constitutes the refereed proceedings of the 29th International Conference on Cooperative Information Systems, CoopIS 2023, held in Groningen, The Netherlands, during October 30¿November 3, 2023. The 21 regular papers and 10 work-in-progress papers included in this book were carefully reviewed and selected from 100 submissions. They were organized in topical sections as follows: Knowledge Engineering; Deployment and Migration in CISs; Security and Privacy in CISs; Process Modeling; Process Analytics; Human Aspects and Social Interaction in CISs; and Work in Progress.

This book constitutes the refereed proceedings of the 9th International Conference on Technologies and Innovation, CITI 2023, held in Guayaquil, Ecuador, during November 13¿16, 2023. The 20 full papers included in this book were carefully reviewed and selected from 51 submissions. They were organized in topical sections as follows: Machine Learning; Natural Language Processing and Semantic Web; Computer vision; and Knowledge-based systems.

Leverage the benefits of quantum computing by identifying business use cases and understanding how to design and develop quantum products and services. This book will guide you to effectively productize quantum computing, including best practices, recommendations, and proven methods to help you navigate the challenges and risks of this emerging technology.The book starts with a thorough introduction to quantum computing, followed by its various algorithms and applications. You will then learn how to build a strong foundation in classical computing, seek practical experience, and stay up-to-date with the latest developments in the field. Moving forward, you will gain an understanding of how to conduct market research to identify business opportunities for quantum computing products and services. The authors then guide you through the process of developing a quantum roadmap and integrating quantum computing into an existing system. This is concluded by a demonstration of how to manage quantum computing projects and how to address their risks and challenges. After reading this book, you will understand quantum computing and how it can be applied to real-world business problems.You will:Identify business use cases for quantum computing and understand the potential benefits and risks of quantum applicationsDesign and develop quantum products and services by identifying quantum algorithms, programming in quantum languages, and leveraging quantum simulators and hardwareIntegrate quantum computing into existing systemsIntegrate quantum algorithms with classical algorithms

This book constitutes the refereed post-conference proceedings of the 28th International Workshop on Security Protocols, held in Cambridge, UK, during March 27¿28, 2023.Thirteen papers out of 23 submissions were selected for publication in this book, presented together with the respective transcripts of discussions. The theme of this year's workshop was ¿Humans in security protocols ¿ are we learning from mistakes?¿The topics covered are securing the human endpoint and proving humans correct.