Hội thảo «La vérification de propriétés de graphes exprimées en logique du second-ordre monadique »

Thứ hai - 14/05/2012 17:06

•  
•  
•  

---

---

Những tin mới hơn

•   Hội thảo nghiên cứu tại IFI ngày 16/5/2013 (13/05/2013)
•   Hội thảo nghiên cứu tại IFI ngày mùng 5/12/2013 (27/11/2013)
•   Nhóm nghiên cứu MSI (25/03/2015)
•   Khái quát hoạt động nghiên cứu khoa học của Viện (25/03/2015)
•   Hội thảo nghiên cứu tại IFI ngày 11/4/2013 (08/04/2013)
•   Hội thảo tuần này tại IFI ngày 28/3/2013 (25/03/2013)
•   Hội thảo chủ đề "Optimisation des performances d'applications avec mémoire transactionnelle" (18/12/2012)
•   Hội thảo tại IFI ngày 17 tháng 1 năm 2013 (15/01/2013)
•   Hội thảo tại IFI tuần này, thứ Năm ngày 14/3/2013 (11/03/2013)
•   Hội thảo chủ đề « Phát triển Agile tại công ty eXo Platform » tại IFI (28/05/2012)

Những tin cũ hơn

•   Xemina nghiên cứu tại IFI (20/12/2011)
•   Xêmina (27/06/2011)
•   Thời gian nghiên cứu của Cô Muriel Visani tại Phòng nghiên cứu MSI (25/05/2011)
•   Xêmina nghiên cứu (23/05/2011)
•   Xêmina nghiên cứu (23/05/2011)
•   Thông báo mời thầu (18/04/2011)
•   Hội thảo quốc tế "Ứng dụng Tính toán lưới cho Việt Nam" tại Hà Nội (26/11/2010)
•   Xêmina IFI vào thứ 5, ngày 14 tháng 10 năm 2010 (08/10/2010)
•   Xemina, tại IFI, thứ 5 ngày 27 tháng 5 năm 2010 (26/05/2010)
•   Xemina IFI - 14h00, thứ 5 ngày 20 tháng 5 năm 2010 (17/05/2010)