This book provides an elementary introduction to the Wolfram Language and modern computational thinking. The Wolfram Language represents a major advance in programming languages that makes leading-edge computation accessible to everyone.

This book explains how Rust achieves the combination of safety and security with performance via a sophisticated and flexible type system. You'll learn how to put Rust's safety, performance, and trustworthy concurrency to use.

This book provides clear and concise explanation of topics for programmers both starting to learn the Kotlin programming language as well as those diving in more complex topics. Examples are linked to online playground that allows you to play with them.

This book is a hands-on introduction to coding that teaches you how to program bots to do cool things in the game you love - Minecraft! This book takes the robotic "turtle" method, and extends it to the 3D, interactive world of Minecraft.

Scratch, the colorful drag-and-drop programming language, is used by millions of first-time learners, and in this book, you'll learn to program by making cool games. Get ready to destroy asteroids, shoot hoops, and slice and dice fruit!

This book teaches the programming language ReasonML by Facebook. It is also an introduction to functional programming. Especially people familiar with C-style languages (Java, JavaScript, C#, etc.) will profit from ReasonML's familiar syntax.

This book will teach you how to program in the yab programming language, one of the main platforms for writing applications for the Haiku Operating System. A major use for yab is to create a graphical front-end for something you would otherwise do in Terminal.

This book is a comprehensive introduction to D Programming Language. It covers all aspects of the language (such as expressions, statements, types, functions, contracts, and modules), but it is much more than an enumeration of features.

The book gives you the development tools and language details of Clojure needed to start playing with real programs immediately.

This book provides the reader with a comprehensive overview of the new open source programming language Go from Google.

This book is a short, concise introduction to computer programming using the language Go by Google.

This book is a quick-start guide to the F# programming language. It relies heavily on code examples to express F# concepts.

This book is an ideal learning tool and reference for Apache Pig, the programming language that helps you describe and run large data projects on Hadoop.

This series is for people who are interested in computer programming because it's fun. It uses the Logo programming language as the vehicle for an exploration of computer science from the perspective of symbolic computation and artificial intelligence.

This book is the official book about the language, giving a solid base for any programmer who wants to use Lua. It covers all aspects of Lua 5 - from the basics to its API with C - explaining how to make good use of its features with code examples.

This book provides an introduction to the Coq software for writing and checking mathematical proofs. It takes a practical engineering focus throughout, emphasizing techniques that will help users to build, understand, and maintain large Coq code changes.

This book is both a comprehensive introduction to Qi and to functional programming, covers foundational material and explores the theoretical foundations of Qi, including lambda calculus, type theory and logic programming, etc.

This book presents the theory and methods, together with the implementation of the algorithms using the Julia programming language. The book covers computer arithmetic, root-finding, numerical quadrature and differentiation, and approximation theory.