搜尋書籍

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

館藏
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)
館藏
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)
館藏
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)
館藏
Entropy Methods for the Boltzmann Equation : Lectures from a Special Semester at the Centre Emile Borel, Institut H. Poincrea, Paris, 2001
by Fraydoun Rezakhanlou, Cedric Villani ; edited by Frangois Golse, Stefano Olla.
Springer-Verlag Berlin Heidelberg
2008
ISBN 9783540737056 (electronic bk.) ; 9783540737049 (paper)
查看全部 37,171 本書籍

沒有找到相關書架

請嘗試其他關鍵字