Dirk van Dalen’s popular textbook Logic and Structure, now in its fifth edition, provides a comprehensive introduction to the basics of classical and intuitionistic logic, model theory and Gödel’s famous incompleteness theorem. Propositi…
In this book, there is a strong emphasis on application with the necessary mathematical grounding. There are plenty of worked examples with all solutions provided. This enlarged new edition includes generalised Fourier series and a completely new ch…
Elementary Differential Geometry presents the main results in the differential geometry of curves and surfaces suitable for a first course on the subject. Prerequisites are kept to an absolute minimum – nothing beyond first courses in linear a…
This atlas is a comprehensive visual reference for the use of cardiovascular computed tomography (CT) containing photomicrographs, anatomic illustrations, tables, and charts paired with extensive legends and explanations that are supplemented by ext…
All researchers need to write or speak about their work, and to have research that is worth presenting. Based on the author's decades of experience as a researcher and advisor, this third edition provides detailed guidance on writing and presentatio…
Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach logic…
This book covers the "why," "how," and "what" of astronomy under light-polluted skies. The prospective city-based observer is told why to observe from home (there are hundreds of spectacular objects to be seen from the average urban site), how to ob…
This book provides an updated and expanded overview of basic concepts of energy economics and explains how simple economic tools can be used to analyse contemporary energy issues in the light of recent developments, such as the Paris Agreement, the…
This agenda-setting book presents state of the art research in Music and Human-Computer Interaction (also known as ‘Music Interaction’). Music Interaction research is at an exciting and formative stage. Topics discussed include interacti…
Production development is about improving existing production systems and developing new ones. The production system should be developed in integration with the product, as a part of the overall product realization process, and not in sequence after…
This book is an introduction to modern methods of symplectic topology. It is devoted to explaining the solution of an important problem originating from classical mechanics: the 'Arnold conjecture', which asserts that the number of 1-periodic trajec…
Heritage is everywhere, and an understanding of our past is increasingly critical to the understanding of our contemporary cultural context and place in global society. Visual Heritage in the Digital Age presents the state-of-the-art in the applicat…
The initial motivator for the development of DRM, a Design Research Methodology, and the subsequent writing of this book was our frustration about the lack of a common terminology, benchmarked research methods, and above all, a common research metho…
Computational and numerical methods are used in a number of ways across the field of finance. It is the aim of this book to explain how such methods work in financial engineering. By concentrating on the field of option pricing, a core task of finan…
An introductory course on Software Engineering remains one of the hardest subjects to teach largely because of the wide range of topics the area enc- passes. I have believed for some time that we often tend to teach too many concepts and topics in a…
You’re a computing or information student with a huge mountain to climb – that final-year research project. Don’t worry, because with this book guardian angels are at hand, in the form of four brilliant academics who will guide you…
This book teaches the art of writing mathematics, an essential -and difficult- skill for any mathematics student. The book begins with an informal introduction on basic writing principles and a review of the essential dictionary for mathematics. Wri…
Directly oriented towards real practical application, this book develops both the basic theoretical framework of extreme value models and the statistical inferential techniques for using these models in practice. Intended for statisticians and non-s…
Tensor signal processing is an emerging field with important applications to computer vision and image processing. This book presents the state of the art in this new branch of signal processing, offering a great deal of research and discussions by…
The human skull has many functions. The largest component of the skull, the neurocranium, protects and insulates the brain. It comprises the dome-shaped vault or calvaria, obviously a protective structure, and the more complex cranial base, which gi…
The past few decades have witnessed an increasing interest in the field of multidimensional systems theory. This is concerned with systems whose trajectories depend not on one single variable (usually interpreted as time or frequency), but on severa…
Ultrasound has replaced X-ray as the main imaging modality for the diagnosis of pelvic floor disorders in women. It now enables a cost-effective and non-invasive demonstration of bladder neck and pelvic organ mobility, vaginal, urethral and levator…
Biophilic and Bioclimatic Architecture is a guide to innovative architectural design for architects, engineers and other specialists who are working with biophilic and bioclimatic architectural concepts. Biophilic and Bioclimatic Architecture has th…
Innovation Design presents an approach to designing shared value for businesses, non-profit organizations, end-users and society. The societal and economic challenges we are currently facing – such as the aging population, energy scarcity and…
This book presents a biographical history of the field of systems thinking, by examining the life and work of thirty of its major thinkers. It discusses each thinker’s key contributions, the way this contribution was expressed in practice and…
A first, comprehensive account of the development of Europe’s highly successful space programme.- Explains the politics, science and organisation of the European Space Programme and the many technological achievements of its satellites and roc…
It is not possible to understand the apparent stability of the Earth's climate and environment unless we can fully understand how the best possible environmental conditions may be maintained for life to exist. Human colonization of areas with natura…
The informal style of Laser Material Processing (4th Edition) will guide you smoothly from the basics of laser physics to the detailed treatment of all the major materials processing techniques for which lasers are now essential. • Helps you t…
This book provides recommendations for evaluation and therapy in the area of acute pediatric neurology; these are presented didactically with frequent use of illustrations and algorithms. Chapters in the first part of the book discuss presenting sym…
This book shows how to do systems thinking and translate that thinking into praxis (theory informed practical action). It will be welcomed by those managing or governing in situations of complexity and uncertainty across all domains of professional…
Semantics will play an important role in the future development of software systems and domain-specific languages. This book provides a needed introductory presentation of the fundamental ideas behind these approaches, stresses their relationship by…
Focusing on the manipulation and representation of geometrical objects, this book explores the application of geometry to computer graphics and computer-aided design (CAD). Over 300 exercises are included, some new to this edition, and many of which…
This practical handbook is based on an internal working manual developed by staff and fellows at Mount Sinai Heart Cardiovascular Catheterization Laboratory, renowned for its high-volume and low complication complex coronary procedures. The Practica…
RFID technology presents a great potential for creating competitive advantage. By automating and simplifying data collection, it lets users more accurately track assets and monitor key indicators, which in turn gives greater visibility to the operat…
The Essentials of Chinese Medicine is a text book intended for international students who wish to gain a basic understanding of Chinese Medicine (CM) at the university level. The idea of writing such a text was originated from the Sino-American Cons…
Middleware is a layer of software that lets business applications inter-operate and eases the problem of constructing complex applications that can include market places, CRM and Internet access. The world of middleware has recently been galvanised…
Machine tools are the main production factor for many industrial applications in many important sectors. Recent developments in new motion devices and numerical control have lead to considerable technological improvements in machine tools. The use o…
In order to satisfy the needs of their customers, network utilities require specially developed maintenance management capabilities. Maintenance Management information systems are essential to ensure control, gain knowledge and improve-decision maki…
Historians have different views on the core identity of analogue computing. Some portray the technology solely as a precursor to digital computing, whereas others stress that analogue applications existed well after 1940. Even within contemporary so…
With 11 invited submissions from leading researchers and teams of researchers sharing one common characteristic ? all have worked with Dr. Judith Bishop during her long and continuing career as a leader in computer science education and research ? t…
Abu?erover?owoccurswheninputiswrittenintoamemorybu?erthatisnot large enough to hold the input. Bu?er over?ows may allow a malicious person to gain control over a computer system in that a crafted input can trick the defectiveprogramintoexecutingcode…
The finite element method is often used for numerical computation in the applied sciences. It makes a major contribution to the range of numerical methods used in the simulation of systems and irregular domains, and its importance today has made it…
Cellular Automata (CA), about to enter their fifties, are coming of age, seen by the breadth and quality of CA-related research carried out worldwide, as well as by the appearance of interesting applications to real world problems. The papers collec…
The aim of the book is to serve as a practical guide for junior doctors, primary care physicians and cardiology trainees. This book is a quick reference in everyday clinical practice and also as reminder of the necessary clinical steps for diagnosis…
From the more basic concepts to the most advanced ones where long and laborious simulation models are required, Electromagnetic Transients in Power Cables provides a thorough insight into the study of electromagnetic transients and underground power…
Information engineering and applications is the field of study concerned with constructing information computing, intelligent systems, mathematical models, numerical solution techniques, and using computers and other electronic devices to analyze an…
Providing a clear and systematic description of droplets and spray dynamic models, this book maximises reader insight into the underlying physics of the processes involved, outlines the development of new physical and mathematical models and broaden…
This updated and revised third edition of Vascular Surgery: Cases, Questions and Commentaries provides a unique collection of real-life case histories, written by experts, that highlights the diversity of problems encountered in vascular surgery. Wi…
Moving on from earlier stochastic and robust control paradigms, this book introduces the reader to the fundamentals of probabilistic methods in the analysis and design of uncertain systems. It significantly reduces the computational cost of high-qua…
This book presents new results on applications of geometric algebra. The time when researchers and engineers were starting to realize the potential of quaternions for - plications in electrical, mechanic, and control engineering passed a long time a…