Home | Amazing | Today | Tags | Publishers | Years | Search 
Modeling and Verification of Real-time Systems
Modeling and Verification of Real-time Systems
This title is devoted to presenting some of the most important concepts and techniques for describing real-time systems and analyzing their behavior in order to enable the designer to achieve guarantees of temporal correctness.

Topics addressed include mathematical models of real-time systems and associated formal verification techniques...

The Dictionary of Human Geography
The Dictionary of Human Geography
With clear, critical, and constructive surveys of key terms by leading researchers in the field, The Dictionary of Human Geography, fifth edition, remains the definitive guide to the concepts and debates in human geography.
  • Comprehensively revised new edition of a highly successful text with over 300 key...

The Truth About Day Trading Stocks: A Cautionary Tale About Hard Challenges and What It Takes To Succeed
The Truth About Day Trading Stocks: A Cautionary Tale About Hard Challenges and What It Takes To Succeed
A realistic guide to day trading today’s stock market

"Josh does an outstanding job of capturing all his trading experience into an invaluable memoir detailing specific rules for both the inexperienced and experienced trader. Anyone interested in trading professionally should read this book as they will learn...

Game Day: A Rollicking Journey to the Heart of College Football
Game Day: A Rollicking Journey to the Heart of College Football

The popular college football analyst weighs in on the craziness of college football and the 2008 season

If television's college football analysts had a Hall of Fame, Craig James would definitely be in it. His opinion and insight on ABC and ESPN-not to mention occasional jabs of sharp humor and Texas charm-are as addictive as the games...

Handbook of Brewing: Processes, Technology, Markets
Handbook of Brewing: Processes, Technology, Markets

This comprehensive reference combines the technological know-how from five centuries of industrial-scale brewing to meet the needs of a global economy. The editor and authors draw on the expertise gained in the world's most competitive beer market (Germany), where many of the current technologies were first introduced.

Following a look...

Planets and Planetary Systems
Planets and Planetary Systems

Planetary Science is an exciting, fast-moving, interdisciplinary field with courses taught in a wide range of departments, including astronomy, physics, chemistry, earth sciences and biology. Planets and Planetary Systems is a well-written, concise introductory textbook on the science of planets within our own and other solar systems.

...
Assembly Language Step-by-Step: Programming with Linux
Assembly Language Step-by-Step: Programming with Linux

The eagerly anticipated new edition of the bestselling introduction to x86 assembly language

The long-awaited third edition of this bestselling introduction to assembly language has been completely rewritten to focus on 32-bit protected-mode Linux and the free NASM assembler. Assembly is the fundamental language bridging human ideas and...

Understanding Intracardiac EGMs and ECGs
Understanding Intracardiac EGMs and ECGs

This practical “how-to” manual for interpreting electrograms and understanding how they relate to the more easily understood/obtained electrocardiogram (ECG) is designed to be used in electrophysiology laboratories and during preparation for certification tests. Clear enough to be understood by the novice, this inexpensive paperback...

Power Quality Indices in Liberalized Markets
Power Quality Indices in Liberalized Markets

Power Quality (PQ) indices are a powerful tool for quickly quantifying PQ disturbances. They also serve as the basis for illustrating the negative impact of electrical disturbances on components and for assessing compliance with the required standards and recommendations within a regulating framework.

Within these pages lies a...

A Brief History of the Olympic Games
A Brief History of the Olympic Games

For more than a millennium, the ancient Olympics captured the imaginations of the Greeks, until a Christianized Rome terminated the competitions in the fourth century AD. But the Olympic ideal did not die and this book is a succinct history of the ancient Olympics and their modern resurgence.

Classics professor David Young, who
...

Prime Numbers: The Most Mysterious Figures in Math
Prime Numbers: The Most Mysterious Figures in Math

A fascinating journey into the mind-bending world of prime numbers

Cicadas of the genus Magicicada appear once every 7, 13, or 17 years. Is it just a coincidence that these are all prime numbers? How do twin primes differ from cousin primes, and what on earth (or in the mind of a mathematician) could be sexy about prime numbers?
...

Joomla! Bible
Joomla! Bible

Comprehensive guide to creating Web sites with the open-source Joomla!1.5

Joomla! is an open-source content management system (CMS) for Web sites. While it is free and relatively easy to use, there are lots of tricks and functionality that may not be intuitive to new users or those switching from other systems. And the previous version...

Result Page: 291 290 289 288 287 286 285 284 283 282 281 280 279 278 277 276 275 274 273 
©2024 LearnIT (support@pdfchm.net) - Privacy Policy