Skip to main content

North Holland

Logical Frameworks for Truth and Abstraction
An Axiomatic Study
1st Edition
Volume 135
A. Cantini
English
This English translation of the author's original work has been thoroughly revised, expanded and updated.The book covers logical systems known as type-free or self-referential. These traditionally arise from any discussion on logical and semantical paradoxes. This particular volume, however, is not concerned with paradoxes but with the investigation of type-free sytems to show that: (i) there are rich theories of self-application, involving both operations and truth which can serve as foundations for property theory and formal semantics; (ii) these theories provide a new outlook on classical topics, such as inductive definitions and predicative mathematics; (iii) they are particularly promising with regard to applications.Researc... arising from paradoxes has moved progressively closer to the mainstream of mathematical logic and has become much more prominent in the last twenty years. A number of significant developments, techniques and results have been discovered.Academics... students and researchers will find that the book contains a thorough overview of all relevant research in this field.
Physical Metallurgy
4th Edition
R.W. Cahn + 1 more
English
This is the fourth edition of a work which first appeared in 1965. The first edition had approximately one thousand pages in a single volume. This latest volume has almost three thousand pages in 3 volumes which is a fair measure of the pace at which the discipline of physical metallurgy has grown in the intervening 30 years.Almost all the topics previously treated are still in evidence in this version which is approximately 50% bigger than the previous edition. All the chapters have been either totally rewritten by new authors or thoroughly revised and expanded, either by the third-edition authors alone or jointly with new co-authors. Three chapters on new topics have been added, dealing with dry corrosion, oxidation and protection of metal surfaces; the dislocation theory of the mechanical behavior of intermetallic compounds; and (most novel) a chapter on polymer science for metallurgists, which analyses the conceptual mismatch between metallurgists' and polymer scientists' way of looking at materials. Special care has been taken throughout all chapters to incorporate the latest experimental research results and theoretical insights. Several thousand citations to the research and review literature are included in this edition. There is a very detailed subject index, as well as a comprehensive author index.The original version of this book has long been regarded as the standard text in physical metallurgy and this thoroughly rewritten and updated version will retain this status.
Parallel Computational Fluid Dynamics '95
Implementations and Results Using Parallel Computers
1st Edition
A. Ecer + 3 more
English
Parallel Computational Fluid Dynamics(CFD) is an internationally recognised fast-growing field. Since 1989, the number of participants attending Parallel CFD Conferences has doubled.In order to keep track of current global developments, the Parallel CFD Conference annually brings scientists together to discuss and report results on the utilization of parallel computing as a practical computational tool for solving complex fluid dynamic problems. This volume contains the results of research conducted during the past year.Subject areas covered include: novel parallel algorithms, parallel Euler and Navier-Stokes solvers, parallel Direct Simulation Monte Carlo method and parallel multigrid techniques. The content of the book also demonstrates that considerable effort is being made to utilize parallel computing to solve a variety of fluid dynamics problems in topics such as climate modeling, consultation, aerodynamics and in many other areas.Readers of this book will gain a valid insight into the exciting recent developments in Parallel CFD research.
Handbook of Algebra
1st Edition
Volume 1
English
Handbook of Algebra defines algebra as consisting of many different ideas, concepts and results. Even the nonspecialist is likely to encounter most of these, either somewhere in the literature, disguised as a definition or a theorem or to hear about them and feel the need for more information. Each chapter of the book combines some of the features of both a graduate-level textbook and a research-level survey. This book is divided into eight sections. Section 1A focuses on linear algebra and discusses such concepts as matrix functions and equations and random matrices. Section 1B cover linear dependence and discusses matroids. Section 1D focuses on fields, Galois Theory, and algebraic number theory. Section 1F tackles generalizations of fields and related objects. Section 2A focuses on category theory, including the topos theory and categorical structures. Section 2B discusses homological algebra, cohomology, and cohomological methods in algebra. Section 3A focuses on commutative rings and algebras. Finally, Section 3B focuses on associative rings and algebras. This book will be of interest to mathematicians, logicians, and computer scientists.
Cohesion and Structure of Surfaces
1st Edition
Volume 4
K. Binder + 3 more
English
During the past fifteen years there has been a dramatic increase in the number of different surfaces whose structures have been determined experimentally. For example, whereas in 1979 there were only 25 recorded adsorption structures, to date there are more than 250. This volume is therefore a timely review of the state-of-the-art in this dynamic field.Chapter one contains a compilation of the structural data base on surfaces within a series of tables that allows direct comparison of structural parameters for related systems. Experimental structural trends amongst both clean surfaces and adsorbate systems are highlighted and discussed.The next chapter outlines the successes of local density functional theory in predicting the relaxations and reconstructions of clean metal and semiconductor surfaces, and the behaviour of adsorbates such as hydrogen, oxygen and alkali elements on metal surfaces, thereby explaining some of the experimental trends observed within the database. These ab initio density functional calculations are of ground state properties at the absolute zero of temperature. Chapter three provides an introduction to finite temperature effects in a pedagogical review of current statistical mechanical treatments of phase transitions at surfaces, many of which display the prominent role of fluctuations or non-mean field behaviour. The final chapter discusses the relationship of the reactivity of a surface to its morphology and composition, which is particularly relevant to a fundamental understanding of catalysis.
Finance
1st Edition
Volume 9
English
Phonon Physics The Cutting Edge
1st Edition
Volume 7
English
The first two volumes in this series published twenty years ago contained chapters devoted to anharmonic properties of solids, ab initio calculations of phonons in metals and insulators, and surface phonons. In the intervening years each of these important areas of lattice dynamics has undergone significant developments. This volume is therefore concerned with reviewing the current status of these areas.Chapter one deals with the path-integral quantum Monte-Carlo method as a numerical simulation approach and looks at how this has been applied successfully to the determination of low temperature thermodynamic properties of anharmonic crystals and to certain dynamical properties as well. Chapter two is concerned with the calculation of static and dynamic properties of anharmonic crystals in the quantum regime. Chapter three discusses intrinsic anharmonic localized modes that have been intensively studied recently. Two topics, ab initio calculations of phonons in metals, and surface phonons are dealt with in the next chapter. The remaining two chapters are devoted to topics that have not been treated in previous volumes. One is phonon transport and the second is phonons in disordered crystals.The work described in the six chapters of this volume testifies to the continuing vitality of the field of dynamical properties of solids nearly a century after its founding.
Handbook of International Economics
1st Edition
Volume 3
G.M. Grossman + 1 more
English
Up-to-date surveys of all major research areas in international trade and international finance are presented in this volume. The chapters have a high standard of exposition, delivering ideas at the forefront of the field in a clear readable fashion. The volume has a good overall balance of theoretical and empirical coverage.The trade side of the volume surveys theoretical work on trade based on scale economics and imperfect competition, the relationship between trade and technological progress, strategic trade policy, the political economy of trade policy, and the rules and institutions of international trade, as well as empirical work on trade patterns, trade policies, and regional integration. The finance side covers topics such as exchange rates, purchasing power parity, the current account, the international transmission of business cycles, foreign ending, international capital markets, target zones and speculative attacks on fixed exchange rates, and international economic policy coordination.For students and researchers interested in understanding developments in modern international economics, this book is an essential reference.
Handbook of Combinatorics
1st Edition
R.L. Graham
English
Handbook of Combinatorics Volume 1
1st Edition
Bozzano G Luisa
English
Handbook of Combinatorics, Volume 1 focuses on basic methods, paradigms, results, issues, and trends across the broad spectrum of combinatorics. The selection first elaborates on the basic graph theory, connectivity and network flows, and matchings and extensions. Discussions focus on stable sets and claw free graphs, nonbipartite matching, multicommodity flows and disjoint paths, minimum cost circulations and flows, special proof techniques for paths and circuits, and Hamilton paths and circuits in digraphs. The manuscript then examines coloring, stable sets, and perfect graphs and embeddings and minors. The book takes a look at random graphs, hypergraphs, partially ordered sets, and matroids. Topics include geometric lattices, structural properties, linear extensions and correlation, dimension and posets of bounded degree, hypergraphs and set systems, stability, transversals, and matchings, and phase transition. The manuscript also reviews the combinatorial number theory, point lattices, convex polytopes and related complexes, and extremal problems in combinatorial geometry. The selection is a valuable reference for researchers interested in combinatorics.

Browse by Publisher