搜尋書籍

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

館藏
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)
館藏
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)
館藏
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)
館藏
Advanced topics on cellular self-organizing nets and chaotic nonlinear dynamics to model and control complex systems
edited by Riccardo Caponetto, Luigi Fortuna, Mattia Frasca.
World Scientific Pub. Co.
c2008.
ISBN 9812814051 (electronic bk.) ; 9789812814050 (electronic bk.)
查看全部 37,089 本書籍

沒有找到相關書架

請嘗試其他關鍵字