 |
|
 Temporal Logic for Real-Time Systems (Advanced Software Development Series)
This monograph presents a framework for modelling, specifying and verifying
systems composed of real-time discrete event processes. A discrete event system
consists of the plant (the object to be controlled) and a controller. For example,
the plant might consist of machines, robots and conveyors on the factory floor.
The objective of... |  |  Facebook Companion
Experience everything you can do on Facebook
Facebook has taken the world by storm and just breached the 500 million-user mark as its popularity continues to increase every day the world over. Yet, despite its popularity, many people are not aware of all that Facebook has to offer. This handy, approachable guide shares... |  |  Neural Networks and Their Applications
Neural Networks started as an academic discipline over 50 years ago with the publication by McCulloch and Pitts of their famous result that any logical problem can be solved by a suitable network composed of so-called binary decision nodes. These are processors which make the simplest possible decision, that is, whether or not to respond to a... |
|
|
|
 UMTS Network Planning, Optimization, and Inter-Operation with GSM
The continuing explosive growth in mobile communication is demanding more spectrally
efficient radio access technologies than the prevalent second generation (2G) systems such as
GSM to handle just the voice traffic. We are already witnessing high levels of mobile
penetration exceeding 70% in some countries. It is anticipated that by... |  |  The Data Warehouse ETL Toolkit: Practical Techniques for Extracting, Cleanin
The Extract-Transform-Load (ETL) system is the foundation of the data
warehouse. A properly designed ETL system extracts data from the source
systems, enforces data quality and consistency standards, conforms data
so that separate sources can be used together, and finally delivers data
in a presentation-ready format so that... |  |  Data Structures and Algorithms in C++
An updated, innovative approach to data structures and algorithms
Written by an author team of experts in their fields, this authoritative guide demystifies even the most difficult mathematical concepts so that you can gain a clear understanding of data structures and algorithms in C++.
The unparalleled author team... |
|
Result Page: 329 328 327 326 325 324 323 322 321 320 319 318 |