The technology of mechanized program verification can play a supporting role in many kinds of research projects in computer science, and related tools for formal proof-checking are seeing increasing adoption in mathematics and engineering. This book provides an introduction to the Coq software for writing and checking mathematical proofs. It takes ...
Ethnicity and Race in the UK examines the state of racial inequality in a wide range of areas in post-Brexit Britain, including employment, health care, education, criminal justice, housing, and representation in the arts and media. Written to coincide with the fiftieth anniversary of the UK Race Relations Act of 1968 as well as the founding of the...
This concise and highly accessible textbook outlines the principles and techniques of storytelling. It is intended as a high-school and college-level introduction to the central concepts of narrative theory - concepts that will aid students in developing their competence not only in analysing and interpreting short stories and novels, but also in w...
The book heavily leans on examples to present features of regular expressions one by one. It is recommended that you manually type each example and experiment with them.
You should have a good understanding of basic-level programming concepts and prior experience working with JavaScript. Should also know functional programming concepts like map ...
Have you ever wondered how the open source world exists thanks to the contribution of thousands of people all over the world? Is there a way to learn the skills to contribute at maximum, or to improve it?
Open Source is a trending topic every year in the IT world but nobody talks about how to be part of it, instead only to be a consumer.
Join...
The book heavily leans on examples to present features of sed as well as regular expressions one by one. It is recommended that you manually type each example and experiment with them. Understanding both the nature of sample input string and the output produced is essential.
You should have prior experience working with command line and bash she...
The Go programming language is relatively small and concise, but its depth makes it an ideal option for solving modern-day development problems. In Go Succinctly, author Mark Lewin guides readers through the basics of Go, and he provides documentation and resources that allow users to dive into the language and learn it for themselves. By the end o...
WPF allows you to build modern desktop applications for Windows, and part of building an application is debugging code and optimizing performance. In Alessandro Del Sole's WPF Debugging and Performance Succinctly, you will learn how to debug a WPF application by leveraging all the powerful tools in Visual Studio, including the most recent addi...
Modern Microsoft is much more than Windows, and to reach their full potential developers must be able to reach users on the many platforms they use. To facilitate this, Microsoft created Universal Windows Platform (UWP) to make development across multiple platforms simultaneously an achievable goal. In UWP Succinctly, the first part of a series, au...
The book heavily leans on examples to present features of grep as well as regular expressions one by one. It is recommended that you manually type each example and experiment with them. Understanding both the nature of sample input string and the output produced is essential.
You should have prior experience working with command line and bash sh...
The idea that the digital age has revolutionized our day-to-day experience of the world is nothing new, and has been amply recognized by cultural historians. In contrast, Stephen Robertson's BC: Before Computers is a work which questions the idea that the mid-twentieth century saw a single moment of rupture. It is about all the things that we ...
This open access book is an important reframing of the role of innovation in agriculture. Dr. Campos and his distinguished coauthors address the need for agriculture to feed a growing global population with a reduced environmental footprint while adapting to and mitigating the effects of changing climate. The authors expand the customary discussion...
This open book follows the development of the Building Resilience in Teacher Education (BRiTE) project across Australia and internationally. Drawing on the success of this project and the related research collaborations that have since emerged, it highlights the importance of cultivating resilience at various stages of teachers' careers.
Divi...
This open access book seeks to understand how politics is being made in a pluralistic sense, and explores how these political struggles are challenging and transforming gender, sexuality, and colonial norms. As researchers located in Sweden, a nation often cited as one of the most gender-equal and LGBTQ-tolerant nations, the contributions investiga...
This open book present and discuss current issues and innovative solution approaches for land management in a European context. Manifold sustainability issues are closely interconnected with land use practices. Throughout the world, we face increasing conflict over the use of land as well as competition for land.
Drawing on experience in sustainab...
Social media is at the core of digital transformations in organizations. Facebook, Twitter, LinkedIn, and other social media platforms widen the scope for rapid and effective communication with stakeholders. They also create a range of new and challenging ethical dilemmas.This open access book categorizes the dilemmas organizations across a range o...
This open book addresses a variety of issues relating to bioethics, in order to initiate cross-cultural dialogue. Beginning with the history, it introduces various views on bioethics, based on specific experiences from Japan. It describes how Japan has been confronted with Western bioethics and the ethical issues new to this modern age, and how it ...
While the idea of women who stay at home and men who dominate the streets may seem outdated, binary considerations of gender, space, and power still proliferate in contemporary cinema. This open access book adopts a fluid approach to space designed to accommodate wilful, affirmative, and imaginative perspectives of gender on screen. Through close a...
This open book is designed as an international anthology on the broader subject of inclusion, education, social justice and translanguaging. Prefaced by Ofelia García, the volume unites conceptional and empirical contributions focusing on various actors within educational institutions, from early childhood to secondary education and teacher traini...
This book is an excellent synthesis of the initial and continuing preparation for Mathematics Teaching in Bolivia, Ecuador, Paraguay and Peru, from which comparative analyses can be made that show similarities and differences, and highlight various perspectives.
In February 2016, the 5th Capacity and Networking Project (CANP) workshop of the Inter...
This open book is an excellent synthesis of the initial and continuing preparation for Mathematics Teaching in Colombia, Costa Rica, Dominican Republic and Venezuela, from which comparative analyses can be made that show similarities and differences, and highlight various perspectives.
In August 2012, a workshop of the Capacity and Networking Proj...
Learning the command line can be a difficult and intimidating task, but this book is designed to be your lighthouse in the modern computational storm. Unix is a 40 year old operating system that powers the internet, your phone, and the latest scientific research. This book aims to be a gateway to the world of computer programming, providing you wit...
Online teaching can quickly become overwhelming. Finding ways to offer detailed and quality support, learning, and feedback, but through efficient and time-saving methods, will mean higher quality learning for less instructional time. For example, save all the course announcements, as they can be reused time and again. Create files of all tutorials...
This book is a great collection of ideas, tricks, and skills that could be useful for Hackers. It's a unique extraction reference, summarizes a lot of research and experience in order to achieve your w00t in the shortest and smartest way. Rubyfu is where you'll find plug-n-hack code. Rubyfu is a book to use not only to read, it's whe...
This book is aimed at readers who are interested in software development but have very little to no prior experience. The book focuses on teaching the core principles around software development. It uses several technologies to this goal (e.g. C, Python, JavaScript, HTML, etc.) but is not a book about the technologies themselves. The reader will le...
This book is a a discussion of the calculation of specific formulas in finance. The field of finance has seen a rapid development in recent years, with increasing mathematical sophistication. While the formalization of the field can be traced back to the work of Markowitz (1952) on investors mean-variance decisions and Modigliani and Miller (1958) ...
An experienced programmer accumulates a set of tools, tricks, and techniques to make his or her programs better. C++ Hacker's Guide collects more than 120 of the best C++ veteran secrets and puts them in one accessible place. The techniques presented have all been used in actual programs, and more importantly, have made actual programs better....
Category Theory is one of the most abstract branches of mathematics. It is usually taught to graduate students after they have mastered several other branches of mathematics, like algebra, topology, and group theory. It might, therefore, come as a shock that the basic concepts of category theory can be explained in relatively simple terms to anybod...
How do you write truly elegant code with Ruby? Ruby Best Practices is for programmers who want to use Ruby as experienced Rubyists do. Written by the developer of the Ruby project Prawn, this concise book explains how to design beautiful APIs and domain-specific languages with Ruby, as well as how to work with functional programming ideas and techn...
PHP is a widely-used open source programming language. It is especially suited for web development. The unique thing about PHP is that it serves both beginners as well as experienced developers. It has a low barrier to entry so it is easy to get started with, and at the same time, it provides advanced features offered in other programming languages...
This book covers the standard material for a one-semester course in multivariable calculus. The topics include curves, differentiability and partial derivatives, multiple integrals, vector fields, line and surface integrals, and the theorems of Green, Stokes, and Gauss. Roughly speaking, the book is organized into three main parts corresponding to ...
Bukkit is a simple API that allows for modifying the normal Minecraft multiplayer experience using plugins. It is an unofficial and free Minecraft Bukkit book created for educational purposes. All the content is extracted from Stack Overflow Documentation, which is written by many hardworking individuals at Stack Overflow....