Filter by
Topological States on Interfaces Protected by Symmetry
In this book, the author theoretically studies two aspects of topological states. First, novel states arising from hybridizing surface states of topological insulators are theoretically introduced. As a remarkable example, the author shows the existence of gapless interface states at the interface between two different topological insulators, which belong to the same topological phase. While…
- Edition
- -
- ISBN/ISSN
- 978-4-431-55534-6
- Collation
- -
- Series Title
- -
- Call Number
- -
Impacts of Land-use Change on Ecosystem Services
This book aims to systematically elaborate how land-use change directly or indirectly exerts impacts on the ability of ecosystems to provide services for human society. The relationship between land use, ecosystem services and human well-being is a hot topic, and there have been some important achievements in this field, but its continuing growth means that it warrants further research. The …
- Edition
- -
- ISBN/ISSN
- 978-3-662-48007-6
- Collation
- IX, 260
- Series Title
- -
- Call Number
- 304 IMP
A Descriptive Catalogue of the Latin Manuscripts in the John Rylands Library …
M. R. James (1862–1936), best known as a writer of chilling ghost stories, was an outstanding scholar of medieval literature and palaeography, who served both as Provost of King's College, Cambridge, and as Director of the Fitzwilliam Museum. His detailed descriptive catalogues of manuscripts owned by colleges, cathedrals and museums are still of value to scholars today. This two-volume catal…
- Edition
- -
- ISBN/ISSN
- 9780511919930
- Collation
- -
- Series Title
- Cambridge Library Collection - History of Printing, Publishing and Libraries
- Call Number
- -
A Descriptive Catalogue of the Latin Manuscripts in the John Rylands Library …
M. R. James (1862–1936), best known as a writer of chilling ghost stories, was an outstanding scholar of medieval literature and palaeography, who served both as Provost of King's College, Cambridge, and as Director of the Fitzwilliam Museum. His detailed descriptive catalogues of manuscripts owned by colleges, cathedrals and museums are still of value to scholars today. This two-volume catal…
- Edition
- -
- ISBN/ISSN
- 9780511919923
- Collation
- -
- Series Title
- Cambridge Library Collection - History of Printing, Publishing and Libraries
- Call Number
- -
Topics in Numerical Partial Differential Equations and Scientific Computing
Numerical partial differential equations (PDEs) are an important part of numerical simulation, the third component of the modern methodology for science and engineering, besides the traditional theory and experiment. This volume contains papers that originated with the collaborative research of the teams that participated in the IMA Workshop for Women in Applied Mathematics: Numerical Partial …
- Edition
- -
- ISBN/ISSN
- 978-1-4939-6399-7
- Collation
- -
- Series Title
- -
- Call Number
- -
Topics in Algebra and Analysis Preparing for the Mathematical Olympiad
The techniques presented here are useful for solving mathematical contest problems in algebra and analysis. Most of the examples and exercises that appear in the book originate from mathematical Olympiad competitions around the world. In the first four chapters the authors cover material for competitions at high school level. The level advances with the chapters. The topics explored include po…
- Edition
- -
- ISBN/ISSN
- 978-3-319-11946-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Formal Specification Level
This book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model at the Electronic System Level (ESL). Readers will be enabled to operate at this new, Formal Specification Level (FSL), using models which not only allow significant verification tasks in this early stage of the design flow, but also can be extracted…
- Edition
- -
- ISBN/ISSN
- 978-3-319-08699-6
- Collation
- VIII, 138 pages
- Series Title
- -
- Call Number
- -
A Description of Patagonia, and the Adjoining Parts of South America
Thomas Falkner (1707–84), one-time pupil of both Richard Mead and Isaac Newton, was an English Jesuit missionary who lived for nearly forty years in South America until 1767, when he returned to England following the Jesuits' expulsion from Córdoba. Originally published in 1774 in the hope that it 'might be of some public utility, and might also afford some amusement to the curious', this is…
- Edition
- -
- ISBN/ISSN
- 9781139775472
- Collation
- -
- Series Title
- Cambridge Library Collection - Latin American Studies
- Call Number
- -
A Description of British Guiana, Geographical and Statistical
Sir Robert Hermann Schomburgk (1804–1865) was a German-born surveyor and traveller. In 1835–1839 he explored British Guiana for the Royal Geographical Society. In 1840 he was appointed to define its boundaries with Brazil, as Brazilian encroachments were wiping out native tribes. His report to the Colonial Office was published as A Description of British Guiana, Geographical and Statistical…
- Edition
- -
- ISBN/ISSN
- 9780511783586
- Collation
- -
- Series Title
- Cambridge Library Collection - Latin American Studies
- Call Number
- -
Tools and Algorithms for the Construction and Analysis of Systems 21st Inter…
This book constitutes the proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015, which took place in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015. The 45 papers included in this volume, consisting of 27 research papers, 2 case-study papers, 7 regular…
- Edition
- -
- ISBN/ISSN
- 978-3-662-46681-0
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography