| |
|
|
 Francine F. Abeles, "Modern Logic 1850-1950, East and West " English | ISBN: 3319247549 | 2016 | 271 pages | MOBI | 1052 KB This book presents diverse topics in mathematical logic such as proof theory, meta-mathematics, and applications of logic to mathematical structures. The collection spans the first 100 years of modern logic and is dedicated to the memory of Irving Anellis, founder of the journal 'Modern Logic', whose academic work was essential in promoting the algebraic tradition of logic, as represented by Charles Sanders Peirce. Anellis's association with the Russian logic community introduced their school of logic to a wider audience in the USA, Canada and Western Europe. In addition, the collection takes a historical perspective on proof theory and the development of logic and mathematics in Eastern Logic, the Soviet Union and Russia.  Richard Alan Barlow, "Modern Irish and Scottish Literature: Connections, Contrasts, Celticisms" English | ISBN: 0192859188 | 2023 | 192 pages | AZW3 | 1013 KB Modern Irish and Scottish Literature: Connections, Contrasts, Celticisms explores the ways Irish and Scottish literatures have influenced each other from the 1760s onwards. Although an early form of Celticism disappeared with the demise of the Celtic Revivals of Ireland and Scotland, the 'Celtic world' and the 'Celtic temperament' remained key themes in central texts of Irish and Scottish literature well into the twentieth century. Richard Barlow examines the emergence, development, and transformation of Celticism within Irish and Scottish writing and identifies key connections between modern Irish and Scottish authors and texts.  Modern Concurrency in SwiftUI: Working with Async/Await Through Practical Examples by Ethan Bell English | 2026 | ASIN: B0GM6XP7H2 | 339 Pages | PDF | 111 MB  Modern Concurrency in Java: Virtual Threads, Structured Concurrency, and Beyond by A. N. M. Bazlur Rahman English | October 21st, 2025 | ISBN: 1098165411 | 337 pages | True PDF | 4.47 MB Welcome to the future of Java. With this book, you'll explore the transformative world of Java 21's key feature: virtual threads. Remember struggling with the cost of thread creation, encountering limitations on scalability, and facing difficulties in achieving high throughput? Those days are over. This practical guide takes you from Java 1.0 to the cutting-edge advancements of Project Loom.  Modern Approach To Data Analysis by Olajumoke Akinremi English | 2026 | ASIN: B0GHZK6PPT | 101 Pages | PDF | 25 MB  Tarja Knuuttila, "Modeling the Possible " English | ISBN: 1032379642 | 2025 | 296 pages | EPUB | 1058 KB Models are used to explore possibilities across all scientific fields. Climate models simulate the potential future climatic conditions under various emissions scenarios, macroeconomic models investigate the implications of various fiscal and monetary policy initiatives, and infectious diseases models study the spread of viral diseases under a range of conditions. Such modeling approaches have not gone ignored by philosophers of science, but they have only recently started to explicitly address modeling the possible. So far, the discussion has been spread across a variety of more or less isolated pockets of debate in the philosophy of science. Modeling the Possible: Perspectives from Philosophy of Science draws together these studies, focusing specifically on how various modeling practices probe possibilities and justify claims concerning them.  Model-Based Systems Engineering and Requirements Definition English | 2026 | ISBN: B0FMX5R92E | 244 pages | PDF | 27.23 MB Learn how to integrate model-based systems engineering (MBSE) with mission-driven requirements to create a connected framework that delivers reliable solutions designed with key objectives. This book uses real-world examples to demonstrate how clear requirements and smart modeling lead to systems that work better, cost less to fix, and meet their goals the first time.  Model Induction from dаta: Towards the next generation of computational engines in hydraulics and hydrology English | 2002 | ISBN: 9781003760290 | 157 pages | True PDF,EPUB | 26.67 MB There has been an explosive growth of methods in recent years for learning (or estimating dependency) from data, where data refers to known samples that are combinations of inputs and corresponding outputs of a given physical system. The main subject addressed in this thesis is model induction from data for the simulation of hydrodynamic processes in the aquatic environment. Firstly, some currently popular artificial neural network architectures are introduced, and it is then argued that these devices can be regarded as domain knowledge incapsulators by applying the method to the generation of wave equations from hydraulic data and showing how the equations of numerical-hydraulic models can, in their turn, be recaptured using artificial neural networks. The book also demonstrates how artificial neural networks can be used to generate numerical operators on non-structured grids for the simulation of hydrodynamic processes in two-dimensional flow systems and a methodology has been derived for developing generic hydrodynamic models using artificial neural network. The book also highlights one other model induction technique, namely that of support vector machine, as an emerging new method with a potential to provide more robust models.  Misfit: A Survival Guide by Sean Mortimer English | January 20th, 2026 | ISBN: 0593726677 | 320 pages | True EPUB | 43.70 MB The ultimate guide to recognizing untapped potential by celebrating imperfection. Learn to take the path less travelled with direction from misfit guides like Tony Hawk, Mark Mothersbaugh, Michelle "Estrojen" Steilen, Shepard Fairey, and many more.  Paul Miller-Melamed, "Misfire: The Sarajevo Assassination and the Winding Road to World War I" English | ISBN: 0195331044 | 2022 | 296 pages | MOBI | 5 MB A new interpretation of the Sarajevo assassination and the origins of World War I that places focus on the Balkans and the prewar period. |
:
