Page 46
Page 46
A Dictionary of Construction, Surveying and Civil Engineering
Covers the key areas of civil and construction engineering, construction technology and practice, construction management techniques and processes, as well as legal aspects such as contracts and procurement. It has been updated with more than 600 new entries spanning subjects such as sustainability, new technologies, disaster management, and building software. New additions include terms such as Air source heat pump, hydraulic failure, mechanical ventilation with heat recovery, off-site construction, predictive performance, sustainable development, and value engineering.
A Dictionary of Biomedicine
A Dictionary of Biomedicine fills the need to define the specialist language used within an evolving field by offering clear, concise definitions of even the most complex biomedical terms. It includes more than 10,000 A-Z entries on all areas of biomedicine, such as genomics and biomedical science. Entries are authoritative and wide-ranging, covering terms from the related areas of anatomy, genetics, molecular bioscience, pathology, pharmacology, and clinical medicine.
A Course on Mathematical Logic
This is a short, distinctive, modern, and motivated introduction to mathematical logic for senior undergraduate and beginning graduate students in mathematics and computer science. Any mathematician who is interested in knowing what logic is concerned with and who would like to learn Gödel’s incompleteness theorems should find this book particularly convenient. The treatment is thoroughly mathematical, and the entire subject has been approached like a branch of mathematics. Serious efforts have been made to make the book suitable for the classroom as well as for self-reading. The book does not strive to be a comprehensive encyclopedia of logic. Still, it gives essentially all the basic concepts and results in mathematical logic. The book prepares students to branch out in several areas of mathematics related to foundations and computability such as logic, axiomatic set theory, model theory, recursion theory, and computability.
A Comprehensive Guide to Child Custody Evaluations : Mental Health and Legal Perspectives
A Comprehensive Guide to Child Custody Evaluations covers these three essential areas to walk readers through the evaluation process clearly and concisely. This unique interdisciplinary book emphasizes professional ethics, children’s psychological well-being, and clear communication among all parties as keys to resolving disputes with efficiency and thoroughness, and minimizing the chances of children and their families getting lost in red tape.
A Brief History of Computing
This text provides a comprehensive introduction to the key topics in the history of computing, in an easy-to-follow and concise manner. It covers the significant areas and events in the field.
3rd Kuala Lumpur International Conference on Biomedical Engineering 2006 ; Biomed 2006, 11-14 December 2006, Kuala Lumpur, Malaysia
The Kuala Lumpur International Conference on Biomedical Engineering (Biomed 2006) was held from 11 to 14 December 2006 at the Palace of the Golden Horses, Kuala Lumpur, Malaysia. This international conference was jointly organised by the Department of Biomedical Engineering, University of Malaya, Malaysia; Department of Biomedical Engineering, Inje University, Korea; and Malaysian Society of Medical and Biological Engineering. The papers presented at Biomed 2006 cover the following areas: artificial intelligence, biological effects of non-ionising electromagnetic fields, biomaterials, biomechanics, biomedical sensors, biomedical signal analysis, biotechnology, clinical engineering, human performance engineering, imaging, medical informatics, medical instruments and devices, physiological modelling, simulation, and control, prostheses and artificial organs, regulations and organisations, rehabilitation engineering, telemedicine, tissue engineering, and virtual reality in medicine.
3D Radiative Transfer in Cloudy Atmospheres
Assessing developments in three-dimensional cloud radiation, this volume treats two main application areas: the impact of clouds on the Earth's radiation budget, and remote observation of clouds. It is suitable for graduate students, researchers, and also for those interested in cloud-radiation processes in the solar and infrared spectral regions.
3D Imaging, Analysis and Applications
This textbook is designed for postgraduate studies in the field of 3D Computer Vision. It also provides a useful reference for industrial practitioners; for example, in the areas of 3D data capture, computer-aided geometric modelling and industrial quality assurance. This second edition is a significant upgrade of existing topics with novel findings. Additionally, it has new material covering consumer-grade RGB-D cameras, 3D morphable models, deep learning on 3D datasets, as well as new applications in the 3D digitization of cultural heritage and the 3D phenotyping of crops.
25 Years of Model Checking : History, Achievements, Perspectives
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model checking community has achieved many breakthroughs, bridging the gap between theoretical computer science and hardware and software engineering, and it is reaching out to new challenging areas such as system biology and hybrid systems. Model checking is extensively used in the hardware industry and has also been applied to the verification of many types of software. Model checking has been introduced into computer science and electrical engineering curricula at universities worldwide and has become a universal tool for the analysis of systems.
150 Best Terrace and Balcony Ideas
The ultimate resource for innovative terrace, roof garden, patio, and balcony design ideas for outdoor spaces of all shapes and sizes. Featured inside this lavish guidebook are 150 never-before-shared tips and techniques provided by internationally renowned architects and designers, along with full-color photographs and diagrams of sixty-five uniquely beautiful projects from around the world. The design ideas reveal how to create exterior spaces that are clean, modern, and comfortable, as well as how to use cutting-edge materials that are practical, cost-effective, and environmentally friendly. Best of all, the design ideas featured inside are easy to follow and can be tailored to the unique tastes and needs of individual homeowners.
