|
|
|
|
Principles of Model CheckingOur growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a... | | Electron Microprobe Analysis and Scanning Electron Microscopy in GeologyThe favourable reception given to the first (1996) edition of this book suggests that the joint treatment of electron microprobe analysis (EMPA) and scanning electron microscopy (SEM) with a specifically geological slant has been found to serve a useful purpose. It was therefore decided to proceed with this second, revised and updated,... | | Acoustic Diffusers and Absorbers: Theory, Design and ApplicationEvery book tells a story and there is a story behind every book. This story begins in 1980, in the conference room of the laboratory for the structure of matter at the Naval Research Laboratory (NRL) in Washington, DC, where Peter D’Antonio was employed as a diffraction physicist. Knowing Peter’s interest in music, a colleague handed... |
|
|
Foundations of Computing
It may sound surprising that in computing, a field which develops so fast that the future often becomes the past without having been the present, there is nothing more stable and worthwhile learning than its foundations.
It may sound less surprising that in a field with such a revolutionary methodological impact on all sciences and... | | Design Methods and Applications for Distributed Embedded Systems
The ever decreasing price/performance ratio of microcontrollers makes it economically attractive to replace more and more conventional mechanical or electronic control systems within many products by embedded real-time computer systems. An embedded real-time computer system is always part of a well-specified larger system, which we call an... | | Advances in Data Mining and Modeling: Hong Kong 27 - 28 June 2002
Data mining and data modeling are hot topics and are under fast development. Because of its wide applications and rich research contents, a lot of practitioners and academics are attracted to work on these areas. In the view of promoting the communications and collaborations among the practitioners and researchers in Hong Kong, a two-day... |
|
GeoSpatial Semantics: 4th International Conference, GeoS 2011, Brest, France, May 12-13, 2011
The fourth edition of the International Conference on Geospatial Semantics
(GeoS 2011) was held in Brest, France, during May 12–13, 2011.
Geospatial semantics (GEOS) is an emerging research area in the domain of
geographic information science. It aims at exploring strategies, computational
methods, and tools to support... | | Compilers: Principles, Techniques, and Tools (2nd Edition)
In the time since the 1986 edition of this book, the world of compiler design
has changed significantly. Programming languages have evolved to present new
compilation problems. Computer architectures offer a variety of resources of
which the compiler designer must take advantage. Perhaps most interestingly,
the venerable technology of... | | Concepts of Chemical Engineering 4 Chemists (RSC '4' Chemists)
This book is meant as a handbook and resource guide for chemists
(and other scientists) who either find themselves working alongside
chemical engineers or who are undertaking chemical engineering-type
projects and who wish to communicate with their colleagues and
understand chemical engineering principles. The book has arisen out
of... |
|
|
Result Page: 907 906 905 904 903 902 901 900 899 898 897 896 895 894 893 892 891 890 889 |