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...
Functional and flexible, this guide takes an objects-first approach to Java programming and problem using games and puzzles. Offers independent introductions to both a command-line interface and a graphical user interface (GUI). Features coverage of Unified Modeling Language (UML), the industry-standard, object-oriented design tool. Illustrates key...
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 Think Like a Computer Scientist: Learning with Python - is an introduction to computer science using the Python programming language. It covers the basics of computer programming, including variables and values, functions, conditionals and control flow, program development and debugging. Later chapters cover basic algorithms and data structu...
The issue "Mathematical Logic and Its Applications 2020" contains articles related to the following three directions:
I. Descriptive Set Theory (3 articles). Solutions for long-standing problems, including those of A. Tarski and H. Friedman, are presented.
II. Exact combinatorial optimization algorithms, in which the complexity rela...
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...
When working on Xamarin.Forms projects, developers tend to replicate elements among projects or need to build common views that are not included in the Xamarin.Forms code base. Microsoft's Xamarin Community Toolkit simplifies reusing elements across projects with an open-source collection of reusable elements for mobile development. By the end...
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...
Introductory statistics courses prepare students to think statistically but cover relatively few statistical methods. Building on the basic statistical thinking emphasized in an introductory course, a second course in statistics at the undergraduate level can explore a large number of statistical methods. This text covers more advanced graphical su...
Complementing Who Saved the Parthenon? this companion volume sets aside more recent narratives surrounding the Athenian Acropolis, supposedly 'the very symbol of democracy itself', instead asking if we can truly access an ancient past imputed with modern meaning. And, if so, how?
In this book William St Clair presents a reconstructed u...
This book is geared towards users who have no Revit background. It starts with Revit basics such as how to create walls, floors, roof, but it also covers more advanced topics such as creating a complex object, preparing construction documents, and modeling mechanical and structural systems.
This book is an open education platform for Architectur...
This book is for those whose financial management focus is on small businesses. For you, we adapt the traditional financial management themes emphasized in corporate financial management courses to meet the needs of small businesses.
Many financial managers of small businesses come from farms or agribusinesses. Others are interested in working f...
NoSQL is a modern data persistence storage paradigm that provides data persistence for environments where high performance is a primary requirement. Within NoSQL, data is stored in such a way as to make both writing and reading quite fast, even under heavy load.
Redis and Redis Enterprise are market-leading, multi-model NoSQL databases that brin...