Goodloe, Alwyn E., editor
NASA formal methods : 4th international symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings
[Springer-Verlag, ], 2012
 eBooks
Social computing, behavioral-cultural modeling and prediction : 5th international conference, SBP 2012, College Park, MD, USA, April 3-5, 2012 : proceedings
editors, Shanchieh Jay Yang, Ariel M. Greenberg, Mica Endsley
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
Russo, Claudio, editor
Practical aspects of declarative languages: 14th international symposium, PADL 2012 Philadelphia, PA, USA, January 23-24, 2012 : proceedings
Springer-Verlag, 2012
 eBooks
Leonidas Bleris, editor
Bioinformatics research and applications : 8th international symposium, ISBRA 2012, Dallas, TX, USA, May 21-23, 2012 : proceedings
[, Springer-Verlag], 2012
 eBooks
<<   1 2 3   >>