Search Books

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

書籍 (37171)
書架 (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)

Automated reasoning : 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings

edited by Alessandro Armando, Peter Baumgartner, Gilles Dowek.

Springer-Verlag Berlin Heidelberg

2008

ISBN 9783540710707 (electronic bk.) ; 9783540710691 (paper)

書名	作者	出版社	出版日期	來源	操作
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers ISBN 9783540305699 (electronic bk.) ; 9783540242871 (paper)	edited by Gilles Barthe ... [et al.].	Springer-Verlag GmbH.	2005	館藏	View
Engineering secure software and systems : 4th international symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012 : proceedings ISBN 9783642281662 (electronic bk.) ; 9783642281655 (paper)	edited by Gilles Barthe, Benjamin Livshits, Riccardo Scandariato.	Springer Berlin Heidelberg	2012	館藏	View
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 ISBN 9783642197185 (electronic bk.) ; 9783642197178 (paper)	edited by Gilles Barthe.	Springer Berlin Heidelberg	2011	館藏	View
Trustworthy Global Computing : Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers ISBN 9783540786634 (electronic bk.) ; 9783540786627 (paper)	edited by Gilles Barthe, Cedric Fournet.	Springer-Verlag Berlin Heidelberg	2008	館藏	View
Verification, model checking, and abstract interpretation : 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings ISBN 9783642113192 (electronic bk.) ; 9783642113185 (paper)	edited by Gilles Barthe, Manuel Hermenegildo.	Springer-Verlag Berlin Heidelberg	2010	館藏	View
Automated reasoning : 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings ISBN 9783540710707 (electronic bk.) ; 9783540710691 (paper)	edited by Alessandro Armando, Peter Baumgartner, Gilles Dowek.	Springer-Verlag Berlin Heidelberg	2008	館藏	View

查看全部 37,171 本書籍

沒有找到相關書架

請嘗試其他關鍵字