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
Wireless mobile communication and healthcare: Second International ICST Conference, Mobihealth 2011, Kos Island, Greece, October 5-7, 2011. revised selected papers
edited by Konstantina S. Nikita
Springer, 2012
eBooks
Marian Gheorghe, editor
Membrane computing: 12th international conference, CMC 2011 Fontainebleau, France, August 23-26, 2011 : revised selected papers
Springer-Verlag, 2012
eBooks
Wireless communications and applications : first International Conference, ICWCA 2011, Sanya, China, August 1-3, 2011, revised selected papers
edited by P. Senac, Max Ott, Aruna Seneviratne
Springer, 2012
eBooks
Wireless internet : 6th International ICST Conference, WICON 2011, Xi'an, China, October 19-21, 2011, revised selected papers
edited by Pinyi Ren
Springer, 2012
eBooks