Filter by
The Congruences of a Finite Lattice
This is a self-contained exposition by one of the leading experts in lattice theory, George Grätzer, presenting the major results of the last 70 years on congruence lattices of finite lattices, featuring the author's signature Proof-by-Picture method. Key features: * Insightful discussion of techniques to construct "nice" finite lattices with given congruence lattices and "nice" congruen…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-38798-7
- Collation
- XXXIV, 346, 159 b/w illustrations
- Series Title
- -
- Call Number
- -
The Complex Itinerary of Leibniz’s Planetary Theory The Complex Itinerar…
This book presents new insights into Leibniz’s research on planetary theory and his system of pre-established harmony. Although some aspects of this theory have been explored in the literature, others are less well known. In particular, the book offers new contributions on the connection between the planetary theory and the theory of gravitation. It also provides an in-depth discussion of Kep…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-21236-4
- Collation
- X, 188,
- Series Title
- Science Networks. Historical Studies
- Call Number
- -
The Reformation in Economics
This book carves the beginnings of a new path in the arguably weary discipline of economics. It combines a variety of perspectives – from the history of ideas to epistemology – in order to try to understand what has gone so wrong with economics and articulate a coherent way forward. This is undertaken through a dual path of deconstruction and reconstruction. Mainstream economics is broken d…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-40757-9
- Collation
- XV, 368, 2 b/w illustrations, 19 illustrations in colour
- Series Title
- -
- Call Number
- -
Towards Mathematical Philosophy
area and in applications to linguistics, formal epistemology, and the study of norms. The second contains papers on non-classical and many-valued logics, with an eye on applications in computer science and through it to engineering. The third concerns the logic of belief management,whichis likewise closely connected with recent work in computer science but also links directly with epistemology,…
- Edition
- -
- ISBN/ISSN
- 978-1-4020-9084-4
- Collation
- -
- Series Title
- XIV, 344
- Call Number
- -
Crosstalk in Modern On-Chip Interconnects A FDTD Approach
The book provides accurate FDTD models for on-chip interconnects, covering most recent advancements in materials and design. Furthermore, depending on the geometry and physical configurations, different electrical equivalent models for CNT and GNR based interconnects are presented. Based on the electrical equivalent models the performance comparison among the Cu, CNT and GNR-based interconnects…
- Edition
- -
- ISBN/ISSN
- 9789811008009
- Collation
- xv, 116 pages
- Series Title
- -
- Call Number
- 511.8
Inductive Logic Programming: 24th International Conference, ILP 2014, Nancy, …
This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Conference on Inductive Logic Programming, ILP 2014, held in Nancy, France, in September 2014. The 14 revised papers presented were carefully reviewed and selected from 41 submissions. The papers focus on topics such as the inducing of logic programs, learning from data represented with logic,…
- Edition
- -
- ISBN/ISSN
- 978-3-319-23707-7
- Collation
- X, 211
- Series Title
- -
- Call Number
- 510
International Symposium on Mathematics, Quantum Theory, and Cryptography Pro…
This open access book presents selected papers from International Symposium on Mathematics, Quantum Theory, and Cryptography (MQC), which was held on September 25-27, 2019 in Fukuoka, Japan. The international symposium MQC addresses the mathematics and quantum theory underlying secure modeling of the post quantum cryptography including e.g. mathematical study of the light-matter interaction mod…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- -
Fourier Transformation for Pedestrians
This book is an introduction to Fourier Transformation with a focus on signal analysis, based on the first edition. It is well suited for undergraduate students in physics, mathematics, electronic engineering as well as for scientists in research and development. It gives illustrations and recommendations when using existing Fourier programs and thus helps to avoid frustrations. Moreover, it is…
- Edition
- -
- ISBN/ISSN
- 978-3-319-16985-9
- Collation
- XVIII, 242 pages
- Series Title
- Undergraduate Lecture Notes in Physics
- Call Number
- -
Transactions on Engineering Technologies World Congress on Engineering and C…
This volume contains thirty-nine revised and extended research articles, written by prominent researchers participating in the World Congress on Engineering and Computer Science 2014, held in San Francisco, October 22-24 2014. Topics covered include engineering mathematics, electrical engineering, circuit design, communications systems, computer science, chemical engineering, systems engineerin…
- Edition
- -
- ISBN/ISSN
- 978-94-017-7236-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Current trends in analysis and its applications
This book is a collection of papers from the 9th International ISAAC Congress held in 2013 in Kraków, Poland. The papers are devoted to recent results in mathematics, focused on analysis and a wide range of its applications. These include up-to-date findings of the following topics: - Differential Equations: Complex and Functional Analytic Methods - Nonlinear PDE - Qualitative Properties of E…
- Edition
- -
- ISBN/ISSN
- 9783319125770
- Collation
- 892 pages
- Series Title
- -
- Call Number
- 515
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography