Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Real-Time Systems: Formal Specification and Automatic Verification
Real-Time Systems: Formal Specification and Automatic Verification
Real-time systems need to react to certain input stimuli within given time bounds. For example, an airbag in a car has to unfold within 300 milliseconds in a crash. There are many embedded safety-critical applications and each requires real-time specification techniques. This text introduces three of these techniques, based on logic and automata:...
Dominicans, Muslims and Jews in the Medieval Crown of Aragon
Dominicans, Muslims and Jews in the Medieval Crown of Aragon
With their active apostolate of preaching and teaching, Dominican friars were important promoters of Latin Christianity in the borderlands of medieval Spain and North Africa. Historians have long assumed that their efforts to convert or persecute non-Christian populations played a major role in worsening relations between Christians, Muslims and...
Cancer Pain: Assessment and Management
Cancer Pain: Assessment and Management

Drs. Eduardo D. Bruera and Russell K. Portenoy have completely revised and updated the widely respected Cancer Pain: Assessment and Management for the second edition of this unanimously praised book. This is a comprehensive, clinically oriented review of all aspects of the complex and multidimensional problem of cancer pain. The unique...

Sparse Image and Signal Processing: Wavelets, Curvelets, Morphological Diversity
Sparse Image and Signal Processing: Wavelets, Curvelets, Morphological Diversity

This book presents the state of the art in sparse and multiscale image and signal processing, covering linear multiscale transforms, such as wavelet, ridgelet, or curvelet transforms, and non-linear multiscale transforms based on the median and mathematical morphology operators. Recent concepts of sparsity and morphological diversity are...

Human Evolution: Genes, Genealogies and Phylogenies
Human Evolution: Genes, Genealogies and Phylogenies

Controversy over human evolution remains widespread. However, the human genome project and genetic sequencing of many other species have provided myriad precise and unambiguous genetic markers that establish our evolutionary relationships with other mammals. Human Evolution: Genes, Genealogies and Phylogenies identifies and explains these...

Survivability and Traffic Grooming in WDM Optical Networks
Survivability and Traffic Grooming in WDM Optical Networks
Technological advances in semiconductor products have essentially been the primary
driver for the growth of networking that led to improvements and simplification
in the long-distance communication infrastructure in the twentieth century.Two
major networks of networks, the public switched telephone network (PSTN) and the...
The Role of Labour Mobility and Informal Networks for Knowledge Transfer
The Role of Labour Mobility and Informal Networks for Knowledge Transfer
The purpose of this volume is to analyze the microfoundations of knowledge spillovers. The microeconomic analysis of spillovers leads to the insight that the spillover and flow of knowledge is not at all automatic. Instead, this volume suggests that a filter exists between knowledge and its economic application. The focus of this volume is on...
Elementary Number Theory in Nine Chapters
Elementary Number Theory in Nine Chapters

This book is intended to serve as a one-semester introductory course in number theory. Throughout the book a historical perspective has been adopted and emphasis is given to some of the subject's applied aspects; in particular the field of cryptography is highlighted. At the heart of the book are the major number theoretic accomplishments...

Origins: How the Planets, Stars, Galaxies, and the Universe Began (Astronomers' Universe Series)
Origins: How the Planets, Stars, Galaxies, and the Universe Began (Astronomers' Universe Series)

This new series is aimed at the same people as the Practical Astronomy Series – in general, active amateur astronomers. However, it is also appropriate to a wider audience of astronomically-informed readers. Because optical astronomy is a science that is rather at the mercy of the weather, all amateur astronomers inevitably have periods...

Computational Electromagnetics for RF and Microwave Engineering
Computational Electromagnetics for RF and Microwave Engineering
The numerical approximation of Maxwell's equations, Computational Electromagnetics (CEM), has emerged as a crucial enabling technology for radio-frequency, microwave and wireless engineering. The three most popular 'full-wave' methods - the Finite Difference Time Domain Method, the Method of Moments, and the Finite Element Method - are introduced...
Hidden Unity in Nature's Laws
Hidden Unity in Nature's Laws
One of the paradoxes of the physical sciences is that as our knowledge has progressed, more and more diverse physical phenomena can be explained in terms of fewer underlying laws, or principles. In Hidden Unity, eminent physicist John Taylor puts many of these findings into historical perspective and documents how progress is made when unexpected,...
Wireless Security: Know It All
Wireless Security: Know It All
The latest technologies - the leading experts - proven real-world design solutions - together in one must-have volume!

The Newnes Know It All Series takes the best of what our authors have written to create hard-working desk references that will be an engineer's first port of call for key information, design techniques and
...
unlimited object storage image
Result Page: 63 62 61 60 59 58 57 56 55 54 53 52 51 50 49 48 47 46 45 
©2021 LearnIT (support@pdfchm.net) - Privacy Policy