| 2008 |
|---|
| 8 | EE | Maulik A. Dave:
Review of "Semantic Integration of Heterogeneous Software Specifications by Martin Grobe-Rhode", Springer-Verlag, 2004.
SIGACT News 39(1): 28-29 (2008) |
| 7 | EE | Maulik A. Dave:
Review of "Theoretical and Experimental DNA Computation by M. Amos, " Springer-Verlag Berlin Heidelberg, 2005.
SIGACT News 39(2): 45-46 (2008) |
| 2006 |
|---|
| 6 | EE | Maulik A. Dave:
Review of "Secure Communicating Systems: Design, analysis, and implementation by Michael R A Huth", Cambridge University Press, 2001.
SIGACT News 37(1): 26-27 (2006) |
| 5 | EE | Maulik A. Dave:
Review of "Information Theory, Inference, and Learning Algorithms by David J. C. MacKay", Cambridge University Press, 2003.
SIGACT News 37(4): 34-36 (2006) |
| 4 | EE | Maulik A. Dave:
Review of "Verification of Reactive Systems: Formal Methods and Algorithms by Klaus Schneider", Springer-Verlag Berlin Heidelberg, 2004.
SIGACT News 37(4): 36-37 (2006) |
| 2005 |
|---|
| 3 | EE | Maulik A. Dave:
Review of "Data Structures, Near Neighbor Searches, and Methodology: Fifth and Sixth DIMACS Implementation Challenge by Michael H. Goldwasser, David S. Johnson, Catherine C. McGeoch", American Mathematical Society 2002.
SIGACT News 36(4): 5-8 (2005) |
| 2004 |
|---|
| 2 | EE | Maulik A. Dave:
Numerical Programming on Networks of Computers.
IEEE Distributed Systems Online 5(11): (2004) |
| 2003 |
|---|
| 1 | EE | Maulik A. Dave:
Compiler verification: a bibliography.
ACM SIGSOFT Software Engineering Notes 28(6): 2 (2003) |
