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 ...
Silicon Valley is the world's most successful innovation region. Apple, Google, Facebook, Instagram, Twitter, WhatsApp, Uber, and Airbnb changed our way of living. Silicon Valley has built a brilliant ecosystem that supports startups. Its entrepreneurial mindset fosters risk-taking, thinking big, and sharing.
A fast growing number of accele...
Even connecting a few programs across a few sockets is plain nasty when you start to handle real life situations. Trillions? The cost would be unimaginable. Connecting computers is so difficult that software and services to do this is a multi-billion dollar business. So today we're still connecting applications using raw UDP and TCP, proprieta...
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...
This outlook provides a focused assessment of the state of public capital in the major European countries and identifies areas where public investment could contribute more to stable and sustainable growth. A European Public Investment Outlook brings together contributions from a range of international authors from diverse intellectual and professi...
Java is a high-level, cross-platform, object-oriented programming language that allows applications to be written once and run on a multitude of different devices. Java applications are ubiquitous, and the language is consistently ranked as one of the most popular and dominant in the world. Christopher Rose's Java Succinctly Part 1 describes t...
In this second e-book on Java, Christopher Rose takes readers through some of the more advanced features of the language. Java Succinctly Part 2 explores powerful and practical features of Java, such as multithreading, building GUI applications, and 2-D graphics and game programming. Then learn techniques for using these mechanisms in coherent proj...
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...
Go is a modern programming language built to deal with modern programming challenges, such as concurrency and compilation. Designed specifically with the web in mind, Go is an excellent language for writing web applications, specifically for web services. In his second book on Go, Mark Lewin will take you through serving, routing, connecting to a d...
The Visual Basic .NET Notes for Professionals book is compiled from Stack Overflow Documentation, the content is written by the beautiful people at Stack Overflow....
This open book introduces a general framework that allows natural language researchers to enhance existing competence theories with fully specified performance and processing components. Gradually developing increasingly complex and cognitively realistic competence-performance models, it provides running code for these models and shows how to fit t...
This open book presents religious literacy as the main explanatory factor when dealing with certain ethnic groups that attract stereotypes which gloss over other personal factors such as age, class, gender and cultural differences. It discusses freedom of religion, and the Christian revival movement. It examines religious literacy and religious div...
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 access short reader looks into the dynamics which have reshaped rural development and human landscapes in European agriculture and the role of immigrant people. Within this framework it analyses contemporary rural migrations and the emergence of immigrants in relation to the incorporation of agrarian systems into global markets, the Europ...
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...
This book is a valuable resource for policymakers and practitioners as it brings insights mainly from developing countries where relatively less research activity takes place. It is also a valuable resource for courses in mathematics education in the teacher education colleges, and departments of education in the sub-Saharan Africa region.
In th...
In Protecting SQL Server Data, John Magnabosco demonstrates how sensitive data, stored in SQL Server, can be protected using an efficient and maintainable encryption-based data architecture.
He explains how to assess and categorize data elements according to sensitivity, regulate access to the various categories of data using database roles, vie...
During the Cold War, American labour organizations were at the centre of the battle for the hearts and minds of working people. At a time when trade unions were a substantial force in both American and European politics, the fiercely anti-communist American Federation of Labor - Congress of Industrial Organizations (AFL - CIO), set a strong example...
OpenIntro Statistics offers a traditional introduction to statistics at the college level. This textbook is widely used at the college level and offers an exceptional and accessible introduction for students from community colleges to the Ivy League. The textbook has been thoroughly vetted with an estimated 20,000 students using it annually.
Ext...
This book is devoted to emotional and narrative immersion in the experience of gameplay. The focus of our research is the complex interplay between the story and mechanics in digital games. Our goal is to demonstrate how the narrative and the ludic elements together can form unique player experiences. The volume is a collection of case studies invo...
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 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) ...
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...
This book helps you gain the foundational knowledge required to write an operating system from scratch. Hence the title, 0 to 1.
After completing this book, at the very least you will learn:
- How to write an operating system from scratch by reading hardware datasheets. In the real world, it works like that. You won't be able to consult Go...
Development of embedded software has for some years mainly been carried out by hardware-aware programming using the C-language, and in some cases even in assembly languages. This works well in simple cases when the application demands and the hardware are known at design time, and the size of the (statically defined) software is small. When applica...
Streamline software development with Jenkins, the popular Java-based open source tool that has revolutionized the way teams think about Continuous Integration (CI). This complete guide shows you how to automate your build, integration, release, and deployment processes with Jenkins - and demonstrates how CI can save you time, money, and many headac...
The utility simply known as make is one of the most enduring features of both Unix and other operating systems. First invented in the 1970s, make still turns up to this day as the central engine in most programming projects; it even builds the Linux kernel. In the third edition of the classic Managing Projects with GNU make, readers will learn why ...
Written by members of the development team that maintains Subversion, this is the official guide and reference manual for the popular open source revision control technology. The new edition covers Subversion 1.7 with a complete introduction and guided tour of its capabilities, along with best practice recommendations.
Version Control with Subve...
In this truly unique technical book, today's leading software architects present valuable principles on key development issues that go way beyond technology. More than four dozen architects - including Neal Ford, Michael Nygard, and Bill de hOra - offer advice for communicating with stakeholders, eliminating complexity, empowering developers, ...
Thread-safe, reliable, and lightning-fast, Rust has been the most loved programming language on Stack Overflow for four years and counting! This open source systems language gets its amazing speed in large part from its memory safety - and without resource-greedy garbage collection. Offering freedom from a runtime requirement, a rich type system, a...