搜尋書籍

Formal logical methods for sys... 手動新增

edited by Orna Grumberg, Tobias Nipkow and Christian Pfaller.

IOS Press

Software safety and security :... 手動新增

edited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann.

IOS Press

Logics and languages for relia... 手動新增

edited by Javier Esparza, Bernd Spanfelner and Orna Grumberg.

IOS Press

Languages: from formal to natu... 手動新增

edited by Orna Grumberg ... [et al.].

Springer Berlin Heidelberg

Clinical mycology 手動新增

[edited by] Elias J. Anaissie, Michael R. McGinnis, Michael A. Pfaller.

Churchill Livingstone

International humanitarian law... 手動新增

edited by Orna Ben-Naftali.

Oxford University Press