Advanced Techniques for Assertion-Based Verification in Hardware ...
Mohammad Reza Heidari Iman
Water and Wastewater Engineering Technology
Subhash Verma
Philosophy of Computer Science: An Introduction to the Issues ...
William J. Rapaport
The Primeval Fireball
P. J. E. Peebles, David T. Wilkinson