Types are the central organizing principle of the theory of programming languages. Language features are manifestations of type structure. The syntax of a language is governed by the constructs that define its types, and its semantics is determined by the interactions among those constructs. The soundness of a language design - the absence of ill-d...
The Hegemony of Heritage makes an original and significant contribution to our understanding of how the relationship of architectural objects and societies to the built environment changes over time. Studying two surviving medieval monuments in southern Rajasthan - the Ambika Temple in Jagat and the Ékalingji Temple Complex in Kailaspuri - the aut...
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...
Inventory Analytics provides a comprehensive and accessible introduction to the theory and practice of inventory control - a significant research area central to supply chain planning. The book outlines the foundations of inventory systems and surveys prescriptive analytics models for deterministic inventory control. It further discusses predictive...
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...
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...
This book provides novel and in-depth perspectives on evaluating environment and sustainability issues in developing countries. Evaluating Environment in International Development focuses on the approaches and experiences of leading international organizations, not-for-profits, and multilateral and bilateral aid agencies to illustrate how systemati...
In Paris in the Dark Eric Smoodin takes readers on a journey through the streets, cinemas, and theaters of Paris to sketch a comprehensive picture of French film culture during the 1930s and 1940s. Drawing on a wealth of journalistic sources, Smoodin recounts the ways films moved through the city, the favored stars, and what it was like to go to th...
This fluent and comprehensive field guide responds to increased interest, across the humanities, in the ways in which digital technologies can disrupt and open up new research and pedagogical avenues. It is designed to help scholars and students engage with their subjects using an audio-visual grammar, and to allow readers to efficiently gain the t...
What could be more satisfying than building a whole computer, from scratch? You might think it's impossible these days, but we've found a band of makers who are re-creating the clicky switches and flashing LEDs of a bygone age. Have a go yourself!
- Design, sustainability and ethics with Jude Pullen;
- Add much-needed safety features ...
The GNU Debugger allows you to see what is going on "inside" a program while it executes - or what a program was doing at the moment it crashed. GDB supports C, C++, Java, Fortran and Assembly among other languages; it is also designed to work closely with the GNU Compiler Collection (GCC). The GNU Debugger Program has four special featur...
What does it mean to say that someone is autistic?
Towards an Ethics of Autism is an exploration of this question and many more. In this thoughtful, wide-ranging book, Kristien Hens examines a number of perspectives on autism, including psychiatric, biological, and philosophical, to consider different ways of thinking about autism, as well as it...
Svelte is an exciting Web framework that offers a fresh new take on how to build Web applications.
If you are already experienced in React, Vue, Angular or other frontend frameworks you might be pleasantly surprised by Svelte.
My first impression with Svelte was that it all feels so much more like plain JavaScript than working with other fram...
Back in the mid 90s, Beej got tired of all his friends asking him how to do this stuff with networking programming in C, so he put pen to paper on the early World Wide Web and wrote down everything he knew just to get them off his back. Since then, the Guide has expanded significantly, with plenty of examples, and covers IPv6. Inside you'll fi...
Digital dissertations have been a part of academic research for years now, yet there are still many questions surrounding their processes. Are interactive dissertations significantly different from their paper-based counterparts? What are the effects of digital projects on doctoral education? How does one choose and defend a digital dissertation? T...
Statistical studies over the last forty-five years show that, although there are success stories, very many mergers and acquisitions do not result in the increased operating profits that economics textbooks would lead one to expect. As consultancy McKinsey have put it, 'Anyone who has researched merger success rates knows that roughly 70% fail...
This work introduces a new specification and verification approach for dynamic systems. The introduced approach is able to provide type II error free results by definition, i.e. there are no hidden faults in the verification result. The approach is based on Kaucher interval arithmetic to enclose the measurement in a bounded error sense. The develop...
Everyone needs a little cryptology.
The problem with crypto is that it has a reputation of being very hard and mysterious, as well as very easy to get wrong. While there are aspects of crypto that are connected to quite modern and complex theories - such as number theory, an old and deep branch of mathematics; complexity theory, a new(er) and su...
How To Do Science has been written for students of the life sciences who are actively engaged in the scientific process. This guide introduces you to what it means to be a scientist. You will learn about the scientific method and how to carry out many tasks of a scientist, including: designing experiments, visualising data, accessing scientific lit...
This 2d volume describes the systematic application of Promise Theory to systems, representing a significant step forward in describing functional systems with both dynamics and semantics. By combining quantitative and qualitative descriptions in a single framework, Promise Theory provides the first impartial language for multiscale system phenomen...
Becoming a Scholar provides a window into the lives of nine non-traditional doctoral students. As mature, part-time, international students enrolled in a professional doctorate programme, they reflect on the transformation process of becoming scholars, and their narratives provide breadth and depth to themes that represent a diverse cross-section o...
If you are interested in learning how to build and design websites, Hyper Text Markup Language (HTML) is a great place to start. This project-based tutorial series will introduce you to HTML and its methods by building a personal website using our demonstration site (below) as a model. Once you learn the basics, you will know how change the website...
Deno is a JavaScript runtime by the creator of Node, built upon the lessons learned from Node becoming an integral part of so many apps since 2009, plus the ever-changing web app landscape. In Deno Succinctly, author Mark Lewin illuminates the improvements that Deno brings to server-side web development, and guides readers through three quick proje...
MongoDB is one of the biggest players in the NoSQL database market, providing high performance, high availability, and automatic scaling. It's an open-source document database written in C++ and hosted on GitHub. Zoran Maksimovic's MongoDB 3 Succinctly touches on the most important aspects of the MongoDB database that application develope...
Nuxt.js is an open-source JavaScript library based on Vue.js. Think of it as a framework for a framework - adding two significant features to Vue.js: server-side rendering; and easy Vue.js application configuration and routing through folders and files. In Nuxt.js Succinctly, long-time Succinctly author Ed Freitas will show readers how Nuxt.js simp...
Erlang is the result of a project at Ericsson's Computer Science Laboratory to improve the programming of telecommunication applications. A critical requirement was supporting the characteristics of such applications, that include: massive concurrency, fault-tolerance, isolation, dynamic code upgrading at runtime, transactions.
Throughout t...
Rules and Laws for Civil Actions is an open-access resource for law students containing the U.S. Constitution, Federal Rules of Civil Procedure, Federal Rules of Evidence, Federal Rules of Appellate Procedure, and selected federal and state statutes. The book was created by a team of faculty members at the University of Iowa College of Law to suppl...
Svelte departs from the virtual DOM approach by compiling the code you write into native-browser JavaScript when you build your application. The result is minimal and highly optimized pure JavaScript that the browser executes with no heavy runtime. In Svelte Succinctly, Ed Freitas will show readers how to install Svelte and give them a condensed ov...
This open education resource presents effective system modelling methods, including Lagrangian and bond graph, and the application of a relevant engineering software tool, 20-sim. The content is designed for engineering students and professionals in the field to support their understanding and application of these methods for modelling, simulation,...
In ASP.NET Core 6 Succinctly, author Dirk Strauss guides web developers through some of the significant performance and feature improvements newly available in ASP.NET Core 6. Learn about the unmissable practicality of Hot Reload, explore super-helpful C# 10 features, pick up the essentials of how to build a minimal API, and discover how and why de...
The fourth book in the 'European Public Investment Outlook' series focuses on the urgent issue of how to finance needed investment in critical tangible and intangible infrastructure given high levels of public debt, a thorny problem facing many governments across Europe. Drawing on expertise from academics, researchers at public policy in...