The purpose of the book is to give a thorough introduction to the methods of model theory for first order logic. Model theory is the branch of logic that deals with mathematical structures and the formal languages they interpret. First order logic is the most important formal language and its model theory is a rich and interesting subject with sign...
"How to Code in HTML5 and CSS3" is a free e-book about making websites in HTML5 and CSS for absolute beginners. It doesn't require any experience in IT to start. The aim of this book is to show the art of making websites using a plain language which is full of practical analogies. After reading over 100 pages you will get to know bas...
C is a general-purpose, procedural computer programming language supporting structured programming, lexical variable scope, and recursion, with a static type system.
The C Programming Language Handbook follows the 80/20 rule: learn in 20% of the time the 80% of a topic. In particular, the goal is to get you up to speed quickly with C....
This guide is a practical introduction to web application development with Spring Boot and Vaadin.
It covers the entire development process, from setup to deployment, following a step-by-step approach. You can replicate each section at your own pace as you follow along.
The content is suitable for anyone familiar with Java who wants to build ...
Climate change negotiations have failed the world. Despite more than thirty years of high-level, global talks on climate change, we are still seeing carbon emissions rise dramatically. This edited volume, comprising leading and emerging scholars and climate activists from around the world, takes a critical look at what has gone wrong and what is to...
This is an introduction to the Go language from Google. Its aim is to provide a guide to this new and innovative language.
The intended audience of this book is people who are familiar with programming and know multiple programming languages,be it C, C++, Perl, Java, Erlang, Scala or Haskell. This is not a book which teaches you how to program, ...
Laravel is full of hidden gems, undocumented or less-known features, functions parameters and "hacks". While finding them in work of my team, I decided to compile them into an ebook....
The audience for this guide is mainly developers, development leads, and architects who are interested in building modern web applications using Microsoft technologies and services in the cloud.
A secondary audience is technical decision makers who are already familiar ASP.NET or Azure and are looking for information on whether it makes sense to...
Java 3D Programming steps programmers through the important design and implementation phases of developing a successful Java 3D application. The book provides invaluable guidance on whether to use Java 3D, user interface design, geometry creation, scene manipulation and final optimizations. The book does not attempt to exhaustively cover the API or...
Covering the design and implementation of assemblers and loaders, this comprehensive book opens with an introduction to one-pass and two-pass assemblers. Important concepts such as absolute and relocatable object files are discussed, as are assembler features such as local labels and multiple location counters. The format, meaning and implementatio...
The fact that current compact cameras produce good (or at least, adequate) pictures in most photographic situations is at the root of this book. The main aim of the book is to show how such a camera can be operated and its controls tweaked to cover many different photographic conditions and requirements. (To put it another way, the chief goal of th...
The purpose of the 3rd edition of this book is to give a sound and self-contained (in the sense that the necessary probability theory is included) introduction to classical or mainstream statistical theory. It is not a statistical-methods-cookbook, nor a compendium of statistical theories, nor is it a mathematics book. The book is intended to be a ...
Put simply, Azure Virtual Desktop is a way to serve Windows resources over the internet. You can deliver an entire desktop or specific applications, and your users can access them anywhere, on any device. In Azure Virtual Desktop Succinctly, author Marco Moioli provides a thorough overview of the service, covering how it can enhance your organizati...
This open book aims to provide novice programmers solid foundation of basic knowledge regardless of the programming language. This book covers the fundamentals of programming that have not changed significantly over the last 10 years. Educational content was developed by an authoritative author team led by Svetlin Nakov from the Software University...
This book examines the evolution of the relationship between taxpayers and their states in Sweden, Italy, the United Kingdom, the United States, and Romania, and asks why tax compliance is so much higher in some countries than others. The book shows that successful states have built strong administrative capacities, tax citizens fairly and equitabl...
The diversity of musical expressions throughout the world is vast. Music can be found in every corner of the globe in a variety of different contexts.
This open book provides just a small sampling of some of the various musical styles and traditions that might be found, though the skills developed in this course can be applied to any type of mus...
In a modern global historical context, scholars have often regarded piracy as an essentially European concept which was inappropriately applied by the expanding European powers to the rest of the world, mainly for the purpose of furthering colonial forms of domination in the economic, political, military, legal and cultural spheres. By contrast, th...
Developing Graphics Frameworks with Python and OpenGL shows you how to create software for rendering complete three-dimensional scenes. The authors explain the foundational theoretical concepts as well as the practical programming techniques that will enable you to create your own animated and interactive computer-generated worlds. You will learn h...
Few software developers would build an application without using source control, but its adoption for databases has been slower. Yet without source control to maintain the scripts necessary to create our database objects, load lookup data, and take other actions, we cannot guarantee a reliable and repeatable database deployment process, let alone c...
Flutter made quite the impact when it landed in the cross-platform mobile framework landscape. Developed by Google, open source, targeting iOS and Android, smooth animations and motion, platform awareness, hot reload - the list of highlights goes on and on, demonstrating why Flutter is a worth any mobile developer's attention. In Flutter UI Su...
Digital accessibility skills are in high demand, as the world becomes more aware of barriers in digital content that prevent some people from participating in a digital society. These are essential skills for web developers, and essential knowledge for organizations that want to ensure their web content is reaching the broadest audience possible.
...
C# is a general purpose, object-oriented, component-based programming language. As a general purpose language, there are a number of ways to apply C# to accomplish many different tasks. You can build web applications with ASP.NET, desktop applications with Windows Presentation Foundation, or build mobile applications for Windows Phone. Other applic...
For healthcare professionals, clinical education is foundational to the learning process. However, balancing safe patient care with supportive learning opportunities for students can be challenging for instructors and the complex social context of clinical learning environments makes intentional teaching approaches essential. Clinical instructors r...
Ansible is an open-source software, automation engine, and automation language mainly used in software configuration management, infrastructure provisioning, configuration management, application deployment, and orchestration. The core Ansible is written in Python and can be used on Unix-like machines or Microsoft Windows. In Ansible Succinctly, Zo...
Introduction to Financial Mathematics: Concepts and Computational Methods serves as a primer in financial mathematics with a focus on conceptual understanding of models and problem solving. It includes the mathematical background needed for risk management, such as probability theory, optimization, and the like. The goal of the book is to expose th...
This is an intro to C for folks who already know how to program in another language. The first half of the book is written in a tutorial style, while the second half is a reference section complete with examples (inspired by the incomparable Turbo C Bible). The goal is to keep this up-to-date with the latest C standards.
This guide assumes that ...
New Global Cities in Latin America and Asia: Welcome to the Twenty-First Century proposes new visions of global cities and regions historically considered "secondary" in the international context. The arguments are not only based on material progress made by these metropolises, but also on the growing social difficulties experienced (e.g....
NGINX is one of the most widely used web servers available today, in part because of itscapabilities as a load balancer and reverse proxy server for HTTP and other network protocols. This revised cookbook provides easy-to-follow examples of real-world problems in application delivery. Practical recipes help you set up and use either the open source...
In this magisterial book, William St Clair unfolds the history of the Parthenon throughout the modern era to the present day, with special emphasis on the period before, during, and after the Greek War of Independence of 1821 - 32. Focusing particularly on the question of who saved the Parthenon from destruction during this conflict, with the help ...
This workbook was designed for the Introduction to Archaeology (ANTH 2339) class in the Department of Sociology and Anthropology, University of Texas at Arlington. It was created to provide exercises that supplement and expand on topics and issues raised in lecture. For each major topic, students complete exercises that serve a range of functions; ...
Interpersonal communication has many implications for us in the real world. Did you know that interpersonal communication played an important role in human evolution? Early humans who lived in groups, rather than alone, were more likely to survive, which meant that those with the capability to develop interpersonal bonds were more likely to pass th...
Microservices architectures introduce several benefits to the application development and delivery process. Microservices-based apps are easier to build, test, maintain, and scale. They also reduce downtime through better fault isolation.
While container-based microservices apps have profoundly changed the way DevOps teams deploy applications, t...