Compilers and Interpreters.

Runtime verification = 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024 : proceedings / by: (Language materials, printed)

Logic programming and nonmonotonic reasoning = 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024 : proceedings / by: (Language materials, printed)

Nonsequential and distributed programming with Go = synchronization of concurrent processes / by: (Language materials, printed)

Graph transformation = 18th International Conference, ICGT 2025, held as part of STAF 2025, Koblenz, Germany, June 11-12, 2025 : proceedings / by: (Language materials, printed)

Logic and argumentation = 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025 : proceedings / by: (Language materials, printed)

Formal Methods for Industrial Critical Systems = 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings / by: (Language materials, printed)

Trends in Functional Programming = 22nd International Symposium, TFP 2021, Virtual Event, February 17–19, 2021, Revised Selected Papers / by: (Language materials, printed)

Euro-Par 2021: Parallel Processing = 27th International Conference on Parallel and Distributed Computing, Lisbon, Portugal, September 1–3, 2021, Proceedings / by: (Language materials, printed)

Euro-Par 2020: Parallel Processing Workshops = Euro-Par 2020 International Workshops, Warsaw, Poland, August 24–25, 2020, Revised Selected Papers / by: (Language materials, printed)

Programming Languages and Systems = 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings / by: (Language materials, printed)

OpenMP: Enabling Massive Node-Level Parallelism = 17th International Workshop on OpenMP, IWOMP 2021, Bristol, UK, September 14–16, 2021, Proceedings / by: (Language materials, printed)

Languages and Compilers for Parallel Computing = 32nd International Workshop, LCPC 2019, Atlanta, GA, USA, October 22–24, 2019, Revised Selected Papers / by: (Language materials, printed)

Accelerator Programming Using Directives = 7th International Workshop, WACCPD 2020, Virtual Event, November 20, 2020, Proceedings / by: (Language materials, printed)

Rigorous State-Based Methods = 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings / by: (Language materials, printed)

Applied Reconfigurable Computing. Architectures, Tools, and Applications = 17th International Symposium, ARC 2021, Virtual Event, June 29–30, 2021, Proceedings / by: (Language materials, printed)

Programming Languages and Systems = 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17–18, 2021, Proceedings / by: (Language materials, printed)

Leveraging Applications of Formal Methods, Verification and Validation = 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings / by: (Language materials, printed)

Informatics in Schools. A Step Beyond Digital Education = 15th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2022, Vienna, Austria, September 26–28, 2022, Proceedings / by: (Language materials, printed)

Building web applications with Vue.js = MVVM patterns for conventional and single-page websites / by: (Language materials, printed)

Logic Programming and Nonmonotonic Reasoning = 16th International Conference, LPNMR 2022, Genova, Italy, September 5–9, 2022, Proceedings / by: (Language materials, printed)

Formal Methods for Industrial Critical Systems = 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings / by: (Language materials, printed)

Diagrammatic Representation and Inference = 13th International Conference, Diagrams 2022, Rome, Italy, September 14–16, 2022, Proceedings / by: (Language materials, printed)

Logic, Language, Information, and Computation = 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022, Proceedings / by: (Language materials, printed)

Practical MATLAB Deep Learning = A Projects-Based Approach / by: (Language materials, printed)

Grundlagen der Computergrafik = Eine Einführung mit OpenGL und Java / by: (Language materials, printed)

A Practical Guide to Verilog-A = Mastering the Modeling Language for Analog Devices, Circuits, and Systems / by: (Language materials, printed)

OpenMP in a Modern World: From Multi-device Support to Meta Programming = 18th International Workshop on OpenMP, IWOMP 2022, Chattanooga, TN, USA, September 27–30, 2022, Proceedings / by: (Language materials, printed)

Explainable and Transparent AI and Multi-Agent Systems = 4th International Workshop, EXTRAAMAS 2022, Virtual Event, May 9–10, 2022, Revised Selected Papers / by: (Language materials, printed)

Networked Systems = 10th International Conference, NETYS 2022, Virtual Event, May 17–19, 2022, Proceedings / by: (Language materials, printed)

Formal Methods and Software Engineering = 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings / by: (Language materials, printed)

Creating Business Applications with Microsoft 365 = Techniques in Power Apps, Power BI, SharePoint, and Power Automate / by: (Language materials, printed)

Programming Languages and Systems = 20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings / by: (Language materials, printed)

Static Analysis = 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022, Proceedings / by: (Language materials, printed)

Beginning Data Science in R 4 = Data Analysis, Visualization, and Modelling for the Data Scientist / by: (Language materials, printed)

Android for Java Programmers by: (Language materials, printed)

DevOps in Python = Infrastructure as Python / by: (Language materials, printed)

Graph Transformation = 15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7–8, 2022, Proceedings / by: (Language materials, printed)

Accelerator Programming Using Directives = 8th International Workshop, WACCPD 2021, Virtual Event, November 14, 2021, Proceedings / by: (Language materials, printed)

Software Product Management = The ISPMA®-Compliant Study Guide and Handbook / by: (Language materials, printed)

Database Systems for Advanced Applications. DASFAA 2022 International Workshops = BDMS, BDQM, GDMA, IWBT, MAQTDS, and PMBD, Virtual Event, April 11–14, 2022, Proceedings / by: (Language materials, printed)

Java Design Patterns = A Hands-On Experience with Real-World Examples / by: (Language materials, printed)

R 4 Quick Syntax Reference = A Pocket Guide to the Language, API's and Library / by: (Language materials, printed)

Beginning PyQt = A Hands-on Approach to GUI Programming with PyQt6 / by: (Language materials, printed)

Einführung in JavaFX/OpenJFX = Moderne GUIs für RIAs und Java-Applikationen / by: (Language materials, printed)

Programming Languages and Systems = 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings / by: (Language materials, printed)

Masterkurs Client/Server-Programmierung mit Java = Anwendungen entwickeln mit Standard-Technologien / by: (Language materials, printed)

ICT Education = 50th Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2021, Johannesburg, South Africa, July 16, 2021, Revised Selected Papers / by: (Language materials, printed)

Practical C++ Design = From Programming to Architecture / by: (Language materials, printed)

Java 17 Quick Syntax Reference = A Pocket Guide to the Java SE Language, APIs, and Library / by: (Language materials, printed)

PHP 8 Solutions = Dynamic Web Design and Development Made Easy / by: (Language materials, printed)

Agile Visualization with Pharo = Crafting Interactive Visual Support Using Roassal / by: (Language materials, printed)

Stylish F# 6 = Crafting Elegant Functional Code for .NET 6 / by: (Language materials, printed)

Beginning Rust = Get Started with Rust 2021 Edition / by: (Language materials, printed)

The Definitive Guide to Modern Java Clients with JavaFX 17 = Cross-Platform Mobile and Cloud Development / by: (Language materials, printed)

Design Patterns in Modern C++20 = Reusable Approaches for Object-Oriented Software Design / by: (Language materials, printed)

Beginning IntelliJ IDEA = Integrated Development Environment for Java Programming / by: (Language materials, printed)

Spring REST = Building Java Microservices and Cloud Applications / by: (Language materials, printed)

Language Server Protocol and Implementation = Supporting Language-Smart Editing and Programming Tools / by: (Language materials, printed)

Python Unit Test Automation = Automate, Organize, and Execute Unit Tests in Python / by: (Language materials, printed)

Chatbot Research and Design = 5th International Workshop, CONVERSATIONS 2021, Virtual Event, November 23–24, 2021, Revised Selected Papers / by: (Language materials, printed)

C# 10 Quick Syntax Reference = A Pocket Guide to the Language, APIs, and Library / by: (Language materials, printed)

Introduction to Software Design with Java by: (Language materials, printed)

Formale Sprachen, abstrakte Automaten und Compiler = Lehr- und Arbeitsbuch mit FLACI für Grundstudium und Fortbildung / by: (Language materials, printed)

Software Verification = 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers / by: (Language materials, printed)

Inductive Logic Programming = 30th International Conference, ILP 2021, Virtual Event, October 25–27, 2021, Proceedings / by: (Language materials, printed)

C++ mit Visual Studio 2022 und Windows Forms-Anwendungen = C++17 für Studierende und erfahrene Programmierer – Windows-Programme mit C++ entwickeln / by: (Language materials, printed)

Java 17 Recipes = A Problem-Solution Approach / by: (Language materials, printed)

Functional programming in R 4 = advanced statistical programming for data science, analysis, and finance / by: (Language materials, printed)

Formal methods for industrial critical systems = 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022 : proceedings / by: (Language materials, printed)

Diagrammatic representation and inference = 13th International Conference, Diagrams 2022, Rome, Italy, September 14-16, 2022 : proceedings / by: (Language materials, printed)

OpenMP in a modern world = from multi-device support to meta programming : 18th International Workshop on OpenMP, IWOMP 2022, Chattanooga, TN, USA, September 27-30, 2022 : proceedings / by: (Language materials, printed)

A beginners guide to Python 3 programming by: (Language materials, printed)

OpenMP : advanced task-based, device and compiler programming = 19th International Workshop on OpenMP, IWOMP 2023, Bristol, UK, September 13-15, 2023 : proceedings / by: (Language materials, printed)

Explainable and transparent AI and multi-agent systems = 5th International Workshop, EXTRAAMAS 2023, London, UK, May 29, 2023 : revised selected papers / by: (Language materials, printed)

Advanced guide to Python 3 programming by: (Language materials, printed)

Formal methods for industrial critical systems = 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023 : proceedings / by: (Language materials, printed)

Database systems for advanced applications = DASFAA 2023 International Workshops : BDMS 2023, BDQM 2023, GDMA 2023, BundleRS 2023, Tianjin, China, April 17-20, 2023 : proceedings / by: (Language materials, printed)

Informatics in schools = beyond bits and bytes: nurturing informatics intelligence in education : 16th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2023, Lausanne, Switzerland, October 23-25, 2023 : proceedings / by: (Language materials, printed)

Runtime verification = 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023 : proceedings / by: (Language materials, printed)

Modern X86 assembly language programming = covers X86 64-bit, AVX, AVX2, and AVX-512 / by: (Language materials, printed)

Programming languages = principles and paradigms / by: (Language materials, printed)

Composability, comprehensibility and correctness of working software = 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019 : revised selected papers / by: (Language materials, printed)

Static analysis = 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023 : proceedings / by: (Language materials, printed)

AIxIA 2023 - Advances in Artificial Intelligence = XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6-9, 2023 : proceedings / by: (Language materials, printed)

Data parallel C++ = programming accelerated systems using C++ and SYCL / by: (Language materials, printed)

Options and derivatives programming in C++23 = algorithms and programming techniques for the financial industry / by: (Language materials, printed)

Programming languages and systems = 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023 : proceedings / by: (Language materials, printed)

Inductive logic programming = 32nd International Conference, ILP 2023, Bari, Italy, November 13-15, 2023 : proceedings / by: (Language materials, printed)

Learn coding with Python and JavaScript = a practical introduction for beginners / by: (Language materials, printed)

Pro Spring Boot 3 = an authoritative guide with best practices / by: (Language materials, printed)

Formal methods for industrial critical systems = 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024 : proceedings / by: (Language materials, printed)

Pro .NET memory management = for better code, performance, and scalability / by: (Language materials, printed)

The joys of hashing = hash table programming with C / by: (Language materials, printed)

The definitive guide to modern Java clients with JavaFX = cross-platform mobile and cloud development updated for javafx 21 and 23 / by: (Language materials, printed)

Julia quick syntax reference = a pocket guide for data science programming / by: (Language materials, printed)

Diagrammatic representation and inference = 14th International Conference, Diagrams 2024, Münster, Germany, September 27-October 1, 2024 : proceedings / by: (Language materials, printed)

Advancing OpenMP for future accelerators = 20th International Workshop on OpenMP, IWOMP 2024. Perth, WA, Australia, September 23-25, 2024 : proceedings / by: (Language materials, printed)

Explainable and transparent AI and multi-agent systems = 6th International Workshop, EXTRAAMAS 2024, Auckland, New Zealand, May 6-10, 2024 : revised selected papers / by: (Language materials, printed)

Digital electronics for musicians = build intuitive electronics and electroacoustic music interfaces / by: (Language materials, printed)