Formal modeling and analysis of timed systems : 10th international conference, FORMATS 2012, London, UK, September 18-20, 2012 : proceedings
edited by Marcin Jurdzinski and Dejan Nickovic
Springer-Verlag, 2012
 eBooks
Computational methods in systems biology : 10th international conference, CMSB 2012, London, UK, October 3-5, 2012 : proceedings
edited by David Gilbert and Monika Heiner
Springer-Verlag , 2012
 eBooks
Advances in heat pipe technology : proceedings of the IVth International Heat Pipe Conference, 7-10 September 1981, London, UK
edited by D.A. Reay
Pergamon Press, 1982
 Buku Teks
Relational and algebraic methods in computer science : 13th international conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012 : proceedings
edited by Wolfram Kahl, Timothy G. Griffin
Springer-Verlag, 2012
 eBooks
E-learning and games for training, education, health and sports : 7th international conference, Edutainment 2012 and 3rd International Conference, GameDays 2012, Darmstadt, Germany, September 18-20, 2012 : proceedings
edited by Stefan Göbel, Wolfgang Müller, Bode Urban and Josef Wiemeyer
Springer-Verlag, 2012
 eBooks
<<   1 2 3   >>