Compilers and interpreters

This concise guide is designed to enable the reader to learn how to program in assembly language as quickly as possible.

Discover the difference between making a robot move and making a robot think.

This book constitutes the refereed proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013, held at Hanoi, Vietnam, in October 2013.

Embrace machine learning approaches and Python to enable automatic rendering of rich insights and solve business problems.

MATLAB enables you to work with its graphics capabilities in almost all areas of the experimental sciences and engineering.

There are many good Java programming books on the market, but it's not easy to find one fit for a beginner.

This book provides an overview of the X Window System focusing on characteristics that have significant impact on the development of both application programs and widgets.

This quick reference is a condensed guide to the essential data structures, algorithms, and functions provided by the C++ Standard Library.

Kann ein PLII-Buch in anderthalb Jahren veralten?

This book constitutes the refereed proceedings of the 7th International Conference on Model and Data Engineering, MEDI 2017, held in Barcelona, Spain, in October 2017.

Write maintainable, extensible, and durable software with modern C++.

Modern computing tools like Maple (symbolic computation) and Matlab (a numeric computation and visualization program) make it possible to easily solve realistic nontrivial problems in scientific computing.

Get introduced to full stack enterprise development.

Diese Monographie gibt einen systematischen Überblick über Attributierte Grammatiken als ein Mittel zur Darstellung und Analyse von Kontextabhängigkeiten in Compilern unter Betonung der für Compiler-erzeugende Systeme erforderlichen Algorithmen.

Android Recipes, Fourth Edition offers more than 100 down-to-earth code recipes, and guides you step-by-step through a wide range of useful topics using complete and real-world working code examples.

Learn GUI application development from the ground up by building simple projects that teach the fundamentals of using PyQt6.

This book contains the revised selected papers of 4 workshops held in conjunction with the International Conference on High Performance Computing, Networking, Storage and Analysis (SC) in November 2017 in Denver, CO, USA,  and in November 2018 in Dallas, TX, USA: the 6th and 7th International Workshop on Extreme-Scale Programming Tools, ESPT 2017 and ESPT 2018, and the 4th and 5th International Workshop on Visual Performance Analysis, VPA 2017 and VPA 2018.

Alphard is a design for a programming system that supports the abstraction and verification techniques required by modern program'ming methodology.

This book constitutes the proceedings of the 25th International Working Conference on Requirements Engineering - Foundation for Software Quality, REFSQ 2019, held in Essen, Germany, in March 2019.

This book constitutes the refereed proceedings of the 21st Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2016, held in Pisa, Italy, in June 2016.

Apply C++ to programming problems in the financial industry using this hands-on book, updated for C++20.

Liebe Leser, das vorliegende Buch ist ein sorgfältig erstelltes Destillat der in­ tensiven Erfahrungen der Real-Time-Kommunikation zwischen SAP R/3 und externen Subsystemen, die ich in den letzten Jahren sammeln durfte.

Write maintainable, extensible, and durable software with modern C++.

Learn to write algorithms and program in the new field of quantum computing.

Computer programming is a skill that can bring great enjoyment from the creativity involved in designing and implementing a solution to a problem.

This book constitutes the refereed proceedings of the 9th International Conference on Interactive Theorem Proving, ITP 2018, held in Oxford, UK, in July 2018.

This book constitutes the proceedings of the 23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018, held in Maynooth, Ireland, in September 2018.

This book constitutes the proceedings of the 17th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2024, held in Budapest, Hungary, during October 28-30, 2024.

This book constitutes the refereed proceedings of the 4th International Conference on Security Standardisation Research, SSR 2018, held in Darmstadt, Germany, in November 2018.

This book constitutes the refereed proceedings of the 8th International Conference on Model Transformation, ICMT 2015, held in L'Aquila, Italy, in July 2015, as Part of STAF 2015, the federation of a number of the leading conferences on software technologies.

Microsoft’s Dynamic Language Runtime (DLR) is a platform for running dynamic languages such as Ruby and Python on an equal footing with compiled languages such as C#.

While other textbooks devote their pages to explaining introductory programming concepts, The Python Workbook focuses exclusively on exercises, following the philosophy that computer programming is a skill best learned through experience and practice.

This book constitutes the refereed proceedings of the Third International Conference on Future Data and Security Engineering, FDSE 2016, held in Can Tho City, Vietnam, in November 2016.

Program understanding plays an important role in nearly all software related tasks.

This book constitutes the refereed proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis, ATVA 2019, held in Taipei, Taiwan in October 2019.

This book constitutes the refereed proceedings of the 6th International Conference on Logic and Argumentation, CLAR 2025, held in Taiyuan, China, during June 14–16, 2025.

Build Android apps and learn the essentials of the popular Kotlin programming language and APIs.

Java is an object oriented language which allows you to create interactive Web pages, or to write applications which will run on any computer.

Quickly find solutions to dozens of common programming problems encountered while building Java applications.

Quickly gain the insight necessary to address a multitude of Java coding challenges using this succinct reference guide, Java 17 Quick Syntax Reference, Third Edition.

This book constitutes the proceedings of the 20th International Symposium on Practical Aspects of Declarative Languages, PADL 2018, held in Los Angeles, CA, USA, in January 2018 and collocated with the 45th ACM SIGPLAN Symposium on Principles of Programming Languages.

This book presents a methodology to model and specify the data aspect of Web services, as it is overlooked by current standards for specifying Web services.