Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
Verification of Sequential and Concurrent Programs (Texts in Computer Science)

This widely anticipated third edition provides a systematic exploration of one of the most common approaches to program verification, known as the assertional approach. This approach is applied to deterministic and nondeterministic sequential programs of varying complexity, together with both parallel and distributed concurrent programs. The...

Towards a New Evolutionary Computation: Advances on Estimation of Distribution Algorithms
Towards a New Evolutionary Computation: Advances on Estimation of Distribution Algorithms
Estimation of Distribution Algorithms (EDAs) are a set of algorithms in the Evolutionary Computation (EC) field characterized by the use of explicit probability distributions in optimization. Contrarily to other EC techniques such as the broadly known Genetic Algorithms (GAs) in EDAs, the crossover and mutation operators are substituted by the...
Stock Market Wizards: Interviews with America's Top Stock Traders
Stock Market Wizards: Interviews with America's Top Stock Traders

Acclaimed trading expert and bestselling author of the Market Wizards books, Jack Schwager, has returned with a new and fascinating collection of interviews with the best stock market traders and investors of our time.

Focusing exclusively on successful players in the stock market, Schwager delivers informative profiles...

Global Networking, Communication and Culture: Conflict or Convergence?: Spread of ICT, Internet Governance, Superorganism Humanity and Global Culture (Studies in Systems, Decision and Control)
Global Networking, Communication and Culture: Conflict or Convergence?: Spread of ICT, Internet Governance, Superorganism Humanity and Global Culture (Studies in Systems, Decision and Control)
Pursuing an interdisciplinary approach, this book offers detailed insights into the empirical relationships between overall social key figures of states and cultures in the fields of information and communication technology (ICT) (digital divide/inequality), the economy, education and religion. Its goal is to bridge the ‘cultural...
The Handbook of Traditional and Alternative Investment Vehicles: Investment Characteristics and Strategies
The Handbook of Traditional and Alternative Investment Vehicles: Investment Characteristics and Strategies

A comprehensive volume that covers a complete array of traditional and alternative investment vehicles

This practical guide provides a comprehensive overview of traditional and alternative investment vehicles for professional and individual investors hoping to gain a deeper understanding of the benefits and pitfalls of using...

Influence Without Authority (2nd Edition)
Influence Without Authority (2nd Edition)
At some point, almost all of us will find ourselves in the same bind at work: we know what needs to be done and how to do it, but we can't get the right people on board. The risk is allowing frustration to become resignation—or unproductive retaliation. Fortunately, the new and improved Influence Without Authority, Second Edition offers a...
Green Roof Construction and Maintenance (GreenSource Books)
Green Roof Construction and Maintenance (GreenSource Books)
Green roofs have been increasing in popularity in the United States for the last 10 years and in Europe over the last 40 years. The green roof concept represents a truly rare occurrence in modern economics: the creation of new markets for existing goods and services.

The irresistible lure of new business opportunity has drawn companies
...
Geometric Computing Science: First Steps (Interdisciplinary Mathematics, Vol 25)
Geometric Computing Science: First Steps (Interdisciplinary Mathematics, Vol 25)
This book outlines a mathematical way of thinking about the interaction of 'pure' and 'applied' computer science. I will be more subjective than is customary in science and mathematics exposition and sketch my personal vision, in terms of my own experience in pure and applied mathematics and my extensive readings in the scholarly computer science...
Finance for Academics: A Guide to Investment for Income (SpringerBriefs in Finance)
Finance for Academics: A Guide to Investment for Income (SpringerBriefs in Finance)

The purpose of this book is to provide a hands-on guide to finance and investment for academics with an objective of providing strategies to maximize income, minimize fees, and legally minimize taxes. There are many risks in finance and investment such as stock market crashes, inflation, corruption, fees and interest rates. This book stresses...

System-level Modeling of MEMS, Volume 10
System-level Modeling of MEMS, Volume 10

System-level modeling of MEMS - microelectromechanical systems - comprises integrated approaches to simulate, understand, and optimize the performance of sensors, actuators, and microsystems, taking into account the intricacies of the interplay between mechanical and electrical properties, circuitry, packaging, and design considerations....

UPC: Distributed Shared-Memory Programming
UPC: Distributed Shared-Memory Programming
A must-have for UPC programmers and applications developers

This publication provides an in-depth interpretation of UPC language specifications for use in highly parallel systems. With its extensive use of examples, UPC programming case studies, and illustrations, it offers new insights into developing efficient and effective UPC applications...

Leading with Cultural Intelligence: The New Secret to Success
Leading with Cultural Intelligence: The New Secret to Success
We are pleased to write the foreword to David Livermore’s latest book on cultural intelligence (CQ). We have known Dave professionally for many years and have followed his work with great interest. Dave has always had a passion for intercultural training and education and has spent several years training leaders to serve on short-term...
unlimited object storage image
Result Page: 13 12 11 10 9 8 7 6 5 4 3 2 1 
©2021 LearnIT (support@pdfchm.net) - Privacy Policy