 | 2011 |
|---|
| 12 |       | Maulik A. Dave:
Review of rippling: meta-level guidance for mathematical reasoning cambridge tracks in theoretical computer science 56 by Alan Bundy, David Basin, Dieter Hutter, and Andrew Ireland.
SIGACT News 42(4): 21-23 (2011) |
| 2009 |
|---|
| 11 | | Maulik A. Dave:
Review 17 of theoretical and experimental DNA computation by M. Amos Published in 2005 by Springer-Verlag Berlin Heidelberg.
SIGACT News 40(4): 23-35 (2009) |
| 10 | | Maulik A. Dave:
Review 17 of theoretical and experimental DNA computation by M. Amos Published in 2005 by Springer-Verlag Berlin Heidelberg.
SIGACT News 40(4): 35-36 (2009) |
| 2008 |
|---|
| 9 | | 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) |
| 8 | | 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 |
|---|
| 7 | | 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) |
| 6 | | 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) |
| 5 | | 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 |
|---|
| 4 | | 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 |
|---|
| 3 | | Maulik A. Dave:
Numerical Programming on Networks of Computers.
IEEE Distributed Systems Online 5(11): (2004) |
| 2003 |
|---|
| 2 | | Maulik A. Dave:
Compiler verification: a bibliography.
ACM SIGSOFT Software Engineering Notes 28(6): 2 (2003) |
| 2002 |
|---|
| 1 | | Maulik A. Dave:
Review of the clausal theory of types.
SIGACT News 33(4): 8-9 (2002) |
Data released under the ODC-BY 1.0 license — See also our legal information page