Filter by
Advances in Proof-Theoretic Semantics
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Du…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-22686-6
- Collation
- VI, 283
- Series Title
- Trends in Logic
- Call Number
- 511.3 ADV a
Green Infrastructure and Climate Change Adaptation : Function, Implementation…
This open access book introduces the function, implementation and governance of green infrastructure in Japan and other countries where lands are geologically fragile and climatologically susceptible to climate change. It proposes green infrastructure as an adaptation strategy for climate change and biodiversity conservation. In the face of climate change, dams, levees and floodways built as…
- Edition
- -
- ISBN/ISSN
- 978-981-16-6791-6
- Collation
- XII, 506
- Series Title
- Ecological Research Monographs (ECOLOGICAL)
- Call Number
- 570 GRE
Long-Term Ecosystem Changes in Riparian Forests
This open access book presents and analyzes the results of more than 30 years of long-term ecological research in riparian forest ecosystems with the aim of casting light on changes in the dynamics of riparian forests over time. The research, focusing on the Ooyamazawa riparian forest, one of the remaining old-growth forests in Japan, has yielded a number of interesting outcomes. First, it show…
- Edition
- -
- ISBN/ISSN
- 978-981-15-3009-8
- Collation
- VIII, 234
- Series Title
- Ecological Research Monographs (ECOLOGICAL)
- Call Number
- 570 LON
Theoretical and Experimental Studies on Steady-State Microbunching
This open access book is devoted to the theoretical and experimental studies of a novel accelerator light source mechanism called steady-state microbunching (SSMB) which promises high-power, high-repetition rate, narrow-band coherent radiation in an electron storage ring. The contribution of this dissertation consists of three parts: first, answers the question of how to realize SSMB from a bea…
- Edition
- -
- ISBN/ISSN
- 978-981-99-5800-9
- Collation
- XII, 160
- Series Title
- Springer Theses (Springer Theses)
- Call Number
- 530 DEN t
Understanding Acoustics : An Experimentalist’s View of Sound and Vibration
This open access textbook, like Rayleigh’s classic Theory of Sound, focuses on experiments and on approximation techniques rather than mathematical rigor. The second edition has benefited from comments and corrections provided by many acousticians, in particular those who have used the first edition in undergraduate and graduate courses. For example, phasor notation has been added to clearly …
- Edition
- -
- ISBN/ISSN
- 978-3-030-44787-8
- Collation
- XLIII, 783
- Series Title
- Graduate Texts in Physics (GTP)
- Call Number
- 530 GAR u
Particle Accelerator Physics
This book by Helmut Wiedemann is a well-established, classic text, providing an in-depth and comprehensive introduction to the field of high-energy particle acceleration and beam dynamics. The present 4th edition has been significantly revised, updated and expanded. The newly conceived Part I is an elementary introduction to the subject matter for undergraduate students. Part II gathers the …
- Edition
- -
- ISBN/ISSN
- 978-3-319-18317-6
- Collation
- XXIX, 1021
- Series Title
- Graduate Texts in Physics (GTP)
- Call Number
- 530 WIE p
Experimental Techniques in Nuclear and Particle Physics
I have been teaching courses on experimental techniques in nuclear and particle physics to master students in physics and in engineering for many years. This book grew out of the lecture notes I made for these students. The physics and engineering students have rather different expectations of what such a course should be like. I hope that I have nevertheless managed to write a book that can sa…
- Edition
- -
- ISBN/ISSN
- 978-3-642-00829-0
- Collation
- X, 306
- Series Title
- -
- Call Number
- 530 TAV e
Continental Philosophy of Technoscience
The key objective of this volume is to allow philosophy students and early-stage researchers to become practicing philosophers in technoscientific settings. Zwart focuses on the methodological issue of how to practice continental philosophy of technoscience today. This text draws upon continental authors such as Hegel, Engels, Heidegger, Bachelard and Lacan (and their fields of dialectics, p…
- Edition
- -
- ISBN/ISSN
- 978-3-030-84570-4
- Collation
- VII, 245
- Series Title
- Philosophy of Engineering and Technology (POET, volume 38)
- Call Number
- 500 ZWA c
Critical Points for the Organisation of Test Performance Studies in Microbiol…
This open access book in the field of plant pest detection shows a constant demand in development and improvement of fast and reliable detection tools, especially for high-priority pests. This open access book describes and summarizes the whole process of the organization of test performance study (TPS) for these tools. The outcome of TPS, obtained through the evaluation of the performance of o…
- Edition
- -
- ISBN/ISSN
- 978-3-030-99811-0
- Collation
- XIV, 97
- Series Title
- Plant Pathology in the 21st Century (ICPP, volume 12)
- Call Number
- 570 CRI
Urban Living Lab for Local Regeneration
This open access book provides an integrated overview of the challenges and resources of large-scale social housing estates in Europe and outlines possible interdisciplinary approaches and tools to promote their regeneration. It especially focuses on the tool of urban living labs, as promising in promoting new and more effective local governance and in including the different actors into the pl…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-19748-2
- Collation
- oer.unej.ac.id
- Series Title
- The Urban Book Series
- Call Number
- 550
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography