搜尋書籍

搜尋「edited by Gilles Barthe.」的結果： 找到 37,171 本書籍， 0 個書架

館藏
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
edited by Gilles Barthe ... [et al.].
Springer-Verlag GmbH.
2005
ISBN 9783540305699 (electronic bk.) ; 9783540242871 (paper)
館藏
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.
Springer Berlin Heidelberg
2012
ISBN 9783642281662 (electronic bk.) ; 9783642281655 (paper)
館藏
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.
Springer Berlin Heidelberg
2011
ISBN 9783642197185 (electronic bk.) ; 9783642197178 (paper)
館藏
Trustworthy Global Computing : Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers
edited by Gilles Barthe, Cedric Fournet.
Springer-Verlag Berlin Heidelberg
2008
ISBN 9783540786634 (electronic bk.) ; 9783540786627 (paper)
館藏
Verification, model checking, and abstract interpretation : 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings
edited by Gilles Barthe, Manuel Hermenegildo.
Springer-Verlag Berlin Heidelberg
2010
ISBN 9783642113192 (electronic bk.) ; 9783642113185 (paper)
館藏
The language of fashion
Roland Barthes ; translated by Andy Stafford ; edited by Andy Stafford and Michael Carter.
Berg
2006
ISBN 1845203801 (pbk.) : ; 9781845203801 (pbk.) ; 1845203798 ; 9781845203795
查看全部 37,171 本書籍

沒有找到相關書架

請嘗試其他關鍵字