MATLAB programming for engineers

A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested in formal methods and the development of

This book is an engineering guide for design of slopes and stabilisation works in rocks and residual soils. It is tailored to the needs of practising geotechnical engineers and engineering geologists.

Originating in the process compressor industry, this text primarily addresses: rotating equipment engineers, project engineers, engineering contractors, and compressor user companies in oil and gas fi

Originating in the process compressor industry, this text primarily addresses: rotating equipment engineers, project engineers, engineering contractors, and compressor user companies in oil and gas fi

Foreword by James L. Massey. Codes, Graphs, and Systems is an excellent reference for both academic researchers and professional engineers working in the fields of communications and signal processing

Researchers, engineers, and technologists explain in detail how to design and construct DNA microarrays, as well as how to hybridize them with biological samples for analysis. They offer step-by-step

A unique introduction to the theory of linear operators on Hilbert space. The author presents the basic facts of functional analysis in a form suitable for engineers, scientists, and applied mathemati

Pattern recognition presents one of the most significant challenges for scientists and engineers, and many different approaches have been proposed. The aim of this book is to provide a self-contained

Image processing and machine vision are fields of renewed interest in the commercial market. People in industry, managers, and technical engineers are looking for new technologies to move into the mar

Text-reference for physical scientists and engineers as well as advanced graduate students treats chaotic motion in nonlinear dynamical systems. The main emphasis of the first edition of 1983 (titled

The purpose of this book is to provide core material in nonlinear analysis for mathematicians, physicists, engineers, and mathematical biologists. The main goal is to provide a working knowledge of ma

Essential NMR gives scientists and engineers an easy and quick refresher on their NMR knowledge and skills. At the same time, this primer and review affords lecturers material to provide a deliver a f

This book presents deep learning techniques, concepts, and algorithms to classify and analyze big data. Further, it offers an introductory level understanding of the new programming languages and tool

This book examines the role of experts and expertise in the dynamics of globalisation since the mid-nineteenth century. It shows how engineers, scientists and other experts have acted as globalising a

This book presents a design-driven investigation into smart materials developed by chemists, physicists, materials and chemical engineers, and applied by designers to consumer products, buildings, int

This book introduces readers to the basic principles of bioinformatics and the practical application and utilization of computational tools, without assuming any prior background in programming or inf

This book provides readers with an in-depth discussion of circuit simulation, combining basic electrical engineering circuit theory with Python programming. It fills an information gap by describing t

Power and Energy industry is a highly capital intensive business field. Furthermore there is a very close interlinkage between technologies and economics that requires engineers and economists to have

This multidisciplinary book brings together medical, management, and architectural disciplines in order to formulate new approaches to the programming, planning, and design of healthcare facilities th

This book guides engineers through the use of the Costas loop, which can be considered an extension of the better known Phase-locked loop. The author discusses all three variants of the Costas loop an

This book provides engineers with focused treatment of the mathematics needed to understand probability, random variables, and stochastic processes, which are essential mathematical disciplines used i

This book provides an overall understanding of construction contracts, explaining a range of topics with in-depth examples, allowing engineers, site managers, architects, contractors, and other constr

This book aims to clarify the issue of groundwater in coastal saline environment management. It serves as a reference to scientists, engineers, and decision makers who might use it to improve resource

This book provides thorough coverage of the most important building physics phenomena: heat transfer, moisture, sound/acoustics, and illumination. Since the book is primarily aimed at engineers, it ad

This two-volume work is an effort to provide a common platform to environmental engineers, microbiologists, chemical scientists, plant physiologists and molecular biologists working with a common

This text provides a teachable and readable approach to transport phenomena (momentum, heat, and mass transport) by providing numerous examples and applications, which are particularly important to metallurgical, ceramic, and materials engineers. Because the authors feel that it is important for students and practicing engineers to visualize the physical situations, they have attempted to lead the reader through the development and solution of the relevant differential equations by applying the familiar principles of conservation to numerous situations and by including many worked examples in each chapter. The book is organized in a manner characteristic of other texts in transport phenomena. Section I deals with the properties and mechanics of fluid motion; Section II with thermal properties and heat transfer; and Section III with diffusion and mass transfer. The authors depart from tradition by building on a presumed understanding of the relationships between the structure and proper

This new edition includes the latest advances and developments in computational probability involving A Probability Programming Language (APPL). The book examines and presents, in a systematic manner,

This book serves as a single-source reference to the state-of-the-art in Internet of Things (IoT) platforms, services, tools, programming languages, and applications. In particular, the authors focus

Packed with fascinating biographical sketches of female engineers, this chronological history of engineering brightens previously shadowy corners of our increasingly engineered world’s recent past. In

This book makes powerful Field Programmable Gate Array (FPGA) and reconfigurable technology accessible to software engineers by covering different state-of-the-art high-level synthesis approaches (e.g

This book offers readers a clear guide to implementing engineering applications with FPGAs, from the mathematical description to the hardware synthesis, including discussion of VHDL programming and co

This new edition gives a unique and broad coverage of basic laser-related phenomena that allow graduate students, scientists and engineers to carry out research in quantum optics and laser physics. It

This book aims to help clinicians who seek to conduct science and engineering based research on blast injuries as well as engineers and scientists who seek to apply their expertise to address blast in

This textbook teaches how to design working systems at very high frequencies. It is designed to introduce computer engineers to the design of extremely high speed digital systems. Combining an intuiti

This book presents contributions from researchers, practitioners and professional institutions that published papers in the Proceedings of the Educating Enterprising Engineers and Scientists conferenc

In this book natural scientists, engineers, physicians as well as historians and social scientists define and describe geo-hazards and associated technical disasters, natural disasters as a business c

How and why to write a movement? Who is the writer? Who is the reader? They may be choreographers working with dancers. They may be roboticists programming robots. They may be artists designing cartoo

This book aims to serve as an essential reference to facilitate civil engineers involved in the design of new conventional (ordinary) reinforced concrete (R/C) buildings regulatedby the current E

Presenting a practitioner's guide to capabilities and best practices of quality control systems using the R programming language, this volume emphasizes accessibility and ease-of-use through detailed&

Using the C++ Standard Template Libraries is a contemporary treatment that teaches the generic programming capabilities that the C++ 14 Standard Library provides. In th