大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Giannakopoulou 的图书(共2本)
FM 2012: Formal Methods [electronic resource] : 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings0索取号: 作者:Giannakopoulou、 Dimitra.、M茅ry、 Dominique.、SpringerLink (Online service)、 出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012. | Fundamental Approaches to Software Engineering [electronic resource] : 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr眉cken, Germany, March 26鈥揂pril 3, 2011. Proceedings0索取号: 作者:Giannakopoulou、 Dimitra.、Orejas、 Fernando.、SpringerLink (Online service)、 出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
最近添加的分类


粤公网安备 44030602003680号