Thomas A. Henzinger

ספרים שבהם Thomas A. Henzinger מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Computational Methods in Systems BiologyAshutosh Gupta

Computational Methods in Systems Biology

Ashutosh Gupta · 2013

Handbook of Model CheckingEdmund M. Clarke

Handbook of Model Checking

Edmund M. Clarke · 2018

Formal Modeling and Analysis of Timed SystemsKrishnendu Chatterjee

Formal Modeling and Analysis of Timed Systems

Krishnendu Chatterjee · 2010

Mathematical and Engineering Methods in Computer ScienceAntonin Kucera

Mathematical and Engineering Methods in Computer Science

Antonin Kucera · 2013

Computer Science LogicJacques Duparc

Computer Science Logic

Jacques Duparc · 2007