Filter by
A First Course in Continuum Mechanics
A concise account of various classic theories of fluids and solids, this book is for courses in continuum mechanics for graduate students and advanced undergraduates. Thoroughly class-tested in courses at Stanford University and the University of Warwick, it is suitable for both applied mathematicians and engineers. The only prerequisites are an introductory undergraduate knowledge of basic lin…
- Edition
- -
- ISBN/ISSN
- 9780511619571
- Collation
- -
- Series Title
- Cambridge Texts in Applied Mathematics (42)
- Call Number
- -
A First Course in Combinatorial Optimization
A First Course in Combinatorial Optimization is a text for a one-semester introductory graduate-level course for students of operations research, mathematics, and computer science. It is a self-contained treatment of the subject, requiring only some mathematical maturity. Topics include: linear and integer programming, polytopes, matroids and matroid optimization, shortest paths, and network fl…
- Edition
- -
- ISBN/ISSN
- 9780511616655
- Collation
- -
- Series Title
- Cambridge Texts in Applied Mathematics (36)
- Call Number
- -
A Course in Mathematics for Students of Physics
This textbook, available in two volumes, has been developed from a course taught at Harvard over the last decade. The course covers principally the theory and physical applications of linear algebra and of the calculus of several variables, particularly the exterior calculus. The authors adopt the 'spiral method' of teaching, covering the same topic several times at increasing levels of sophist…
- Edition
- -
- ISBN/ISSN
- 9781139171670
- Collation
- -
- Series Title
- -
- Call Number
- -
The Design of Requirements Modelling Languages
This book explains in detail how to define requirements modelling languages – formal languages used to solve requirement-related problems in requirements engineering. It moves from simple languages to more complicated ones and uses these languages to illustrate a discussion of major topics in requirements modelling language design. The book positions requirements problem solving within the…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-18821-8
- Collation
- XII, 286
- Series Title
- -
- Call Number
- -
The Design of Requirements Modelling Languages
This book explains in detail how to define requirements modelling languages – formal languages used to solve requirement-related problems in requirements engineering. It moves from simple languages to more complicated ones and uses these languages to illustrate a discussion of major topics in requirements modelling language design. The book positions requirements problem solving within the…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-18821-8
- Collation
- XII, 286
- Series Title
- -
- Call Number
- -
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
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography