کتاب های Jorge Cuellar
![FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings](http://cdn.ketabkoo.com/covers/1/118369-n.jpg)
FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings
Shmuel Katz (auth.), Jorge Cuellar, Tom Maibaum, Kaisa Sere (eds.), 2008![FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings](http://cdn.ketabkoo.com/covers/1/118370-n.jpg)
FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings
Shmuel Katz (auth.), Jorge Cuellar, Tom Maibaum, Kaisa Sere (eds.), 2008![Smart Grid Security: First International Workshop, SmartGridSec 2012, Berlin, Germany, December 3, 2012, Revised Selected Papers](http://cdn.ketabkoo.com/covers/1/119915-n.jpg)
Smart Grid Security: First International Workshop, SmartGridSec 2012, Berlin, Germany, December 3, 2012, Revised Selected Papers
David von Oheimb (auth.), Jorge Cuellar (eds.), 2013![Location Privacy in Wireless Sensor Networks](http://cdn.ketabkoo.com/covers/10/1025767-n.jpg)