Programming

Applied Mathematics with F#

Domain-Specific Computer Architectures for Emerging Applications: Machine Learning and Neural Networks

The Garbage Collection Handbook: The Art of Automatic Memory Management

Explainable, Trustworthy, and Responsible AI and Multi-Agent Systems: 7th International Workshop, EXTRAAMAS 2025, Detroit, MI, USA, May 19–20, 2025, Revised Selected Papers

Static Analysis: 32nd International Symposium, SAS 2025, Singapore, Singapore, October 13–14, 2025, Proceedings

Practical Marko: Progressive HTML Rendering and Micro Front-Ends

OpenMP: Balancing Productivity and Performance Portability: 21st International Workshop on OpenMP, IWOMP 2025, Charlotte, NC, USA, October 1-3, 2025 Proceedings

Runtime Verification: 25th International Conference, RV 2025, Graz, Austria, September 15–19, 2025, Proceedings

Practical Microservices Architectural Patterns: Build Highly Scalable Distributed Applications with Spring Boot 3 and Spring Cloud

Rigorous State-Based Methods: 11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10–13, 2025, Proceedings

Formal Methods for Industrial Critical Systems: 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27–28, 2025, Proceedings

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

Nichtsequentielle und Verteilte Programmierung mit Go: Synchronisation nebenläufiger Prozesse: Kommunikation – Kooperation – Konkurrenz

Datenbanken und SQL: Eine praxisorientierte Einführung mit Anwendungen in Oracle, SQL Server und MySQL

Graph Transformation: 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11–12, 2025, Proceedings

Logic and Argumentation: 6th International Conference, CLAR 2025, Taiyuan, China, June 14–16, 2025, Proceedings

Nonsequential and Distributed Programming with Go: Synchronization of Concurrent Processes

Programming Languages and Systems: 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I

Compiler Construction: Fundamentals and Applications

Programming Languages and Systems: 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II