 |
|
|
|
Fundamentals of Probability: With Stochastic Processes
"The 4th edition of Ghahramani's book is replete with intriguing historical notes, insightful comments, and well-selected examples/exercises that, together, capture much of the essence of probability. Along with its Companion Website, the book is suitable as a primary resource for a first course in probability. Moreover, it... | | Software Abstractions: Logic, Language, and Analysis
As a programmer working for Logica UK in London in the mid-1980’s, I became a passionate advocate of formal methods. Extrapolating from small successes with VDM and JSP, I was sure that widespread use of formal methods would bring an end to the software crisis.
One approach especially intrigued me. John Guttag and Jim... | | Real-Time Systems Design and AnalysisThis book is an introduction to real-time systems. It is intended not as a cookbook,
but, rather, as a stimulus for thinking about hardware and software in a different
way. It is necessarily broader than deep. It is a survey book, designed to heighten
the reader’s awareness of real-time issues.
This book is the... |
|
|
Big Think Strategy: How to Leverage Bold Ideas and Leave Small Thinking Behind
Business leaders need bold strategies to stay relevant and win. In "Big Think Strategy", Schmitt shows how to bring bold thinking into your business by sourcing big ideas and executing them creatively. With the tools in this book, any leader can overcome institutionalized 'small think' - the inertia, the narrow-mindedness,... | | Submarine Mass Movements and their Consequences: 7th International Symposium
This book is a comprehensive collection of state-of-the-art studies of seafloor slope instability and their societal implications. The volume captures the most recent and exciting scientific progress made in this research field.
As the world’s climate and energy needs change, the conditions under which slope instability... | | Computational Aesthetics (SpringerBriefs in Applied Sciences and Technology)
The essence of natural computing is aesthetics; for example, in cooking, one of the most common forms of natural computation, the decision to add salt, and how much, is based on the aesthetics of taste. Because touch perception is instinctively related to a sense of beauty, the aesthetics of tactile sense are considered as algorithms by using... |
|
| | Voice Over IPv6: Architectures for Next Generation VoIP NetworksIPv6 (Internet Protocol version 6) is the future of Internet telephony. And this book is your guide to that future.
IPv6 is the replacement for the currently used IPv4 (Internet Protocol version 4). IPv6 will offer increased IP addresses (full 128-bit addresses, compared to the 32-bit addresses of IPv4), enhanced security, and greater... | | |
|
|
| Result Page: 16 15 14 13 12 11 10 9 8 7 |
