Search
Search Results
-
Getting Started with Visual Studio 2022 Learning and Implementing New Features
Explore Visual Studio 2022 and supercharge your .NET development workflow with the latest AI-powered tools and modern application design.
Whether...
-
Learning and Reasoning 4th International Joint Conference on Learning and Reasoning, IJCLR 2024, and 33rd International Conference on Inductive Logic Programming, ILP 2024, Nanjing, China, September 20–22, 2024, Proceedings
This book constitutes the refereed proceedings of the 4th International Joint Conference on Learning, IJCLR 2024, and 33rd International Conference...
-
Formal Methods and Software Engineering 26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10–13, 2025, Proceedings
This volume LNCS 16229 constitutes the refereed proceedings of 26th International Conference on Formal Methods and Software Engineering, ICFEM 2025,...
-
Programmieren mit C++ Ein Einstieg in Beispielen Vom Problem zur Software
Bis heute ist C++ eine der weltweit am häufigsten eingesetzten Programmiersprachen. Mit ihr lässt sich hardwarenahe und leistungsfähige Software...
-
Programming Languages and Systems 23rd Asian Symposium, APLAS 2025, Bengaluru, India, October 27–30, 2025, Proceedings
This book constitutes the proceedings of the 23nd Asian Symposium on Programming Languages and Systems, APLAS 2025, held in Bengaluru, India, October...
-
Explainable, Trustworthy, and Responsible AI and Multi-Agent Systems 7th International Workshop, EXTRAAMAS 2025, Detroit, MI, USA, May 19–20, 2025, Revised Selected Papers
This book constitutes the refereed post-conference proceedings of the 7th International Workshop on Explainable and Transparent AI and Multi-Agent...
-
Static Analysis 32nd International Symposium, SAS 2025, Singapore, Singapore, October 13–14, 2025, Proceedings
This book constitutes the refereed proceedings of the 32nd International Static Analysis Symposium, SAS 2025, held in Singapore, Singapore, in...
-
Practical Microservices Architectural Patterns Build Highly Scalable Distributed Applications with Spring Boot 3 and Spring Cloud
Upgrade your distributed applications with microservices. This practical guide bridges core concepts and advanced patterns to help you build...
-
Practical Marko Progressive HTML Rendering and Micro Front-Ends
With the recent evolution of frontend frameworks toward the server, there has been a growing interest in server-side rendering and optimizing for the...
-
OpenMP: Balancing Productivity and Performance Portability 21st International Workshop on OpenMP, IWOMP 2025, Charlotte, NC, USA, October 1-3, 2025 Proceedings
This book constitutes the refereed proceedings of the 21st International Workshop on OpenMP, IWOMP 2025, in Charlotte, NC, USA, during October 1 –...
-
Runtime Verification 25th International Conference, RV 2025, Graz, Austria, September 15–19, 2025, Proceedings
This book constitutes the refereed proceedings of the 25th International Conference on Runtime Verification, RV 2025, held in Graz, Austria, during...
-
Rigorous State-Based Methods 11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10–13, 2025, Proceedings
This book constitutes the refereed proceedings of the 11th International Conference on Rigorous State-Based Methods, ABZ 2025, held in Düsseldorf,...
-
Formal Methods for Industrial Critical Systems 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27–28, 2025, Proceedings
This book constitutes the proceedings of the 30th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2025, held in...
-
Informatics in Schools. Fostering Problem-Solving, Creativity, and Critical Thinking Through Computer Science Education 18th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2025, Trier, Germany, September 8–10, 2025, Proceedings
This book constitutes the proceedings of the 18th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP...
-
Java: Objektorientiert programmieren Vom objektorientierten Analysemodell bis zum objektorientierten Programm - Mit Einführung in UML 2, C++ und C#
Dieses Lehrbuch bietet mehr als nur eine Einführung in Java. Es vermittelt eine grundlegende Einführung in die Programmierung und zeichnet sich durch...
-
Datenbanken und SQL Eine praxisorientierte Einführung mit Anwendungen in Oracle, SQL Server und MySQL
Dieses Buch vermittelt fundierte Grundkenntnisse sowohl in Datenbanken als auch in SQL. Eine Zusammenfassung und zahlreiche Übungsaufgaben in jedem...
-
Nichtsequentielle und Verteilte Programmierung mit Go Synchronisation nebenläufiger Prozesse: Kommunikation – Kooperation – Konkurrenz
Dieses Buch führt nach einem kurzen Kapitel über grundlegende Aspekte der Softwaretechnik und deren Realisierung in Go in die Nichtsequentielle und...
-
Nonsequential and Distributed Programming with Go Synchronization of Concurrent Processes
After a short chapter on basic aspects of software engineering and its realization in Go, this book introduces to nonsequential and distributed...
-
Graph Transformation 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11–12, 2025, Proceedings
This book constitutes the refereed proceedings of the 18th International Conference on Graph Transformation, ICGT 2025, held in Koblenz, Germany,...
-
Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14–16, 2025, Proceedings
This book constitutes the refereed proceedings of the 6th International Conference on Logic and Argumentation, CLAR 2025, held in Taiyuan, China,...
