Home | Amazing | Today | Tags | Publishers | Years | Search 
Application Theory of Petri Nets: 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011
Application Theory of Petri Nets: 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011

This volume constitutes the proceedings of the 32nd International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2011). The Petri Net conferences serve as annual meeting places to discuss the progress in the field of Petri nets and related models of concurrency. They provide a forum for...

Computer Processing of Remotely-Sensed Images: An Introduction
Computer Processing of Remotely-Sensed Images: An Introduction

Environmental remote sensing is the measurement, from a distance, of the spectral features of the Earth’s surface and atmosphere. These measurements are normally made by instruments carried by satellites or aircraft, and are used to infer the nature and characteristics of the land or sea surface, or of the atmosphere, at the...

Integration of Software Specification Techniques for Applications in Engineering
Integration of Software Specification Techniques for Applications in Engineering

This volume is a documenlation of I he main results in Ihe research area "Inte gration of Software Specification Techniques for Applications in Engineering". On one hand it is based on the Priority Program "Integration von Techniken der Soflwarespezifikation fur ingenieurwissensehaftliehe Anwendungen", short Soft...

Advances in Databases and Information Systems: Associated Workshops and Doctoral Consortium of the 13th East European Conference
Advances in Databases and Information Systems: Associated Workshops and Doctoral Consortium of the 13th East European Conference

Developing, testing and operating complex machinery and repairing it under time pressure if it breaks down are some of the new skills, professionals in many occupations have to learn as quickly as possible. Actions on machinery and plants are trained in individual lessons on an immersive virtual model. This paper introduces the...

Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands
Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands

This volume contains the proceedings of the 17th International SPIN Workshop on Model Checking Software (SPIN 2010). The workshop was organized by and held at the University of Twente, The Netherlands, on 27–29 September 2010. The workshop was co-located with the 5th International Conference on Graph Transformation (ICGT 2010)...

Rewriting Logic and Its Applications: 8th International Workshop, WRLA 2010
Rewriting Logic and Its Applications: 8th International Workshop, WRLA 2010
Rewriting is a form of inference, and one that interacts in several ways with other forms of inference such as decision procedures and proof search. We discuss a range of issues at the intersection of rewriting and inference. How can other inference procedures be combined with rewriting? Can rewriting be used to describe...
Communication Systems Engineering (2nd Edition)
Communication Systems Engineering (2nd Edition)
The objective of this book is to provide an introduction to the basic principles in the analysis and design of communication systems. It is primarily intended for use as a text for a first course in communications, either at a senior level or at a first-year graduate level.

Thorough coverage of basic digital communication...

Modern Antenna Handbook (v. 1)
Modern Antenna Handbook (v. 1)
Antennas and antenna systems are the eyes and ears of wireless communication systems, which have experienced an unprecedented rapid expansion. Part of this advancement has been attributed to contributions of antenna technology. These wireless systems, no matter how simple or complex, cannot operate efficiently unless they utilize...
Quantitative Remote Sensing of Land Surfaces
Quantitative Remote Sensing of Land Surfaces
Remote sensing has entered a new era in the twenty-first century with a series of operating satellites from the NASA Earth Observing System (EOS) program, other international programs, and commercial programs. Since November 2000 the first civilian spaceborne hyperspectral sensor, Hyperion, has observed land surfaces on the...
MEMS and Microstructures in Aerospace Applications
MEMS and Microstructures in Aerospace Applications

The promise of MEMS for aerospace applications has been germinating for years, and current advances bring the field to the very cusp of fruition. Reliability is chief among the challenges limiting the deployment of MEMS technologies in space, as the requirement of zero failure during the mission is quite stringent for this burgeoning field....

The Biology of Schwann Cells: Development, Differentiation and Immunomodulation
The Biology of Schwann Cells: Development, Differentiation and Immunomodulation
It is now over 200 years since Theodore Schwann first described the cell which bears his name. Such early descriptions of nervous system components were done without the powerful microscopes we have today, yet Schwann and Ramon Y. Cajal made foundation observations which still stand. Cajal’s papers, especially, show the...
Digital Filters and Signal Processing in Electronic Engineering: Theory, Applications, Architecture, Code (Woodhead Publishing Series in Optical and Electronic Materials)
Digital Filters and Signal Processing in Electronic Engineering: Theory, Applications, Architecture, Code (Woodhead Publishing Series in Optical and Electronic Materials)
From industrial and teaching experience the authors provide a blend of theory and practice of digital signal processing (DSP) for advanced undergraduate and post-graduate engineers reading electronics. This fast-moving, developing area is driven by the information technology revolution. It is a source book in research and development for...
Result Page: 14 13 12 11 10 9 8 7 6 5 4 3 2 1 
©2024 LearnIT (support@pdfchm.net) - Privacy Policy