Home | Amazing | Today | Tags | Publishers | Years | Search 
Formal Verification of Floating-Point Hardware Design
Formal Verification of Floating-Point Hardware Design

This is the first book to focus on the problem of ensuring the correctness of floating-point hardware designs through mathematical methods.  Formal Verification of Floating-Point Hardware Design advances a verification methodology based on a unified theory of register-transfer logic and floating-point arithmetic that has...

Ice Age Floodscapes of the Pacific Northwest: A Photographic Exploration
Ice Age Floodscapes of the Pacific Northwest: A Photographic Exploration

This heavily illustrated book contains descriptions and geologic interpretations of photographs (mostly aerial) illustrating the power and magnitude of repeated Ice Age flooding in the Pacific Northwest, as recently as 14,000 years ago. The scale of Ice Age floods was so huge that today it is often difficult to see and...

Ergodic Dynamics: From Basic Theory to Applications (Graduate Texts in Mathematics, 289)
Ergodic Dynamics: From Basic Theory to Applications (Graduate Texts in Mathematics, 289)

This textbook provides a broad introduction to the fields of dynamical systems and ergodic theory. Motivated by examples throughout, the author offers readers an approachable entry-point to the dynamics of ergodic systems. Modern and classical applications complement the theory on topics ranging from financial fraud to...

Measure Up: Mastering Your Career Search Like a Boss
Measure Up: Mastering Your Career Search Like a Boss
Measure Up helps those desiring or going through career transition understand their value and how to best communicate their value.

For those considering career transition, Measure Up helps them create compelling and consistent messaging, resumes, and profiles that will attract the right leaders, peers, and...

Learn FileMaker Pro 19: The Comprehensive Guide to Building Custom Databases
Learn FileMaker Pro 19: The Comprehensive Guide to Building Custom Databases

Discover how easy it is to create multi-user, cross-platform custom solutions with FileMaker Pro, the relational database platform published by Apple subsidiary Claris International, Inc. Meticulously rewritten with clearer lessons, more real-world examples and updated to include feature changes introduced in recent versions, this...

Epistenology: Wine as Experience (Arts and Traditions of the Table: Perspectives on Culinary History)
Epistenology: Wine as Experience (Arts and Traditions of the Table: Perspectives on Culinary History)
We think we know how to appreciate wine?trained connoisseurs take dainty sips in sterile rooms and provide ratings based on objective knowledge and technical expertise. In Epistenology, Nicola Perullo vigorously challenges this approach, arguing that it is the enjoyment of drinking wine as an active and participatory experience...
A Python Data Analyst’s Toolkit: Learn Python and Python-based Libraries with Applications in Data Analysis and Statistics
A Python Data Analyst’s Toolkit: Learn Python and Python-based Libraries with Applications in Data Analysis and Statistics
I had two main reasons for writing this book. When I first started learning data science, I could not find a centralized overview of all the important topics on this subject. A practitioner of data science needs to be proficient in at least one programming language, learn the various aspects of data preparation and visualization, and...
  
   
Result Page: 10 9 8 7 6 5 4 3 2 1 
©2024 LearnIT (support@pdfchm.net) - Privacy Policy