Compilers and interpreters

Not so many years ago, it would have been difficult to find more than a handful of examples of the use of formal methods in industry.

Get hands-on experience implementing 26 of the most common design patterns using Java and Eclipse.

Dieses Lehrbuch ist eine moderne Einführung in die Informatik für das Grundstudium an Universitäten und Fachhochschulen.

This book constitutes the refereed post-conference proceedings of the 5th International Workshop on Accelerator Programming Using Directives, WACCPD 2018, held in Dallas, TX, USA, in November 2018.

This book constitutes the proceedings of the 8th International Workshop on Accelerator Programming Using Directives, WACCPD 2021, which took place in November 2021.

This book constitutes the proceedings of the 17th Asian Symposium on Programming Languages and Systems, APLAS 2019, held in Nusa Dua, Bali, Indonesia, in December 2019.

This book constitutes the refereed proceedings of the 10th International Conference on Reversible Computation, RC 2018, held in Leicester, UK, in September 2018.

Discover best practices for data analysis and software development in R and start on the path to becoming a fully-fledged data scientist.

Build a world-class website in less than a week with Django CMS.

A collective autonomic system consists of collaborating autonomic entities which are able to adapt at runtime, adjusting to the state of the environment and incorporating new knowledge into their behavior.

This book takes a humorous slant on the programming practice manual by reversing the usual approach: under the pretence of teaching you how to become the world's worst programmer who generally causes chaos, the book teaches you how to avoid the kind of bad habits that introduce bugs or cause code contributions to be rejected.

Assertion-based design is a powerful new paradigm that is facilitating quality improvement in electronic design.

Learn Spring Boot and how to build Java-based enterprise, web, and microservice applications with it.

Procedural languages are generally well understood and their formal foundations cast in the forms of various lambda-calculi.

Reasoning under uncertainty is always based on a specified language or for- malism, including its particular syntax and semantics, but also on its associated inference mechanism.

Conquer your fear and anxiety learning how the concepts behind object-oriented design apply to the ABAP programming environment.

Explore and apply best practices for efficient application deployment.

This book constitutes revised selected papers from the 5th International Workshop on Graphical Models for Security, GraMSec 2018, held in Oxford, UK, in July 2018.

This book constitutes the proceedings of the 24th International Conference on Parallel and Distributed Computing, Euro-Par 2018, held in Turin, Italy, in August 2018.

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Fundamentals of Software Engineering, FSEN 2017, held in Tehran, Iran, in April 2017.

This book constitutes the proceedings of the 18th Asian Symposium on Programming Languages and Systems, APLAS 2020, held in Fukuoka, Japan, in December 2020.

This book is a comprehensive guide to machine learning with worked examples in MATLAB.

Java is now well-established as one of the world's major programming languages, used in everything from desktop applications to web-hosted applications, enterprise systems and mobile devices.

Presents the results of an investigation into the issuesraised by the development of a compiler for APL, a very highlevel computer programming language.

Use the step-by-step approach of this book to learn and implement design patterns in real-world applications.

This book constitutes the thoroughly refereed post-conference proceedings of the 32nd International Workshop on Languages and Compilers for Parallel Computing, LCPC 2019, held in Atlanta, GA, USA, in October 2019.

This book constitutes the refereed proceedings of the 16th International Conference on Software Reuse, ICSR 2017, held in Salvador, Brazil, in May 2017.

Build and develop web applications with Blazor in C#.

This book constitutes the proceedings of the 20th Asian Symposium on Programming Languages and Systems, APLAS 2022, held in Auckland, New Zealand, in December 2022.

This book constitutes the revised selected papers of the 8th Summer School, CEFP 2019, held in Budapest, Hungary, during June 2019.

The second half of this century will remain as the era of proliferation of electronic computers.

Build powerful back-end business logic and complex Enterprise JavaBeans (EJB)-based applications using Java EE 8, Eclipse Enterprise for Java (EE4J), Web Tools Project (WTP), and the Microprofile platform.

An invited collection of peer-reviewed papers surveying key areas of Roger Needham's distinguished research career at Cambridge University and Microsoft Research.

This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2015, held in July 2015 in San Francisco, CA, USA.

Was kann einen Autoren heutzutage veranlassen, ein Buch über das Programmieren in PLiI zu schreiben?

TEX has always been regarded as the most elegant and powerful system for computer typesetting.

This book is a practical guide to solving the everyday problems encountered when building apps for Windows 10 devices, including desktops, laptops, tablets, and phones, using HTML5, CSS3 and JavaScript.

This book constitutes the proceedings of the 18th International System Design Language Forum, SDL 2017, held in Budapest, Hungary, in October 2017.

For real-time systems, the worst-case execution time (WCET) is the key objective to be considered.

The general consensus is that BlockChain is the next disruptive technology, and Ethereum is the flagship product of BlockChain 2.

This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Workshops on Coordination, Organizations, Institutions and Norms in Agent Systems, COIN 2016.

Joel, Apress, Blogs, and Blooks I was learning the hard way about how to be a publisher and probably spending way too much time looking at web sites and programming than I should have in response to that.