0
首頁
0
熱門排行
0
個人書房
Barthe Gilles(作者(個人/團體))
,共查得
6
件。
相關度-升冪
相關度-降冪
作者-升冪
作者-降冪
正題名-升冪
正題名-降冪
出版年-升冪
出版年-降冪
Applied semantics International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000 : advanced lectures /
Gilles Barthe ... [et al.] (eds.).
c2002.
Engineering secure software and systems 4th international symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012 : proceedings /
edited by Gilles Barthe, Benjamin Livshits, Riccardo Scandariato.
2012.
Formal aspects of security and trust 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011 : revised selected papers /
edited by Gilles Barthe, Anupam Datta, Sandro Etalle.
2012.
Foundations of security analysis and design V FOSAD 2007/2008/2009 tutorial lectures /
edited by Alessandro Aldini, Gilles Barthe, Roberto Gorrieri
2009
Programming languages and systems 20th European Symposium on Programming, ESOP 2011, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 :proceedings /
edited by Gilles Barthe.
2011.
Software engineering and formal methods 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings /
edited by Gilles Barthe, Alberto Pardo, Gerardo Schneider.
2011.
1/1
重新搜尋
題名
作者(個人/團體)
ISBN
ISSN
叢書名
登錄號
主題
出版者
索書號
全文
全部
圖書
期刊
多媒體
縮小搜尋範圍
題名
作者(個人/團體)
ISBN
ISSN
叢書名
登錄號
主題
出版者
索書號
全文
出版年區間 :
年 ~
年
特藏 :
全部
圖書
參考書
兒童讀物
唱片光碟(Audio Disc)
錄音帶
磁碟片
多媒體
錄影帶
影碟 LD
教科書
資料光碟(Data Disc)
圖畫,靜畫
樂譜
檔案(Page)
教學展示圖
參考書(兒童讀物)
錄音帶(兒童讀物)
錄影帶(兒童讀物)
學報,期刊
珍善本
雷射唱片
透視畫(Diorama)
遊戲
地圖資料
立體畫(Stereograph)
數位影音光碟
幻燈片
投影片
影音光碟
活頁卡片
隨選視訊
電子書
測驗工具
法藍絨
海報Posters
大陸圖書
大陸參考書
師培圖書
本校博士論文
光碟
本校教師著作
期刊合訂本
漫畫書
天母研究討論室
其他
館際合作借書證
小冊子
STEM繪本
隨身碟
語文 :
中文
英語
日語