Compilers and interpreters

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 volume is published in honor of Professor Chaochen Zhou's 80th birthday.

Dive into the world of computer music and physical computing and stay ahead of the melodic curve.

The ability to construct reliable network software is a vital skill for many of today's programmers and at the same time, Java's comprehensive libraries of readily-accessible network programming features ensure that Java remains at the forefront of network software development.

Discover the essential building blocks of a common and powerful form of deep belief net: the autoencoder.

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

Why just get by in F# when you can program in style.

This book is an instructional text that will teach you how to code x86-64 assembly language functions.

This book focuses on how to install C/C++ compilers on Linux and Windows platforms in a timely and efficient way.

Things you've done online: ordered a pizza, checked the weather, booked a hotel, and reconnected with long-lost friends.

Master the Spring Framework, its fundamentals and core topics, and share the authors' insights and real-world experiences.

Improve your coding skills and learn how to write readable code.

Develop strong skills and a passion for writing cryptography algorithms and security schemes/modules using C++ 20 and its new features.

Program for data analysis using R and learn practical skills to make your work more efficient.

Learn the fundamental aspects of the business statistics, data mining, and machine learning techniques required to understand the huge amount of data generated by your organization.

Use the Pharo interactive development environment to significantly reduce the cost of creating interactive visualizations.

Gain a gentle introduction to the world of Ring programming with clarity as a first concern using a lot of practical examples.

Create games from start to finish while learning game design and programming principles using the GameMaker Studio 2 game engine and GameMaker Language (GML).

Develop modular applications using the Java Platform Module System, the single most anticipated feature in Java 9.

Gain an understanding of basic and advanced customizations in Dynamics 365 and learn how they can be effectively used to implement simple business requirements.

Discover how to write manuscripts in Markdown and translate them with Pandoc into different output formats.

Familiarize yourself with Scilab using this concise, practical tutorial that is focused on writing code to learn concepts.

Learn how to build web applications from three Microsoft MVPs.

Discover the Ada programming language by being gently guided through the various parts of the language and its latest available stable release.

Discover the essential building blocks of a common and powerful form of deep belief network: convolutional nets.

Explore Raku problems and solutions using the latest version of the Raku programming language.

Learn how to integrate all the interface elements iOS users have come to know and love, such as buttons, switches, pickers, toolbars, and sliders.

Take your distributed applications to the next level and see what the reference architectures associated with microservices can do for you.

Discover the essential concepts of libvirt development and see how to interface to Linux virtualization environments, such as QEMU/KVM, XEN, Virtuozzo, VMWare ESX, LXC, Bhyve, and more.

Understand Blender's Python API to allow for precision 3D modeling and add-on development.

The ideal code review process differs from organization to organization, but the needs all boil down to the same foundational factors.

Roll up your sleeves and jump into building web applications using .

Learn the C++ programming language in a structured, straightforward, and friendly manner.

Gain the fundamentals of x86 64-bit assembly language programming and focus onthe updated aspects of the x86 instruction set that are most relevant to applicationsoftware development.

Learn how to use the features of Visual Studio 2022 and utilize the IDE correctly to make it your one-stop solution for creating quality code.

Explore the designs of the Spring MVC and WebFlux frameworks, and apply similar designs and techniques to your own code.

Become an expert who can use window functions to solve T-SQL query problems.

Get a practical, hands-on introduction to the Haskell language, its libraries and environment, and to the functional programming paradigm that is fast growing in importance in the software industry.

Write your first code in Java using simple, step-by-step examples that model real-word objects and events, making learning easy.

Gain insights into image-processing methodologies and algorithms, using machine learning and neural networks in Python.

Design, develop, and deploy a real-world web application by leveraging modern open source technologies.

Harness the power of Quarkus, the supersonic subatomic cloud-native Java platform from Red Hat.

Prepare for the next wave of challenges in enterprise security.

Assemble the complete stack required to build a modern web app using React: MongoDB (a NoSQL database) and Express (a framework for web application servers), which runs on Node (JavaScript on the server side), complement React very nicely.

Write solid, secure, object-oriented code in the new PHP 8.

Eliminate the guesswork involved in writing and deploying a cloud application.

Get your first Android apps up and running with the help of plain English and practical examples.

Learn how to design complex, correct programs and fix problems before writing a single line of code.

Get an introduction to functional data structures using R and write more effective code and gain performance for your programs.