Business modeling and software design : first international symposium, BMSD 2011, Sofia, Bulgaria, July 27-28, 2011 : revised selected papers
edited by Boris Shishkov
Springer-Verlag, 2012
 eBooks
Gheorghe Adam, editor
Mathematical modeling and computational science : international conference, MMCP 2011, Stara Lesna, Slovakia, July 4-8, 2011 : revised selected papers
[, Springer-Verlag], 2012
 eBooks
Stephen H. Muggleton, editor
Inductive logic programming : 21st international conference, ILP 2011, Windsor Great Park, UK, July 31 – August 3, 2011 : revised selected papers
[, Springer-Verlag], 2012
 eBooks
Formal verification of object-oriented software : international conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011 : revised selected papers
edited by Bernhard Beckert, Ferruccio Damiani, Dilian Gurov
[;Springer-Verlag, Springer-Verlag], 2012
 eBooks
Kerstin Eder, editor
Hardware and software : verification and testing, 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011 : revised selected papers
Springer-Verlag, 2012
 eBooks
<<   1 2 3   >>