搜尋書籍

搜尋「edited by Orna Grumberg, Tobias Nipkow and Christian Pfaller.」的結果： 找到 37,089 本書籍， 0 個書架

Formal logical methods for system security and correctness 館藏
edited by Orna Grumberg, Tobias Nipkow and Christian Pfaller.
IOS Press
c2008.
ISBN 9781607503156 (electronic bk.) ; 9781586038434
Software safety and security : tools for analysis and verification 館藏
edited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann.
IOS Press
2012
ISBN 9781614990284 (electronic bk.) ; 9781614990277
Logics and languages for reliability and security 館藏
edited by Javier Esparza, Bernd Spanfelner and Orna Grumberg.
IOS Press
2010
ISBN 9781607501008 (electronic bk.) ; 9781607500995
Languages: from formal to natural : essays dedicated to Nissim Francez on the occasion of his 65th birthday 館藏
edited by Orna Grumberg ... [et al.].
Springer Berlin Heidelberg
2009
ISBN 9783642017483 (electronic bk.) ; 9783642017476 (paper)
Clinical mycology 館藏
[edited by] Elias J. Anaissie, Michael R. McGinnis, Michael A. Pfaller.
Churchill Livingstone
c2009.
ISBN 9781416056805 ; 1416056807
International humanitarian law and international human rights law : pas de deux 館藏
edited by Orna Ben-Naftali.
Oxford University Press
2011
ISBN 9780191729447 (ebook) : ; 0191729442 (ebook) :
查看全部 37,089 本書籍

沒有找到相關書架

請嘗試其他關鍵字