Interactive theorem proving : third international conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012 : proceedings
editors, Lennart Beringer, Amy Felty
Springer-Verlag, 2012
 eBooks
Branislav Rovan, editor
Mathematical foundations of computer science 2012 : 37th international symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012 : proceedings
[Springer-Verlag, ], 2012
 eBooks
Andy Gill, editor
Implementation and application of functional languages : 23rd international symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011 : revised selected papers
Springer-Verlag, 2012
 eBooks
ISTFA 2008: conference proceedings from the 34th International Symposium for Testing and Failure Analysis, November 2-6, 2008, Oregon Convention Center, Portland, Oregon, USA
ASM International
ASM International, 2008
 eBooks
ISTFA 2010: conference proceedings from the 36th International Symposium for Testing and Failure Analysis, November 14-18, 2010, InterContinental Hotel Dallas, Dallas, Texas, USA
ASM International
ASM International, 2010
 eBooks
<<   3 4 5   >>